논리와 증명
명제 논리, 술어 논리, 추론 규칙 및 수학적 증명 전략의 체계적 정리
Sets & Functions
집합, 함수, 수열, 행렬 등 이산수학의 기초가 되는 주요 구조들의 정의와 성질
알고리즘과 정수론
알고리즘의 효율성 분석을 위한 점근적 표기법과 컴퓨터 과학의 수학적 근간인 정수론 및 행렬 이론 요약
Induction & Recursion
수학적 귀납법, 강한 귀납법, 구조적 귀납법 및 재귀 알고리즘의 원리와 응용
Counting
기초 계수 원리부터 비둘기집 원리, 순열과 조합, 이항 계수 및 생성 알고리즘까지의 조합론 기초
Discrete Probability
이산 표본 공간에서의 확률 정의, 조건부 확률, 베이즈 정리 및 기댓값과 분산의 기초
Advanced Counting
점화식, 분할 정복, 생성함수, 포함-배제의 원리를 이용한 고급 계수 기법
Relations
집합의 원소 간의 관계를 정의하고 동치 관계, 부분 순서 및 데이터베이스 응용을 다루는 장
Graphs
정점과 간선을 이용한 이산 구조의 정의, 성질, 알고리즘 및 응용
트리
단순 회로가 없는 연결 그래프인 트리의 정의, 성질, 알고리즘 및 다양한 응용
Boolean Algebra
부울 대수와 논리 회로의 설계 및 최소화 기법
Modeling Computation
문법, 유한 상태 기계, 튜링 기계를 이용한 계산 모델링과 언어 인식의 원리