DMMR: Course Schedule and Lecture Slides 2016

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 19: Lecture 1: Introduction and Course Admin
Sep 21: Lecture 2: Predicates, Quantifiers and Proof Techniques
Sep 22: Lecture 3: Predicates, Quantifiers and Proof Techniques
Rosen Chapter 1
2 Sep 26: Lecture 4: Sets, Functions, Relations, Sequences and Sums
Sep 28: Lecture 5: Sets, Functions, Relations, Sequences and Sums
Sep 29: Lecture 6: Sets, Functions, Relations, Sequences and Sums
Rosen Sections 2.1-2.4, 9.1, 9.4 and 9.5

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