Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 01.12.2015, Vorlesung - 11
Sanders, Peter
; Hübschle-Schneider, Lorenz; Maier, Tobias
; Hübschle-Schneider, Lorenz; Maier, Tobias
- 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
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 03.12.2015 |
| Erstellungsdatum | 01.12.2015 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2015-914 |
| Identifikator | KITopen-ID: 1000113554 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016 |
| Folge | 12 |