| Date |
Assignment |
Reading |
Location |
Subject |
Sept. 3
|
|
|
HHE 105 |
Introduction, administrivia, software, etc. |
Sept. 5
|
HW1 |
pp. 1-25 |
HHE 110 |
Using TW and GG |
Sept. 8
|
|
pp. 26-40 |
HHE 105 |
Logic, artificial languages, and FOL |
| Sept. 10
|
|
pp. 41-53 |
HHE 105 |
Validity, soundness, and proof |
| Sept. 12 |
|
pp. 54-66 |
HHE 110 |
Formal vs. informal proofs; using Fitch |
| Sept. 12 |
Deadline to add
courses |
Sept. 15
|
|
|
HHE 105 |
Practice with proofs |
| Sept. 17 |
|
pp. 67-76 |
HHE 105 |
Boolean connectives |
| Sept. 19 |
HW2 |
pp. 77-92
|
HHE 110 |
Playing games for truth
|
| Sept. 22 |
HW1 due
|
pp. 93-105
|
HHE 105 |
Tautology and contradiction; truth tables
|
| Sept. 24 |
|
pp. 106-116
|
HHE 105 |
Logical vs. tautological ___
|
| Sept. 26
|
|
pp. 117-126
|
HHE 105 |
Transformations on logical sentences
|
| Sept. 29 |
Deadline to drop courses |
Sept. 29
|
|
|
HHE 105 |
Transformations on logical sentences; review high school
algebra |
Oct. 1
|
|
|
HHE 110
|
Compositional semantics; defining a language |
Oct. 3
|
HW2 due |
|
HHE 105 |
Discuss homework 1 |
| Oct. 6
|
Yom
Kippur; no classes
|
| Oct. 8
|
HW3 assigned |
pp. 127-141
|
HHE 105 |
Proof by cases, indirect proof, and subproofs
|
| Oct. 10
|
I'm out of town; read textbook, or
practice in lab, or whatever |
| Oct. 13 |
|
pp. 142-166
|
HHE 105 |
Formal proofs in Fitch: ^, v, negation, and subproofs
|
| Oct. 15 |
|
pp. 167-175 |
HHE 105 |
Strategy and tactics of formal proofs
|
| Oct. 17
|
|
|
HHE 110 |
Practice with formal proofs |
Oct. 20
|
|
pp. 176-190
|
HHE 105 |
Conditionals
|
| Oct. 22 |
|
pp. 198-205
|
HHE 105 |
Informal proofs using conditionals
|
Oct. 24
|
HW3 due |
pp. 206-224
|
HHE 110 |
Formal proofs using conditionals
|
| Oct. 27 |
|
|
HHE 105 |
Midterm exam |
| Oct. 29 |
HW4 |
pp. 225-233 |
HHE 105 |
Quantifiers |
Oct. 31
|
|
|
HHE 105 |
Discuss midterm exam
|
Oct. 31
|
Deadline to withdraw from courses
|
Nov. 3
|
|
pp. 234-243 |
HHE 105 |
Semantics and translation of quantifiers |
Nov. 5
|
|
pp. 243-250 |
HHE 105 |
Translation practice |
Nov. 7
|
HW4 due |
pp. 251-256
|
HHE 110 |
Practice with quantifiers
|
Nov. 10
|
|
pp. 257-266
|
HHE 105 |
Working with quantifiers
|
| Nov. 12 |
|
pp. 266-279
|
HHE 105 |
First-order, logical, and tautological ___ |
Nov. 14
|
HW5 |
pp. 280-288
|
HHE 110 |
Practice with quantifiers
|
| Nov. 17 |
|
pp. 289-299 |
HHE 105 |
Multiple quantifiers |
| Nov. 19 |
|
pp. 300-310 |
HHE 105 |
Translation involving multiple quantifiers |
Nov. 21
|
|
pp. 311-318 |
HHE 110 |
Practice with multiple quantifiers
|
Nov. 24
|
|
pp. 319-329
|
HHE 105 |
Informal proofs with quantifiers
|
| Nov. 26 |
HW5 due;
HW6 |
pp. 329-338
|
HHE 105 |
Proofs with multiple quantifiers
|
| Nov. 28 |
Thanksgiving break -- no classes |
Dec. 1
|
|
pp. 342-352
|
HHE 105 |
Formal proofs with quantifiers |
Dec. 3
|
|
pp. 352-363
|
HHE 105 |
Formal proofs with quantifiers |
Dec. 5
|
|
|
HHE 110 |
Practice building formal proofs with quantifiers |
Dec. 8
|
HW6 due;
HW7 |
pp. 442-452
|
HHE 105 |
Mathematical induction |
Dec. 10
|
|
pp. 453-457 |
HHE 105 |
Proofs by mathematical induction |
| Dec. 12 |
|
|
HHE 105 |
Catch up and review |
| Dec. 15 |
HW7 due |
Study Day; no classes |
| Dec. 19 |
Final exam, 10:30 AM - 12:30 PM |