ComputerScience의 기초가 되는 수학적 논리를 기본으로 하여 집합과 함수, 관계, 수학적 귀납법과 재귀법, [Tree], [Graph], BooleanAlgebra, [Algorithm]등을 연구하는 학문분야

이산수학은 이산객체(discrete objects)를 다루는 수학의 분야이다. 이산객체란 연속되지 않은 것이며, 그 대표적인 것은 정수(integers)이다.

SeeAlso NoSmoke:이산수학과동양학