CS3234 Study Materials
Textbook     This module uses the (fully recommended) textbook
Logic in Computer Science: Modelling and reasoning about systems
by Michael Huth and Mark Ryan
387 pages, 2000; Cambridge University Press; ISBN: 0-521-65200-8


Additional references
Ben-Ari, M.: Mathematical Logic for Computer Science, Prentice Hall, 1993. [In: RBR Collection, NUS SC Library]
Hamilton, A.G.: Logic for Mathematicians, Cambridge University Press, 1978 [In: RBR Collection, NUS SC Library]
Kleene, S.C.: Introduction to Metamathematics, North-Holland, 1952.
Manna, Z.: Mathematical Theory of Computation, McGraw-Hill, 1974. [In: RBR Collection, NUS SC Library]
Takeuki, G.: Proof Theory, North-Holland, 1975.

Lecture Notes

  1. Propositional Logic 1, cs3234-lec01.pdf (slides) and cs3234-lec01-6.pdf (6 slides/page, printer-friendly) ---  Aug. 12, 2004.
  2. Propositional Logic 2, cs3234-lec02.pdf (slides) and cs3234-lec02-6.pdf (6 slides/page, printer-friendly) ---  Aug. 19, 2004.
  3. Predicate Logic 1, cs3234-lec03.pdf (slides) and cs3234-lec03-6.pdf (6 slides/page, printer-friendly) ---  Aug. 26, 2004.
  4. Predicate Logic 2, cs3234-lec04.pdf (slides) and cs3234-lec04-6.pdf (6 slides/page, printer-friendly) ---  Sep. 2, 2004.
  5. Logic Programming, (bibliography for logic programming section: Chapter 4 of Ben-Ari, "Mathematical Logic for Computer Science"), cs3234-lec05.pdf (slides) and cs3234-lec05-6.pdf (6 slides/page, printer-friendly) ---  Sep. 9, 2004.
  6. Model Checking 1, cs3234-lec06.pdf (slides) and cs3234-lec06-6.pdf (6 slides/page, printer-friendly) ---  Sep. 16, 2004.
  7. Model Checking 2, cs3234-lec07.pdf (slides) and cs3234-lec07-6.pdf (6 slides/page, printer-friendly) ---  Oct. 7, 2004.
  8. Model Checking 3, cs3234-lec08.pdf (slides) and cs3234-lec08-6.pdf (6 slides/page, printer-friendly) ---  Oct. 14, 2004.
  9. Program Verification, cs3234-lec09.pdf (slides) and cs3234-lec09-6.pdf (6 slides/page, printer-friendly) ---  Oct. 21, 2004.
  10. Modal Logics, cs3234-lec10.pdf (slides) and cs3234-lec10-6.pdf (6 slides/page, printer-friendly) ---  Oct. 28, 2004.
  11. Binary Decision Diagrams, cs3234-lec11.pdf (slides) and cs3234-lec11-6.pdf (6 slides/page, printer-friendly) ---  Nov. 4, 2004.
  12. Conclusion,cs3234-lec12.pdf (slides) and cs3234-lec12-6.pdf (6 slides/page, printer-friendly) ---  date to be announced.

Tutorials
  1. cs3234-tut01.pdf ---  Aug. 20,2004 (for solutions click here)
  2. cs3234-tut02.pdf ---  Aug. 27,2004 (for solutions click here)
  3. cs3234-tut03.pdf ---  Sep. 3,2004 (for solutions click here)
  4. cs3234-tut04.pdf ---  Sep. 10,2004 (for solutions click here)
  5. cs3234-tut05.pdf ---  Sep. 17,2004 (for solutions click here)
  6. cs3234-tut-midterm.pdf ---  Sep. 24,2004 (for solutions click here)
  7. cs3234-tut06.pdf ---  Oct. 1,2004 (for solutions click here)
  8. cs3234-tut07.pdf ---  Oct. 8,2004 (for solutions click here)
  9. cs3234-tut08.pdf ---  Oct. 15,2004 (for solutions click here)
  10. cs3234-tut09.pdf ---  Oct. 22,2004 (for solutions click here, and for a total correctness proof, click here )
  11. cs3234-tut10.pdf ---  Oct. 29,2004 (for solutions click here)
  12. cs3234-tut11.pdf ---  Nov. 5,2004 (for solutions click here)

Assignments

  1. Logic programming assignment (due October 10, 2004)
  2. Model checking assignment (due October 31, 2004) --- you can download the SMV manual from here.
  3. Program verification assignment (Due Nov. 14 --- submission may be in handwritten form)