Week | Lectures | 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 |

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 |