CS3511 Discrete Methods Time and place of lectures: Mon 14:00-15:00 in Meston 6. Tue 11:00-12:00 in the Old Senate Room. Exception: Week 44 is in A19, Taylor building. A collection of slides originally stemming from Dr Michael Frank of the University of Florida (based on Rosen's book) have been significantly altered, so make sure you're using the latest version, available from this page. Note also that the material on logic is greatly expanded compared to the book. Background reading on proofwriting: ( here) Background reading on common mistakes: ( here) Here is an approximate time schedule, based on what happened in 2006-2007. I'm updating things on a weekly basis, so information about future weeks could be subject to change. References to Rosen's book are to the fifth edition. In 2008, Week 30 is the week of Monday 28 Jan. Week 30 (2 lectures): Introduction; Propositional Logic Book: Rosen, Chapter 1.1-1.2 Slides: (here and here.) Week 31 (2 lectures): Propositional Logic, Predicate Logic Book: Rosen, Chapter 1.2-1.3 (but especially the lecture slides). Slides: see Week 30, plus these. Week 32 (2 lectures): Predicate Logic Book: Rosen, Chapter 1.3-1.5 (but especially the lecture slides). Slides: (see week 31) Week 33 (2 lectures): Predicate logic and Proof methods Book: Rosen, Chapter 1.5 (but especially the lecture slides). Slides about predicate logic: see week 31. Slides about proofs: ( here) Week 34 (2 lectures): Proof methods Week 35 (2 lectures): Proofs, Sets Book: Rosen, Chapter 1.6, 1.7, 1.8 Slides: ( here) Week 36 (2 lectures): Sets, Functions Book: Rosen, Chapter 1.8, Chapter 7 Slides: ( here) Week 37 (2 lectures): Functions, Relations Book: Rosen, Chapter 7, Chapter 2.3 Slides: ( here) Week 38: Easter vacation Week 39: Easter vacation Week 40: Easter vacation Week 41: NO LECTURE ON MONDAY. (1 lecture on Tuesday): Functions (different types of) Book: Rosen, Chapter 2.3 Slides: See week 37. Week 42 (2 lectures): Closures, Posets, Wellorderings, Induction Book: Rosen, sections 7.4, 7.5, 7.6, 3.3. Slides about ordered sets: see week 37. Slides about induction: ( here) Week 43 (2 lectures): Induction and Recursion, Program correctness Book: Rosen, sections 3.4, 3.5, 3.6. Slides about recursion: ( here) Slides about verification: ( here ) Week 44 (2 lectures): Graphs Note: This week the Tuesday morning lecture is in New King's NK10. Book: Rosen, parts of Chapter 8. Slides: ( here ) Week 45: (Revision week; no lectures) Week 46: Exam week Week 47: Exam week Week 48: Exam week; end of session