[FrontPage] [TitleIndex] [WordIndex


We will be covering both propositional (AKA boolean) logic and predicate (sometimes called first order) logic. The primary handout was Luger's chapter on Predicate Logic; the first section also covers Propositional Logic. There is also some material on propositional logic in both the Discrete Math and Computer Architecture textbooks and a brief introduction to Predicate Logic in both of the Prolog handouts.

Online Materials

Not yet triaged for specific course pointers

Writing Proofs

Incompleteness and Paradox

This is the beginning of a list of resources on incompleteness, a topic we're covering at least a little bit in the course. It is also related to ReadingRoom/TuringMachines.

2013-07-17 10:43