Homepage der Universität Tübingen
Home >> Back >> List01
Home
Browsen
Indizes
Semester
Suchen
Themen
Information
Kontakt
Links
Service
Impressum
 
Vorlesung Informatik 1, 41. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; DrScheme; Formalisierung; Suchbäume; Signatur; Terme; Algebren; Mehrsortige Algebren;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-01-15
Type:video
Duration:00:46:51.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 18. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Algebren; Termalgebra; Homomorphismus; Restklassenhomomorphismus;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2008-11-13
Type:video
Duration:00:44:01.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 17. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Terminduktion; Strukturelle Induktion; Syntax; Semantik; Algebra; Universelle Algebra; Algebren;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2008-11-13
Type:video
Duration:00:43:57.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: 18. September 2014 , Kontakt: timmsmaster@zdv.uni-tuebingen.de
 
© 2005 ZDV Universität Tübingen