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 |

Last modified:

Stephen Bloch