| Week | Dates | Topics | Readings | Assignments
|
|---|
| 0
| Sep. 3 - Sep. 4
| Day 1: Introduction to the aim logic, the course and propositional logic
|
| Day 2: Atomic sentences and functions
|
| 1
| Sep. 7 - Sep. 11
| Day 3: Consequence, arguments and proofs
|
| Day 4: Syntax, semantics and rules for boolean connectives
|
| Day 5: Methods of proof for boolean logic
|
| Day 6: Connectives
|
| 2
| Sep. 14 - Sep. 18
| Day 7: Formalizing sentences
|
| Day 8: Soundness and completeness of propositional logic
|
| Day 9: Introduction to quantification
|
| Day 10: The logic of quantifiers
|
| 3
| Sep. 21 - Sep. 25
| Day 11: The logic of quantifiers Cont'd
|
| Day 12: Multiple quantifiers
|
| Day 13: Method of proofs for quantifiers, Formal proofs and Quantifiers
|
| Day 14: Proof 13.29
|
| 4
| Sep. 28 - Oct. 2
| Day 15: Evil proofs
|
| Day 16: Application presentations
|
| Day 17: Application presentations
|
| Day 18: Application presentations
|
| 5
| Oct. 5 - Oct. 9
| Day 19: Application presentations
|
| 11.40 - 11.45, 12.12, 12.15, 13.28 - 13.31, 13.51, 13.54 - 13.58.
|
| Day 20: Truth assignments, Completeness for
Propositional Logic
| 17.1, 17.2
|
| Day 21: Completeness for Propositional Logic Cont'd
|
|
| Day 22: Completeness of Prop Logic Cont'd
|
| 6
| Oct. 12 - Oct. 14
| Day 23: First-order structures, truth and satisfaction revisited
| 18.1, 18.2
| Proposal for Logic System Tutorial
|
| Day 24: Soundness of FOL
| 18.3
| 17.5, 17.6, 17.7, 17.8, 17.14, 17.15, 17.16.
|
| 7
| Oct. 19 - Oct. 23
| Day 25: Completeness for FOL
| 19.0, 19.1, 19.2, 19.3, 19.4(beginning)
|
| Day 26: Henkin Construction
| 19.4(end), 19.5
|
| Day 27: Finish and review Completeness
|
| Day 28: Resolution, Horn sentences
| 17.3, 17.4, 18.7
|
| 8
| Oct. 26 - Oct. 30
| Day 29: Unification, Skolemization
| 18.5, 18.6
| 18.8(1,2,3,5,6) 18.11, 18.12, 18.14, 18.15, 18.16
|
| Day 30: PROLOG
|
|
| Day 31: PROLOG
|
|
| Day 32: Incompleteness for FOL
| 19.8 and theorem
|
| 9
| Nov. 2 - Nov. 6
| Research. We will not meet in class, instead, teams will meet me
in my office on a scheduled basis.
|
| 10
| Nov. 9 - Nov. 13
| Day 37: Temporal Logic
|
| Day 38: Modal Logic
|
| Day 39: Intuitionsitic Logic
|
| Day 40: Wrap-up, Course evals
|