강의계획서

전공과목안내

과정명	[2026년 2-3학기]이산수학	학점인정	3 학점
수강신청	2026-05-27 ~ 2026-06-23	수강료	45,000원
교육기간	2026-06-24 ~ 2026-10-06 15주차	샘플강의	샘플강의
- 본 기관은 학점은행제 학사관리지침(2015.09.09) 시행 공포에 따라 학습과목을 운영하고 있습니다. - 학점은행제 학사관리지침에 대리출석 및 시험 부정행위 방지를 위해 범용공동인증서 사용이 의무화 되었습니다.

수료 및 평가기준

출석	중간	기말	과제	토론	쪽지시험	참여	계
15%	30%	30%	10%	5%	5%	5%	100%

※학점인정 : 100점 만점에서 60점이상이면 합격(학점인정)

관련전공소개

관련 전공 영역	학사	컴퓨터공학 전공
관련 전공 영역	전문학사	정보보호 전공, 정보통신 전공

수업목표

본 교과목을 통해 컴퓨터 공학의 기초가 되는 수학적 논리를 기본으로 한 이산수학의 개요, 논리와 명제, 집합론, 증명법, 함수 등을 학습함으로써 컴퓨터의 동작 원리를 설명할 수 있다. 또한 관계, 그래프, 트리, 부울 대수 등 컴퓨터 시스템 설계의 기초지식을 학습함으로써 컴퓨터 공학을 전반적으로 이해하고 응용 능력을 키우는 것에 목표를 둔다.

본 과목의 구체적 목표는 다음과 같다.
1. 이산수학의 기본 개념과 중요성을 서술할 수 있다.
2. 이산적 개념과 연속적 개념의 차이를 구분하고 수학적 모델링과 문제 해결을 위한 모델링에 대해 설명할 수 있다.
3. 논리, 명제, 추론, 술어 논리와 관련된 다양한 논제들을 학습하고 논리의 응용 예를 제시할 수 있다.
4. 집합과 관련된 다양한 논제들과 컴퓨터에서 사용하는 디지털적인 수의 체계에 대해 기술할 수 있다.
5. 증명의 의미를 학습하고 주요 증명법과 프로그램 입증 방법을 설명할 수 있다.
6. 관계의 의미 및 관계와 관련된 다양한 논제들을 학습하고 관계의 응용 예를 제시할 수 있다.
7. 함수와 그래프의 관계를 이해하고 컴퓨터 언어에서 함수의 역할을 서술할 수 있다.
8. 그래프의 개념과 표현 방법을 학습하고 특수 형태의 그래프를 나열할 수 있으며, 그래프를 이용한 응용 예를 제시할 수 있다.
9. 트리의 개념과 이진 트리의 표현 방법을 학습하고 최소 비용 생성 트리를 서술할 수 있으며, 트리를 이용한 응용 예를 제시할 수 있다.
10. 부울식의 개념과 표현 방법을 학습하고 부울 함수의 간소화를 설명할 수 있으며, 부울 대수를 이용한 응용 예를 제시할 수 있다.

학습자 참고사항 (부정행위처리)

1. 과목별 전체출석률 80% 미만 F 처리 2. 과목 출석시 반드시 범용공동인증서로 로그인 3. 주차별 학습콘텐츠 100% 수강시만 출석인정 4. 로그인시 IP 및 Mac address 중복여부 체크 5. 부정행위 적발시 0점 처리 6. 과목별 최종성적 60점 미만시 F처리

강의목차

주차	차시	학습내용	수강기간
1 주차	1	[강의 주제] 이산수학의 개요 Ⅰ [강의 목표] 1. 이산수학의 개념과 이산수학 학습의 필요성을 설명할 수 있다. 2. 이산적 개념과 연속적 개념의 특징을 서술할 수 있다. 3. 수학적 모델링을 통해 실세계 문제를 해결하는 방법을 예를 들어 기술할 수 있다.	2026-06-24 ~ 2026-07-07
	2	[강의 주제] 이산수학의 개요 Ⅱ [강의 목표] 1. 문제 해결을 위한 효과적인 모델링 방법을 제시할 수 있다. 2. 전이 다이어그램을 통한 모델링의 예와 이산수학의 응용 분야를 설명할 수 있다. 3. 4차 산업혁명 시대와 이산수학의 관계에 대해 서술할 수 있다.

2 주차	1	[강의 주제] 논리와 명제 Ⅰ [강의 목표] 1. 논리의 개념과 목적을 설명할 수 있다. 2. 명제 논리와 술어 논리에 대해 서술할 수 있다. 3. 6가지 주요 논리 연산을 진리표를 통해 정리할 수 있다.	2026-07-01 ~ 2026-07-14
	2	[강의 주제] 논리와 명제 Ⅱ [강의 목표] 1. 합성 명제의 논리 연산을 진리표를 통해 설명할 수 있다. 2. 항진 명제와 모순 명제를 진리표로 서술할 수 있다. 3. 논리적 동치 관계를 이해하고 두 명제가 논리적 동치 관계임을 입증하는 방법을 제시할 수 있다.

3 주차	1	[강의 주제] 논리와 명제 Ⅲ [강의 목표] 1. 유효 추론과 허위 추론을 진리표를 통해 결정할 수 있다. 2. 술어 논리를 학습하고 술어 한정자에 대해 기술할 수 있다. 3. 논리용 컴퓨터 언어인 Prolog를 예를 들어 설명할 수 있다. 4. 논리의 응용 분야와 4차 산업혁명과의 관계를 서술할 수 있다.	2026-07-08 ~ 2026-07-21
	2	[강의 주제] 집합론 Ⅰ [강의 목표] 1. 집합의 정의를 설명할 수 있다. 2. 집합의 표현 방법을 서술할 수 있다. 3. 집합에서 카디날리티의 개념을 기술할 수 있다. 4. 다양한 집합 연산과 벤 다이어그램을 통한 집합의 연산을 설명할 수 있다.

4 주차	1	[강의 주제] 집합론 Ⅱ [강의 목표] 1. 집합의 대수 법칙과 쌍대를 학습하고 서술할 수 있다. 2. 집합류와 멱집합에 대해 설명할 수 있다. 3. 동치류로 만들어지는 집합의 분할 등을 판단할 수 있다. 4. 디지털적인 수의 표현과 보수를 이용한 뺄셈 등의 연산을 설명할 수 있다.	2026-07-15 ~ 2026-07-28
	2	[강의 주제] 증명법 Ⅰ [강의 목표] 1. 증명의 의미와 주어진 문제 해결을 위한 접근 방법을 서술할 수 있다. 2. 수학적 귀납법의 증명 방법을 제시하고 예를 들어 설명할 수 있다. 3. 모순 증명법과 직접 증명법의 증명 방법을 제시하고 예를 들어 설명할 수 있다.

5 주차	1	[강의 주제] 증명법 Ⅱ [강의 목표] 1. 대우 증명법, 존재 증명법, 반례 증명법, 필요충분조건 증명법의 증명 방법을 제시하고 예를 들어 설명할 수 있다. 2. 프로그램 정확성의 입증 방법을 서술할 수 있다. 3. 증명법과 4차 산업혁명과의 관계를 기술할 수 있다.	2026-07-22 ~ 2026-08-04
	2	[강의 주제] 관계 Ⅰ [강의 목표] 1. 관계의 정의를 설명할 수 있다. 2. 관계와 이항 관계에 대해 서술할 수 있다. 3. 관계를 표현하는 4가지 주요 방법들을 제시할 수 있다.

6 주차	1	[강의 주제] 관계 Ⅱ [강의 목표] 1. 합성 관계를 정의하고 예를 들어 설명할 수 있다. 2. 항등 관계에 대해 서술할 수 있다. 3. 관계의 주요 성질인 반사/비반사 관계, 대칭/비대칭/반대칭 관계에 대해 정리할 수 있다.	2026-07-29 ~ 2026-08-11
	2	[강의 주제] 관계 Ⅲ [강의 목표] 1. 관계의 주요 성질인 추이 관계에 대해 기술할 수 있다. 2. 관계 에 대해 설명할 수 있다. 3. 추이 클로우저에 대해 서술할 수 있다.

7 주차	1	[강의 주제] 관계 Ⅳ [강의 목표] 1. 동치 관계와 분할에 대해 설명할 수 있다. 2. 부분 순서 관계에 대해 서술할 수 있다. 3. 관계의 응용 분야와 4차 산업혁명과의 관계를 기술할 수 있다.	2026-08-05 ~ 2026-08-18
	2	[강의 주제] 함수 Ⅰ [강의 목표] 1. 함수의 정의와 정의역, 공변역, 치역의 개념을 서술할 수 있다. 2. 함수와 함수 그래프와의 관계를 기술할 수 있다. 3. 단사 함수, 전사 함수, 전단사 함수의 개념을 예를 들어 설명할 수 있다.

중간고사			2026-08-12 ~ 2026-08-25
9 주차	1	[강의 주제] 함수 Ⅱ [강의 목표] 1. 합성 함수, 역함수, 올림 함수 등의 개념을 정의할 수 있다. 2. 컴퓨터 언어에서 함수의 역할을 설명할 수 있다. 3. 함수의 응용과 4차 산업혁명과의 관계를 서술할 수 있다.	2026-08-19 ~ 2026-09-01
	2	[강의 주제] 그래프 Ⅰ [강의 목표] 1. 그래프의 기본 개념을 정의할 수 있다. 2. 그래프에서 사용되는 다양한 용어들을 제시할 수 있다. 3. 인접 행렬과 인접 리스트를 통한 그래프의 표현 방법을 설명할 수 있다.

10 주차	1	[강의 주제] 그래프 Ⅱ [강의 목표] 1. 오일러 경로와 오일러 순회의 의미를 설명할 수 있다. 2. 해밀턴 경로와 해밀턴 순회의 의미를 구술할 수 있다. 3. 완전 그래프, 정규 그래프, 이분 그래프, 방향 비사이클 그래프와 같은 특수한 형태의 그래프를 설명할 수 있다.	2026-08-26 ~ 2026-09-08
	2	[강의 주제] 그래프 Ⅲ [강의 목표] 1. 그래프의 탐색 방법으로 깊이 우선 탐색을 설명할 수 있다. 2. 그래프의 탐색 방법으로 너비 우선 탐색을 서술할 수 있다. 3. 그래프와 색칠 문제를 학습하고 이에 대해 구술할 수 있다.

11 주차	1	[강의 주제] 그래프 Ⅳ [강의 목표] 1. 그래프의 응용 예로 최단 경로 문제를 제시할 수 있다. 2. 그래프의 응용 예로 해밀턴 순회 문제를 기술할 수 있다. 3. 그래프의 응용 분야와 4차 산업혁명과의 관계를 설명할 수 있다.	2026-09-02 ~ 2026-09-15
	2	[강의 주제] 트리 Ⅰ [강의 목표] 1. 트리의 개념을 이해하고 용어를 설명할 수 있다. 2. 방향이 있고 순서화된 트리의 성질을 서술할 수 있다. 3. 이진 트리와 이진 트리의 표현법을 구술할 수 있다.

12 주차	1	[강의 주제] 트리 Ⅱ [강의 목표] 1. 이진 트리의 탐방에 대해 서술할 수 있다. 2. 중순위, 전순위, 후순위 탐방 방법들을 설명할 수 있다. 3. 이진 트리의 탐방 예를 제시할 수 있다.	2026-09-09 ~ 2026-09-22
	2	[강의 주제] 트리 Ⅲ [강의 목표] 1. 생성 트리와 최소 비용 생성 트리의 개념을 정의할 수 있다. 2. 프림의 알고리즘을 이용해 최소 비용 생성 트리를 구하는 방법을 설명할 수 있다. 3. 크루스칼의 알고리즘을 이용해 최소 비용 생성 트리를 구하는 방법을 서술할 수 있다.

13 주차	1	[강의 주제] 트리 Ⅳ [강의 목표] 1. 트리의 활용 예로 문법의 파싱과 허프만 코드 등을 정리할 수 있다. 2. 트리의 활용 예로 결정 트리와 게임 트리를 제시할 수 있다. 3. 트리의 응용 분야와 4차 산업혁명과의 관계를 설명할 수 있다.	2026-09-16 ~ 2026-09-29
	2	[강의 주제] 부울 대수 Ⅰ [강의 목표] 1. 부울식의 기본 연산과 부울식의 법칙에 대해 정리할 수 있다. 2. 부울식의 표현과 곱의 합 표현 방법을 파악하고 이에 대해 설명할 수 있다. 3. 부울 함수의 간소화 개념을 서술할 수 있다.

14 주차	1	[강의 주제] 부울 대수 Ⅱ [강의 목표] 1. 카노우맵을 통한 부울 함수의 간소화에 대해 설명할 수 있다. 2. 두 변수에 대한 카노우맵의 간소화를 설명할 수 있다. 3. 세 변수에 대한 카노우맵의 간소화를 서술할 수 있다. 4. 네 변수에 대한 카노우맵의 간소화를 구술할 수 있다.	2026-09-23 ~ 2026-10-06
	2	[강의 주제] 부울 대수 Ⅲ [강의 목표] 1. 논리합 등의 게이트를 사용하여 부울 함수를 논리 회로로 설계하는 방안을 설명할 수 있다. 2. 전자레인지와 전자투표기 등 논리 회로의 응용 예를 제시할 수 있다. 3. 부울 대수의 응용과 4차 산업혁명과의 관계를 설명할 수 있다.

기말고사			2026-09-30 ~ 2026-10-13