1. | Sets and subsets | 집합과 부분집합의 정의 | ||
Operations on sets | 집합과 집합 연산자 | |||
Regular expression | 집합과 집합 연산자 | |||
2. | Properties of intergers 1 | 정수의 속성 | ||
Properties of intergers 2 | 소수와 최대공약수 알고리즘 | |||
3. | Propositions and logical operations | 논리의 정의 및 논리 연산자 | ||
Propositional logic | 명제논리의 구문론과 의미론 | |||
Inference rules | 항진명제와 추론규칙 | |||
4. | Methods of proof | 예제를 통한 논리적 증명방법의 이해 | ||
5. | Mathematical induction | 수학적 귀납법 | ||
Counting technique | 순열 및 조합 | |||
Pigeonhole principle | 비둘기집 원리 | |||
6. | Recurrence relations | 재귀적 관계에 대한 일반식 | ||
7. | Product sets and relation | 곱집합과 관계의 정의 | ||
8. | Properties of relations 1 | 관계에 대한 속성 | ||
Properties of relations 2 | 관계에 대한 속성의 예제 | |||
9. | Closures | 폐포와 전이성폐포를 위한 알고리즘 | ||
10. | Functions | 함수의 정의, 차수 및 복잡도 | ||
Growth of functions | 함수의 차수 및 복잡도 | |||
11. | Partially ordered sets and Boolean algebra | 부분순서 관계와 디지털 논리 회로 | ||
12. | Trees 1 | 트리의 정의 및 표현 | ||
Trees 2 | 트리 탐색: 노드의 방문순서 | |||
Trees 3 | spanning tree | |||
Trees 4 | minimal spanning tree |