Discrete Structures Lecture Notes - Stanford University

← Back to document page

Discrete StructuresLecture NotesVladlen Koltun1Winter 20081Computer Science Department, 353 Serra Mall, Gates 374, Stanford University , Stanford , CA94305, Sets and Defining sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Set operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . More sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .42 Introducing induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Strong induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Why is the induction principle true? . . . . . . . . . . . . . . . . . . . . . .83 More Proof Proofs by contradiction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Direct proofs.

Discrete Structures Lecture Notes Vladlen Koltun1 Winter 2008 1Computer Science Department, 353 Serra Mall, Gates 374, Stanford University, Stanford, CA 94305, USA; vladlen@stanford.edu.

  Structure, Discrete, Discrete structures