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............
|
|---|
| Aug. 26 - Course Intro, Logic Review
| Aug. 28 - Logic Review
| Aug. 30 - What is Proof?, Direct Proof
HW #1 due by 4pm in my office/box
|
Sept. 2 - Labor Day
No SRU classes
| Sept. 4 - Direct Proof
| Sept. 6 - Proof by Cases
HW #2, Part A - due date to be decided
|
| Sept. 9 - Proof by Cases, "Or Conclusion"
| Sept. 11 - Proof by Contrapositive
| Sept. 13 - Proof by Contradiction (XX)
HW #3 due by 4pm in my office/box
|
| Sept. 16 - Biconditional Proof (2-Part)
| Sept. 18 - Biconditional Proof (Chain)
| Sept. 20 - "For all" proof
HW #4 due by 4pm in my office/box
|
| Sept. 23 - Constructive "exist" proof
| Sept. 25 - Other "for all/exists" styles
| Sept. 27 - Exam #1
(Link opens Topics List, goes live 9/20)
|
Sept. 30 - Mixed quantifier proof
(Exam #1 take-home problem due by 4pm)
| Oct. 2 - Mixed quantifier proof
| Oct. 4 - Mixed quantifier proof
HW #5 due by 4pm in my office/box
|
Oct. 7 - Fall Break
No SRU classes
| Oct. 9 - Course Review
| Oct. 11 - Course Review, continued
(HW #6 due MONDAY due to power outage)
|
Oct. 14 - Set Proofs: Subset, Not-a-Subset
HW #6 due today by 5pm
| Oct. 16 - Set Proofs: Equality, Identities
| Oct. 18 - Set Proofs: General
|
| Oct. 21 - Set Proofs: General
| Oct. 23 - Relations: Review, Property Proofs
HW #7 due by 5pm in my office/box
| Oct. 25 - Relations: Property Proofs
|
| Oct. 28 - Relations: Property Proofs
| Oct. 30 - Exam #2
(Link opens Topics List, goes live 10/21)
| Nov. 1 - Relation Proofs: Review
Exam #2 take-home portion due in D2L by 11:59 pm
|
Nov. 4 - Functions: Defn review
HW #8 due by 5pm in my office/box
| Nov. 6 - Review, Revisions
| Nov. 8 - Function Proofs: Bijection
HW #9 due by 11:59pm in D2L Quizzes
|
Nov. 11 - Function Proofs: Bijection
HW #10 due by 5pm in my office/box
| Nov. 13 - PMI Proof: Intro
| Nov. 15 - PMI Proof: Arithmetic formulas
|
Nov. 18 - PMI Proof: Arithmetic formulas
HW #11 due by 5pm in my office/box
| Nov. 20 - PMI Proof: Other algebra
| Nov. 22 - Induction review
(Link opens Topics List, goes live 11/15)
|
Nov. 25 - Exam #3 (TENTATIVE date!)
(Exam #3 take-home problem due by 4pm)
| Nov. 27 - Thanksgiving Break
No SRU classes
| Nov. 29 - Thanksgiving Break
No SRU classes
|
| Dec. 2 - Key Results: PMI=PSI=WOP
| Dec. 4 - Key Results: PMI=PSI=WOP
| Dec. 6 - Key Results: FTEqR
Tentatively no HW due
|
Dec. 9 - Last Day of Classes
(There MAY be an OPTIONAL HW #12
due Friday by 3pm. We'll discuss as a class.)
|
THURSDAY, Dec. 12, 1:00-3:00 pm
Final Exam
(Link opens Topics List, goes live Dec. 2)
| Final Exam dates are FIRM.
You MUST take the Final Exam
at the SRU-scheduled time.
|