Alle Videos / 2013 WiSe / Mathematik 1
2013-09-25
Anzahl Videos: 3, Dauer: 41:37
01 Aussagen(14:12)[mp4][webm]
02 Logisches Schließen, logische Verknüpfungen in Programmiersprachen(14:58)[mp4][webm]
03 Formeln der Aussagenlogik(12:27)[mp4][webm]
2013-10-09
Anzahl Videos: 12, Dauer: 2:26:42
01 Aussagenlogik, Semantik von Negation, Konjunktion und Disjunktion(16:06)[x-m4v][webm]
02 Wahrheitstafeln(15:02)[x-m4v][webm]
03 Assoziativität von Konjunktion und Disjunktion; Implikation(17:30)[x-m4v][webm]
04 Klammerregeln(02:49)[x-m4v][webm]
05 Wahrheitstafel, Aufgabe(06:49)[x-m4v][webm]
06 Gleichwertige Formeln(10:12)[x-m4v][webm]
07 Lemma, Theorem, Korollar und Freunde(06:54)[x-m4v][webm]
08 Tautologien, Kontradiktionen, Erfüllbarkeit(22:52)[x-m4v][webm]
09 Wichtige Tautologien(13:35)[x-m4v][webm]
10 Zusammenhang zwischen Kalkül und logischem Denken(11:31)[x-m4v][webm]
11 Aussagenlogik in Maple und Wolfram Alpha(16:54)[x-m4v][webm]
12 Disjunktive Normalform, Motivation(06:28)[x-m4v][webm]
2013-10-16(2)
Anzahl Videos: 8, Dauer: 2:09:16
01 Disjunktive Normalform(36:39)[mp4][webm]
02 Disjunktive Normalform in Maple(01:39)(1 Kommentar)[mp4][webm]
03 Disjunktive Normalform in Wolfram Alpha(01:20)(1 Kommentar)[mp4][webm]
04 Prädikatenlogik, Aussageformen(15:28)[mp4][webm]
05 Prädikatenlogik, Quantoren(09:03)[mp4][webm]
06 Das Quiz mit den Spielkarten(05:28)[mp4][webm]
07 Prädikatenlogik, Beispiele mit Quantoren(41:39)[mp4][webm]
08 Prädikatenlogik, Tautologien(18:00)[mp4][webm]
2013-10-23(3)
Anzahl Videos: 11, Dauer: 1:54:55
01 Audience Response System, erster Test(01:00)(2 Kommentare)[mp4][webm]
02 Prädikatenlogik, Tautologien, Teil 2(07:07)[mp4][webm]
03 Anwendung - Prolog(11:17)(1 Kommentar)[mp4][webm]
04 Beispiel - Mertenssche Vermutung(17:16)[mp4][webm]
05 Beweisprinzipien - direkter Beweis(18:47)[mp4][webm]
06 Beweisprinzipien - Kontraposition(09:19)[mp4][webm]
07 Beweisprinzipien - Kontraposition, Fortsetzung(11:36)[mp4][webm]
08 Beweisprinzipien - Reductio ad absurdum(16:34)[mp4][webm]
09 Stellenwert der Mengenlehre(02:59)[mp4][webm]
10 Georg Cantor(01:08)[mp4][webm]
11 Die Begriffe Menge und Element(17:52)[mp4][webm]
2013-10-30
Anzahl Videos: 8, Dauer: 2:08:54
01 Wiederholung Prädikatenlogik(29:55)[mp4][webm]
02 Logik-Beispiele von Wolfram(06:13)[mp4][webm]
03 Der Begriff des Modells in der Logik(09:25)[mp4][webm]
04 Leere Menge, Singleton(07:49)[mp4][webm]
05 MARS-Test(01:46)[mp4][webm]
06 Teilmenge(25:03)[mp4][webm]
07 Beschreibende Mengenschreibweise(33:37)[mp4][webm]
08 Aufbau des Zahlensystems(15:06)[mp4][webm]
2013-11-06
Anzahl Videos: 7, Dauer: 1:49:24
01 Aufbau des Zahlensystems, Fortsetzung(13:21)[mp4][webm]
02 Beschreibende Mengenschreibweise, Fortsetzung(12:51)[mp4][webm]
03 Beschreibende Mengenschreibweise, Fortsetzung 2(12:27)[mp4][webm]
04 Intervalle(16:53)[mp4][webm]
05 Vereinigung, Durchschnitt, Differenz(31:49)[mp4][webm]
06 Vereinigung, Durchschnitt, Differenz - einige Eigenschaften(17:51)[mp4][webm]
07 Mengenlehre in Maple(04:12)[mp4][webm]
2013-11-13
Anzahl Videos: 7, Dauer: 1:57:05
01 Potenzmenge(23:43)[mp4][webm]
02 Potenzmenge in Maple(01:44)[mp4][webm]
03 geordnete Paare(14:43)[mp4][webm]
04 kartesisches Produkt(16:30)[mp4][webm]
05 kartesisches Produkt in Maple(12:46)[mp4][webm]
06 Relationen(28:50)[mp4][webm]
07 Identität, Umkehrrelation, Komposition(18:49)[mp4][webm]
2013-11-27
Anzahl Videos: 6, Dauer: 1:42:25
01 MARS-Test, Relationen(00:14)[mp4][webm]
02 Komposition - Assoziativität und Kommutativität(06:16)[mp4][webm]
03 Reflexivität, Symmetrie, Transitivität(21:53)[mp4][webm]
04 Reflexivität, Symmetrie, Transitivität - Beispiele(21:09)[mp4][webm]
05 Reflexivität, Symmetrie, Transitivität - weitere Beispiele(11:20)[mp4][webm]
06 Äquivalenzklassen, Quotientenmenge, Faktormenge(41:33)[mp4][webm]
2013-12-04
Anzahl Videos: 7, Dauer: 2:00:07
01 MARS-Test - Reflexivität, Symmetrie, Transitivität(02:14)[mp4][webm]
02 Wiederholung Faktormenge, Quotientenmenge(15:38)[mp4][webm]
03 Relationen in Maple(09:44)[mp4][webm]
04 Funktionen(26:14)[mp4][webm]
05 Funktionen, Beispiele(27:16)[mp4][webm]
06 Funktionen graphisch darstellen, Bild und Urbild(25:04)[mp4][webm]
07 Injektivität, Surjektivität, Bijektivität(13:57)[mp4][webm]
2013-12-11(2)
Anzahl Videos: 8, Dauer: 1:54:04
01 MARS-Test - Funktionen(02:14)[mp4][webm]
02 Wiederholung - Injektivität, Surjektivität, Bijektivität(06:27)[mp4][webm]
03 Komposition von Funktionen(24:21)[mp4][webm]
04 Die Umkehrfunktion(14:28)(1 Kommentar)[mp4][webm]
05 Die Umkehrfunktion - weitere Beispiele(05:58)[mp4][webm]
06 Größenvergleich unendlicher Mengen(22:25)[mp4][webm]
07 Hilberts Hotel - verschiedene abzählbar unendliche Mengen(20:52)[mp4][webm]
08 Abzählbarkeit der Menge der ganzen und der Menge der rationalen Zahlen(17:19)(1 Kommentar)[mp4][webm]
2013-12-18(1)
Anzahl Videos: 9, Dauer: 1:51:07
01 Wiederholung Abzählbarkeit(11:21)[mp4][webm]
02 Kreuzprodukte und abzählbare Vereinigungen von abzählbaren Mengen(10:35)[mp4][webm]
03 Die Menge der reellen Zahlen ist nicht abzählbar(18:47)(1 Kommentar)[mp4][webm]
04 Satz von Cantor(19:04)[mp4][webm]
05 Einführung Summenzeichen(06:56)[mp4][webm]
06 Summenzeichen als Programm und Beispiele(11:52)[mp4][webm]
07 Rechnen mit dem Summenzeichen(14:38)[mp4][webm]
08 Einführung Produktzeichen(11:20)[mp4][webm]
09 Gaußsche Summenformel(06:34)[mp4][webm]
2014-01-08
Anzahl Videos: 10, Dauer: 1:55:13
01 Die geometrische Summenformel(10:18)[mp4][webm]
02 Die Fakultät(04:17)[mp4][webm]
03 Summe, Produkt, Fakultät in Maple(04:58)[mp4][webm]
04 Summenregel und Inklusions-Exklusions-Prinzip(12:16)[mp4][webm]
05 Produktregel(05:32)[mp4][webm]
06 Permutationen(11:45)[mp4][webm]
07 Permutationen mit Wiederholung(15:40)[mp4][webm]
08 Kombinationen(14:43)[mp4][webm]
09 Allgemeine binomische Formel(13:34)[mp4][webm]
10 Pascalsches Dreieck(22:10)[mp4][webm]
2014-01-15
Anzahl Videos: 7, Dauer: 57:17
01 Anzahl der Teilmengen [ohne Ton](05:04)[mp4][webm]
02 Kombinationen mit Wiederholung [aber ohne Ton](16:49)[mp4][webm]
03 Variationen [ohne Ton](07:24)[mp4][webm]
04 Abschließendes Beispiel zur Kombinatorik [ohne Ton](01:37)[mp4][webm]
05 Folgen und rekursive Definitionen [ohne Ton](14:01)[mp4][webm]
06 Beispiele für Rekursion in Java und Lisp [ohne Ton](02:19)[mp4][webm]
07 Weitere Beispiele für Rekursion [ohne Ton](10:03)[mp4][webm]
2014-01-22(1)
Anzahl Videos: 4, Dauer: 49:14
01 Rekursionen höherer Ordnung am Beispiel der Fibonacci-Folge(11:49)[mp4][webm]
02 Die logistische Gleichung(10:35)[mp4][webm]
03 Lineare Rekursion(11:15)[mp4][webm]
04 Die Türme von Hanoi(15:35)(1 Kommentar)[mp4][webm]