| 1. | |
이산수학 개요 | 수학적 모델링, 이산수학의 응용 |  |
| 2. | |
논리와 명제 | 논리연산, 항진명제와 모순명제, 논리적 동치, 추론, 술어논리 | |
| 3. | |
집합론 | 집합의 표현, 집합의 연산, 집합류와 멱집합, 집합의 분할 | |
| 4. | |
증명법 | 증명의 방법론, 여러가지 증명법, 프로그램 입증 | |
| 5. | |
관계 | 관계와 이항관계, 관계의 표현, 합성관계, 관계의 성질 | |
| 6. | |
함수 | 함수의 정의, 함수 그래프, 여러가지 함수들 | |
| 7. | |
그래프 | 그래프 용어, 그래프 표현방법, 특수 그래프, 그래프 응용 | |
| 8. | |
트리 | 방향트리, 이진트리, 이진트리 탐방, 최소비용신장트리 | |
| 9. | |
순열, 이산적 확률, 재귀적 관계 | 경우의 수, 순열, 조합, 이산적 확률과 통계 | |
| 10. | |
행렬과 행렬식 | 행렬과 행렬의 연산, 특수한 행렬, 행렬식, 역행렬 | |
| 11. | |
부울대수 | 부울식, 부울식의 표현, 부울함수의 간소화, 논리회로 설계 | |
| 12. | |
알고리즘을 통한 문제 해결 | 알고리즘의 효율성, 알고리즘 분석, 재귀함수의 복잡성 | |
| 13. | |
오토마타, 형식언어, 문법 | 유한오토마다, 튜링머시인 | |
대구광역시 동구 동내로 64(동내동 1119) 우)41061
COPYRIGHT keris. all rights reserved
페이스북
트위터
카카오톡
네이버밴드
링크복사
