184.700 Deklaratives Problemlösen
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020S, VO, 2.0h, 3.0EC, wird geblockt abgehalten
Diese Lehrveranstaltung wird nach dem neuen Modus evaluiert. Mehr erfahren

LVA-Bewertung

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage in der Lage unterschiedliche Werkzeuge, Sprachen und logikorienterte Methoden zum deklarativen Problemlösen zu benennen und zu erläutern, sowie theoretische Zusammenhänge korrekt zu argumentieren. Im Speziellen können nach positiver Absolvierung des Moduls die Studierenden

  • die eingesetzten Techniken und Methoden formal analysieren,
  • Methoden und Techniken für eine vorgegebene Aufgabenstellung zielgerichtet auswählen, sowie
  • Lösungen und Formalismen kritisch bewerten.

Inhalt der Lehrveranstaltung

Die Lehrveranstaltung behandelt unterschiedliche Formalismen zum deklarativen Problemlösen. Die Lehrveranstaltung besteht aus drei Teilen: Im ersten Teil werden Methoden des SAT und QSAT Beweisen vorgestellt, und im zweiten und dritten Teil wird Answer-Set Programmierung behandelt.

Organisation

Registration:

  • Abonnieren der Lehrveranstaltung in TISS and Forumsteilnahme aktivieren.

Hinweis:

  • Die UE Deklaratives Problemlösungen wird im Wintersemester 2020/21 stattfinden!

Lecturers:

  • Uwe Egly: SAT and QSAT
  • Hans Tompits: ASP Part I
  • Antonius Weinzierl: ASP Part II

Methoden

Frontalvortrag.

Prüfungsmodus

Mündlich

Weitere Informationen

ECTS breakdown: 3 ECTS = 75 hours

  • Lectures, course introduction 24h
  • Preparation for the final exam 50h
  • Final exam 1h

The course material is in English; introductory courses will be held in English on demand.

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.09:00 - 12:0002.03.2020 - 09.03.2020FAV Hörsaal 2 Vorlesung
Deklaratives Problemlösen - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.02.03.202009:00 - 12:00FAV Hörsaal 2 Vorlesung
Mo.09.03.202009:00 - 12:00FAV Hörsaal 2 Vorlesung
LVA wird geblockt abgehalten

Leistungsnachweis

Mündliche Prüfung.

LVA-Anmeldung

Von Bis Abmeldung bis
26.06.2020 23:55 30.12.2020 23:55 31.12.2020 23:55

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.

Vorkenntnisse

Basic knowledge of Mathematical Logic (Unification, Horn-Clause Resolution).

Begleitende Lehrveranstaltungen

Sprache

bei Bedarf in Englisch