KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

07: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 16.11.2017

Autor

Dorothea Wagner

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

07 |
0:00:00 Starten
0:00:06 Definitionen zur TM
0:01:15 Unentscheidbarkeit der Diagonalsprache
0:02:42 Die Universelle Sprache
0:09:51 Satz von Rice - Motivation
0:17:10 Das Post'sche Korrespondenzproblem
0:21:44 Eigenschaften von (semi-)entscheibaren Sprachen
0:28:02 Komplexitätstheorie
0:32:53 Wie sieht ein Problem aus?
0:37:56 Definition: Problem
0:39:34 Definition: Kodierungsschema
0:43:19 Äquivalenz von Kodierungsschemata
0:44:33 Entscheidungsprobleme
0:46:43 Korrespondenz von Entscheidungsproblemen und Sprachen
0:51:27 Zeitkomplexität
0:53:04 Die Klasse P
0:56:35 Algorithmus OPT-TOUR (als Beweis)
0:59:27 Die Nichtdeterministische Turingmaschine
1:04:41 Übertragung auf Entscheidungsprobleme PI
1:07:16 Bemerkungen zur NTM
1:13:15 Die Klasse NP

Laufzeit (hh:mm:ss)

01:19:25

Serie

Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18

Publiziert am

21.11.2017

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 94328 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 900200 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4765 s
Dateiname DIVA-2017-676_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 799778 kbps
Video Codec h264

Embed-Code

Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18 Folgen 1-19 von 19