| 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 | |
대구광역시 동구 동내로 64(동내동 1119) 우)41061
COPYRIGHT keris. all rights reserved
페이스북
트위터
카카오톡
네이버밴드
링크복사
