컴퓨터 과학자를 위한 이산수학 핵심 정리

초록

이 논문은 컴퓨터 과학 전공자를 대상으로 이산수학의 기본 개념을 체계적으로 정리한다. 논리와 증명 체계, 부분 함수, 관계와 순열, 조합론, 부분 순서와 격자, 그리고 그래프 이론을 중심으로 전통적인 내용에 프로그램의 비종결성을 고려한 부분 함수 개념을 강조한다.

상세 분석

본 논문은 전통적인 이산수학 교재와 달리 ‘수학적 증명’이라는 개념을 자연 연역 시스템(Natural Deduction)으로 형식화하는 데 큰 비중을 둔다. Prawitz식 자연 연역 규칙을 기반으로 ‘⊢’, ‘∧’, ‘∨’, ‘⊥’, ‘∀’, ‘∃’ 등 기본 논리 연산자를 도입하고, 증명 규칙의 정당성을 단계별로 검증한다. 특히 ‘증명에 의한 귀류법’과 ‘구성적 증명(constructive proof)’을 구분함으로써 컴퓨터 과학에서 중요한 ‘프로그램 검증’과 ‘형식화된 증명’ 사이의 연관성을 명확히 한다.

부분 함수에 대한 강조는 실제 프로그래밍에서 함수가 모든 입력에 대해 정의되지 않을 수 있다는 현실을 반영한다. 저자는 관계·함수·부분 함수의 정의를 엄밀히 제시하고, 전사(injection), 전사(surjection), 전단사(bijection) 등 기본 성질을 증명한다. 특히 귀납법과 재귀 정의를 자연 연역 체계 내에서 어떻게 정당화할 수 있는지를 상세히 서술한다.

조합론 파트에서는 순열·조합·이항계수·다항계수 등을 전통적인 방법으로 전개하고, 포함-배제 원리를 통해 복잡한 카운팅 문제를 해결한다. 부분 순서와 격자 이론에서는 Well‑Founded Order와 완전 귀납법을 이용해 정수의 소인수 분해와 최대공약수(GCD) 존재성을 증명한다. 또한 Tarski의 고정점 정리와 분배 격자, 부울 대수, 헤이팅 대수 등을 소개하며, 이론적 깊이를 더한다.

그래프 이론 장은 방향 그래프와 무방향 그래프, 경로·사이클·연결성, 트리·스패닝 트리, 최소 신장 트리, 코사이클·코트리, 흐름·텐션, 오일러·해밀턴 사이클, 매칭·커버·이분 그래프, 평면 그래프, 그리고 Max‑Flow Min‑Cut 정리를 포함한다. 특히 Max‑Flow Min‑Cut 정리를 Sakharovitch의 증명 방식을 변형하여 제시함으로써 흐름 네트워크와 알고리즘적 구현 사이의 연결 고리를 강조한다.

전체적으로 논문은 논리·증명·함수·관계·조합·격자·그래프라는 일련의 주제를 논리적 흐름에 따라 배치하고, 각 장마다 핵심 정리를 증명함으로써 ‘수학적 사고’를 프로그래밍 사고와 연결한다. 다만 일부 장(예: 격자·부울 대수)의 깊이가 초급 독자에게는 과도할 수 있으며, 그래프 이론을 제외하고는 실습 예제가 부족한 점이 보완될 필요가 있다.