Professur Theoretische Informatik
Ehemalige Professur Theoretische Informatik
Professur Theoretische Informatik 

Theorie der Programmiersprachen

Wintersemester 2008/2009

 

 

 

Vorlesung: Theorie der Programmiersprachen

SWS (V/Ü/P)

 2/2/0

Voraussetzungen

 Interesse an formalen Fragen

Inhalt

Die Grundzüge der Logikprogrammierung werden am Beispiel der Programmiersprache PROLOG behandelt.                                                                                                                     

  • Fakten, Regeln, Anfragen
  • Grundlagen aus der Prädikatenlogik
  • Listen
  • Rekursive Datenstrukturen
  • Operatoren
  • Programmiertechniken
  • Systemprädikate
  • Kompliziertere Beispiele
  • Definite Klauselgrammatiken

Literatur

Uwe Schöning: Logik für Informatiker, Spektrum Verlag.

Termine
Donnerstag 11.30-13:00 1/367 Vorlesung Prof. Goerdt
Freitag 13:45-15:15 1/368 Übung Lau

Hinweis
Am 17.10.2008 findet statt der Übung eine Vorlesung statt.
Die Vorlesung am 23.10.2008 fällt dafür aus.
Die erste Übung findet damit am 24.10.2008 statt.
Achtung! In der Woche vom 3. bis 7.11. werden die Übung und die Vorlesung getauscht. Damit findet die Übung am 6.11. und die Vorlesung am 7.11. statt.
Konsultationsmöglichkeiten: Dienstag, den 24.2., und Mittwoch, den 25.2., jeweils 13.00 Uhr im Raum 1/368.

Material

 Material zur 1. Vorlesung,
Material zur Vorlesung am 13.11.2008
Lineare Resolution

Links

 Übungsaufgaben