26 June: Exercises

This session takes place in RR 22.

Exercises (thy, pdf).

Solutions (thy, pdf).

19 June: Exercises

Cancelled.

5 & 12 June: HOL as programming language

Slides (pdf), Demo (thy).

29 May: Exercises

Exercises (thy, pdf).

Solutions (thy, pdf).

15 May: Sets and inductive definitions

Slides (pdf), Demo (thy).

8 May: Exercises

This session takes place in RR 20. You should have attempted if not solved Exercise 1.1 and attempted Exercise 1.2.

Exercises (thy, pdf).

Solutions to Exercise 1 (thy, pdf).

24 April: ISAR

Slides (pdf), Demo (thy).

17 April: Exercises

Exercises (thy, pdf).

Solutions to selected exercises (thy, pdf).

10 April: Higher-Order Logic

Slides (pdf), Demo (thy).

3 April: Exercises

Exercises (thy, pdf), document generation slides (pdf), find theorem handout (pdf).

Solutions to selected exercises (thy, pdf).

13 March: Lambda-calculus

Slides (pdf), Demo (thy).

6 March: Introduction

Slides (pdf), Demo (thy).