These lecture slides tutorials etc.
I browsed the same course in another university here but it seems they won't allow
outsiders to access.

Thanks.



; ---------------------------------------------
http://www.comp.nus.edu.sg/~cs3234/materials.html

Lecture Notes


Propositional Logic 1, cs3234-lec01.pdf (slides) and cs3234-lec01-6.pdf (6 slides/page, printer-friendly) --- Aug. 12, 2004.
Propositional Logic 2, cs3234-lec02.pdf (slides) and cs3234-lec02-6.pdf (6 slides/page, printer-friendly) --- Aug. 19, 2004.
Predicate Logic 1, cs3234-lec03.pdf (slides) and cs3234-lec03-6.pdf (6 slides/page, printer-friendly) --- Aug. 26, 2004.
Predicate Logic 2, cs3234-lec04.pdf (slides) and cs3234-lec04-6.pdf (6 slides/page, printer-friendly) --- Sep. 2, 2004.
Logic Programming, cs3234-lec05.pdf (slides) and cs3234-lec05-6.pdf (6 slides/page, printer-friendly) --- Sep. 9, 2004.
Model Checking 1, cs3234-lec06.pdf (slides) and cs3234-lec06-6.pdf (6 slides/page, printer-friendly) --- Sep. 16, 2004.
Model Checking 2, cs3234-lec07.pdf (slides) and cs3234-lec07-6.pdf (6 slides/page, printer-friendly) --- Oct. 7, 2004.
Model Checking 3, cs3234-lec08.pdf (slides) and cs3234-lec08-6.pdf (6 slides/page, printer-friendly) --- Oct. 14, 2004.
Program Verification, cs3234-lec09.pdf (slides) and cs3234-lec09-6.pdf (6 slides/page, printer-friendly) --- Oct. 21, 2004.
Modal Logics, cs3234-lec10.pdf (slides) and cs3234-lec10-6.pdf (6 slides/page, printer-friendly) --- Oct. 28, 2004.
Binary Decision Diagrams, cs3234-lec11.pdf (slides) and cs3234-lec11-6.pdf (6 slides/page, printer-friendly) --- Nov. 4, 2004.
Conclusion,cs3234-lec12.pdf (slides) and cs3234-lec12-6.pdf (6 slides/page, printer-friendly) --- date to be announced.

Tutorials

cs3234-tut01.pdf --- Aug. 17/20,2004
cs3234-tut02.pdf --- Aug. 24/27,2004
cs3234-tut03.pdf --- Aug. 31/Sep. 3,2004
cs3234-tut04.pdf --- Sep. 7/10,2004
cs3234-tut05.pdf --- Sep. 14/17,2004
cs3234-tut-midterm.pdf --- Sep. 24/28,2004
cs3234-tut06.pdf --- Oct. 1/5,2004
cs3234-tut07.pdf --- Oct. 8/12,2004
cs3234-tut08.pdf --- Oct. 15/19,2004
cs3234-tut09.pdf --- Oct. 22/26,2004
cs3234-tut10.pdf --- Oct. 29/Nov. 2,2004
cs3234-tut11.pdf --- Nov. 5/9,2004

Assignments


Logic programming assignment
Model checking assignment
Program verification assignment