컴퓨터과학을 위한 필수 이산수학

1. 비둘기집 원리
2. 기본 증명 기법
3. 수학적 귀납법에 의한 증명
4. 강력한 귀납법
5. 집합
6. 관계 및 함수
7. 가산 집합과 비가산 집합
8. 구조적 귀납법
9. 명제 논리
10. 정규 형태
11. 논리와 컴퓨터
12. 양화 논리
13. 유향 그래프
14. 유향 그래프와 관계
15. 상태 및 불변량
16. 무향 그래프
17. 연결성
18. 착색
19. 유한 오토마타
20. 정규 언어
21. 차수 표기법
22. 카운팅(셈)
23. 부분 집합 계산
24. 급수
25. 점화식
26. 확률
27. 조건부 확률
28. 베이즈 정리
29. 확률 변수의 기댓값
30. 모듈러 연산
31. 공개키 암호
찾아보기