These stuff...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, 200 (more...)