이산수학 Discrete Mathematics

 

강사: 홍 석 원
컴퓨터 공학과
연구실: 5723호
email: swhong@mju.ac.kr, Tel: 6777

강의시간과 강의실

  1. 화 11:00-11:50 (Y5411호), 목 10:00-11:50 (Y5411호)
  2. 월 13:00-14:50 (Y5411호), 수 13:00-13:50 (Y5411호)
  3. 월 15:00-16:50 (Y5411호), 수 15:00-15:50 (Y5411호)

강의 목표

이산 객체를 대상으로 하는 문제를 해결하기 위한 필요한 기본 지식들을 학습한다.
이 강좌에서는 컴퓨터에서 다루어지는 알고리즘을 이해하고 여러 문제에 이를 활용할 수 있도록 한다.

강의 내용

이 강좌에서는 다음의 주제를 중점적으로 다룬다.

  1. 명제와 명제의 표현
  2. 알고리즘의 표현과 분석
  3. 부울대수와 논리회로 설계
  4. 관계와 함수
  5. 트리알고리즘
  6. 그래프 알고리즘
  7. 형식언어와 유한상태기계

 

교재

교재는 별도로 구입하지않아도 되며, 필요한 경우 교재의 내용은 파일로 제공될 것이며 강의 자료는 홈페이지에 공개한다.

강의 진행


수업의 진행은 동영상 강의와 문제 풀이로 진행되며 수업 시간에서는 문제 풀이와 질문으로 진행한다.

강의 일정

(아래의 일정은 잠정적이며 진행에 따라 변경될 수 있음)

강의 주제
강의 자료
숙제
기타
1

과목 소개
명제

[명제1-1] [problem1-1]  
2

명제의 표현

[명제1-2] [problem1-2]  
3

수학적 귀납법

[수학적귀납법]

[problem1-3]
[problem2-1]

 
4

부울대수

[부울대수] [problem3-1]  
5

부울대수와 논리회로 설계

[논리회로 설계]

[problem3-2]
[problem3-3]

 
6

알고리즘

[알고리즘] [problem4-1]  
7

알고리즘 분석

[알고리즘 분석]    
8

중간고사

     
9

그래프

[그래프1]
[그래프 용어]

   
10
그래프

[최단경로1]
[최단경로2]

   
11

트리

[트리]    
12

관계

     
13

형식언어와 유한상태 기계

     
14

형식언어와 유한상태 기계

 

   
15

형식언어와 유한상태 기계

     
16
기말 고사      


성적 평가

  1. 중간고사 : 30%
  2. 기말고사 : 40%
  3. 문제 풀이: 30%