Comp 280 Handouts

This page contains handouts and other materials of interest in the course.

A sample proof on programs(ps, pdf) (posted Jan 21 2000)
A Sample Proof Using English and Program Reductions(ps, pdf) (posted Feb 1 2000)
Using Propositional Logic to Model and Prove Conditionals(ps, pdf) (posted Feb 5 2000)