184.215 Complexity Analysis
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2021S, VU, 2.0h, 3.0EC, wird geblockt abgehalten
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Distance Learning

Lernergebnisse

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.

Inhalt der Lehrveranstaltung

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

Methoden

Komplexitaetstheorie, mathematische Analyse, Formale Beweise,

Fallanalysen, Prolemloesungsheuristiken

 

Prüfungsmodus

Schriftlich

Weitere Informationen

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.

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.09:00 - 13:0005.03.2021 - 25.06.2021FAV Hörsaal 1 - INF Complexity Analysis
Complexity Analysis - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.05.03.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
Fr.12.03.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
Fr.19.03.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
Fr.26.03.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
Fr.16.04.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
Fr.23.04.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
Fr.30.04.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
Fr.07.05.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
Fr.21.05.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
Fr.28.05.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
Fr.04.06.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
Fr.11.06.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
Fr.18.06.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
Fr.25.06.202109:00 - 13:00FAV Hörsaal 1 - INF Complexity Analysis
LVA wird geblockt abgehalten

Leistungsnachweis

  • Übungsaufgaben (Übungsteil);
  • Take-Home Exam mit optionaler mündlicher Prüfung, bzw. mündliche Nachfragen zum Exam zur Plausibilisierung von Antworten.

Technische Voraussetzungen:

  • Übungsaufgaben / Take-Home Exam (open book): Email / File Upload
  • Mündliche Prüfung / Nachfragen: Internetverbindung, Web-Kamera, Browser, Audio-Set. Falls Präsenzprüfungen möglich sind, kann dies entfallen.  

Details werden noch bekannt gegeben.

 

LVA-Anmeldung

Von Bis Abmeldung bis
16.02.2021 20:00 28.05.2021 11:00 28.05.2021 22:00

Curricula

Literatur

Vorkenntnisse

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

 

 

 

 

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch