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 | ![]() |