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.

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 11 (19th Jul) — Section 2.2: up to the end; Section 2.3: up to and including 2.3.20, excluding reference to graphs.

Class 12 (20th Jul) — Section 2.3: up to and including 2.3.28, including reference to graphs.

Class 13 (21st Jul) — no new content.

Week 4.

Class 14 (24th Jul) — Section 3.1: up to and including 3.1.19.

Class 15 (25th Jul) — Section 3.1: up to the end.

Class 16 (26th Jul) — Section 3.2: up to the end.

Class 17 (27th Jul) — Section 3.3: up to and including 3.3.12.

Class 18 (28th Jul) — Section 3.3: up to and including 3.3.28.

Week 5.

Class 19 (31st Jul) — Section 4.1: up to and including 4.1.12.

Class 20 (1st Aug) — Section 4.1: up to the end, but excluding reference to left and right inverses; Section 4.2: up to and including 4.2.34, but excluding references to indexed unions and intersections.