CS402 Intro. to Logic, Fall 07

Announcement

  • Academic honesty should be highly honored. Dishonest activities such as plagiarism in your HW or cheating in quiz/exam will be handled with severe penalty.
  • Late HW is accepted with 20% penalty in 1 day, 40% penalty in 3 days. HW will not be accepted after that.
  • Errata for the textbook
  • Final exam: Dec 19th 11:00 AM - 1:00 PM
  • No class on Dec 14th

Administrative Information

Instructor: Moonzoo Kim

  • Office: 2434 (located at the east wing)
  • Phone: 042-869-3543
  • E-mail: moonzoo@cs.kaist.ac.kr
  • Office hour: Mon, Wed 5:30 - 7:00 PM (reservation e-mail would be preferred)
  • Teaching assistants: Shin Hong and Yunho Kim
  • Lecture room: 2112 (2nd lecture room)
  • Lecture hours: 11:00-12:00 Mon/Wed/Fri
  • Grading: attendance & quiz: 20%, HW: 30%, midterm exam: 25%, final exam: 25%
  • 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:
    • "Mathematical Logic for Computer Science" by M. Ben-Ari, Springer, 2nd Edition — Ch 1-3, 5
    • "Logic in Computer Science" by M. Huth and M. Ryan, Cambridge University Press, 2nd edition — Ch 2-3
  • 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

Resources