1. |
|
이산수학의 개요 1 |
이산수학의 정의, 이산적 개념과 연속적 개념, 수학적 모델링, 문제 해결을 위한 모델링 |
|
|
|
이산수학의 개요 2 |
이산수학의 응용 분야, 4차 산업혁명 시대의 이산수학 |
|
2. |
|
논리와 명제 1 |
논리와 명제, 논리 연산: 부정, 논리합, 논리곱, 배타적 논리합, 조건 |
|
|
|
논리와 명제 2 |
논리 연산: 쌍방 조건, 항진 명제와 모순 명제, 논리적 동치 관계 |
|
3. |
|
논리와 명제 3 |
추론, 술어 논리, 논리형언어-Prolog, 논리의 응용과 4차 산업혁명과의 관계 |
|
4. |
|
집합론 1 |
집합의 표현, 집합의 연산: 합집합, 교집합, 차집합, 대칭 차집합, 곱집합 |
|
|
|
집합론 2 |
집합의 연산: 카디날리티, 대수 법칙, 쌍대, 집합류와 멱집합, 집합의 분할, 집합론의 응용과 4차 산업혁명과의 관계 |
|
5. |
|
관계 1 |
관계와 이항 관계 |
|
|
|
관계 2 |
관계의 표현, 합성 관계 |
|
6. |
|
관계 3 |
관계의 성질: 반사, 비반사, 대칭, 비대칭, 반대칭 관계 |
|
|
|
관계 4 |
관계의 성질: 추이 관계 |
|
|
|
관계 5 |
동치 관계와 분할, 부분 순서 관계, 관계의 응용과 4차 산업혁명과의 관계 |
|
7. |
|
함수 1 |
함수의 정의, 함수 그래프, 단사/전사/전단사 함수 |
|
|
|
함수 2 |
여러 가지 함수들, 컴퓨터 언어에서 함수의 역할, 함수의 응용과 4차 산업혁명과의 관계 |
|
8. |
|
그래프 1 |
그래프의 기본 개념, 그래프의 용어 |
|
|
|
그래프 2 |
그래프의 표현 방법, 특수 형태의 그래프: 오일러 경로/순회, 해밀터 경로/순회, 가중/동형/평면 그래프 |
|
9. |
|
그래프 3 |
그래프의 표현 방법, 특수 형태의 그래프: 완전/정규/이분/방향 비사이클 그래프, 그래프의 응용: 최단 경로 |
|
|
|
그래프 4 |
그래프의 응용: 해밀턴 순회의 응용, 그래프의 탐색 |
|
|
|
그래프 5 |
그래프와 색칠 문제, 그래프의 응용과 4차 산업혁명과의 관계 |
|
10. |
|
트리 1 |
트리의 기본 개념, 방향 트리, 이진 트리 |
|
|
|
트리 2 |
이진 트리의 표현, 이진 트리의 탐방 |
|
|
|
트리 3 |
생성 트리와 최소 비용 생성 트리 |
|
11. |
|
트리 4 |
트리의 활용: 문법의 파싱, 허프만 코드, 게임 |
|
|
|
트리 5 |
트리의 활용: 결정 트리, 트리의 응용과 4차 산업혁명과의 관계 |
|
12. |
|
부울 대수 1 |
부울식, 부울식의 표현 |
|
|
|
부울 대수 2 |
부울 함수의 간소화: 두 변수/세 변수/네 변수에 대한 카노우 맵 |
|
13. |
|
부울 대수 3 |
논리 회로 설계, 논리 회로의 응용, 부울 대수의 응용과 4차 산업혁명과의 관계 |
|