Math 151 - Foundations of Mathematics

Time: MWF 8:00-9:05

Place: Ricker Addition 202

Here is some useful course information:

• Syllabus

• Course Calendar

Notes for the Course

• Proof and Logic Notes

Check here for important course announcements.

• The quiz on Wednesday, December 2 will cover the definitions (and negations of definitions) from chapter 12.

Homework and Presentations

Proof Homework

• Homework 5: (all problems are hardness level 1 unless stated otherwise) Theorem 11.6 (level 1.5), Theorem 11.9, Theorem 11.11, Theorem 11.15 (level 1.5), and Theorem 11.19 (level 2). The final submission date for this assignment is Monday, November 30.

• Homework 6: (all problems are hardness level 1 unless stated otherwise) Theorem 12.4, Theorem 12.7, Theorem 12.13 (level 1.5), Theorem 12.14, Theorem 12.17, Theorem 12.18 (level 1.5), Theorem 12.29, Theorem 12.31 (level 2), and Theorem 12.33 (level 2). The final submission date for this assignment is Friday, December 11.

In-Class Presentation Problems

• Here is the list of presentation groups. The groups have been changed (AGAIN), so please find which group you are in for the next presentation.

• The sixth in-class presentations will be Monday, December 7. All problems are hardness level 1 unless stated otherwise. The assignment is:
  • Group 1: Theorem 12.19 (level 1.5), Theorem 12.21, Theorem 12.24 and Theorem 12.27.

  • Group 2: Theorem 12.16, Theorem 12.22, Theorem 12.28, and Theorem 12.32 (level 1.5).

  • Group 3: Theorem 12.3, Theorem 12.23, Theorem 12.25, and Theorem 12.35 (level 1.5).

Proof Solutions

• Chapters 6 and 7 solutions

• Chapter 8 solutions

• Chapter 9 solutions

• Chapter 10 solutions

Quizzes

• Quiz 1 (10/7)

• Quiz 2 (10/19)

• Quiz 3 (10/26)

• Quiz 4 (11/2)

• Quiz 5 (11/16)

• Quiz 6 (12/2)

Tests and Solutions

• Logic Exam

• Logic Exam (solutions)

• Old Tests