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
Komplexitätstheorie, mathematische Analyse, Formale Beweise, Fallanalysen, Prolemlösungsheuristiken
Blockveranstaltung März/April-Mai, geplant im Präsenzmodus
Sollte Lehre in Präsenz nicht möglich sein, ist für Distance Learning vorgesehen:
- Aufzeichnungen von Vorlesungen, Folien
- Questions and Answers (Q+A) Sessions
- Übungsbesprechungen
Termine:
- Mo 9:00 -12:45 (Apr 8, 15)
- Fr 9:00 -12:45 (Apr 19, 26, May 3)
Beginn: Montag 8. April 204
Weitere Informationen werden zeitnah durch TISS-Benachrichtigung bekannt gegeben.
Grundkenntnisse aus theoretischer Informatik (Turingmaschinen-Modell, Algorithmen, Berechnung) und Logik (BoolescheLogik)