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)
The COMP 280 homepage