고급 이산 수학

(과목 홈페이지: 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 (강의실 5407호)
  2. 화 13:00-13:50, 목13:00-14:50 (강의실 5411호)

강좌 목표

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


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

 

강좌 내용

이 강좌는 1학년 1학기 이산수학개론의 연속 강좌로서 진행한다. 이산수학개론에서 이산수학에서 다루는
모든 주제를 전반적으로 학습했다는 전제하에 이 강좌에서는 다음의 주제들을 중점적으로 다룬다.

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

 

선수과목

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

교재

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

강좌 진행


매주 수업 시간 전에 동영상을 통해서 강의의 내용을 미리 학습한다.
화요일 수업 시간에는 스스로 학습한 강의 내용에 대해 문제가 주어지며 질문과 문제풀이로 진행한다.
목요일 수업 시간에는 강의 내용에 대해 Quiz를 보고, Quiz 문제 풀이와 질문과 토론으로 진행한다.

강의의 홈 페이지의 URL은 http://ants.mju.ac.kr/2017Spring/ADM.html이며, 홈페이지와 함께 Band를 통해
수업에 관련된 공지 사항, 질문, 참고 자료 등 기타 수업에 관련된 내용들을 교환하도록 한다.

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

밴드 가입

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

밴드 초대주소: 

http://band.us/n/aba7T7i8B9xaM

 

동영상 강의

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

 

강의 일정

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

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

과목 소개
논리와 명제

 
2
명제의 표현

 

 
3

증명, 연역법과 귀납법

수학적 귀납법

 
4

부울대수와 논리회로 설계

 
5

알고리즘

 
6
알고리즘
   
7

알고리즘

 

 
8

중간고사

     
9

그래프


   
10
그래프

 
11
그래프  
12

형식언어와 유한상태 기계

 
13

형식언어와 유한상태 기계

   
14

형식언어와 유한상태 기계

 

 
15

형식언어와 유한상태 기계

     
16
기말 고사      


성적 평가

  1. 중간고사 : 30%
  2. 기말고사 : 30%
  3. 퀴즈: 40% (전체 퀴즈 점수에서 가장 점수가 낮은 2개를 제외한 나머지 점수로 평가)

출석

강의실에서 별도의 출석을 확인하지 않는다. 하지만 출석을 하지 못해 Quiz를 못본 경우 0점으로 처리된다.
전체 퀴즈 중에서 가장 점수가 낮은 2개의 점수는 제외하므로 2번까지 Quiz에 불참하는 것은 허용될 수 있다.
따라서 개인적인 사유에 의해 출석을 못한 경우에 별도의 증명을 할 필요가 없다. (어떤 증명도 받아 주지 않을 것임)

 

주의 사항

시험(Quiz 포함) 중 부정행위가 발견될 경우 해당 시험은 무조건 0점 처리되며, 학교(학과) 규칙에 따라 추후 제재가 주어진다.


수업 시간 중에 자리를 비울 경우 반드시 강사에게 사유를 말해서 허락을 받도록 한다.