This is a course on the theory of computing. See the syllabus, which includes the following sections.
MW 1:00–1:50pm |
MW 3:00–3:50pm |
or by appointment |
This class is taught from class notes rather than a textbook on the theory of computing. Proofs: A Long-Form Mathematics Textbook, by Jay Cummings, is a auxiliary text that is intended to help with proofs.
Quiz 1 | Friday, September 23 | |
Quiz 2 | Friday, October 28 | |
Quiz 3 | Monday, November 28 | |
Final exam |
The final exam will take place
|
Complete each practice quiz and bring it to class on the due date. We will go over the practice quiz. Research has shown that you will learn much more if you try to answer the questions before you see them solved for you than if you only see them solved. Try it!
Practice quiz | Due | |
---|---|---|
Practice quiz 1 | Monday, September 20 | |
Practice quiz 2 | Friday, October 22 | |
Practice quiz 2, part (b) | ||
Practice quiz 3 | Friday, November 19 |