컴퓨터 분야를 전공하거나 컴퓨터 전문가가 되려는 학생은 컴퓨터 아키텍처는 물론 운영 체제, 데이터베이스, 네트워크, 보안, 인공 지능에 이르기까지 다양한 분야에서 주어진 문제의 성격을 체계적으로 분석하여 모델을 세우고 문제의 해결책을 찾아 구현하는 공학적 능력이 요구된다. 이산수학은 컴퓨터 전공자가 이러한 공학적 능력을 키우는 데 가장 기초가 되는 수학적 논리 체계를 습득하는 강좌로서 그 중요성은 아무리 강조해도 지나치지 않다.
그러나 학생들은 이산수학의 다양한 주제들이 갖는 복잡한 집합 기호들과 다소 난해한 수학 이론 위주의 설명 때문에 이산수학이 쉽게 접근하기 어려운 분야라는 인식을 갖고 있는 경우가 많은 것이 현실이다. 가르치는 입장에서도 이산수학 강좌를 준비할 때 책의 내용과 예제가 현실적인 응용 사례를 통해 다양하게 제공되면서 학생들이 외국어에 대한 부담 없이 수업의 주제와 내용에 집중하여 공부할 수 있도록 만들어진 좋은 교재를 선정하는 것이 큰 관심사이기도 하다.
이러한 배경에서 여러 해 동안 대학에서 이산수학을 강의해 온 몇 명의 학자들이 이산수학에 대한 체계적인 이론은 물론 독학이 가능할 만큼 친절한 세부 설명과 함께 컴퓨터 분야의 실제적인 응용 예제를 풍부하게 다룬 좋은 책을 선정하여 번역서를 내기로 의견을 모으고 약 반년에 걸친 작업 끝에 이 책을 완성하였다.
이 책은 Richard Johnsonbaugh의 Discrete Mathematics 8차 개정판을 최대한 원문에 충실하게 번역한 것으로서 학생들이 원문을 이해하는 데 도움이 된다고 판단되는 경우에 한하여 의역을 하였다. 전문 용어는 대한수학회(http://www.kms.or.kr/)의 수학용어집을 기준으로 하였다.
01 집합과 논리 02 증명 03 함수, 수열, 관계 04 알고리즘 05 정수론 06 경우의 수와 비둘기집 원리 07 점화 관계 08 그래프 이론 09 트리 10 네트워크 모델 11 부울 대수와 조합 회로 12 오토마타, 문법, 그리고 언어 Appendix A 행렬 Appendix B 대수학 고찰 Appendix C 의사 코드
