General
External Links
The aim of this course is to introduce students to rigorous proof and the problem solving toolkit of computer science.
Lecture slides go on the course calendar (click "Calendar" above).