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 (TENTATIVE date!)
(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 - Uniqueness Proofs
HW #5 due by 4pm in my office/box
|
Oct. 7 - Fall Break
No SRU classes
| Oct. 9 - Set Proofs: Subset, Not-a-Subset
(Sets: Review handled via HW assignment.)
| Oct. 11 - Set Proofs: Equality
HW #6 due by 4pm in my office/box
|
| Oct. 14 - Set Proofs: Identities
| Oct. 16 - Set Proofs: General
| Oct. 18 - Relations: Review, Basic/Set Proof
HW #7 due by 4pm in my office/box
|
| Oct. 21 - Relations: Proofs
| Oct. 23 - Relations: Proofs
| Oct. 25 - Exam #2 (TENTATIVE date!)
(Link opens Topics List, goes live 10/18)
|
Oct. 28 - Functions: Defn Review, Set Proofs
Exam #2 take-home problem due by 4 pm
| Oct. 30 - Function Proofs: Set Proofs
| Nov. 1 - Function Proofs: Bijection
HW #8 due by 4pm in my office/box
|
| Nov. 4 - Function Proofs: Bijection
| Nov. 6 - Function Proofs: Bijection
| Nov. 8 - PMI Proof: Intro
HW #9 due by 4pm in my office/box
|
| Nov. 11 - PMI Proof: Arithmetic formulas
| Nov. 13 - PMI Proof: Arithmetic formulas
| Nov. 15 - PMI Proof: Arithmetic formulas
HW #10 due by 4pm in my office/box
|
| Nov. 18 - Function proofs: review
| Nov. 20 - Relation proofs: review
| Nov. 22 - Exam #3 (TENTATIVE date!)
(Link opens Topics List, goes live 11/15)
|
Nov. 25 - PSI Proof
(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 #11
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.
|