제1장 집합, 증명유형, 귀납
1.1 기본정의
1.2 연습문제
1.3 집합연산
1.4 연습문제
1.5 포함-배제의 원리
1.6 연습문제
1.7 수학적 귀납법
1.8 프로그램의 정확성
1.9 연습문제
1.10 수학적 귀납법의 강력한 형대
1.11 연습문제
1.12 이 장의 정리

제2장 형식 논리
2.1 명제논리의 소개
2.2 연습문제
2.3 참과 논리적 참
2.4 연습문제
2.5 정규형
2.6 연습문제
2.7 술어와 한정화
2.8 연습문제
2.9 이 장의 정리

제3장 관계
3.1 이항 관계
3.2 이항 관계의 연산
3.3 연습문제
3.4 관계의 특별한 형태
3.5 연습문제
3.6 동치 관계
3.7 연습문제
3.8 순서 관계
3.9 연습문제
3.10 관계형 데이터베이스: 소개
3.11 연습문제
3.12 이 장의 정리

제4장 함수
4.1 기본정의
4.2 연습문제
4.3 함수의 연산
4.4 수열과 부분 수열
4.5 연습문제
4.6 비둘기 집의 원리
4.7 연습문제
4.8 셀 수 있는 집합과 셀 수 없는 집합
4.9 연습문제
4.10 이 장의 정리

제5장 알고리즘 분석
5.1 함수 증가율의 비교
5.2 연습문제
5.3 프로그램 복잡도
5.4 연습문제
5.5 계산불능성
5.6 이 장의 정리

제6장 그래프 이론
6.1 그래프 이론의 소개
6.2 악수 문제
6.3 경로와 사이클
6.4 그래프 동형
6.5 그래프의 표현
6.6 연습문제
6.7 연결된 그래프
6.8 쾨니히스베르크 다리 문제
6.9 연습문제
6.10 트리
6.11 신장 트리
6.12 루트가 있는 트리
6.13 연습문제
6.14 유향 그래프
6.15 응용: 회의 시설의 일정 설계
6.16 유향 그래프에서 사이클 찾기
6.17 일정에서의 우선순위
6.18 유향 그래프에서의 연결성
6.19 유향 그래프에서 오일러 회로
6.20 연습문제
6.21 이 장의 정리

제7장 경우의 수 세기와 순열 조합론
7.1 외판원의 문제
7.2 수를 세는 법칙
7.3 집합 분해 법칙
7.4 연습문제
7.5 순열과 조합
7.6 k번째 순열의 생성
7.7 연습문제
7.8 반복을 갖는 경우의 순열
7.9 조합 등식
7.10 파스칼 삼각형
7.11 연습문제
7.12 이 장의 정리

제8장 이산 확률
8.1 컴퓨터 과학에서 확률의 개념
8.2 연습문제
8.3 교차곱 표본공간
8.4 연습문제
8.5 독립사건과 조건부 확률
8.6 연습문제
8.7 이산형 확률변수
8.8 연습문제
8.9 분산, 표준편차 및 대수의 법칙
8.10 연습문제
8.11 이 장의 정리

제9장 재귀 관계
9.1 하노이의 탑 문제
9.2 1차 재귀 관계의 해 구하기
9.3 연습문제
9.4 피보나치 재귀 관계
9.5 연습문제
9.6 분할정복 패러다임
9.7 이진탐색
9.8 병합정렬
9.9 n-비트 정수의 곱셈
9.10 연습문제
9.11 이 장의 정리

부록A 언어와 정규 집합
부록B 유한 오토마타