Math 151 - Foundations of Mathematics
Time: MWF 8:00-9:05
Place: Ricker Addition 202
Here is some useful course information:
Notes for the Course
Check here for important course announcements.
- The quiz on Wednesday, December 2 will cover the definitions (and negations of definitions) from chapter 12.
Old Announcements
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).
Old Homework Assignments
Proof Solutions
Quizzes
Tests and Solutions