Discrete Structures

Lecture Notes

Last Update: 8 December 2010

Note: NEW or UPDATED material is highlighted


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



Text copyright © 2010 by William J. Rapaport (rapaport@buffalo.edu)
Cartoon links and screen-captures appear here for your enjoyment.
They are not meant to infringe on any copyrights held by the creators.
For more information on any cartoon, click on it, or contact me.

http://www.cse.buffalo.edu/~rapaport/191/F10/lecturenotes.html-20100919-2