Informatik B2 / Theoretische Informatik

Prof. Dr. König, Barbara

Dateibereich 20028

5137,23 MB in 14 Dateien, zuletzt geändert am 24.07.2008

Dateiliste / Details

DateiDateien geändert amGröße
Koenig_01_07.wmv02.07.2008 09:37:37356,21 MB
Koenig_05_29.wmv02.06.2008 10:35:56613,35 MB
Koenig_06_03.wmv04.06.2008 08:43:24406,01 MB
Koenig_06_05.wmv06.06.2008 14:31:32377,13 MB
Koenig_06_10.wmv11.06.2008 10:42:15288,92 MB
Koenig_06_12.wmv13.06.2008 08:06:40332,90 MB
Koenig_06_17.wmv18.06.2008 08:09:49340,58 MB
Koenig_06_19.wmv20.06.2008 10:08:17328,35 MB
Koenig_06_20.wmv24.06.2008 08:46:58354,95 MB
Koenig_06_24.wmv25.06.2008 08:11:32319,51 MB
Koenig_06_26.wmv27.06.2008 08:09:20312,04 MB
Koenig_07_03.wmv04.07.2008 12:19:25413,02 MB
Koenig_07_15.wmv16.07.2008 11:02:08339,40 MB
Koenig_07_17.wmv24.07.2008 14:49:32354,85 MB
Informatik B2 Aufzeichnungen der Vorlesungen Informatik B2 / Theoretische Informatik im Sommersemester 2008

Vorlesung vom 29. Mai 2008
Organisatorisches, Einführung, Kontextsensitive und Typ-0-Sprachen

Vorlesung vom 03. Juni 2008
Kontextsensitive und Typ-0-Sprachen, Berechnungsmodelle

Vorlesung vom 05. Juni 2008
Berechnungsmodelle (Turingmaschinen, LOOP-Programme)

Vorlesung vom 10. Juni 2008
Berechnungsmodelle (LOOP-, WHILE-, GOTO-Programme)

Vorlesung vom 12. Juni 2008
Berechnungsmodelle (primitiv, mu-rekursive Funktionen), Entscheidbarkeit und Semi-Entscheidbarkeit

Vorlesung vom 17. Juni 2008
Unentscheidbarkeit, rekursive Aufzählbarkeit, Halteproblem

Vorlesung vom 19. Juni 2008
Halteproblem, Reduktionen, Satz von Rice

Vorlesung vom 20. Juni 2008
Weitere unentscheidbare Probleme (Adventure-Problem, PCP)

Vorlesung vom 24. Juni 2008
Weitere unentscheidbare Probleme (PCP, Schnittproblem für kontextfreie Grammatiken, etc.)

Vorlesung vom 26. Juni 2008
Abschlusseigenschaften, Einführung Komplexitätstheorie, Definition von P, O-Notation

Vorlesung vom 01. Juli 2008
Definition von NP, Erfüllbarkeitsproblem SAT, NP-Vollständigkeit

Vorlesung vom 03. Juli 2008
NP-Vollständigkeit von SAT

Vorlesung vom 15. Juli 2008
NP-Vollständigkeit von 3KNF-SAT, "Gerichteter Hamiltonkreis"

Vorlesung vom 17. Juli 2008
NP-Vollständigkeit von "Ungerichteter Hamiltonkreis", TSP, weitere wichtige Probleme


Keine URN zugeordnet
Lesezeichen:
Permalink | Teilen/Speichern
Dokumententyp:
Lehrmaterial » Vorlesungsskript, Vorlesungsfolien
Fakultät / Institut:
Fakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft » Informatik » Theoretische Informatik
Sprache:
Deutsch
Kollektion / Status:
Lehr- und Lernmaterial / Dokument veröffentlicht
Dateien geändert am:
24.07.2008
Medientyp:
Video