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.

2022S, 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 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: Montag vormittags, 9:00 -12.40

Beginn: voraussichtlich 28. März, 2022

Weitere Informationen werden zeitnah durch TISS-Benachrichtigung bekannt gegeben.

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.09:00 - 13:0007.03.2022 - 27.06.2022Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Complexity Analysis - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.07.03.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.14.03.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.21.03.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.28.03.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.04.04.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.25.04.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.02.05.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.09.05.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.16.05.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.23.05.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.30.05.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.13.06.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.20.06.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.27.06.202209:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
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
15.02.2022 20:00 27.05.2022 11:00 27.05.2022 22:00

Curricula

Literatur

Vorkenntnisse

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

 

 

 

 

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch