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