1. | 1장_1/2 | 강의소개 - 명제, 한정자 | ||
2. | 1장_4/5/6 | 술어와 한정자 - 중첩된 한정자 -추론규칙 | ||
3. | 1장_8/9 | 증명기법및 정책 | ||
4. | 2장_1/2/3 | 집합 과 연산 함수 | ||
5. | 2장_3/4 | 수열과 수열합 | ||
6. | 2장_5/6 3장_1 | 집합의 크기와 행렬 알고리즘 | ||
2장_5/6 3장_1 | 집합의 크기와 행렬 알고리즘 | |||
7. | 2장_2 2장_3 | 함수의 증가 알고리즘 복잡도 | ||
2장_2 2장_3 | 함수의 증가 알고리즘 복잡도 | |||
8. | 5장_1/2 | 수학적 귀납법 과 강귀납법 순서화 | ||
9. | 5장_3/4 | 재귀정의, 구조적 귀납법, 재귀 알고리즘 | ||
10. | 6장_1/2 | 개수, 비둘기집 원리 | ||
11. | 6장_3/4/5 | 순열과 조합 이항계수, 일반화된 순열과 조합 | ||
12. | 7장_1/2/3/4 | 이산확률소개, 확률이론 | ||
13. | 10장_1/2/3 | 그래프 | ||
10장_1/2/3 | 그래프 | |||
14. | 14주차 1강 | |||
14주차 2강 |