"But without some common baseline of facts; without a willingness to admit new information, and concede that your opponent is making a fair point, and that science and reason matter, we'll keep talking past each other, making common ground and compromise impossible."
- President Barack Obama
(Farewell Address)
Class times: 9:00
Office Hours: M,W 2:30
The general course information can be found in the course information handout. Student grades are maintained on SacCT.
Writing Assignments (Due Fridays)
Homework Assignments (Due Tuesdays, usually)
Handouts
Course Log
| Week 13 |
|---|
|
[04.27.17] - Thursday
Continued with one-to-one and onto. |
| Sections covered: 4.3 (continued) |
|
[04.25.17] - Tuesday
Wrapped up 4.2 with restrictions, and then moved on to one-to-one and onto. |
| Sections covered: Section 4.2 (finished), 4.3 (started) |
| Week 12 |
|
[04.20.17] - Thursday
Exam—Good Luck! |
| Sections covered: None. |
|
[04.19.17] - Tuesday
Functions. |
| Sections covered: Section 4.1 (finished), 4.2 (started) |
| Week 11 |
|
[04.13.17] - Thursday
An application: modular arithmetic. |
| Sections covered: Section 3.4, Section 4.1 (started) |
|
[04.11.17] - Tuesday
Connecting equivalence relations and partitions. |
| Sections covered: Section 3.2 (finished), Section 3.3 |
| Week 10 |
|
[04.06.17] - Thursday
More with equivalence relations. |
| Sections covered: Section 3.2 (finished) |
|
[04.04.17] - Tuesday
On to equivalence relations. |
| Sections covered: Section 3.1 (finished), Section 3.2 (started) |
| Week 9 |
|
[03.30.17] - Thursday
Fibonacci numbers today. And then back to basic set theory. |
| Sections covered: Section 2.5 (finished), Section 3.1 (started) |
|
[03.28.17] - Tuesday
Back from break. More induction, strong induction, and WOP. |
| Sections covered: Section 2.4 (finished), Section 2.5 (started) |
| Week 8 |
|
[03.16.17] - Thursday
More induction examples today. Happy Break! |
| Sections covered: Section 2.4 (continued) |
|
[03.14.17] - Tuesday
Finished up Section 2.3 and then got started on induction. Oh, and Happy $\pi$ Day! |
| Sections covered: Section 2.3 (finished), Section 2.4 (started) |
| Week 7 |
|
[03.09.17] - Thursday
Exam today. Hope it went really well! |
| Sections covered: None |
|
[03.07.17] - Tuesday
Wrapped up basic set operations with the Cartesian product, and then started in on "big" intersections and unions. |
| Sections covered: Section 2.2 (finished), Section 2.3 (started) |
| Week 6 |
|
[03.02.17] - Thursday
Started by discussing the sets of the form $a+5\mathbb{Z}$ before working our way through proofs of several of the theorems about the various basic set operations. |
| Sections covered: Section 2.2 (continued) |
|
[02.28.17] - Tuesday
Talked more about the power set as well as other set operations. Also worked in a brief discussion of Russell's Paradox with a plug for Math 162 in the fall. Definitely consider it! |
| Sections covered: Section 2.1 (finished), Section 2.2 (started) |
| Week 5 |
|
[02.23.17] - Thursday
Kept working through the basics of set theory today, finishing with the power set. |
| Sections covered: Section 2.1 (continued) |
|
[02.21.17] - Tuesday
We focused on grading proofs today. I loved how much attention you all paid not just to the mathematics but also to the writing style! |
| Sections covered: Section 1.6 (finished), Section 2.1 (started) |
| Week 4 |
|
[02.16.17] - Thursday
More or less wrapped up our formal discussion of proofs. Now it's time to practice, a whole lot! |
| Sections covered: Section 1.6 (finished) |
|
[02.14.17] - Tuesday
More contradictions and more quantifiers. |
| Sections covered: Section 1.4-1.5 (finished), Section 1.6 (started) |
| Week 3 |
|
[02.09.17] - Thursday
$\sqrt{2}$ is irrational—now we know why. |
| Sections covered: Section 1.4-1.5 (continued) |
|
[02.07.17] - Tuesday
Started with more quantifier talk; there were lots of great questions. And then, we finally started proving things—yay! |
| Sections covered: Section 1.4-1.5 (started) |
| Week 2 |
|
[02.02.17] - Thursday
Lots of quantification today! We'll start with a little more next time. |
| Sections covered: Section 1.3 (finished) |
|
[01.31.17] - Tuesday
Started with a great discussion about translating English sentences to symbolic logic, with a focus on ``only if'', ``necessary'', and ``sufficient''. After that, we launched into quantifiers. |
| Sections covered: Section 1.2 (finished), Section 1.3 (started) |
| Week 1 |
|
[01.26.17] - Thursday
Talked about connectives, logical equivalence, and conditionals (which are, admittedly, a bit strange). |
| Sections covered: Section 1.1 (finished), Section 1.2 |
|
[01.24.17] - Tuesday - First day!
Great to meet you all! Make sure to sign up for a ShareLaTeX account and get started on Writing Assignment 01. It's due this coming Thursday!
- This is what we're aiming for! - |
| Sections covered: Section 1.1 (started) |
