Homepage der Universität Tübingen
Home >> Back >> List01
Home
Browsen
Indizes
Semester
Suchen
Themen
Information
Kontakt
Links
Service
Impressum
 
Vorlesung Lineare Algebra 1, 1. Stunde
Creator:Deitmar, Anton (author);
Subject:Mathematik; Lineare Algebra; Vorlesung; Menge; Element; Aussagenlogik; Implikation; Potenzmenge;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2013-10-15
Type:video
Duration:00:25:35.0
Rights:lesen Sie mehr...
embedded standalone
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 Mathematik I für Informatiker und Bioinformatiker; 25. Stunde
Title (alt.):Mathematik I für Diplomkandidaten der Informatik und Bioinformatik
Creator:Wolff, Manfred (author);
Subject:Vorlesung; Mathematik; Aussagenlogik; Resolutionskalkül; Resolutionstheorem; Entscheidbarkeitssatz;
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2002-11-27
Type:video
Duration:00:37:52.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Mathematik I für Informatiker und Bioinformatiker; 24. Stunde
Title (alt.):Mathematik I für Diplomkandidaten der Informatik und Bioinformatik
Creator:Wolff, Manfred (author);
Subject:Vorlesung; Mathematik; Aussagenlogik; Resolutionskalkül; Resolutionsverfahren; Resolutionstheorem;
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2002-11-25
Type:video
Duration:00:44:27.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Mathematik I für Informatiker und Bioinformatiker; 23. Stunde
Title (alt.):Mathematik I für Diplomkandidaten der Informatik und Bioinformatik
Creator:Wolff, Manfred (author);
Subject:Vorlesung; Mathematik; Aussagenlogik; Konjunktive Normalform; Resolutionskalkül; Erfüllbarkeit; Kontradiktion; Implikation;
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2002-11-25
Type:video
Duration:00:42:09.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Mathematik I für Informatiker und Bioinformatiker; 22. Stunde
Title (alt.):Mathematik I für Diplomkandidaten der Informatik und Bioinformatik
Creator:Wolff, Manfred (author);
Subject:Vorlesung; Mathematik; Aussagenlogik; Disjunktive Normalform; Konjunktive Normalform; Logische Folgerung;
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2002-11-18
Type:video
Duration:00:42:16.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Mathematik I für Informatiker und Bioinformatiker; 21. Stunde
Title (alt.):Mathematik I für Diplomkandidaten der Informatik und Bioinformatik
Creator:Wolff, Manfred (author);
Subject:Vorlesung; Mathematik; Aussagenlogik; Logische Äquivalenz; Literale; Disjunktive Normalform; Konjunktive Normalform;
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2002-11-18
Type:video
Duration:00:39:31.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Mathematik I für Informatiker und Bioinformatiker; 20. Stunde
Title (alt.):Mathematik I für Diplomkandidaten der Informatik und Bioinformatik
Creator:Wolff, Manfred (author);
Subject:Vorlesung; Mathematik; Aussagenlogik; Interpretation; Erfüllbarkeit; Tautologie; Kontradiktion; Logische Äquivalenz;
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2002-11-13
Type:video
Duration:00:40:00.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Mathematik I für Informatiker und Bioinformatiker; 19. Stunde
Title (alt.):Mathematik I für Diplomkandidaten der Informatik und Bioinformatik
Creator:Wolff, Manfred (author);
Subject:Vorlesung; Mathematik; Aussagenlogik; Aussagenlogische Formel; Aussage; Semantik; Interpretation;
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2002-11-13
Type:video
Duration:00:41:18.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: 23. Oktober 2014 , Kontakt: timmsmaster@zdv.uni-tuebingen.de
 
© 2005 ZDV Universität Tübingen