KIT-Bibliothek
suchen
KIT-Bibliothek
KIT-Bibliothek Medienportal

Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 13.11.2014, Lektion 07

Autor

Dorothea Wagner

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

07: Vorlesung: Definition | Die Diagonalsprache | Die Diagonalsprache - Veranschaulichung | Unentschuldbarkeit der Diagonalsprache | Korollar | Das Halteproblem | Die Universelle Sprache | Satz von Rice - Motivation | Satz von Rice | Bemerkungen zum Satz von Rice | Das Post´sche Korrespondenzproblem | Eigenschaften von (semi-)entscheidbaren Sprachen | Zusammenfassung

Laufzeit (hh:mm:ss)

01:04:19

Serie

Theoretische Grundlagen der Informatik, WS 2014/15

Publiziert am

11.08.2015

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 110856 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 917316 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 3859 s
Dateiname DIVA-2015-556_hd.mp4
Bildwiederholfrequenz 25
Videobitrate 800355 bps
Video Codec h264

Mediathek-URL

Embed-Code

Theoretische Grundlagen der Informatik, WS 2014/15 Folgen 1-26 von 26
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 12.02.2015, Übung 8
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 12.02.2015, Übung 8
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 05.02.2015, Lektion 19
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 05.02.2015, Lektion 19
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 03.02.2015, Lektion 19
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 03.02.2015, Lektion 19
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 27.01.2015, Lektion 17
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 27.01.2015, Lektion 17
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 22.01.2015, Lektion 16
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 22.01.2015, Lektion 16
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 20.01.2015, Übung 6
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 20.01.2015, Übung 6
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 15.01.2015, Lektion 15
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 15.01.2015, Lektion 15
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 13.01.2015, Lektion 14
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 13.01.2015, Lektion 14
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 08.01.2015, Übung 5
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 08.01.2015, Übung 5
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 18.12.2014, Lektion 13
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 18.12.2014, Lektion 13
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 16.12.2014, Lektion 12
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 16.12.2014, Lektion 12
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 11.12.2014, Übung 4
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 11.12.2014, Übung 4
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 09.12.2014, Lektion 11
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 09.12.2014, Lektion 11
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 04.12.2014, Lektion 10
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 04.12.2014, Lektion 10
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 27.11.2014, Übung 3
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 27.11.2014, Übung 3
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 25.11.2014, Lektion 09
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 25.11.2014, Lektion 09
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 20.11.2014, Lektion 08
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 20.11.2014, Lektion 08
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 18.11.2014, Übung 2
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 18.11.2014, Übung 2
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 13.11.2014, Lektion 07
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 13.11.2014, Lektion 07
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 11.11.2014, Lektion 06
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 11.11.2014, Lektion 06
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 06.11.2014, Lektion 05
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 06.11.2014, Lektion 05
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 04.11.2014, Übung 1
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 04.11.2014, Übung 1
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 30.10.2014, Lektion 04
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 30.10.2014, Lektion 04
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 28.10.2014, Lektion 03
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 28.10.2014, Lektion 03
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 23.10.2014, Lektion 02
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 23.10.2014, Lektion 02
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 21.10.2014, Lektion 01
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 21.10.2014, Lektion 01