CS402 Intro. to Logic, Spring 11

Announcement

  • Class starts on Feb 8
  • No class on Feb 10 due to KCSE conf.
  • No class on Mar 1 (natl. holiday)
  • Mid term exam on Mar 29 9:00-11:59 AM (Tues) (closed book)
  • No class on Apr 12 (due to the KAIST policy for the recent tragedy)
  • Quiz on May 3rd (LTL semantics)
  • HW#4 due is extended to May 5th 23:59
  • No class on May 10 (natl. holiday)
  • Students interested in URP on software verification are welcome!
  • Final exam: May 31 (Tues) 7-10 PM
  • Please, evaluate the CS402 class in this semester before/on May 20.

Administrative Information

  • Instructor: Moonzoo Kim

    Office: 2434 (located at the east wing)
    Phone: 042-350-3543
    E-mail: moonzoo@cs.kaist.ac.kr
    Office hour: TBD
    (reservation e-mail would be preferred)

  • Teaching assistants: Shin Hong and Hak Yeol Choi

    Office: 2438 (located at the east wing)
    E-mail: hongshin@gmail.com, krhhyhy@gmail.com
    Phone: 042-350-7743
    Office hour: Tues, 7:00 - 10:00 PM @ 1st floor PC room (a.k.a eve room)
    (reservation e-mail would be preferred)

  • Lecture room: 3444 (5th lecture room)
  • Lecture hours: 9:00-10:30 Tues/Thur
  • Grading: attendance & quiz: 20%, HW: 30%, midterm exam.: 25%, final exam.: 25%
    • Late HW is accepted with 20% penalty in 1 day, 40% penalty in 3 days. HW will not be accepted after that.
    • Late attendance is considered as 1/3 absence, so to start class on time.
  • Note: The official language in the class is English. All students should submit homework and exam in English.
  • CS 402 BBS at NOAH: All class attendants are encouraged to write questions or comments on the class at the BBS.

Course Material

Main text:

Recommended reading list:

  • "A Mathematical Introduction to Logic" by H.B.Enderton, Academic Press, 2nd edition
  • "Logic and Structure" by D.V.Dalen, Springer, 4th edition

Course Schedule

Wk 1: Introduction

Wk 8: Midterm exam

Homeworks

  • HW#1: Due Mar 22 23:59
    • All solution should be submitted in hardcopy except DIMACS CNF formula that should be sent to hongshin@gmail.com
    • Solution
  • HW#2: Due Apr 5 23:59
  • HW#3: Due Apr 19 23:59
  • HW#4: Due May 5 23:59
  • HW#5: Due May 31 23:59

Resources