제1장 논리와 명제
1.1 논리연산자와 진리표 2
1.2 논리적 동치 9
1.3 한정 기호 13
1.4 수학적 귀납법 16
1.5 직접증명법 18
1.6 간접증명법 19
제2장 수의 성질과 알고리즘
2.1 수의 성질 26
2.2 점화식 50
2.3 알고리즘 75
제3장 세는 방법
3.1 경우의 수 98
3.2 비둘기집 원리 106
3.3 순열과 조합 110
3.4 중복순열과 중복조합 117
3.5 스털링 수 136
3.6 포함 배제 원리 149
제4장 관계 및 함수
4.1 관계 및 관계의 표현 164
4.2 관계의 성질 170
4.3 관계의 연산 및 관계의 폐포 174
4.4 동치관계 188
4.5 부분순서관계 191
4.6 함수 197
제5장 그래프
5.1 그래프의 기본개념 208
5.2 여러 가지 그래프 216
5.3 오일러회로와 해밀턴회로 220
5.4 평면그래프 238
5.5 그래프 색칠문제 247
5.6 행렬과 그래프 258
5.7 다익스트라 알고리즘과 플로이드 알고리즘 264
제6장 수형도
6.1 수형도의 기본개념 276
6.2 이진수형도 289
6.3 생성수형도 296
6.4 최소생성수형도 304
6.5 수형도의 순회방법 311
6.6 허프만 코드 320
제7장 부울대수
7.1 부울식의 표현 328
7.2 부울함수의 표현 336
7.3 논리게이트 340
7.4 카르노맵 345
연습문제 풀이 361
참고문헌 515
찾아보기 517
|
