Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 01.12.2015, Vorlesung - 11
Author
Peter Sanders, Lorenz Hübschle-Schneider, Tobias Maier
Participating institute
Institut für Theoretische Informatik (ITI)
Genre
Description
- 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
Duration (hh:mm:ss)
01:08:45
Series
Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Published on
03.12.2015
Subject area
License
| Resolution | 1280 x 720 Pixel |
| Aspect ratio | 16:9 |
| Audio bitrate | 103542 bps |
| Audio channels | 2 |
| Audio Codec | aac |
| Audio Sample Rate | 48000 Hz |
| Total Bitrate | 909596 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 4125 s |
| Filename | DIVA-2015-914_hd.mp4 |
| File Size | 4.096 byte |
| Frame Rate | 25 |
| Video Bitrate | 799963 bps |
| Video Codec | h264 |
Media URL
Embed Code
Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Episodes 1-27
of 27
