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: | 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 |

- Chapters 2 and 9: p. 126, ex. 41 and 43; p. 136, ex. 27; p. 137, ex. 43; p. 153, ex. 23.; p. 155, ex. 67 and 77. p. 168, ex. 9 and 13 and 29; p. 176. ex. 1 and 7; p. 581, ex. 5 and 7 and 55; p. 615, ex. 15 and 43 and 55 and 61.

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 |