컴퓨터과학을 위한 이산수학 (AI·머신러닝의 기초가 되는 수학적 사고)

머리말
컴퓨터과학은 계산을 수행하는 기술인 동시에 구조를 다루는 학문이다 프로그램의
조건은 논리식으로 표현되고 데이터의 분류는 집합과 관계로 설명되며 재귀 호출
과 반복 과정은 귀납법과 점화 관계에 연결된다 통신망 웹 링크 작업 의존성은
그래프로 모델링되고 보안과 오류 검출에는 정수의 나눗셈과 모듈러 연산이 사용된
다 이산수학은 이처럼 컴퓨터과학의 여러 대상을 정확한 언어로 표현하고 가능한
경우를 체계적으로 탐색하며 알고리즘이 왜 올바르게 동작하는지를 이해하게 하는
기초를 제공한다
이 책은 컴퓨터과학을 처음 공부하는 대학 학년을 대상으로 한다 수학적 정의와
기호를 처음 접하는 독자도 따라올 수 있도록 작은 예에서 출발하여 개념을 정리하고
바로 이어지는 예제와 그림으로 의미를 확인한다 정리의 증명을 완전히 배제하지는
않지만 긴 형식적 증명을 재현하는 것보다 정리의 가정과 결론을 구분하고 언제
사용할 수 있는지 판단하며 잘못 적용했을 때 나타나는 반례를 이해하는 데 더 큰
비중을 둔다
본문은 논리 집합과 함수 증명과 귀납법 관계 알고리즘과 복잡도 조합론 점화
관계와 동적 계획법 부울 대수와 유한상태 모델 그래프와 트리 그래프 알고리즘
정수론과 암호의 기초를 다룬다 확률과 통계 선형대수 미분 연속 최적화는 별도의
교재인 AI와 기계학습을 위한 수학 에서 다루므로 이 책에서는 중복하여 전개하지
않는다 예를 들어 이 책의 인접 행렬은 그래프를 저장하는 표현으로 사용하지만
행렬의 고유값이나 특이값 분해는 다루지 않는다
각 장에는 컴퓨터과학의 사례와 짧은 파이썬 코드가 포함되어 있다 코드는 개념
을 대신하는 것이 아니라 작은 입력을 실험하고 알고리즘의 진행 과정을 추적하며
수학적 결과를 검산하기 위한 보조 도구이다 따라서 코드를 실행한 결과만으로 일
반 명제가 증명되었다고 결론 내리지 않으며 관찰ㆍ추측ㆍ유한 전수조사ㆍ수학적
증명을 구분한다