이산수학(Discrete Mathematics)

이산수학은 연속적이지 않고 이산적인(discrete) 대상에 관해 연구하는 학문이다. 특히 다양한 수학 이론 중에서 컴퓨터과학에서 자주 활용되는 내용들을 주로 다룬다. 따라서 우리 학과에서 제공되는 이산수학에서는 컴퓨터과학을 보다 체계적으로 배울 수 있도록 논리, 증명, 집합, 행렬, 관계, 함수, 부울대수, 그래프, 트리, 조합이론, 정수론, 그리고 오토마다와 형식언어 등을 다룬다.
이산수학은 다른 수학 분야처럼 우리에게 지식을 체계화시킬 수 있는 논리를 제공해준다. 그러나 이러한 논리적 사고 능력은 단순히 암기함으로써 얻을 수 있는 것이 아니고 한 단계 한 단계를 이해해 나가는 훈련과정 중에 얻어지게 된다. 이러한 논리적 사고 능력의 배양과 함께 이산수학의 기본 개념들을 탐구하고 적용할 수 있는 능력의 개발이 본 교과목이 목표하는 바이다.

Discrete mathematics is a field of study that deals with discrete, rather than continuous, objects. It primarily focuses on mathematical theories that are frequently used in computer science. Therefore, the discrete mathematics courses offered in our department cover logic, proofs, sets, matrices, relations, functions, Boolean algebra, graphs, trees, combinatorics, number theory, automata theory, and formal languages, all of which are crucial for a more systematic learning of computer science. Like other branches of mathematics, discrete mathematics provides us with a logical framework to organize our knowledge. However, developing logical reasoning skills requires a process of training and understanding, rather than just memorization. The goal of this course is to cultivate such logical reasoning skills and develop the ability to explore and apply the fundamental concepts of discrete mathematics