Vorlesung Informatik 1, 48. Stunde

Klaeren, Herbert ; Sperber, Michael , 27.01.2009

Table of Contents:

00:00:00.0 Lambda-Kalkül, Reduktionsregeln (Fortsetzung)
00:04:54.0 Lambda-Kalkül, Beta-Redex
00:10:38.0 Lambda-Kalkül, Äquivalenz (Definition 15.5)
00:12:06.0 Lambda-Kalkül, Normalform (Abschnitt 15.2)
00:13:33.0 Lambda-Kalkül, Normalform (Definition 15.6)
00:14:52.0 Lambda-Kalkül, Normalform (Beispiel)
00:19:37.0 Lambda-Kalkül, Church-Rosser-Eigenschaft (Satz 15.7)
00:21:38.0 Lambda-Kalkül, Eindeutigkeit der Normalform (Satz 15.8)
00:24:03.0 Lambda-Kalkül, Lambda-Ausdrücke ohne Normalform
00:26:53.0 Lambda-Kalkül als Programmiersprache (Abschnitt 15.3)
00:28:25.0 Lambda-Kalkül, Boolesche Werte (Abschnitt 15.3.1)
00:32:21.0 Lambda-Kalkül, Boolesche Werte (Beispiel)
00:40:48.0 Lambda-Kalkül, Natürliche Zahlen: Church-Numerale (Abschnitt 15.3.2)
Autoplay
Quality
Playbackrate
 Settings
     Settings
      timms player
      •  embed
      •  legal
      •  about
      based on Video JS 6.6.0

      Embedded timms Player

      Mode Size Settings
      iframe
      100%
      427 x 240
      640 x 360
      854 x 480
      autoplay
      mute
      start 0:00:00
      Sorry, video window to small to embed...

      Rechtliches und Haftungsausschluss

       

      Die Web-Anwendung timms player ist Bestandteil des Webauftritts der Universität Tübingen.

      Es gilt das Impressum der Universität Tübingen

      Im Besonderen gelten die Regelungen zu:

      • Externen Links
      • Haftungsauschluss
      • Urheberrecht

      Es ist gestattet, den timms player über die Funktion embed als iframe in eigene Webseiten zu intergrieren.

      Es ist untersagt, die über den Streamingdienst timms angebotenen Inhalte ohne ausdrückliche schriftliche Genehmigung der Autorinnen und Autoren zu kopieren, zu modifizieren, zu verwerten oder zu veröffentlichen.

      Für die Richtigkeit und Vollständigkeit der Inhalte wird keine Garantie übernommen (siehe Impressum). Die Verfügbarkeit des Dienstes wird nicht garantiert. Der Dienst kann jederzeit ohne Angabe von Gründen verändert oder eingestellt werden.

       

      Tübinger Internet Multimedia System

       

      Online seit November 1999

      Mehr als 6000 Medienobjekte aus Lehre, Forschung und Universität.

      Über 100.000 Begriffe auf der timeline recherchierbar.

      Komfortable Zitatfunktion, für wissenschaftlich korrektes Zitieren.

      Teilbar als Link, mit Email oder auf twitter.

      Embeddable Player.