자료의 정리와 배열에 관한 집합이론과 자료사이의 인과관계를 다루는 논리구조와 확률의 개념, 귀납법 및 순환법을 통해 주어진 문제를 논리적이고 오류없이 해결하는 방법을 배우며, 조합론 및 이산구조, 알고리즘 분석 등 다른 전공과목을 이해하는데 필요한 기초지식을 습득한다.
교과목해설(영문)
These courses study the mathematical elements of computer science including propositional logic, predicate logic, sets, functions and relations, combinatorics, mathematical induction, recursion, algorithms, matrices, graphs, trees, and Boolean logic. Students will learn to recognize and express the mathematical ideas graphically, numerically, symbolically, and in writing.