Date   Topic 
Sep 1  — 
Intro, What Is
Discrete Math?, Propositional Logic

Sep 3 
— 
Propositional Logic
(cont'd): syntax, semantics, truth tables

Sep 8  — 
Propositional Logic
(cont'd): truth tables (cont'd)

Sep 10  — 
Propositional
Logic (cont'd): truth tables (cont'd), translation, logical
equivalence

Sep 13  — 
Logical
Equivalence (cont'd)

Sep 15  — 
Logical Equivalence
(cont'd), Propositional Equivalents, Predicates & Quantifiers

Sep 17  — 
Predicates & Quantifiers (cont'd)

Sep 20  — 
Predicates & Quantifiers (cont'd)

Sep 22  — 
Predicates & Quantifiers (cont'd): Knowledge Representation & Translation

Sep 22  — 
Predicates & Quantifiers (cont'd): Knowledge Representation & Translation
Supplement

Sep 24  — 
Knowledge Representation & Translation (cont'd);
Nested Quantifiers

Sep 27  — 
Nested Quantifiers (cont'd);
Peano's Axioms

Sep 29  — 
Rules of Inference, Proofs

Oct 1  — 
Rules of Inference, Proofs (cont'd)

Oct 4  — 
Rules of Inference, Proofs (cont'd)

Oct 6  — 
Rules of Inference for FOL, Proofs (cont'd)

Oct 8  — 
Proof Strategies

Oct 11  — 
Proof Strategies (cont'd)

Oct 13  — 
Proof Strategies (cont'd)

Oct 15  — 
Midterm Practice

Oct 20  — 
Midterm Answers

Oct 22  — 
Proof Strategies: Proof by Cases, Existence Proofs

Oct 25  — 
Sets

Oct 27  — 
Sets & Set Operations

Oct 29  — 
Set Operations (cont'd)

Nov 1  — 
Set Operations (cont'd); Functions

Nov 3  — 
Functions (cont'd)

Nov 5  — 
Functions (cont'd)

Nov 8  — 
Functions (cont'd); Sequences; Mathematical Induction

Nov 10  — 
Mathematical Induction (cont'd)

Nov 12  — 
Mathematical Induction (cont'd)

Nov 15  — 
Recursive Definitions

Nov 17  — 
Recursive Definitions (cont'd); Recurrence Relations

Nov 19  — 
Recurrence Relations (cont'd)

Nov 22  — 
Recurrence Relations (cont'd)

Nov 29  — 
Recurrence Relations (cont'd); Relations

Dec 1  — 
Relations (cont'd)

Dec 3  — 
Graphs, including Digraph Representation of Binary Relations

Dec 6  — 
Graphs (cont'd)

Dec 8  — 
Graphs (cont'd) and Rooted Trees`
