SDA SE Wiki
Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
User Tools
Sidebar
ALP Slides
For a preview you find here the slides of last year's course. When new or updated slides are uploaded, the date attached to the link will be updated and the link will be marked bold.
| Date | Chapter/Topic | Slides (and date of last update) |
|---|---|---|
| 13.04.16 | 0. Organizational Issues 1. Syntax, Informal Semantics, Application Example | Chapter 0 (13.04.2016) Chapter 1 (20.04.2016) |
| 20.04.16 | 1. Application Example (continued) | |
| 27.04.16 | 2. Software Analysis | Chapter 2 (05.07.2016) |
| 04.05.16 | 3. Declarative semantics | Chapter 3 (27.04.2016) |
| 11.05.16 | 4. Operational Semantics | Chapter 4 (11.05.2016) |
| 16.05.16- 20.05.16 | Whitsun break (no lecture, no tutorials) | |
| 25.05.16 | Dies Academicus (no lecture, no tutorials) | |
| 01.06.16 | 4. Operational Semantics (cont.) | |
| 18.06.16 | 5. Programming techniques | Chapter 5 (22.06.2016) |
| 15.06.16 | 5. Programming techniques | |
| 22.06.16 | 6. Predefined Predicates | Chapter 6 (05.07.2016) |
| 29.06.16 | 7. Metadata, Metaprogramming and Reflection | Chapter 7 (06.07.2016) |
| 06.07.16 | 8. Objects in Prolog | Chapter 8 (06.07.2016) DRAFT |
| 13.07.16 | 9. Update Semantics | not required for exam |
| 20.07.16 | “Open Questions” Session1) | — |
The final lecture on 20.07.2016 will not present any new material. It will be solely dedicated to answering YOUR PRECISE questions about the lecture, the slides or the exercises. This is your last chance to clarify open issues before the exam. Use it! If nobody asks questions the lecture will be finished very quickly.
The exam will cover the material from Chapter 1 to Chapter 7 and everything that was done in the exercises.
1)
see note below
teaching/lectures/alp/2016/slides.txt · Last modified: 2018/05/09 01:59 (external edit)
Page Tools
