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

Sommersemester 2008

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

[Mitteilungen] [Inhalte] [Termine] [Scheinerhalt] [Literatur] [Materialien]

Mitteilungen

Klausureinsicht  findet zu folg. Terminen statt:

Dienstag, den 14.10.08

Mittwoch, den 15.10.08 von 15:00 - 18:00 Uhr

im Informatikgebäude, Raum 307

Inhalte

Ankündigung zu AKKT

Termine

Vorlesung : Donnerstag, 17:00-18:30 Uhr, Sr C113

Kriterien für den Scheinerhalt

Fachgespräch

Literatur und Links

Materialien und Übungsblätter

Folien zur Vorlesung am 10.07.2008

Folien zur Vorlesung am 03.07.2008

Folien zur Vorlesung am 26.06.2008

Folien zur Vorlesung am 19.06.2008

Folien zur Vorlesung am 12.06.2008

Folien zur Vorlesung am 29.05.2008

Folien zur Vorlesung am 15.05.2008

Ergänzung zur Grzegorczyk-Hierarchie

Die primitiv rekursiven Funktionen

Induktive Definitionen

Folien zur Vorlesung am 08.05.2008

Folien zur Vorlesung am 24.04.2008

Folien zur Vorlesung am 17.04.2008

Übungsblätter

Übungsblatt 1