본 교과목을 통해 컴퓨터 공학의 기초가 되는 수학적 논리를 기본으로 한 이산수학의 개요, 논리와 명제, 집합론, 증명법, 함수 등을
학습함으로써 컴퓨터의 동작 원리를 설명할 수 있다. 또한 관계, 그래프, 트리, 부울 대수 등 컴퓨터 시스템 설계의 기초지식을
학습함으로써 컴퓨터 공학을 전반적으로 이해하고 응용 능력을 키우는 것에 목표를 둔다.
본 과목의 구체적 목표는 다음과 같다.
- 이산수학의 기본 개념과 중요성을 서술할 수 있다.
- 이산적 개념과 연속적 개념의 차이를 구분하고 수학적 모델링과 문제 해결을 위한 모델링에 대해 설명할 수 있다.
- 논리, 명제, 추론, 술어 논리와 관련된 다양한 논제들을 학습하고 논리의 응용 예를 제시할 수 있다.
- 집합과 관련된 다양한 논제들과 컴퓨터에서 사용하는 디지털적인 수의 체계에 대해 기술할 수 있다.
- 증명의 의미를 학습하고 주요 증명법과 프로그램 입증 방법을 설명할 수 있다.
- 관계의 의미 및 관계와 관련된 다양한 논제들을 학습하고 관계의 응용 예를 제시할 수 있다.
- 함수와 그래프의 관계를 이해하고 컴퓨터 언어에서 함수의 역할을 서술할 수 있다.
- 그래프의 개념과 표현 방법을 학습하고 특수 형태의 그래프를 나열할 수 있으며, 그래프를 이용한 응용 예를 제시할 수 있다.
- 트리의 개념과 이진 트리의 표현 방법을 학습하고 최소 비용 생성 트리를 서술할 수 있으며, 트리를 이용한 예를 제시할 수 있다.
- 부울식의 개념과 표현 방법을 학습하고 부울 함수의 함수의 간소화를 설명할 수 있으며, 부울 대수를 이용한 응용 예를 제시할 수 있다.
|