Lecture Notes

Note: A username and password may be required to access certain documents. Please contact Bill Rapaport.

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