Informatik B2 / Theoretische Informatik
Prof. Dr. König, Barbara
Dateibereich 20028
5137,23 MB in 14 Dateien, zuletzt geändert am 24.07.2008
| Datei | Dateien geändert am | Größe |
|---|---|---|
| Koenig_01_07.wmv | 02.07.2008 09:37:37 | 356,21 MB |
| Koenig_05_29.wmv | 02.06.2008 10:35:56 | 613,35 MB |
| Koenig_06_03.wmv | 04.06.2008 08:43:24 | 406,01 MB |
| Koenig_06_05.wmv | 06.06.2008 14:31:32 | 377,13 MB |
| Koenig_06_10.wmv | 11.06.2008 10:42:15 | 288,92 MB |
| Koenig_06_12.wmv | 13.06.2008 08:06:40 | 332,90 MB |
| Koenig_06_17.wmv | 18.06.2008 08:09:49 | 340,58 MB |
| Koenig_06_19.wmv | 20.06.2008 10:08:17 | 328,35 MB |
| Koenig_06_20.wmv | 24.06.2008 08:46:58 | 354,95 MB |
| Koenig_06_24.wmv | 25.06.2008 08:11:32 | 319,51 MB |
| Koenig_06_26.wmv | 27.06.2008 08:09:20 | 312,04 MB |
| Koenig_07_03.wmv | 04.07.2008 12:19:25 | 413,02 MB |
| Koenig_07_15.wmv | 16.07.2008 11:02:08 | 339,40 MB |
| Koenig_07_17.wmv | 24.07.2008 14:49:32 | 354,85 MB |
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:
Dokumententyp:
Lehrmaterial » Vorlesungsskript, Vorlesungsfolien
Fakultät / Institut:
Fakultät für Ingenieurwissenschaften » Ingenieurwissenschaften - Campus Duisburg » Abteilung Informatik und Angewandte Kognitionswissenschaft » Theoretische Informatik
Sprache:
Deutsch
Kollektion / Status:
Lehr- und Lernmaterial / Dokument veröffentlicht
Dateien geändert am:
24.07.2008
Medientyp:
Video