The terms you need to know
Applications of the methods of proof in CS
Some common rules of inference
An example of formal reasoning
Rules of inference for quantified statements
G?del’s Theorem
Decidability
The halting problem
The halting problem continued
Course Home Page
Instructor's Home Page