Homepage der Universität Tübingen
Home >> Back >> List01
Home
Browsen
Indizes
Semester
Suchen
Themen
Information
Kontakt
Links
Service
Impressum
 
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
Vorlesung Informatik 2, 5. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Lambda-Kalkül; Klammerung; Lambda-Terme; freie Variablen; gebundene Variablen;
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-04-28
Type:video
Duration:00:40:05.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 50. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Lambda-Kalkül; Fixpunktsatz; Rekursion; Fakultätsfunktion; Auswertungsstrategien; Linksaußen-Reduktion; Linksinnen-Reduktion; Schwache Kopfnormalform; Call-by-name; Call-by-value; Programmiersprachen; Strikte Programmiersprachen; Nicht-strikte Programmiersprachen; Haskell;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-01-29
Type:video
Duration:00:43:49.0
Rights:lesen Sie mehr...
embedded standalone
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
Vorlesung Informatik 1, 48. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Lambda-Kalkül; Reduktionsregeln; Beta-Redex; Äquivalenz; Normalform; Church-Rosser-Eigenschaft; Boolesche Werte; Natürliche Zahlen; Church-Numerale;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-01-27
Type:video
Duration:00:44:47.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 47. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Lambda-Kalkül; Reduktionskalkül; Substitution; Reduktionsregeln;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-01-27
Type:video
Duration:00:40:19.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 46. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; DrScheme; Lambda-Kalkül; Sprache; Freie Variablen; Gebundene Variablen;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-01-22
Type:video
Duration:00:45:03.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: 19. April 2014 , Kontakt: timmsmaster@zdv.uni-tuebingen.de
 
© 2005 ZDV Universität Tübingen