DMMR: Course Schedule and Lecture Slides 2014

Lecture slides will typically be available from this web page a day or two before the lecture. The slides from last year will give a good idea about what's coming up.
WeekLectures Readings
1 Sep 15: Lecture 1: Introduction and Course Admin
Sep 17: Lecture 2: Review of Propositional Logic
Sep 18: Lecture 3: Predicate Logic
Rosen chapter 1
2 Sep 22: Lecture 4: Proof techniques
Sep 24: Lecture 5: Sets
Sep 25: Lecture 6: Relations
Rosen chapters 1, 2 and 9
3 Sep 29: Lecture 7: Functions
Oct 1: Lecture 8: Sequences, Sums, Cardinality
Oct 2: Lecture 9: Sequences, Sums, Cardinality
Rosen chapters 2 and 9, then chapter 3
4 Oct 06: Lecture 10: Induction
Oct 08: Lecture 11: Structural induction
Oct 09: Lecture 12: Number theory
Rosen chapter 4, then chapter 5
4 Oct 13: Lecture 13: Number theory
Oct 15: Lecture 14: Algorithms
Oct 16: Lecture 15: Algorithms
Rosen chapter 3, then chapter 4
6 Oct 20: Lecture 16: Basic Counting, and the Pigeonhole Principle
Oct 22: Lecture 17: Permutations & Combinations, Binomial Coefficients
Oct 23: Lecture 18: Generalized Permutations & Combinations
Rosen chapter 6

Study guide


Home : Teaching : Courses : Dmmr 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh