Methods of Proof

Click here to start

Table of Contents

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


The halting problem

The halting problem continued

Other Lectures

Course Home Page

Instructor's Home Page