184.700 Deklaratives Problemlösen

2022W, VO, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung
  • Format der Abhaltung: Präsenz

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

Achtung:

  • Die VO ist als Präsenzlehrveranstaltung geplant aber sie kann, abhängig von der COVID Situtation, in einen hybriden Präsenz-/Onlinemodus oder reinen Onlinemodus wechseln.

Lecturers:

  • Uwe Egly: SAT and QSAT
  • Hans Tompits: ASP Part I
  • Tobias Geibinger: 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 Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.17:00 - 20:0011.10.2022 - 20.12.2022FH Hörsaal 2 Vorlesung
Deklaratives Problemlösen - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.11.10.202217:00 - 20:00FH Hörsaal 2 Vorlesung
Di.18.10.202217:00 - 20:00FH Hörsaal 2 Vorlesung
Di.25.10.202217:00 - 20:00FH Hörsaal 2 Vorlesung
Di.08.11.202217:00 - 20:00FH Hörsaal 2 Vorlesung
Di.22.11.202217:00 - 20:00FH Hörsaal 2 Vorlesung
Di.29.11.202217:00 - 20:00FH Hörsaal 2 Vorlesung
Di.06.12.202217:00 - 20:00FH Hörsaal 2 Vorlesung
Di.13.12.202217:00 - 20:00FH Hörsaal 2 Vorlesung
Di.20.12.202217:00 - 20:00FH Hörsaal 2 Vorlesung
LVA wird geblockt abgehalten

Leistungsnachweis

Mündliche Prüfung.

LVA-Anmeldung

Von Bis Abmeldung bis
25.09.2022 10:00 17.10.2022 23:55 17.10.2022 23:55

Curricula

StudienkennzahlSemesterAnm.Bed.Info
No records found.

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