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.

- Problem sheet 1 (source) (solutions) — due at 8:30am on Thursday 8th September
- Problem sheet 2 (source) (solutions) — due at 8:30am on Thursday 15th September
- Problem sheet 3 (source) (solutions) — due at 8:30am on Thursday 22nd September
- Problem sheet 4 (source) (solutions) — due at 8:30am on Thursday 6th October
- Problem sheet 5 (source) (solutions) — due at 8:30am on Thursday 13th October
- Problem sheet 6 (source) (solutions) — due at 8:30am on Thursday 20th October
- Problem sheet 7 (source) (solutions) — due at 8:30am on Thursday 3rd November
- Problem sheet 8 (source) (solutions) — due at 8:30am on Friday 11th November
- Problem sheet 9 (source) (solutions) — due at 8:30am on Wednesday 30th November
- Problem sheet 10 (source) (solutions) — due at 8:30am on Tuesday 6th December

**Useful links.**

- John Mackey's course page
- Blackboard
- LaTeX-related resources:
- A brisk introduction to LaTeX
- LaTeX template for homeworks etc.
- ShareLaTeX — free online LaTeX editor
- LaTeX manual on WikiBooks
- LaTeX Stack Exchange — LaTeX Q&A website

**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.

*Last updated on Tuesday 1st November 2016.*