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. Geplante Termine: Freitag vormittags, 9:00 (pktl) -12.30,  April-Mai/Juni

Erster Termin: geplant Freitag, 24. April 2020

Uebungsaufgaben (Uebungsteil)

Grundkenntnisse aus theoretischer Informatik (Turingmaschinen-Modell, Algorithmen, Berechnung) und Logik (BoolescheLogik)