이산수학 및 그 응용을 다룬 교재. 컴퓨터 과학, 수학, 수학교육, 그리고 공학을 전공하는 학생들이 이산수학을 명쾌하게 다룰 수 있도록 도와준다. 컴퓨터 과학을 전공하는 학생에게는 자료구조, 알고리즘, 관계형 데이터베이스 이론, 오토마타와 형식언어, 컴파일러 설계, 암호이론 등을 위한 수학적 기반을 다질 수 있도록 하고 수학을 전공하는 학생에게는 선형대수 및 추상대수, 조합이론, 확률론, 수학적 논리, 집합론, 정수론 등을 위한 기초지식을 제공한다.
저자 서문
역자 서문
1장 수학적으로 말하기
2장 복합명제 논리
3장 술어 논리
4장 정수론의 기초 및 증명 방법
5장 수열, 수학적 귀납법 그리고 재귀
6장 집합론
7장 함수
8장 관계
9장 계수 및 확률
10장 그래프와 트리
11장 알고리즘 효율성 분석
12장 정규식과 유한 오토마타
찾아보기
