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