KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Sanders, Peter; 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
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Audio & Video
Publikationsdatum 03.12.2015
Erstellungsdatum 01.12.2015
DOI 10.5445/DIVA/2015-914
Identifikator KITopen-ID: 1000113554
Serie 12
Serie Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page