목차 일부
옮긴이 머리말 ... 5
머리말 ... 7
1장 논리와 증명
1.1 명제 ... 20
1.2 조건 명제와 논리적 동치 ... 29
1.3 정량자 ... 42
1.4 다중 정량자 ... 58
1.5 증명 ... 69
1.6 분해 증명 ... 89
1.7 수학적 귀납법 ... 94
문제 해결 코너 : 수학적 귀납법 ....
더보기
목차 전체
옮긴이 머리말 ... 5
머리말 ... 7
1장 논리와 증명
1.1 명제 ... 20
1.2 조건 명제와 논리적 동치 ... 29
1.3 정량자 ... 42
1.4 다중 정량자 ... 58
1.5 증명 ... 69
1.6 분해 증명 ... 89
1.7 수학적 귀납법 ... 94
문제 해결 코너 : 수학적 귀납법 ... 110
1.8 강한 형식의 귀납법 및 정렬 순서 속성 ... 114
참고 ... 123
요점 정리 ... 123
자기진단 ... 127
컴퓨터 연습 문제 ... 129
2장 수학의 언어
2.1 집합 ... 131
2.2 함수 ... 148
문제 풀이 코너: 함수 ... 172
2.3 수열과 문자열 ... 175
참고 ... 191
요점정리 ... 192
자기 진단 ... 194
컴퓨터 문제 ... 195
3장 관계
3.1 관계 ... 197
3.2 동치 관계 ... 210
문제 풀이 코너: 동치 관계 ... 220
3.3 관계의 행렬 ... 223
3.4 관계형 데이터베이스 ... 231
참고 ... 238
요점정리 ... 238
자기 진단 ... 239
컴퓨터 문제 ... 241
4장 알고리즘
4.1 서론 ... 243
4.2 알고리즘의 예 ... 250
4.3 알고리즘의 분석 ... 259
문제 풀이 코너: 알고리즘의 설계와 분석 ... 282
4.4 재귀적 알고리즘 ... 286
참고 ... 296
요점정리 ... 297
자기 진단 ... 299
컴퓨터 문제 ... 300
5장 정수론
5.1 약수 ... 301
5.2 정수의 표현과 정수 알고리즘 ... 314
5.3 유클리드 알고리즘 ... 333
문제 풀이 코너: 우편 요금 계산하기 ... 344
5.4 RSA 공개 키 암호 체계 ... 347
참고 ... 350
요점정리 ... 351
자기 진단 ... 352
컴퓨터 문제 ... 353
6장 경우의 수와 비둘기 집의 원리
6.1 기본 원리 ... 355
문제 풀이 코너: 경우의 수 ... 366
6.2 순열과 조합 ... 370
문제 풀이 코너: 조합 ... 386
6.3 순열과 조합을 위한 알고리즘 ... 389
6.4 이산 확률 소개 ... 397
6.5 이산 확률 이론 ... 402
6.6 일반화된 순열과 조합 ... 417
6.7 이항 계수와 조합 항등식 ... 427
6.8 비둘기 집의 원리 ... 434
참고 ... 440
요점정리 ... 441
자기 진단 ... 442
컴퓨터 문제 ... 445
7장 점화 관계
7.1 서론 ... 447
7.2 점화 관계 풀이 ... 465
문제 풀이 코너: 점화 관계 ... 482
7.3 알고리즘 분석의 응용 ... 487
참고 ... 504
요점 정리 ... 505
자기 진단 ... 505
컴퓨터 문제 ... 507
8장 그래프 이론
8.1 서론 ... 510
8.2 경로와 사이클 ... 524
문제 풀이 코너: 그래프 ... 541
8.3 해밀턴 사이클과 판매원 방문 문제 ... 542
8.4 최단 경로 알고리즘 ... 552
8.5 그래프의 표현 ... 558
8.6 그래프의 동형 ... 565
8.7 평면 그래프 ... 574
8.8 순간 착란 ... 582
참고 ... 588
요점정리 ... 588
자기 진단 ... 591
컴퓨터 문제 ... 594
9장 트리
9.1 서론 ... 597
9.2 트리의 용어와 특성 ... 607
문제 풀이 코너: 트리 ... 614
9.3 신장 트리 ... 616
9.4 최소 신장 트리 ... 625
9.5 이진 트리 ... 634
9.6 트리 운행 ... 642
9.7 결정 트리와 정렬에 대한 최소 시간 ... 651
9.8 트리의 동형 ... 659
9.9 게임 트리 ... 671
참고 ... 681
요점정리 ... 682
자기 진단 ... 684
컴퓨터 문제 ... 688
10장 네트워크 모델
10.1 소개 ... 691
10.2 최대 흐름 알고리즘 ... 699
10.3 최대흐름, 최소 제거 정리 ... 709
10.4 매칭 ... 71
문제풀이 코너: 매칭 ... 721
참고 ... 723
요점정리 ... 724
자기 진단 ... 725
컴퓨터 문제 ... 726
11장 불 대수와 조합회로
11.1 조합회로 ... 727
11.2 조합회로의 특성 ... 735
11.3 불 대수 ... 742
문제 풀이 코너: 불 대수 ... 748
11.4 불 함수와 회로 합성 ... 751
11.5 응용 ... 757
참고 ... 767
요점정리 ... 768
자기 진단 ... 770
컴퓨터 문제 ... 772
12장 오토마타, 문법 그리고 언어
12.1 순차 회로와 유한 상태 기계 ... 773
12.2 유한 상태 오토마타 ... 781
12.3 언어와 문법 ... 789
12.4 비결정적 유한 상태 오토마타 ... 800
12.5 언어와 오토마타의 관계 ... 809
참고 ... 815
요점정리 ... 816
자기 진단 ... 818
컴퓨터 문제 ... 820
13장 계산 기하학
13.1 최근접 쌍 문제 ... 821
13.2 컴벡스 헐을 계산하는 알고리즘 ... 829
참고 ... 837
요점정리 ... 837
자기 진단 ... 838
컴퓨터 문제 ... 839
부록 A ... 841
부록 B ... 847
부록 C ... 862
참고문헌 ... 869
힌트 및 해답 ... 874
찾아보기 ... 995
더보기 닫기