ALP Slides

Here are the slides of last year's course, as preview. When new or updated slides are uploaded, the date attached to the respective link will be updated and the link will be marked bold.

Date Chapter/Topic Slides (and date of last update)
24.04.16 0. Organizational Issues
1. Syntax, Informal Semantics, Application Example
Chapter 0 (13.04.2016)
Chapter 1 (20.04.2016)
01.05.17 Labour day/May Day (no lecture, no tutorials)
08.05.17 1. Application Example (continued)
15.05.17 2. Software Analysis Chapter 2 (05.07.2016)
22.05.17 3. Declarative semantics Chapter 3 (27.04.2016)
29.05.17 4. Operational Semantics Chapter 4 (11.05.2016)
5-9.06.17 Whitsun break (no lecture, no tutorials)
12.06.17 4. Operational Semantics (cont.)
19.06.17 5. Programming techniques Chapter 5 (22.06.2016)
26.06.17 5. Programming techniques
03.07.17 6. Predefined Predicates Chapter 6 (05.07.2016)
10.07.17 7. Metadata, Metaprogramming and Reflection Chapter 7 (06.07.2016)
17.07.17 8. Objects in Prolog Chapter 8 (06.07.2016) DRAFT
24.07.17 9. Self-Modifying Programs

The exam will cover the material from the slides and everything that was done in the Exercis Groups.

Last modified: 2017/02/07 18:14
*