CS402 Introduction to Logic for Computer Science (Spring 2016)


This course is about basics of logic used in computer programming. Topics covered in this course are: propositional calculus, predicate calculus, axiomatic theories, skolemization, unification, and resolution. We will also try to incorporate practical application of logic systems using various tools.


  • Coursework: 30%
  • Midterm Exam: 30%
  • Final Exam: 30%
  • Class Participation: 10%


  • There won’t be any lectures on 12th and 14th April, due to ICST 2016.
  • There won’t be any lecture on 12th May, due to another lecture in Software Graduate Program.
  • I will schedule make-up lectures after consulting the entire class as we move forward.

Teaching Assistant

  • Jeongju Sohn
  • email: kasio555@kaist.ac.kr
  • Office Hour: N1 401 Tuseday 18:30 ~ 20:00, Thursday 16:00 ~ 17:30.


From 10th March onwards, the lectures will be in Room 401 at E11.


The following books have chapters corresponding to the lecture material. It is not necessary to buy the books, but you can consult them to get the bigger picture.

  • “Mathematical Logic for Computer Science” by M.Ben-Ari, Springer (Chapter 1-3, 5)
  • “Logic in Computer Science” by M.Huth and M.Ryan, Cambridge university press (Chapter 2-3)


The following schedule is tentative and will be adjusted as the class progresses.