Mathematics & Computing Logic
컴퓨팅의 기초가 되는 수리적 구조, 형식 논리, 확률론 및 정보 이론을 다루는 학습 노드입니다.
용어8
math
이 용어로 연결된 기록을 섹션별로 살펴봅니다.
Discrete Structures & Modeling
집합론, 관계, 기초 논리, 계수 및 그래프 이론 등 컴퓨터 과학의 근간이 되는 이산적 구조를 다루는 학습 노드입니다.
Combinatorics & Counting
객체를 배열하거나 선택하는 모든 가능한 경우의 수(Combinatorics)를 정량화하고, 알고리즘 성능 예측 및 확률 계산의 수리적 기반을 다루는 학습 노드입니다.
Functions & Mappings
집합 간의 대응 규칙(Mapping)과 함수의 성질인 전사, 단사, 전단사를 정의하고, 알고리즘 분석 및 함수형 프로그래밍의 수학적 기틀을 다루는 학습 노드입니다.
Linear Algebra & Data Geometry
고차원 데이터의 구조를 체계적으로 다루는 선형대수학과, 이를 공간적 관점에서 해석하는 데이터 기하학을 다루는 학습 노드입니다.
Logic & Formal Verification
명제 및 서술 논리부터 시작하여, 시스템의 올바름을 수학적으로 증명하는 형식 검증 기법을 다루는 학습 노드입니다.
Propositional & Predicate Logic
컴퓨팅 사고의 가장 원자적인 논리 단위인 명제 논리와 변수 및 양화자를 포함한 서술어 논리를 정의하고, 선언적 스펙 정의와 인공지능 추론의 기초를 다루는 학습 노드입니다.