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.

Homework.

• Homework 1 (source) (solutions) — due at 8:00am on Thursday 6th July
  • The template.tex file can be downloaded below—see 'Useful links'. The questionnaire is located here.
• Homework 2 (source) (solutions) — due at 8:00am on Tuesday 11th July
• Homework 3 (source) (solutions) — due at 8:00am on Thursday 13th July
• Homework 4 (source) (solutions) — due at 8:00am on Tuesday 18th July
• Homework 5 (source) (solutions) — due at 8:00am on Thursday 20th July
• Homework 6 (source) (solutions) — due at 8:00am on Tuesday 25th July
• Homework 7 (source) (solutions) — due at 8:00am on Thursday 27th July
• Homework 8 (source) (solutions) — due at 8:00am on Tuesday 1st August
• Homework 9 (source) (solutions) — due at 8:00am on Friday 4th August
• Homework 10 (source) will be due at 8:00am on Wednesday 9th August

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

• Week 1.
• Class 1 (5th Jul) (slides) — Section 1.1: up to 1.1.19, excluding reference to number bases.
• Class 2 (6th Jul) — Section 1.2: up to and including 1.2.20.
• Class 3 (7th Jul) — Section 1.2: up to the end.
• Week 2.
• Class 4 (10th Jul) (slides) (LaTeX source and output) — Section 1.3: 1.3.4 and from 1.3.7 up to and including 1.3.19.
• Class 5 (11th Jul) (LaTeX source and output) — Section 1.3: up to and including 1.3.24.
• Class 6 (12th Jul) (LaTeX source and output) — no new mathematical content.
• Class 7 (13th Jul) (classwork) — Section 2.1: up to and including 2.1.18.
• Class 8 (14th Jul) (classwork) — Section 2.1: up to 2.1.32.
• Week 3.
• Class 9 (17th Jul) (classwork) — Section 2.1: up to the end, but excluding reference to tautologies; Section 2.2: up to 2.2.22, but excluding 2.2.12 to 2.2.18.
• Class 10 (18th Jul) — Section 2.2: 2.2.12 to 2.2.18, and 2.2.23 to 2.2.39.
• 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.
• Class 21 (2nd Aug) — Section 4.2: up to and including 4.2.47.
• Class 22 (3rd Aug) — Section 4.2: up to and including 4.2.54.
• Class 23 (4th Aug) — Section 4.3: up to the end.
• Week 6.
• Class 24 (7th Aug) — Section 4.3: up to the end, but in more depth.
• Class 25 (8th Aug) — TBA.
• Class 26 (9th Aug) — TBA.
• Class 27 (10th Aug) — TBA.

Quizzes. Quizzes will take place at the following times:

• Quiz 1 (solutions) — 8:00–8:40am on Friday 7th July 2017
• Quiz 2 (solutions) — 8:00–8:40am on Wednesday 12th July 2017
• Quiz 3 (solutions) — 8:00–8:40am on Friday 14th July 2017
• Quiz 4 (solutions) — 8:00–8:40am on Wednesday 19th July 2017
• Quiz 5 (solutions) — 8:00–8:40am on Friday 21st July 2017
• Make-up quiz 1* (solutions) — 6:30–7:10pm on Sunday 23rd July 2017
• Quiz 6 (solutions) — 8:00–8:40am on Wednesday 26th July 2017
• Quiz 7 (solutions) — 8:00–8:40am on Friday 28th July 2017
• Quiz 8 (solutions) — 8:00–8:40am on Thursday 3rd August 2017
• Make-up quiz 2* — 6:30–7:10pm on Monday 7th August 2017
• Quiz 9 — 8:00–8:40am on Tuesday 8th August 2017
• Quiz 10 — 8:00–8:40am on Thursday 10th August 2017

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

• LaTeX project (specification) (template) — due at 5:00pm on Sunday 16th July.
• Course project (specification) (template) — due at 9:30pm on Thursday 10th August.

Useful links.

• LaTeX-related resources:
  • A brisk introduction to LaTeX
  • LaTeX templates for homework and the course project
  • ShareLaTeX — free online LaTeX editor
  • LaTeX manual on WikiBooks
  • LaTeX Stack Exchange — LaTeX Q&A website

Contact information.

• 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: through the door and turn right. Please do not submit your homework to my mailbox—it must be turned in during class.
• Office. Wean Hall 8205.

Back to home page