강 의 소 개
모국어 강의 본 강의는 모국어로 이루어진다.
강 의 개 요 이 과목에서는 sets and proof, computability, permutations and combinations, graphs, structure of trees, automata, analysis of algorithms, sequences and recurrence equation에 관해 다룬다.
담 당 교 수 최광무, 전산학동 2427호, choe@kaist.ac.kr
강 의 교 재
  • 주교재


  • 부교재
    • 1. Discrete Mathematics and its Applications, Kenneth H. Rosen (7th edition) → 강의에서 많이 인용되는 교재이므로 선배에게서 한 한기 정도 빌려볼 것을 강하게 추천합니다. (homepage)
강 의 시 간 화, 목 13:00 ~ 14:30
강 의 장 소 N1 102 (김병호·김삼열 IT융합빌딩)
지난 강의 자료

  강 의 계 획
성 적
출 석
숙제 및 프로젝트
중간고사
기말고사
합 계
25%
25%
25%
25%
100%
강 의 일 정 강의계획서
  • 실제로 진행되는 강의 일정은 조금 변경될 수 있습니다.

  시 험

  • 중간고사:
  • 기말고사:

  강의자료

   - 알림 -

  • TP는 강의 전에 미리 올라옵니다. 미리 읽어보고 인쇄하여 강의에 반드시 들고 오시길 바랍니다.
  • 강의 필기 및 영상는 수업이 끝난 후 제공됩니다.


  • TP
    단원 주제 버전
    1 Sets and Logic 0, 1, 2
    2 Proofs 0, 1
    3 Functions, Sequences, and Relations 0, 1
    3-1 Infinite Set(보충 자료) 0
    3-2 고교생 여름 캠프(보충 자료) 0
    4 Algorithms 0
    5 Introduction to Number Theory 0
    6 Couting Methods and the Pigeonhole Principle 0
    7 Recurrence Relations 0, 1
    8 Graph Theory
    9 Trees
    11 Boolean Algebras and Combinatorial Circuits
    12 Automatas, Grammars, and Languages


  • 강의 영상
    주차 날짜 주제 필기 영상
    1 09/03 1.1 Sets 1 1
    09/05 1.2 Proposition & Predicate logic
    1.3 Conditional Proposition & Logical Equivalence
    1, 2 1
    2 09/10 1.4 Proposition & Predicate logic
    1.5 Conditional Proposition & Logical Equivalence
    1 1, 2
    09/12 1.5 Conditional Proposition & Logical Equivalence 1 1
    3 09/17 1.6 Nested quantifier
    2. Proof
    1, 2 1, 2
    4 09/24 2. Proof(II)
    2.4 Mathematical Induction
    1, 2 1
    09/26 필기 없음 1
    5 10/01 3. Function, Strings & Relation 1 1, 2
    6 10/08 3.3 Relation 1, 2, 3 1
    10/10 3. Function, Strings & Relation 1 1
    7 10/15 4. Algorithm 1, 2 1
    10/17 정리 1
    8 중간고사 시험문제
    9 10/29 7. Recurrence relation 1 1
    10/29 Homogeneous & Non-Homogeneous Equations 1, 2 1
    10 11/05 Non-homogeneous R.R & Divide and Conquer and oreder complexity 1, 2 1, 2
    11/07 8. Graph 1, 2 1





  • 숙제
    • 숙제
      • 숙제 공지
        숙제는 일주일에 한 번씩, 매주 목요일에 홈페이지을 통해 공지될 예정입니다.
      • 숙제 마감일
        공지된 후 1주일의 기간을 두어 목요일 1:00 P.M.까지 입니다.
      • Delay
        마감일 이후에 제출된 숙제는 마감 후 3일(72시간)까지 50%딜레이를 적용하고 제출할 수 있습니다. 그 이후는 일체 받지 않습니다.
      • 제출 방식
        제출 장소는 N1 4층 숙제함(381)이며,
        Report Format에 대한 다음 사항을 반드시 지켜 제출해 주시기 바랍니다.
        - 표지는 생략하고 첫 페이지의 상단 3Cm 정도의 공간에 숙제번호, 제출일, 학과, 전공, 학번, 이름을 기록합니다.

      • 정답 공지
        숙제에 대한 정답은 해당 숙제 마감일 바로 다음 주말까지 홈페이지를 통해 공지 됩니다.
      • 숙제 Return
        숙제 마감 일주일 후 목요일 수업 시간을 통해 채점된 숙제를 돌려 드리고, 성적은 홈페이지를 통해 지속적으로 공지될 예정입니다.

    올린날 마감일 숙제 정답 담당조교
    09/12 09/24 (12:59 P.M.) hw1 (오타 수정) hw1_sol 송은선
    09/26 10/03 (1:00 P.M.) hw2 (오타 수정:10/01 오후7시) hw2_sol 송은선(1, 2번), 이동진(3번)
    10/10 10/17 (1:00 P.M.) hw3 hw3_sol 이동진
    11/07 11/14 (1:00 P.M.) hw4 박정국


      출 석 관 리
  • 결석 3번까지 감점이 없습니다.
  • 출석 관리는 KLMS의 '출석' 게시판에서 이루어집니다.

  •   조 교
    이      름
    이   메   일
    담      당
    기타
    강진
    sd1989@kaist.ac.kr
    조교장
    연구실: 전산동 2422호 / 전화번호: 내선 x7720
    이해봄
    dalbom@kaist.ac.kr
    출석 담당
    송은선
    teddy@kaist.ac.kr
    1, 2 단원 조교
    이동진
    eric9308@kaist.ac.kr
    3, 4, 5 단원 조교
    박정국
    pjknkda@kaist.ac.kr
    6, 7, 8 단원 조교
    추성지
    sjchu1205@kaist.ac.kr
    9, 11, 12 단원 조교
     

    CS204, http://adamant.kaist.ac.kr/cs204, Webmaster: sd1989 [at] kaist.ac.kr