강 의 소 개
모국어 강의 본 강의는 한국어로 이루어진다.
강 의 개 요 이 과목에서는 sets and proof, computability, permutations and combinations, graphs, structure of trees, automata, analysis of algorithms, sequences and recurrence equation에 관해 다룬다.
담 당 교 수 최광무, 전산학동 2427호, choe@kaist.ac.kr
강 의 교 재
  • 주교재
    • Discrete Mathematics and its Applications (7th edition)
    • 저자 : Kenneth H. Rosen
    • 출판사 : McGraw-Hill Higher Education
  • 부교재
  • 강 의 시 간 월, 수 13:00 ~ 14:15
    강 의 장 소 (E11)창의학습관 410호

    강 의 계 획
  • 최종 성적(숙제, 시험, 출석 등)
  • 성 적
    출 석
    숙제
    중간고사
    기말고사
    합 계
    25%
    25%
    25%
    25%
    100%
    강 의 일 정
    주제
    강의 기간
    교재 범위
    1. The Foundation: Logic and Proofs
    1주차 - 2주차
    chap1
    2. Basic Structures: Sets, Functions, Sequences, Sums
    3주차
    chap2
    3. Algorithms
    4주차
    chap3
    4. Number Theory and Cryptyography
    5주차
    chap4
    5. Induction and Recursion
    6주차
    chap5
    6. Counting
    7주차
    chap6
    7. Discrete Probability
    8주차
    chap7
    8. Advanced Counting Techniques
    9주차
    chap8
    9. Relations
    10주차
    chap9
    10. Graphs
    11주차
    chap10
    11. Trees
    12주차
    chap11
    12. Algebric Structure and Coding Theory
    13주차
    chap12

    ※공휴일과 강의 상황에 따라 약간 바뀔 수 있습니다.

    시 험
    중간고사

  • 일시 : 4월 25일(월) 13:00 - 14:30 (90분간진행될예정)
  • 장소 : 전산학동(E3-1) 공동강의실 1501호
  • 시험 형식 : Open-book exam, 종이로 된 자료에 한 해 시험장 반입이 가능합니다.
    (단, 전자기기의 사용, 타인의 도움, 시험장 내에서 자료 공유는 불허합니다.)
  • 시험 범위 : 1단원 - 7단원

    기말고사
  • 강 의 자 료

  • 교과서 TP ( cf. 2013 CS204 Homepage)
    챕터 제목 쪽수
    Chapter 0
    Discrete Mathematics and Its Applications : Seventh Edition : v1
    2
    Chapter 1
    The Foundation: Logic and Proofs : v1 v2
    38
    Chapter 2
    Basic Structures:Sets, Functions, Sequences, Sums, and Matrices : v1 v2
    29
    Chapter 3
    The Fundamentals:Algorithms, the Integers,and Matrices : v1 v2 v3
    21
    Chapter 4
    Number Theory and Cryptography : v1 v2 v3 v4
    16
    Chapter 5
    Induction and Recursion : v1 v2 v3 v4 v5
    26
    Chapter 5-1
    Dijkstra's mini-language : v1
    8
    Chapter 6
    Counting : v1 v2 v3 v4
    9
    Chapter 7
    Discrete Probability : v1
    8
    Chapter 8
    Advanced Counting Techniques : v1 v2 v3 v4
    26
    Recurrence 엑셀 보조자료 : v1
    27
    Chapter 9
    Relations : v1 v2 v3 v4 v5 v6
    23
    Chapter 10
    Graphs : v1 v2 v3
    33
    Chapter 11
    Trees : v1 v2 v3
    16
    Chapter 12
    Algebraic Structure and Coding Theory : v1 v2
    24
    Chapter 13
    Boolean Algebras : v1
    21
    Chapter 14
    Uncountable sets : v1
    10
    :
    310
    (공지) 4월15일 이후로 새로운 Chapter 7 Discrete Probability v1 업데이트 되었습니다.

  • 한글 보조 자료
    챕터 섹션 제목 PDF 쪽수
    Chapter 0
    0
    개요 : v1
    v1
    2
    Chapter 1
    1
    논리와 명제 : v1
    v1
    3
    Chapter 2
    1
    집합 : v1
    v1
    3
    Chapter 4
    1
    수 : v1
    v1
    1
    Chapter 6
    1
    순열 조합 : v1
    v1
    3
    Chapter 7
    1
    이산 확률 : v1
    v1
    4
    Chapter 8
    1
    점화 관계 : v1
    v1
    5
    Chapter 9
    1
    관계와 함수 : v1
    v1
    5
    Chapter 9
    2
    동등관계와 순서 : v1
    v1
    5
    Chapter 12
    1
    Congruence of modulus 7 : v1
    v1
    1

  • 강의 필기( cf. 2013 CS204 Homepage)
    챕터 제목 강의 최종수정일
    Chapter 1
    제 3강
    2016-03-09(수)
    Chapter 2
    제 4강
    2016-03-14(월)
    Chapter 2
    제 5강
    2016-03-16(수)
    Chapter 3
    제 6강
    2016-03-21(월)
    Chapter 4
    제 7강
    2016-03-23(월)
    Chapter 4
    제 8강
    2016-03-28(월)
    Chapter 5
    제 9강
    2016-03-30(수)
    Chapter 5
    제 11강
    2016-04-06(수)
    Chapter 6
    제 12강
    2016-04-11(월)
    Chapter 7
    제 13강
    2016-04-18(월)
    Chapter 8
    제 14강
    2016-04-27(수)
    Chapter 8,9
    제 15강
    2016-05-02(월)
    Chapter 9
    제 16강
    2016-05-04(수)
    Chapter 9
    제 17강
    2016-05-09(월)
    Chapter 10
    제 18강
    2016-05-11(수)
    칠판필기
    제 18강
    2016-05-11(수)
    Chapter 10
    제 19강
    2016-05-16(월)
    Chapter 10
    제 20강
    2016-05-18(수)
    Chapter 11
    제 21강
    2016-05-23(월)
    Chapter 12
    제 22강
    2016-05-25(수)
    Chapter 13
    제 23강
    2016-05-30(월)
    Chapter 13
    제 24강
    2016-06-01(수)
    Chapter 12
    제 25강
    2016-06-08(수)
    Chapter 13
    제 26강
    2016-06-13(월)

  • 보조자료 - 교과서 저자 TP (Rosen)
    Chapter 제목 쪽수
    Chapter 1
    The Foundations: Logic and Proofs
    223
    Chapter 2
    Basic Strutures: Sets, Functions, Sequneces, Sums, and Matrices
    155
    Chapter 3
    Algorithms
    81
    Chapter 4
    Number Theory and Cryptography
    103
    Chapter 5
    Induction and recursion
    74
    Chapter 6
    Counting
    64
    Chapter 7
    Discrete Probability
    74
    Chapter 8
    Advanced Counting Techniques
    80
    Chapter 9
    Relations
    52
    Chapter 10
    Graphs
    88
    Chapter 11
    Trees
    43
    Chapter 12
    Algebraic Structures and Coding Theory
    177
    Chapter 12
    보조자료_Liu책_12단원
    2
  • 숙 제
    • Homework (점수확인)
      • 공 지
        숙제는 일주일에 한 번씩, 매주 수요일에 홈페이지에 공지될 예정입니다.
      • 마감
        공지한 다음 주 수요일 오후 11:59까지 입니다.
      • Delay
        Due 이후에 제출된 숙제는 해당 숙제 점수의 25%만 받게 됩니다.
      • 제출 방식
        제출 장소는 N1 403호 앞 숙제함입니다.
      • 숙제 Return
        숙제 Due에서 2주 후 월요일 숙제함 근처에 채점된 숙제를 모아 놓을 테니 찾아가시면 됩니다.
  • 필기숙제
    출제일 제출일 숙제 풀이 담당조교
    2016/03/02
    2016/03/23(수)
    이정준
    2016/03/14
    2016/03/23(수)
    류청권
    2016/03/23
    2016/03/30(수)
    류청권
    2016/03/30
    2016/04/06(수)
    류청권
    2016/04/06
    2016/04/13(수)
    정경준
    2016/04/14
    2016/04/27(수)
    정경준
    2016/05/11
    2016/05/18(수)
    정경준
    2016/05/18
    2016/05/30(월)
    장준혁
    2016/05/30
    2016/06/06(월)
    장준혁
    2016/06/08
    2016/06/20(월)
    장준혁

  • 조 교 정 보
    • 조교 Office Hour: 월,수 2:30 - 5:30

    이 름 연 구 실 이 메 일 담 당
    이정준
    E3 2422
    j2in2o@kaist.ac.kr
    조교장, 숙제
    김성훈
    E3 2422
    shkim0604@kaist.ac.kr
    홈폐이지, 숙제
    류청권
    N1 822
    ryuch91@kaist.ac.kr
    숙제
    정경준
    jkj831@kaist.ac.kr
    숙제
    장준혁
    brianjjh@kaist.ac.kr
    숙제
    황인우
    inwoo9204@kaist.ac.kr
    출석

    출 석
    • 사진을 보고 링크에 들어가 출석 체크를 해 주십시오. 되도록이면 빨리 해 주시면 좋겠습니다.
    • 3번 결석 까지는 봐주지만, 그 이상 결석하면 점수에 영향을 주게 됩니다.
  • 출석사진
    날짜 요일 사진 출석체크
    2016-03-09
    2
    1 2 3
    2016-03-14
    3
    1 2 3
    2016-03-16
    3
    1 2 3 4 5
    2016-03-21
    4
    1 2 3 4
    2016-03-23
    4
    1 2 3 4
    2016-03-28
    5
    1 2 3
    2016-03-30
    5
    1 2 3
    2016-04-04
    6
    1 2 3
    2016-04-06
    6
    1 2 3
    2016-04-11
    7
    1 2 3
    2016-04-18
    8
    1 2 3
    2016-04-27
    9
    1 2 3
    2016-05-02
    10
    1 2 3 4
    2016-05-04
    10
    1 2 3 4
    2016-05-09
    11
    1 2 3 4
    2016-05-11
    11
    1 2 3 4
    2016-05-16
    12
    1 2 3 4
    2016-05-18
    12
    1 2 3 4
    2016-05-23
    13
    1 2 3 4
    2016-05-25
    13
    1 2 3 4
    2016-05-30
    14
    1 2 3 4
    2016-06-01
    14
    1 2 3 4
    2016-06-08
    15
    1 2 3
    2016-06-13
    16
    1 2 3 4

  • CS204 2016 출석표 → 클라우드 저장소에 저장된 최신 정보 반영 정보입니다.
  • CS204, http://adamant.kaist.ac.kr/cs204, Webmaster: shkim0604 [at] kaist.ac.kr