이산수학 [제2판]

컴퓨터공학 여러 분야에서 다뤄지는 문제를 해결하기 위해 수학의 개념과 응용이 많이 이용되고 있다. 이러한 내용을 다루는 수학의 분야를 이산수학이라 하며, 이는 컴퓨터 시스템이 기본적으로 이산시스템이라는 점에 기인된 것이다. 이산시스템의 많은 성질은 이산수학 구조에서 이해되고 해석된다. 따라서 이 책은 컴퓨터공학을 공부하고자 하는 학생에게 필요한 수학적 응용을 소개하고, 이산수학과 컴퓨터공학의 관계를 탐구하기 위한 목적에서 집필되었다. 이 책에서는 가능한 한 기본적인 개념을 명확하고 이해하기 쉽게 설명하였고, 이러한 개념이 컴퓨터공학에 응용되는 것을 보이려고 노력하였다. 모두 10장으로 구성했으며 그 내용은 다음과 같다.

∙ 1장에서는 논리와 명제 개념을 설명하고, 한정화에 관해 서술한다.
∙ 2장에서는 집합의 개념을 소개하고 그 연산에 관해 학습한다. 컴퓨터 관련 분야에서 자료를 수집하고 분류하여 정보를 효과적으로 관리할 수 있게 한다.
∙ 3장에서는 증명의 일반적인 방법론과 재귀적 정의와 수학적 귀납법을 고찰하고 여러 증명법을 다룬다.
∙ 4, 5장에서는 데이터베이스에서 기본 개념이 되는 관계와 특수한 관계인 함수에 대해 서술한다.
∙ 6장에서는 조합분석과 확률의 개념을 소개하고 관심 있는 사건들의 확률에 대해 알아본다.
∙ 7장에서는 행렬의 개념과 여러 가지 성질을 알아보고 컴퓨터 시스템에서 사용되는 자료를 배열형태로 표현되는 것에 대해 알아본다.
∙ 8장에서는 무향 그래프 및 유향 그래프를 다룬다. 그래프는 알고리즘에 관련된 문제를 구현하는 데 유용하다.
∙ 9장에서는 트리의 개념과 응용에 대해 알아보고 컴퓨터를 통한 자료구조와 응용의 기초 개념을 학습한다.
∙ 10장에서는 컴퓨터의 회로설계에 유용한 부울대수를 다루고 있다. 여기에서 부울식을 간략화하는 데 사용되는 조합회로를 다룬다.