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

Decidability

The halting problem

The halting problem continued

Other Lectures

Course Home Page

Instructor's Home Page