Homepage der Universität Tübingen
Home >> Back >> List01
Home
Browsen
Indizes
Semester
Suchen
Themen
Information
Kontakt
Links
Service
Impressum
 
Vorlesung Informatik 2, 7. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; SECD-Maschine; Angewandter Lambda-Kalkül; Abstraktionen; Basiswerte; Instruktionen; Code; Stack;
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-04-30
Type:video
Duration:00:46:25.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 2, 6. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Lambda-Kalkül; Substitution; Reduktion; Redex; Äquivalenz; Normalformen; Angewandter Lambda-Kalkül; Delta-Reduktion;
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-04-28
Type:video
Duration:00:40:44.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: 22. September 2014 , Kontakt: timmsmaster@zdv.uni-tuebingen.de
 
© 2005 ZDV Universität Tübingen