Dieses Modul vermittelt das logikorientierte Programmierparadigma anhand praktischer Aufgaben. Als Grundprogrammiersprache wird ISO-Prolog verwendet. Schwerpunkt ist der pure und monotone Teil der Sprache. Darauf aufbauend kommen in ISO-Prolog eingebettete Constraint-Programmiersprachen zum Einsatz.
Verbreiterungsmodul
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.
Notenschlüssel: Ab 2900 G4, ab 4500 B3, ab 5500 U2, ab 7000 + erfolgreiches Abgabegespräch S1.
Persönliche Anmeldung im Labor, Argentinierstraße 8, EG - EAEG19. Erste Anmeldung schon im Feber.
Sämtliche Anmeldungstermine finden sich auf der HP der LVA!
