CS402 Introduction to Logic for Computer Science (Spring 2018)


Shin Yoo shin.yoo@kaist.ac.kr


This course is about basics of logic used in computer programming. Topics covered in this course are: propositional and predicate logic, as well as basic temporal logic. 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%

Teaching Assistant

  • Seongmin Lee (bohrok@kaist.ac.kr)
  • Office hour: Room 401 at N1, Tuesday & Thursday, 2:00-4:30PM


The majority of the course follows the outline of Ben-Ari, but we will also use Huth and Ryan as the reference for natural deduction.

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

Lecture Schedule

I have three trips that I am already committed to in Spring 2018. I was invited to speak at the 58th CREST Open Workshop on 27th February. I am the Program Co-chair for ICST 2018, which takes place from 9th to 13th of April. Finally, I am attending the biggest software engineering conference, ICSE 2018, in the last week of May to present papers and conduct meetings. I will try my best to keep the disruptions to the minimum; there may be one or two guest lectures where appropriate.

The following schedule is tentative and we have have new topics for 2018. Stay tuned.