The listings below are TENTATIVE as we start the semester.
Links are updated AFTER we meet each day, confirming that day's content, announcements, and assignments.
| ............Monday............ | ...........Wednesday........... | ............Friday............
|
|---|
Jan. 20 - MLK Day
No SRU classes
| Jan. 22 - Course Intro, Logic Review
| Jan. 24 - What is Proof?, Direct Proof
- No HW due today
|
Jan. 27 - Proof by Cases
- HW #1 due by 4pm in my office
| Jan. 29 - Proof by Cases
| Jan. 31 - Proof by "Or Conclusion"
- HW #2 due by 4pm in my office
|
| Feb. 3 - Proof by Contrapositive
| Feb. 5 - Proof by Contradiction (XX)
| Feb. 7 - Proof by Contradiction (XX)
- HW #3 due by 4pm in my office
|
| Feb. 10 - Biconditional Proof
| Feb. 12 - Biconditional Proof
| Feb. 14 - "For all" proof
- HW #4 due by 4pm in my office
|
| Feb. 17 - Constructive "exist" proof
| Feb. 19 - Other "for all/exists" styles
| Feb. 21 - Exam #1 (tentative date)
(Link opens Topics List, goes live 2-14)
- No HW due today
|
Feb. 24 - Mixed quantifier proof
- Exam #1 take-home problem due by 4pm
| Feb. 26 - Mixed quantifier proof
| Feb. 28 - Uniqueness Proofs
- HW #5 due by 4pm in my office
|
| Mar. 3 - Set Proofs: Subset, Not-a-Subset
| Mar. 5 - Set Proofs: Equality
| Mar. 7 - Set Proofs: Identities
- HW #6 due by 4pm in my office
|
Mar. 10 - Spring Break
No SRU classes
| Mar. 12 - Spring Break
No SRU classes
| Mar. 14 - Spring Break
No SRU classes
|
| Mar. 17 - Set Proofs: General
| Mar. 19 - Set Proofs: General
| Mar. 21 - Relations: Defn Review, Set Proof
- HW #7 due by 4pm in my office
|
| Mar. 24 - Relations: Proofs
| Mar. 26 - Relations: Proofs
| Mar. 28 - Exam #2 (tentative date)
(Link opens Topics List, goes live 3-21)
- No HW due today
|
Mar. 31 - Functions: Defn Review, Set Proof
- Exam #2 take-home problem due by 4pm
| Apr. 2 - Function Proofs: Set Proofs
| Apr. 4 - Function Proofs: Bijection
- HW #8 due by 4pm in my office
|
| Apr. 7 - Function Proofs: Bijection
| Apr. 9 - Function Proofs: Bijection
| Apr. 11 - PMI Proof: Intro
- HW #9 due by 4pm in my office
|
| Apr. 14 - PMI Proof: Arithmetic formulas
| Apr. 16 - PMI Proof: Arithmetic formulas
| Apr. 18 - PMI Proof: Arithmetic formulas
- HW #10 due by 4pm in my office
|
| Apr. 21 - Function proofs: review
| Apr. 23 - Relation proofs: review
| Apr. 25 - Exam #3 (tentative date)
(Link opens Topics List, goes live 4-18)
- No HW due today
|
Apr. 28 - PSI Proof
- Exam #3 take-home problem due by 4pm
| Apr. 30 - Key Results: PMI=PSI=WOP
| May 2 - Key Results: FTEqR
- No HW due today
|
May 5 - Last Day of Classes -
Review
(There MAY be an OPTIONAL HW #11
due Friday by 3pm. We'll discuss as a class.)
|
THURSDAY, May 8, 1:00-3:00 pm
Final Exam
(Link opens Topics List, goes live 4-28)
| Final Exam dates are FIRM.
You MUST take the Final Exam
at the SRU-scheduled time.
|