Mathematical Foundations for Computer Science (15-151) for SAMS 2017

Thank you all for being incredible students! I had lots of fun teaching you all, and I wish you the best for the future. The information on this web page will remain accessible. Please stay in touch! I'm always an email away.

P.S. Thanks for the owl, card and whiteboard! They're now proudly displayed in my office.

Time and place. Weekdays 08:00–09:30am in Porter Hall A19. The course runs from 3rd July 2017 to 11th August 2017.

Syllabus. You can download the course syllabus here.

Textbook. Our textbook will be my book-in-progress, An infinite descent to pure mathematics, which can be downloaded for free here (last updated: 5th July). Caution: changes are constantly being made to the book, so download new versions regularly and avoid printing it more than a few pages at a time.


Class content. The following list contains resources from class, plus a record of material covered from the textbook.

Quizzes. Quizzes will take place at the following times:

*Make-up quizzes are optional, and will replace the lowest of the previously taken quiz scores, assuming a higher score is obtained on the make-up quiz.

Projects. This course contains two projects:

Useful links.

Useful links.

Contact information.

Back to home page