Homepage der Universität Tübingen
Home >> Back >> List01
Home
Browsen
Indizes
Semester
Suchen
Themen
Information
Kontakt
Links
Service
Impressum
 
Vorlesung Informatik 1, 49. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Lambda-Kalkül; Boolesche Werte; Natürliche Zahlen; Church-Numerale; Rekursion; Fixpunktsatz; Fixpunktkombinator; Y-Kombinator;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-01-29
Type:video
Duration:00:45:07.0
Rights:lesen Sie mehr...
embedded standalone
 
Anforderungen: Firefox 1.x, Microsoft IE 6.x, Windows MediaPlayer 6.4, Realplayer 10 oder jeweils höher
Stand: 30. Juli 2014 , Kontakt: timmsmaster@zdv.uni-tuebingen.de
 
© 2005 ZDV Universität Tübingen