Staff
Time & Place
Office Hours
Sources
Homework & Exams
Newsgroup & Email
CS381 vs CS481
Prerequisites
Homework 1 Solutions
Quiz 1 results
Homework 2 Solutions
Quiz 2 results
Homework 3 Solutions
Homework 4 Solutions
Quiz 3 results
Homework 5 Solutions
Quiz 4 results
Homework 6 Solutions
Prelim 1 stats
Quiz 5 results
Homework 7 Solutions
Homework 8 Solutions
Quiz 6 results
Prelim 2 stats
Homework 9 Solutions
Final exam stats
Overall course stats
CS481 Fall 01
CS481 Fall 02
CS381 Fall 03
A note about proofs
KAT theorem prover
Proofs of (9.14)-(9.18)
Self-printing programs