CISC204, Logic for Computing Science: Schedule To Date

Description
This schedule is a merge of the instructor's plans and what actually occurred in the course. There can be variance between plans and reality, so students are encouraged to check this page regularly for changes.

Class # Date Topics Section Pages
Week #1:
01 Sep 12 Overview; Basic Rules of Natural Deduction § 1.1,1.2.1 1-5,
6-11
02 Sep 13 Implication Introduction § 1.2.1 11-23
03 Sep 15 Disjunction and Negation § 1.2.1–5 23-31
Week #2:
04 Sep 19 Proof by Contradiction § 1.2.2-1.2.3 23-29
05 Sep 20 Logic as a Formal Language;
Semantics
§ 1.3–1.4.1 31-40
06 Sep 22 Correctness and Completeness § 1.4.3–4 45-53
Week #3:
07 Sep 26 Test Preparation, Classes 1-4 1-29
08 Sep 27 Test #1 – Propositional Logic
09 Sep 29 Semantic Equivalence & Satisfiability § 1.5, 1.5.1 53-57
Week #4:
10 Oct 3 Conjunctive Normal Form (CNF) § 1.5.1 57-65
11 Oct 4 Predicate Logic: Terms and Formulas § 2.1–2.2.2 93-102
12 Oct 6 Binding and Substitution § 2.2.3–4 102-107
Week #5:
13 Oct 10 Test Preparation, Classes 5-12 31-65,
93-107
14 Oct 11 Test #2: Normal Forms, Basic Predicate Logic
15 Oct 13 Equality Substitution § 2.3.1 107-109
Week #6:
16 Oct 17 Universal Quantification § 2.3.1 109-112
17 Oct 18 Existential Quantification § 2.3.1 112-117
18 Oct 20 Proofs Using Assumptions § 1.2,2.3
Week #7:
19 Oct 24 Quantifier Equivalences § 2.3.2 117-119
20 Oct 25 Quantifiers and Predicate Logic § 2.3.2 120-122
21 Oct 27 Multiple Quantifiers § 2.3.2 120-122
Week #8:
22 Oct 31 Test Preparation, Classes 15-21 107-122
23 Nov 1 Test #3 – Predicate Logic
24 Nov 3 Predicate Logic: Semantics § 2.4.1 122-124
Week #9:
25 Nov 7 Predicate Logic: Models § 2.4.1 122-124
26 Nov 8 Environments and Interpretations § 2.4.1, 2.4.3 126-127,
130-131
27 Nov 10 Semantic Entailment § 2.4.1 128-129
Week #10:
28 Nov 14 Test Preparation, Classes 24-27 122-131
29 Nov 15 Test #4 – Semantics
30 Nov 17 Undecidability § 2.5 131-136
Week #11:
31 Nov 21 Revisiting English Translations § 2.1 93-98
32 Nov 22 Revisiting Proofs Using Contradictions § 1.2 24-26, 29-31
33 Nov 24 Revisiting Existential Elimination § 2.3.2 117-122
Week #12:
34 Nov 29 Test Preparation, Classes 26-33
35 Nov 29 Test #5 – Selected Topics
36 Dec 1

Last updated