CSE260 Section 1: Discrete Structures in Computer Science

Spring 2008

Lecture Notes

Jan 7: Propositional Logic

Jan 9: Propositional Equivalences

Jan 14: Predicates and Quantifiers

Jan 16: Inference Rules

Jan 23: Proof

Jan 28: Sets and Set Operations

Jan 30: Functions

Feb 4: Sequences and Summations

Feb 6: Review

Feb 11: Integer Division

Feb 13: Prime

Feb 18: Integer Representation

Feb 20: Matrices

Feb 25: Induction

Feb 27: Recursive Definitions

Mar 10: Review

Mar 12: Binary Relations

Mar 17: Representing Relations

Mar 19: Closures of Relations

Mar 24: Closures of Relations (2)

Mar 26: Equivalence of Relations

Mar 31: Introduction to Graphs (1)

April 2: Introduction to Graphs (2)

April 7: Languages and Grammars

April 9: Finite State Machines with Output

April 14: Finite State Automata

April 16: Finite State Automata (2)

April 21: Language Recognition

April 23: Language Recognition (2)