이산수학
Discrete Mathematics
논리, 집합, 그래프 이론, 조합론, 오토마타 등 CS 수학 기초를 학습합니다.
Chapter 12 항목
논리와 증명
Logic and Proofs
명제 논리, 술어 논리, 증명 기법
개념 2
Chapter 22 항목
집합과 관계
Sets and Relations
집합 연산, 관계의 성질, 동치 관계
개념 2
Chapter 33 항목
함수와 재귀
Functions and Recursion
함수의 성질, 재귀적 정의, 수학적 귀납법
개념 2유도 1
Chapter 43 항목
그래프 이론
Graph Theory
그래프 속성, 오일러/해밀턴 경로, 평면 그래프
개념 2법칙 1
Chapter 53 항목
조합론
Combinatorics
순열, 조합, 비둘기집 원리, 포함-배제
개념 2유도 1
Chapter 63 항목
오토마타
Automata
유한 오토마타, 정규 언어, 촘스키 계층
개념 2법칙 1