KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 01.12.2015, Vorlesung - 11

Autor

Peter Sanders, Lorenz Hübschle-Schneider, Tobias Maier

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

11: Vorlesung |
0:00:00 Starten
0:00:09 2.1 Intuitiver Berechenbarkeitsbegriff und Churchsche These
0:00:43 2.2 Intuitiver Berechenbarkeitsbegriff
0:02:41 Beispiel
0:04:51 Exkurs: einige Nährungen für Pi
0:07:47 Beispiel
0:13:09 Nichtberechenbare Funktionen
0:17:58 Church´sche These
0:18:56 Turingmaschinen berechnen Funktionen
0:22:07 Turingmaschinen berechnen numerische Funktionen
0:23:17 Akzeption -> Funktion
0:24:44 Beispiel
0:32:02 Funktionsweise
0:35:24 Beispiel: Die überall undefinierte Funktion
0:35:58 Programmiertechniken für Turingmaschinen
0:40:24 Lokale Variablen
0:41:00 Hintereinanderschalten
0:44:04 Spuren
0:46:11 While-Schleifen
0:48:54 2.3 LOOP-, WHILE-, GOTO (=Registermaschinen) und RAM-Berechenbarkeit
0:50:06 RAM: Random Access Machine
0:56:38 Registermaschine
0:59:52 Registermaschinen-Berechenbarkeit
1:03:10 RAM-Berechenbarkeit
1:04:50 Höhere Programmiersprachen
1:08:16 LOOP-Programme

Laufzeit (hh:mm:ss)

01:08:45

Serie

Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016

Publiziert am

03.12.2015

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

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

Embed-Code

Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016 Folgen 1-27 von 27