Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, Berechungsprobleme vornehmlich aus dem Bereich der logikbasierten KI bezueglich deren Berechungskomplexitaet mit Werkzeugen der Komplexitaetstheorie zu analysieren und zu klassifizieren.
Untersuchung von in der Praxis auftretenden Problemen und Lösungsverfahren, die im Zusammenhang mit intelligenten Systemen stehen, mittels Methoden der Komplexitätstheorie. Entwurf effizienter Algorithmen ausgehend von der Analyse der Komplexität von Problemen anhand von Fallbeispielen intelligenter Systeme.
ECTS breakdown: 3 ECTS = 75 Hours
- Lecture presentation 0.5h
- Lecture 17.5h
- Further reading 25h
- Discussion of the exercises 1.5h
- Solving the exercises 30h
- Oral exam (if applicable) 0.5h
Komplexitaetstheorie, mathematische Analyse, Formale Beweise,
Fallanalysen, Prolemloesungsheuristiken
Blockveranstaltung April-Mai/Juni, nach geltender Vorschrift im Distance-Learning Modus.
- Aufzeichnungen von Vorlesungen, Folien
- Questions and Answer (Q+A) Sessions
- Übungsbesprechungen
Sollte Lehre in Präsenz möglich sein, ist ein Hybridmodus denkbar (in Abstimmung mit den Teilnehmenden).
- Ursprüngliche Präsenztermine: Freitag vormittags, 9:00 -12.30
- Q+A Sessions (pro Vorlesung, ca jeweils 1.5h): Freitag vormittags bzw. nach Vereinbarung
Erster Termin: Freitag, 16. April 2021, 9:15h
Weitere Informationen werden zeitnah bekannt gegeben.
Grundkenntnisse aus theoretischer Informatik (Turingmaschinen-Modell, Algorithmen, Berechnung) und Logik (BoolescheLogik)