CS481 Fall 03


Course Information

Staff
Time & Place
Office Hours
Sources
Homework & Exams
Newsgroup & Email
CS381 vs CS481
Prerequisites

Homework & Exams

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

Handouts & Links

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