Basic Structures: Sets, Functions, Sequences, and Sums
집합, 함수, 수열, 행렬 등 이산수학의 기초가 되는 주요 구조들의 정의와 성질
집합, 함수, 수열, 행렬 등 이산수학의 기초가 되는 주요 구조들의 정의와 성질
부울 대수와 논리 회로의 설계 및 최소화 기법
기초 계수 원리부터 비둘기집 원리, 순열과 조합, 이항 계수 및 생성 알고리즘까지의 조합론 기초
정점과 간선을 이용한 이산 구조의 정의, 성질, 알고리즘 및 응용
문법, 유한 상태 기계, 튜링 기계를 이용한 계산 모델링과 언어 인식의 원리
명제 논리, 술어 논리, 추론 규칙 및 수학적 증명 전략의 체계적 정리