DMMR: Course Schedule and Lecture Slides 2013

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: Algorithms, part 1
Rosen chapters 2 and 9, then chapter 3

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