수학적 표현과 이산 구조
KHUk
Enrollment is Closed
학습 목표
1) 컴퓨터과학의 기초가 되는 수학적 표현법과 올바른 논증법을 이해하고 활용 할 수 있다.2) 집합, 함수, 관계, 확률, 그래프, 트리, 알고리즘, 오토마타 등 컴퓨터과학에 필요 한 이산 구조를 이해하고 활용할 수 있다.
| 목차 | 세부 목차 | |
|---|---|---|
| 1 | 명제 | 1. 강좌 소개 |
| 2. 명제와 명제식(명제, 논증, 논리식) | ||
| 3. 명제와 명제식(논리적 동치) | ||
| 2 | 한정화 명제 | 1. 조건명제 |
| 2. 올바른 논증 (정당성 검사) | ||
| 3. 올바른 논증 (추론규칙, 오류) | ||
| 3 | 증명 | 1. 한정화 명제 |
| 2. 직접증명 | ||
| 3. 간접증명 | ||
| 4 | 함수와 관계 | 1. 수학적 귀납법 |
| 2. 집합론 (집합의 표기, 상등) | ||
| 3. 집합론 (분할,순서쌍,데카르트곱) | ||
| 5 | 계수와 이산 확률 | 1. 관계 |
| 2. 함수 | ||
| 3. 단사/전사/역함수 | ||
| 6 | 그래프와 트리 | 1. 그래프 (Ch.10.1-2) |
| 2. 트리 (Ch.10.5-6) | ||
| 7 | 알고리즘, 오토마타 | 1. 알고리즘 표기법과 Psudocode (Ch.4.8) |
| 2. 알고리즘 효율성 (Ch.11.2) | ||
| 3. 유한 오토마타 (Ch.12.3) | ||
| 8 | 종합 평가 | |
책임교수
 |
|
담당조교
 |
|
이수/평가정보
| 구분 | 퀴즈(6) | 종합평가(1) |
| 반영비율 | 60% | 40% |
※총 60% 이상 점수 획득 시, 이수증을 발급받을 수 있습니다.
Q1. 수강 중 궁금한 것은 어떻게 해야 하나요?
- 수강 중 궁금한 부분은 교과목 내 [질의응답] 게시판에 작성해 주시면 담당 TA가 확인 후, 1~2일내 응답할 예정입니다.
Q2. 이수증은 언제 발급 되나요?
- 이수증은 수업이 종료되고 나서 성적처리가 완료된 후, 10~15일 이내 발급될 예정입니다.
관련 강좌
현재 강좌와 관련있는 강좌를 찾을 수 없습니다.