SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


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)

SEWiki, © 2021