Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage,

1. einfache Programme in der puren, monotonen Untermenge von ISO-Prolog  mit Constraints zu erstellen
2. die grundlegenden Lesarten zu erläutern und auf konkrete Programme anzuwenden
3. deklarative und prozedurale Eigenschaften eines Programms in Beziehung zu setzen insbesondere zur Terminations- und Nichtterminationsanalyse

Verbreiterungsmodul

• Deklarative Programmierparadigmen
• Deklarative Lesarten
• Deklarative Diagnose
• Prozedurale Lesarten
• Termination
• Grammatiken
• Constraints
• Programmieren höherer Ordnung
• Lambda-Ausdrücke
• Pure I/O

• Vorlesung und Diskussionen
• Aufgabenblätter
• Lösung der Beispiele in einer Programmierumgebung mit Tutoren-Unterstützung
• Abgabegespräch

Didaktische Vorgangsweise: Das Programmierparadigma der logikorientierten Programmierung wird anhand der Programmiersprache Prolog mit vielen kleinen Beispielen erarbeitet. Die (leicht individualisierten) Beispiele werden in einer speziellen Übungsumgebung gelöst (GUPU), die nicht nur diverse Hilfestellungen zum Programmieren und Verständnis bietet - etwa Fehlerdiagnosen, sondern auch eine (sehr aussagekräftige) Vorbeurteilung erzeugt. Zudem gibt es in der Mitte der LVA ein mündliches Abgabegespräch.

Aufwand (ECTS-Breakdown): Vorlesungsteil 2 ECTS, Übungsteil 4 ECTS (insgesamt ca. 80 Beispiele zu jeweils bis zu 100 Punkten).

Notenschlüssel: Ab 2900 G4, ab 4500 B3, ab 5500 U2, ab 7000 + erfolgreiches Abgabegespräch S1.

Persönliche Anmeldung im Labor EAEG19, Argentinierstraße 8, EG.

Erste Anmeldung schon im September. Details siehe Homepage.

Skriptum