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

파이썬에 익숙하지 않은 독자는 파이썬 실험 코드 실행 결과 부분을 생략해
도 된다 본문 풀이 예제 그림 장 요약과 연습문제를 중심으로 읽으면 각
장의 핵심 개념과 논리적 흐름을 충분히 따라갈 수 있다 이후 프로그래밍에
익숙해졌을 때 코드 부분으로 돌아와 계산 실험을 수행해도 된다
수업에서도 파이썬 실습은 선택적으로 운영할 수 있다 실습을 생략하는 경
우에는 코드의 실행 과정을 손으로 추적하거나 표를 완성하거나 의사코드로
알고리즘을 설명하는 활동으로 대체할 수 있다

이 책을 통해 독자가 공식을 암기하는 데 머물지 않고 문제에서 어떤 구조를
찾아야 하는지 그 구조를 어떤 수학적 대상으로 표현할지 어떤 정리나 알고리즘을
적용할지 스스로 판단하게 되기를 바란다 또한 작은 예를 관찰하고 반례를 찾으며
답뿐 아니라 그 답이 타당한 이유를 설명하는 습관을 갖게 되기를 바란다

0.이산수학과 파이썬 실험
1. 명제 논리와 논리적 추론
2. 집합, 함수와 수열
3. 증명의 기본 도구, 귀납법과 재귀
4. 관계와 순서 구조
5. 알고리즘과 계산 복잡도
6. 경우의 수와 조합론
7. 점화 관계와 동적 계획법
8. 부울 대수와 유한상태 모델
9. 그래프의 기본 개념
10. 트리와 계층적 구조
11. 그래프 알고리즘
12. 정수론과 암호의 기초