컴퓨터 공학 분야의 핵심 주제들을 제시했으며 스스로 학습할 수 있도록 만든 교재. 이산 수학을 통해 컴퓨터 공학 전공자들은 아이디어와 도구들을 얻을 수 있을 것이다. 제4판의 내용 명제 논리와 술어 논리에서는 공리적 추론보다 연역 규칙들에 초점을 두었으며, 그래프와 트리에 대한 장에서는 트리에 더...
[NAVER 제공]