고급 이산 수학

(과목 홈페이지: http://ants.mju.ac.kr/2017Spring/ADM.html)

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

강좌시간과 강의실

  1. 수 10:00-10:50, 금10:00-11:50 (강의실 5120호)
  2. 수 13:00-14:50, 금13:00-13:50 (강의실 5411호)

강좌 목표

이 과목은 컴퓨터의 동작과 프로그래밍에 있어서 기본이 되는 논리와 알고리즘의 개념을 이해하는 것을 목표로 한다.
이 강좌를 통해서 컴퓨터에 관련된 문제의 논리적 구조를 이해하고 이 문제를 해결하기 위해 필요한 논리적 사고를 할 수 있도록 한다.


이 강좌는 상세한 수학의 이론이나 엄격한 증명 보다는 컴퓨터 프로그래밍을 통해서 문제를 해결할 수 있는
능력을 갖추는데 목표를 둔다.

 

강좌 내용

이 강좌는 이산수학개론의 연속 강좌로서 진행한다. 이산수학개론에서 배운 내용을 기반으로 다음의 주제를 중점적으로 다룬다.

  1. 논리와 디지털 논리 회로
  2. 수학의 명제와 논리에 대한 이해와 논리적인 증명
  3. 알고리즘에 대한 이해
  4. 트리와 그래프 알고리즘의 기본적인 내용
  5. 형식언어와 유한상태기계

 

선수과목

  1. 2012학번 이후: 이산수학개론(필수)
  2. 2011학번까지: 선수과목은 없음
  3. 2012학번이며 컴퓨터공학과로 입학하지 않은 학생: 선수과목 없음

교재

교재는 이산수학개론에서 사용한 교재를 계속 사용하도록 하며, 별도의 자료가 필요할 경우 홈페이지 혹은 밴드를
통해 제공될 것이다.

 

강좌 진행


수업의 진행은 강의로 진행된다. 매주 강의의 핵심 부분은 동영상으로 제공되며, 매주 Quiz를 본다.
강의의 홈 페이지의 URL은http://ants.mju.ac.kr/2016Spring/ADM.html이며, 홈페이지와 함께 Band를 통해
수업에 관련된 공지 사항, 질문, 참고 자료 등 기타 수업에 관련된 내용들을 교환하도록 한다.

강의 동영상은 Youtube에서 접속하여 수업 예습과 복습에 활용할 수 있도록 한다.

밴드 가입

이 수업을 수강하는 모든 학생은 반드시 다음의 link를 이용하여 이 수업의 band에 가입해서 수업에 참여해야 한다.

밴드 초대주소: http://band.us/n/a9a4pb5a7589w

 

동영상 강의

수업의 동영상 자료를 다운로드하여 볼 수 있는 유튜브 사이트는 매주 밴드를 통해서 공지한다.

 

강의 일정

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

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

과목 소개
논리와 명제

Module1-1  
2
명제의 표현
deduction and induction

Module1-2
Module2

 
3

deduction and induction
부울대수와 논리회로

 
4

부울대수와 논리회로

Module3  
5

알고리즘

Module4-1

 
6
알고리즘
Module4-2    
7

알고리즘

 

선거일
8

중간고사

     
9

그래프


   
10
그래프

 
11
그래프  
12

형식언어와 유한상태 기계

 
13

형식언어와 유한상태 기계

   
14

형식언어와 유한상태 기계

 

 
15

형식언어와 유한상태 기계

     
16
기말 고사      


성적 평가

  1. 중간고사 : 30%
  2. 기말고사 : 30%
  3. 퀴즈: 30%
  4. 출석: 10%

출석

이 과목은 강의실에서 이루어지는 수업으로 반드시 수업시간에 강의에 참여해야 한다.
어쩔 수 없는 상황이 발생할 경우를 고려해서 3회까지의 결석은 허용하며 4회 이상부터는 출석 점수(10점)에서 1회 1점씩 감점한다.
3회까지의 결석을 허용하므로 결석을 했을 때 따로 증명서 등은 제출할 필요가 없다.

기타 주의 사항

시험(퀴즈 포함) 중 부정행위가 발견될 경우 해당 시험은 0점으로 처리되며, 추후 제제 사항이 있을 경우 학교(혹은 학과)의 규칙에 따라 적용된다.


수업 중간에 자리를 비워야 할 경우에는 사전에 강사의 승락을 받도록 한다.