Mathematical Concepts and Proofs (21-128) — Fall 2016

This semester I'm serving as a TA for Mathematical Concepts and Proofs. I'm also writing the lecture notes for this course and Mathematical Foundations of Computer Science (15-151). I'll put more stuff on this page as and when it becomes relevant.

Recitations. Recitations are at 8:30am in Porter Hall A20 (Section A), 9:30am in Wean Hall 6423 (Section B) and 4:30pm in Doherty Hall 1117 (Section C). Please attend the recitations for the section in which you are registered—speak to me if a scheduling issue arises and you want to switch to another section.

Notes. These notes and their LaTeX source code are licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 (CC BY-NC-SA 4.0) licence. This means you're welcome to share or adapt these notes, provided that you give credit to the author, and that any copies or derivatives of these notes are released under the same licence, are freely available and are not for commercial use.

Update: Access to these notes is restricted to students who were enrolled in 21-128 or 15-151 in the Fall 2016 semester. If you are a former 21-128/15-151 student, please contact Clive for a username and password for access.

Problem sheets. Problem sheets and their solutions will be posted below. They should be submitted on Blackboard by the indicated date and time.

Useful links.

Email. The best way to get hold of me is by sending an email to cnewstead-at-cmu-dot-edu.

Mailbox. I have a mailbox in Wean Hall 6113, which is the best place for submitting early (or late) homework assignments.

Office hours. I will be in my office (Wean Hall 8205) and available to meet with students at the following times:

Tuesdays 11:00–12:00 and Fridays 10:00–11:00

If you can't make the office hours and you need my help, I'm just an email away.

Back to home page

Last updated on Tuesday 1st November 2016.