Below, “fx ” refers to your textbook, forall x: Calgary Fall 2023 edition; chapters and page numbers refer to it, unless otherwise noted. “Exercises 2 (A)” or “Ex. 2(A)” means “part A of the exercises at the end of forall x Chapter 2.”
date | topics | read | do | note |
---|---|---|---|---|
Sep 6 | 1 Hi! | nothing! | nothing! | |
Sep 11 | 2–6 | syllabus, fx ch. 1 | ||
Sep 13 | 7–9 | fx ch. 2 | ch. 2 exercises A&B1 | validity handout |
Sep 18 | 10–14 | fx ch. 3 | just read | |
Sep 20 | 15–20 | fx ch. 4 | true/false ex. (Gradescope)2 | |
Sep 25 | 21–23 | fx 5.0–5.3 | and/or ex | |
Sep 27 | 23–28 | fx 9 & 10 | TFL symb ex | conditional handout |
Oct 2 | 28–30 | fx 11 | TFL-eng ex | |
Oct 4 | first quiz, 30–31 | fx 12 | ex. 11(A) | |
Oct 9 | 32–34 | fx 13, 14 | ex. 11(A) | |
Oct 11 | 35–36 | fx 16, 17.1–3 | ex. 12(G,J)3 | |
Oct 16 | no class/Break 4 | |||
Oct 18 | 36–37 | fx 17.4–5 | Nat Ded w/CE | |
Oct 23 | review | fx 17.6 | ND w/Bi | |
Oct 25 | first/midterm test | prepare | ||
Oct 30 | 38 | ND w/CI 1–10 | RAA handout | |
Nov 1 | 39 | fx 17.7 | NDCI 11–25 | |
Nov 6 | 40 | fx 17.8 | ex. 17(B,C) | |
Nov 8 | 40 | fx 18 | ex. 18(A) | |
Nov 13 | 41 | ND w/DR 26–39 | ||
Nov 15 | ND w/DR 40–505 | |||
Nov 20 | 42–44 | fx 22 | Ex Quant Ex 15–26, 1–10 | |
Nov 22 | no class/Break 4 | |||
Nov 27 | 45–47 | fx 24.1 | EEUQ 10–20,1–10 | QA handout |
Nov 29 | 47–52 | fx 25 | Quiz 2 | |
Dec 4 | 53–55 | fx 34 | ex.25 TBA | |
Dec 6 | 55–56 | fx 35 | FOL ND w/AE,EI | |
Dec 11 | 58 | fx 36 | FOL ND2 | |
Dec 13 | no class-snow day | |||
Dec 20 | second/final test6 | semester ends |
-
Where it says “explain why not,” for my purposes at least you don’t need to write that out; just think about it. ↩︎
-
Access Gradescope through the course Canvas site. ↩︎
-
Where the exercise asks you to test for being jointly “satisfiable,” test for being jointly possible. ↩︎
-
per Hofstra Academic Calendar ↩︎ ↩︎
-
For this assignment, try problems 40–50, but if you feel like these are too difficult for you, substitute in some of the earlier, lower-numbered ones from the set. 40–50 are good stretch/exercise problems, but the average level of difficulty is higher than will be on our test. Anyone who wants more practice can consider doing others from this set. Answers for this assignment are here. ↩︎
-
See the Hofstra final exam schedule. The second test is scheduled for 8–10 AM in our regular classroom. I’m sorry it’s so early—not my choice. ↩︎