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.

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

LVA-Bewertung

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Hybrid

Lernergebnisse

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

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

Methoden

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

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Hybrid-Abhaltung:

  • Vorlesungstermine real, sowie zur Not als Screencast
  • Anmeldung real im Labor
  • Das Labor ist nur zu betreuten Zeiten mit begrenzter Teilnehmerzahl geöffnet
  • Nach den ersten zwei Beispielen im Labor können die restlichen ca. 80 Beispiele auch online gelöst werden
  • Abgabegespräch real im Labor
Die konkreten Anmeldungstermine und Laborzeiten finden sich auf der Homepage.

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.15:00 - 16:0023.02.2022complang-Labor Sprechstunde
Mi.15:00 - 16:0002.03.2022 - 29.06.2022complang-Labor Sprechstunde
Mi.16:00 - 19:0002.03.2022 - 25.05.2022EI 2 Pichelmayer HS - ETIT Vorlesung
Mi.17:00 - 19:0030.03.2022 - 06.04.2022EI 2 Pichelmayer HS - ETIT Vorlesung (Ausweichhs)
Mi.16:00 - 19:0006.04.2022EI 4 Reithoffer HS Vorlesung (Ausweichhs)
Logikprogrammierung und Constraints - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.23.02.202215:00 - 16:00complang-Labor Sprechstunde
Mi.02.03.202215:00 - 16:00complang-Labor Sprechstunde
Mi.02.03.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Mi.09.03.202215:00 - 16:00complang-Labor Sprechstunde
Mi.09.03.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Mi.16.03.202215:00 - 16:00complang-Labor Sprechstunde
Mi.16.03.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Mi.23.03.202215:00 - 16:00complang-Labor Sprechstunde
Mi.23.03.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Mi.30.03.202215:00 - 16:00complang-Labor Sprechstunde
Mi.30.03.202217:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung (Ausweichhs)
Mi.06.04.202215:00 - 16:00complang-Labor Sprechstunde
Mi.06.04.202216:00 - 19:00EI 4 Reithoffer HS Vorlesung (Ausweichhs)
Mi.06.04.202217:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung (Ausweichhs)
Mi.27.04.202215:00 - 16:00complang-Labor Sprechstunde
Mi.27.04.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Mi.04.05.202215:00 - 16:00complang-Labor Sprechstunde
Mi.04.05.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Mi.11.05.202215:00 - 16:00complang-Labor Sprechstunde
Mi.11.05.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
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 (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.

Die ersten zwei Beispiele müssen im Labor gelöst werden.

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Di.15:00 - 19:0008.11.2022complang-Labor mündlich31.10.2022 08:00 - 07.11.2022 23:59am Institut(Freiwilliges) Abgabegespräch - Anmeldung in EAEG19
Do.15:00 - 19:0010.11.2022complang-Labor mündlich31.10.2022 08:00 - 07.11.2022 23:59am Institut(Freiwilliges) Abgabegespräch - Anmeldung in EAEG19
Mi.09:00 - 13:0029.03.2023complang-Labor mündlich27.03.2023 09:00 - 01.04.2023 00:00am InstitutFreiwilliges Abgabegespräch, Anmeldung in GUPU
Di.09:00 - 13:0004.04.2023complang-Labor mündlich27.03.2023 09:00 - 01.04.2023 00:00am InstitutFreiwilliges Abgabegespräch, Anmeldung in GUPU

Gruppentermine

GruppeTagZeitDatumOrtBeschreibung
Betreute ZeitenDo.15:00 - 19:0024.02.2022complang-Labor -
Betreute ZeitenDo.15:00 - 19:0003.03.2022 - 30.06.2022complang-Labor -
Betreute Zeiten uMi.15:00 - 18:0023.02.2022complang-Labor u
Betreute Zeiten uDi.15:00 - 19:0001.03.2022 - 15.03.2022complang-Labor u
Betreute Zeiten uDi.15:00 - 19:0028.06.2022complang-Labor u

LVA-Anmeldung

Von Bis Abmeldung bis
23.02.2022 15:00 09.03.2022 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
Betreute Zeiten23.02.2022 15:00
Betreute Zeiten f23.02.2022 15:00
Betreute Zeiten u23.02.2022 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

Skriptum bei Anmeldung

Vertiefende Lehrveranstaltungen

Weitere Informationen

Sprache

Deutsch