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
Week #9:
25 Nov 7
26 Nov 8
27 Nov 10
Week #10:
28 Nov 14 Test Preparation, Classes 24-27 122-131
29 Nov 15 Test #4 – Semantics
30 Nov 17
Week #11:
31 Nov 21
32 Nov 22
33 Nov 24
Week #12:
34 Nov 29 Test Preparation, Classes 26-33
35 Nov 29 Test #5 – Selected Topics
36 Dec 1


Last updated