Aufgrund von Wartungsarbeiten sind ab 16:00 keine Änderungen im Schließsystem möglich. Der Menüpunkt Schließsystem wird ausgeblendet. Wir danken für Ihr Verständnis!

185.A12 Logikprogrammierung und Constraints
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2019S, VU, 4.0h, 6.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

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.

Inhalt der Lehrveranstaltung

Verbreiterungsmodul

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

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.16:00 - 19:0006.03.2019 - 29.05.2019HS 17 Friedrich Hartmann VU
Logikprogrammierung und Constraints - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.06.03.201916:00 - 19:00HS 17 Friedrich Hartmann VU
Mi.13.03.201916:00 - 19:00HS 17 Friedrich Hartmann VU
Mi.20.03.201916:00 - 19:00HS 17 Friedrich Hartmann VU
Mi.27.03.201916:00 - 19:00HS 17 Friedrich Hartmann VU
Mi.03.04.201916:00 - 19:00HS 17 Friedrich Hartmann VU
Mi.10.04.201916:00 - 19:00HS 17 Friedrich Hartmann VU
Mi.08.05.201916:00 - 19:00HS 17 Friedrich Hartmann VU
Mi.15.05.201916:00 - 19:00HS 17 Friedrich Hartmann VU
Mi.22.05.201916:00 - 19:00HS 17 Friedrich Hartmann VU
Mi.29.05.201916:00 - 19:00HS 17 Friedrich Hartmann VU
LVA wird geblockt abgehalten

Leistungsnachweis

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.

 

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Di.14:00 - 17:0005.11.2019 EA0414schriftlich28.10.2019 08:00 - 04.11.2019 23:59am Institut(Freiwilliges) Abgabegespräch - Anmeldung in EAEG19
Do.10:00 - 13:0007.11.2019 EA0414schriftlich28.10.2019 08:00 - 04.11.2019 23:59am Institut(Freiwilliges) Abgabegespräch - Anmeldung in EAEG19
Di.12:00 - 15:0031.03.2020 EA0414mündlich23.03.2020 09:00 - 27.03.2020 12:00am InstitutFreiwilliges Abgabegespräch
Do.10:00 - 13:0002.04.2020 EA0414mündlich23.03.2020 09:00 - 27.03.2020 12:00am InstitutFreiwilliges Abgabegespräch

Gruppentermine

GruppeTagZeitDatumOrtBeschreibung
AnmeldungMi.15:00 - 16:0027.02.2019complang-Labor Erster Anmeldungstermin
AnmeldungMi.19:00 - 20:0006.03.2019complang-Labor -
AnmeldungDo.15:00 - 16:0007.03.2019complang-Labor -
AnmeldungMi.19:00 - 20:0013.03.2019complang-Labor -
AnmeldungDo.07:00 - 08:0006.06.2019complang-Labor Kein Anmeldungstermin
Betreute ZeitenDo.14:00 - 19:0007.03.2019 - 13.06.2019complang-Labor -
Betreute ZeitenMo.15:00 - 18:0011.03.2019 - 25.03.2019complang-Labor f
Betreute ZeitenMo.18:00 - 19:0011.03.2019complang-Labor f
Betreute ZeitenDi.14:00 - 19:0012.03.2019 - 14.05.2019complang-Labor -
Betreute ZeitenFr.15:00 - 18:0015.03.2019 - 22.03.2019complang-Labor f
Betreute ZeitenMo.15:00 - 18:0001.04.2019 - 08.04.2019complang-Labor f
Betreute ZeitenFr.15:00 - 18:0005.04.2019complang-Labor f
Betreute ZeitenDo.14:00 - 19:0004.07.2019complang-Labor -
SprechstundeMi.15:00 - 16:0013.03.2019 - 26.06.2019complang-Labor -

LVA-Anmeldung

Von Bis Abmeldung bis
27.02.2019 15:00 13.03.2019 15:00

Anmeldemodalitäten:

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!

Gruppen-Anmeldung

GruppeAnmeldung VonBis
Anmeldung27.02.2019 15:00
Betreute Zeiten07.03.2019 14:00
Sprechstunde13.03.2019 15:00

Curricula

StudienkennzahlSemesterAnm.Bed.Info
033 533 Medizinische Informatik STEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 534 Software & Information Engineering STEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
860 GW Gebundene Wahlfächer - Technische Mathematik STEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vertiefende Lehrveranstaltungen

Weitere Informationen

Sprache

Deutsch