Discrete Structures

# Lecture Notes

 Last Update: 8 December 2010 Note: or material is highlighted

For the proper way to use lecture notes, see "Don't Rely on the Instructor's Lecture Notes"

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   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`