Zertifizierung von FP/ FLINSPACE/ FPSPACE für imperative Programme

Wintersemester 2009

Priv.-Doz. Dr. K.-H. Niggl

Mitteilungen

Inhalte

Ankündigung zu AKKT

Termine

Vorlesung im Wintersemester 2009: 5.- 10. Oktober, im Raum K 2077

jeweils 9:00 - 10:30, 11:00 - 12:30, 15:00 - 16:30 Uhr

Kriterien für den Scheinerhalt

Fachgespräch oder Klausur (bei hoher Teilnehmerzahl), Ende WS09

Literatur und Links

Wird in der Vorlesung angegeben.

Materialien und Übungsblätter

Die Folien zur Vorlesung dienen als Arbeitsmaterial. Die Teilnehmer werden daher gebeten, diese sich rechtzeitig

(am Tag vorher) auszudrucken und in die jeweils drei Vorlesungen pro Tag mitzubringen.

Folie 1 zum 05.10.09 (korrigiert bzgl. Folien 2, 6, 10, 13)

Folie 2 zum 05.10.09

Folie 1 zum 06.10.09

Folie 2 zum 06.10.09

Folie 1 zum 07.10.09

Folie 2 zum 07.10.09

Folie 1 zum 08.10.09

Folie 2 zum 08.10.09

Folie 3 zum 08.10.09

Folie 1 zum 09.10.09

Sonstiges Arbeitsmaterial

Induktive Definitionen, Induktion und Rekursion über den Aufbau:
Grundlegende Kenntnisse für die Vorlesung