The second (and all further) exercise sheets will be available here every Wednesday at 2:00pm. Solutions (to the last question on the sheet) must be handed in on paper at the ITO by the following Wednesday at 4:00pm. (In particular, the second exercise sheet will be available on Wednesday 30 September.)

All other exercises are discussed during the tutorials. Graded coursework is returned to the students in the tutorial. Tutorial attendance is mandatory.

Tutorial | out | due | Materials | |
---|---|---|---|---|

Tutorial sheet 1: Logics and proof techniques | Friday 25 Sept | Wednesday 30 Sept at 16:00 | Tutorial Sheet 1 | Solutions |

Tutorial sheet 2: Sets and relations | Wednesday 30 Sept | Wednesday 7 Oct at 16:00 | Tutorial Sheet 2 | Solutions |

Tutorial sheet 3: Functions, sequences and cardinality | Wednesday 7 Oct | Wednesday 14 Oct at 16:00 | Tutorial Sheet 3 | Solutions |

Tutorial sheet 4: | Wednesday 14 Oct | Wednesday 21 Oct at 16:00 | Tutorial Sheet 4 | Solutions |

Tutorial sheet 5: | Wednesday 21 Oct | Wednesday 28 Oct at 16:00 | Tutorial Sheet 5 | Solutions |

Tutorial sheet 6: | Wednesday 28 Oct | Wednesday 4 Nov at 16:00 | Tutorial Sheet 6 | Solutions |

Tutorial sheet 7: | Wednesday 4 Nov | Wednesday 11 Nov at 16:00 | Tutorial Sheet 7 | Solutions |

Tutorial sheet 8: | Wednesday 11 Nov | Wednesday 18 Nov at 16:00 | Tutorial Sheet 8 | Solutions |

Tutorial sheet 9: | Wednesday 18 Nov | Wednesday 25 Nov at 16:00 | Tutorial Sheet 9 | Solutions |

- Chapter 1 p50 ex 8, 9, 10, 11, 12; p93 ex 6, 9, 14, 15.
- Chapter 2 p127 ex 8, 16, 17, 19; p138 ex 8, 10; p153 ex 5, 8, 22, 24; p167 ex 6, 8, 18, 20; p179 ex 8, 9, 10, 14.
- Chapter 9 p561 ex 2, 3; p594 ex 1, 2, 3.

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 |