Homepage der Universität Tübingen
Home >> Back >> List01
Home
Browsen
Indizes
Semester
Suchen
Themen
Information
Kontakt
Links
Service
Impressum
 
Vorlesung Informatik 1, 44. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; DrScheme; Mathematische Logik; Modelltheorie; Beweistheorie; Logische Kalküle; Sequenzenkalkül; Aussagenlogik;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-01-20
Type:video
Duration:00:43:23.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 43. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; DrScheme; Suchbäume; Beobachtungskontext; Logische Kalküle; Logik; Wahrheit; Elementare Aussagen; Zusammengesetzte Aussagen;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-01-20
Type:video
Duration:00:41:10.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: 25. Oktober 2014 , Kontakt: timmsmaster@zdv.uni-tuebingen.de
 
© 2005 ZDV Universität Tübingen