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]
Mathematik 2
2013-09-18
Anzahl Videos: 6, Dauer: 2:16:05
01 Zahlentheorie, berühmte Probleme
(27:03)
[mp4]
[webm]
02 Die Teilbarkeitsrelation
(21:46)
[mp4]
[webm]
03 Division mit Rest & gemeinsame Teiler
(19:06)
[mp4]
[webm]
04 Euklidischer Algorithmus
(25:11)
[mp4]
[webm]
05 Erweiterter euklidischer Algorithmus
(18:28)
[mp4]
[webm]
06 Primzahlen, Satz von Euklid
(24:31)
[mp4]
[webm]
2013-09-20
(1)
Anzahl Videos: 12, Dauer: 2:23:14
01 Teiler lokalisieren
(08:01)
[mp4]
[webm]
02 Fundamentalsatz der Arithmetik
(16:44)
[mp4]
[webm]
03 Faktorisieren und ggT in Maple
(04:04)
[mp4]
[webm]
04 Sieb des Eratosthenes
(09:31)
(1 Kommentar)
[mp4]
[webm]
05 Javas modulare Arithmetik
(02:08)
[mp4]
[webm]
06 Ziffernblattarithmetik
(17:03)
[mp4]
[webm]
07 Restklassen
(13:50)
[mp4]
[webm]
08 Rechnen mit Restklassen
(19:18)
[mp4]
[webm]
09 Eigenschaften der Restklassenarithmetik
(13:38)
[mp4]
[webm]
10 Chinesischer Restsatz - Einführung
(14:26)
[mp4]
[webm]
11 Chinesischer Restsatz - manuelle Lösung
(10:46)
[mp4]
[webm]
12 Chinesischer Restsatz - Algorithmus
(13:45)
[mp4]
[webm]
2013-09-25
Anzahl Videos: 12, Dauer: 2:24:10
01 Chinesischer Restsatz, Beispiel
(11:38)
[mp4]
[webm]
02 Chinesischer Restsatz, Beweis
(08:02)
[mp4]
[webm]
03 Gruppen, Motivation
(26:06)
[mp4]
[webm]
04 Innere Verknüpfungen, Beispiele
(10:30)
[mp4]
[webm]
05 Wurzelfunktion als Verknüpfung
(02:11)
[mp4]
[webm]
06 Definition Gruppe, Kommutativität
(05:48)
[mp4]
[webm]
07 Beispiele für Gruppen
(21:42)
[mp4]
[webm]
08 Einfache Eigenschaften von Gruppen
(13:40)
[mp4]
[webm]
09 Gruppen, Konventionen
(12:50)
[mp4]
[webm]
10 Untergruppen
(14:19)
[mp4]
[webm]
11 Triviale Untergruppen
(02:33)
[mp4]
[webm]
12 Permutationen
(14:51)
[mp4]
[webm]
2013-09-27
Anzahl Videos: 14, Dauer: 2:25:55
01 Die symmetrische Gruppe
(15:54)
[x-m4v]
[webm]
02 Zyklen
(19:31)
[x-m4v]
[webm]
03 Permutationen als Produkt von Zyklen
(06:12)
[x-m4v]
[webm]
04 Permutationen als Produkt von Zyklen, Teil 2
(04:34)
[x-m4v]
[webm]
05 (Nicht-)Kommutativität von Zyklen
(02:46)
[x-m4v]
[webm]
06 Zyklen als Produkte von Transpositionen
(06:39)
[x-m4v]
[webm]
07 Permutationen, abschließende Bemerkungen
(07:34)
[x-m4v]
[webm]
08 Ringe, Einführung
(07:39)
[x-m4v]
[webm]
09 Restklassenringe
(10:01)
[x-m4v]
[webm]
10 Unterringe, Funktionenringe
(23:55)
[x-m4v]
[webm]
11 Unterringe von Funktionenringen
(08:19)
[x-m4v]
[webm]
12 Konventionen für Ringe
(02:29)
[x-m4v]
[webm]
13 Polynome, Einführung
(15:14)
[x-m4v]
[webm]
14 Ring der Polynome
(15:08)
[x-m4v]
[webm]
2013-10-04
Anzahl Videos: 13, Dauer: 2:26:00
01 Einführung Körper
(13:38)
[x-m4v]
[webm]
02 Körper sind nullteilerfrei
(05:24)
[x-m4v]
[webm]
03 Wiederholung - Aufbau des Zahlensystems
(13:33)
[x-m4v]
[webm]
04 Definition der komplexen Zahlen
(16:02)
[x-m4v]
[webm]
05 Der Körper der komplexen Zahlen und die reellen Zahlen
(14:21)
[x-m4v]
[webm]
06 Komplexe Zahlen, kanonische Darstellung
(13:52)
[x-m4v]
[webm]
07 Komplexe Zahlen, Beispiel für Multiplikation
(02:49)
[x-m4v]
[webm]
08 Komplexe Zahlen, Real- und Imaginärteil, Konjugieren
(15:10)
[x-m4v]
[webm]
09 Komplexe Zahlen, Division
(06:37)
[x-m4v]
[webm]
10 Komplexe Zahlen, Rechenbeispiele
(07:51)
[x-m4v]
[webm]
11 Wurzel von minus Eins
(04:41)
[x-m4v]
[webm]
12 Komplexe Zahlen, Polardarstellung
(20:28)
[x-m4v]
[webm]
13 Komplexe Zahlen, Multiplikation mit Polarkoordinaten
(11:34)
[mp4]
[webm]
2013-10-09
Anzahl Videos: 12, Dauer: 2:22:36
01 Geometrische Interpretation der Multiplikation; Quadratwurzeln
(14:50)
[x-m4v]
[webm]
02 Berechnung der Quadratwurzel mit Polarkoordinaten
(16:16)
[x-m4v]
[webm]
03 Quadratische Ergänzung
(14:24)
[x-m4v]
[webm]
04 Lösen einer quadratischen Gleichung
(10:37)
[x-m4v]
[webm]
05 Quadratische Gleichungen, Beispiele
(11:01)
[x-m4v]
[webm]
06 Beispielaufgabe; Faustregeln für Sinus und Cosinus
(16:30)
[x-m4v]
[webm]
07 Fundamentalsatz der Algebra, algebraische Lösbarkeit von Gleichungen
(07:39)
[x-m4v]
[webm]
08 Komplexe Zahlen in Maple
(05:19)
[x-m4v]
[webm]
09 Folge der Mandelbrotmenge in Maple
(06:53)
[x-m4v]
[webm]
10 Mandelbrotmenge grafisch
(10:12)
[x-m4v]
[webm]
11 Wann Restklassenringe Restklassenkörper sind
(15:47)
[x-m4v]
[webm]
12 Klassifikation der endlichen Körper
(13:08)
[x-m4v]
[webm]
2013-10-11
Anzahl Videos: 8, Dauer: 2:20:13
01 Kleiner Satz von Fermat
(20:10)
[mp4]
[webm]
02 Anwendung - ISBN
(20:40)
[mp4]
[webm]
03 Grad von Summen und Produkten von Polynomen
(13:54)
[mp4]
[webm]
04 Entwickeln eines Polynoms; Linearfaktoren
(18:58)
[mp4]
[webm]
05 Maximale Anzahl der Nullstellen; Koeffizientenvergleich
(20:28)
[mp4]
[webm]
06 Polynomdivision
(30:10)
[mp4]
[webm]
07 Polynomdivision und Nullstellen von Polynomen in Maple
(10:56)
[mp4]
[webm]
08 Lemma von Gauß
(04:57)
[mp4]
[webm]
2013-10-16
(4)
Anzahl Videos: 4, Dauer: 1:35:59
01 Zerlegung von Polynomen in Linearfaktoren
(26:59)
(1 Kommentar)
[mp4]
[webm]
02 Das Horner-Schema
(10:42)
(1 Kommentar)
[mp4]
[webm]
03 Das Horner-Schema und Linearfaktoren
(07:46)
(1 Kommentar)
[mp4]
[webm]
04 Anwendung - Zyklische Redundanzprüfung
(50:32)
(1 Kommentar)
[mp4]
[webm]
2013-10-18
(2)
Anzahl Videos: 6, Dauer: 2:23:54
01 Anschauungsebene, Anschauungsraum, Punkte, Pfeile, Vektoren, Skalare
(42:55)
(1 Kommentar)
[mp4]
[webm]
02 Anschauungsebene, Anschauungsraum, Rechnen mit Vektoren
(31:00)
(1 Kommentar)
[mp4]
[webm]
03 Anschauungsebene, Anschauungsraum, Geraden
(24:19)
[mp4]
[webm]
04 Anschauungsebene, Schnitt zweier Geraden
(27:28)
[mp4]
[webm]
05 Anschauungsraum, Ebenen
(08:15)
[mp4]
[webm]
06 Anschauungsebene, Anschauungsraum, Standardskalarprodukt
(09:57)
[mp4]
[webm]
2013-10-23
(1)
Anzahl Videos: 7, Dauer: 1:40:35
01 Wiederholung, Fragen zu Polynomen
(01:11)
(1 Kommentar)
[mp4]
[webm]
02 Skalarprodukt und Länge von Vektoren
(13:00)
[mp4]
[webm]
03 Skalarprodukt und Winkel zwischen Vektoren
(25:02)
[mp4]
[webm]
04 Rechnen mit Vektoren in Maple
(03:47)
[mp4]
[webm]
05 Der Begriff des Vektorraums
(12:41)
[mp4]
[webm]
06 Beispiele für Vektorräume
(23:49)
[mp4]
[webm]
07 Untervektorräume
(21:05)
[mp4]
[webm]
2013-10-25
Anzahl Videos: 6, Dauer: 1:46:22
01 Fragen zu endlichen Vektorräumen
(01:24)
[mp4]
[webm]
02 Fragen zu endlichen Vektorräumen, Fortsetzung
(07:49)
[mp4]
[webm]
03 Linearkombinationen
(38:42)
[mp4]
[webm]
04 Lineare Abbildungen, Motivation
(17:36)
[mp4]
[webm]
05 Lineare Abbildungen, Beispiele
(33:04)
[mp4]
[webm]
06 Lineare Abbildungen, Beispiele, Fortsetzung
(07:47)
[mp4]
[webm]
2013-10-30
(1)
Anzahl Videos: 8, Dauer: 1:54:45
01 MARS-Test
(03:49)
[mp4]
[webm]
02 Kern und Bild
(15:22)
(1 Kommentar)
[mp4]
[webm]
03 Lineare Unabhängigkeit
(15:04)
[mp4]
[webm]
04 Kriterium für lineare Unabhängigkeit
(16:01)
[mp4]
[webm]
05 Unendliche linear unabhängige Mengen
(06:45)
[mp4]
[webm]
06 Basis und Dimension
(38:06)
[mp4]
[webm]
07 Basis und Dimension, Beispiele
(12:54)
[mp4]
[webm]
08 Kategorisierung der endlich-dimensionalen Vektorräume
(06:44)
[mp4]
[webm]
2013-11-01
Anzahl Videos: 7, Dauer: 1:53:44
01 MARS-Test, Basis & Dimension
(03:55)
[mp4]
[webm]
02 Matrizen zum Darstellen linearer Abbildungen
(24:33)
[mp4]
[webm]
03 Matrizen, Begriffe und Beispiele
(25:14)
[mp4]
[webm]
04 Matrizen, weitere Beispiele
(14:31)
[mp4]
[webm]
05 lineare Abbildungen, geometrische Beispiele
(05:52)
[mp4]
[webm]
06 Verknüpfung von Matrizen
(32:31)
[mp4]
[webm]
07 Matrizen und lineare Gleichungssysteme
(07:08)
[mp4]
[webm]
2013-11-06
Anzahl Videos: 13, Dauer: 1:49:52
01 MARS-Test, Matrizen
(02:51)
[mp4]
[webm]
02 Algebraische Strukturen auf Mengen von Matrizen
(27:12)
[mp4]
[webm]
03 Gruppe der regulären Matrizen, Transposition
(09:12)
[mp4]
[webm]
04 Matrizen in Maple
(07:24)
[mp4]
[webm]
05 Anwendung - YCbCr
(06:03)
[mp4]
[webm]
06 Anwendung - YCbCr in Maple
(03:46)
[mp4]
[webm]
07 Anwendung - YCbCr -Beispiele
(03:34)
[mp4]
[webm]
08 Anwendung - Prüfbit im ASCII-Code
(05:13)
[mp4]
[webm]
09 Anwendung - Prüfbit im ASCII-Code in Maple
(03:54)
[mp4]
[webm]
10 Anwendung - Hamming-Codes
(08:33)
[mp4]
[webm]
11 Anwendung - Hamming-Codes, Teil 2
(17:14)
[mp4]
[webm]
12 Anwendung - Hamming-Codes in Maple
(05:50)
[mp4]
[webm]
13 Zeilenrang, Spaltenrang, Rang
(09:06)
[mp4]
[webm]
2013-11-08
(1)
Anzahl Videos: 8, Dauer: 1:40:00
01 Kern-Bild-Formel, Kriterium für Regularität
(24:50)
[mp4]
[webm]
02 Elementare Zeilenumformungen
(19:02)
[mp4]
[webm]
03 Gauß-Verfahren zur Berechnung des Rangs
(17:47)
[mp4]
[webm]
04 Gauß-Verfahren zur Berechnung des Rangs, weitere Beispiele
(09:57)
[mp4]
[webm]
05 Gauß-Verfahren in Maple
(04:47)
[mp4]
[webm]
06 Gauß-Verfahren zum Invertieren einer Matrix
(13:14)
(1 Kommentar)
[mp4]
[webm]
07 Gauß-Verfahren zum Invertieren einer Matrix, Begründung
(03:22)
[mp4]
[webm]
08 Gauß-Verfahren zum Invertieren einer Matrix, noch ein Beispiel
(07:01)
[mp4]
[webm]
2013-11-13
Anzahl Videos: 4, Dauer: 51:12
01 Gauß-Verfahren zum Invertieren einer Matrix in endlichen Körpern
(09:21)
[mp4]
[webm]
02 Lineare Gleichungssysteme
(27:44)
[mp4]
[webm]
03 Gauß-Verfahren für lineare Gleichungssysteme, Begründung
(06:32)
[mp4]
[webm]
04 Gauß-Verfahren für lineare Gleichungssysteme, Beispiel
(07:35)
[mp4]
[webm]
2013-11-15
(1)
Anzahl Videos: 6, Dauer: 1:51:06
01 Gauß-Verfahren für lineare Gleichungssysteme, weitere Beispiele
(22:20)
[mp4]
[webm]
02 Gauß-Verfahren für lineare Gleichungssysteme, noch mehr Beispiele und Maple
(06:59)
[mp4]
[webm]
03 Determinanten, Einführung
(18:34)
[mp4]
[webm]
04 Determinanten, Laplace-Entwicklung
(15:09)
[mp4]
[webm]
05 Determinanten, Eigenschaften und noch ein Beispiel
(20:29)
(1 Kommentar)
[mp4]
[webm]
06 Determinanten, Gauß-Verfahren, Maple, geometrische Bedeutung
(27:35)
[mp4]
[webm]
2013-11-22
Anzahl Videos: 10, Dauer: 2:05:55
01 MARS-Test, Determinanten und lineare Gleichungssysteme
(03:43)
[mp4]
[webm]
02 Anwendung, PageRank
(32:23)
[mp4]
[webm]
03 Anwendung, PageRank in Maple
(06:54)
[mp4]
[webm]
04 Anwendung, PageRank, Teil 2
(04:57)
[mp4]
[webm]
05 Anwendung, PageRank in Maple, Teil 2
(04:33)
[mp4]
[webm]
06 Eigenvektoren einer Scherung
(04:30)
[mp4]
[webm]
07 Animierte Scherung in Maple
(04:04)
[mp4]
[webm]
08 Eigenwerte und Eigenvektoren, Definition und Beispiele
(29:24)
[mp4]
[webm]
09 Eigenräume, charakteristisches Polynom
(15:36)
[mp4]
[webm]
10 Berechnung von Eigenwerten und Eigenvektoren
(19:51)
[mp4]
[webm]
2013-11-27
Anzahl Videos: 8, Dauer: 1:39:01
01 MARS-Test, Eigenwerte einer Drehung
(00:42)
[mp4]
[webm]
02 Berechnung von Eigenwerten und Eigenvektoren, Teil 2
(19:35)
[mp4]
[webm]
03 Anzahl der Eigenwerte
(05:26)
[mp4]
[webm]
04 Berechnung von Eigenwerten und Eigenvektoren, Teil 3
(22:47)
[mp4]
[webm]
05 Skalarprodukte, Normen, Metriken
(26:00)
[mp4]
[webm]
06 Anwendung - Levenshtein-Metrik
(13:09)
[mp4]
[webm]
07 Anwendung - Optimalfilter
(08:04)
[mp4]
[webm]
08 Anwendung - Daoulagad
(03:18)
[mp4]
[webm]
2013-11-29
Anzahl Videos: 8, Dauer: 1:44:02
01 Eigenwerte und Eigenvektoren in Maple
(03:24)
[mp4]
[webm]
02 Anwendung - Optimalfilter in Maple
(07:03)
[mp4]
[webm]
03 Orthogonale Vektoren, Satz des Pythagoras
(19:55)
[mp4]
[webm]
04 Orthonormalbasen, Normieren, Gram-Schmidt-Verfahren
(28:38)
[mp4]
[webm]
05 Gram-Schmidt-Verfahren in Maple
(02:10)
[mp4]
[webm]
06 Orthogonale Abbildungen
(23:31)
[mp4]
[webm]
07 Orthogonale Abbildungen in Maple
(06:10)
[mp4]
[webm]
08 Orthogonale Matrizen
(13:11)
[mp4]
[webm]
2013-12-04
Anzahl Videos: 14, Dauer: 2:12:19
01 MARS-Test, Orthogonalität
(02:25)
[mp4]
[webm]
02 Eigenschaften orthogonaler Matrizen
(23:19)
[mp4]
[webm]
03 Drehungen und Spiegelungen in der Ebene
(07:17)
[mp4]
[webm]
04 Drehungen und Spiegelungen in Maple
(13:05)
[mp4]
[webm]
05 Orientierung
(15:55)
[mp4]
[webm]
06 Isometrien
(06:29)
[mp4]
[webm]
07 Zerlegung von Isometrien
(09:10)
[mp4]
[webm]
08 Zerlegung von Isometrien, Beispiel in Maple
(13:02)
[mp4]
[webm]
09 Vereinfachte Zerlegung von Isometrien, Beispiel
(06:15)
[mp4]
[webm]
10 Vereinfachte Zerlegung von Isometrien in Maple
(02:24)
[mp4]
[webm]
11 Vereinfachte Zerlegung von Isometrien, noch ein Beispiel
(04:42)
[mp4]
[webm]
12 Vereinfachte Zerlegung von Isometrien, zweites Beispiel in Maple
(02:51)
[mp4]
[webm]
13 Homogene Koordinaten
(20:57)
[mp4]
[webm]
14 Homogene Koordinaten in Maple
(04:28)
[mp4]
[webm]
2013-12-06
(2)
Anzahl Videos: 10, Dauer: 1:55:15
01 Homogene Koordinaten - noch ein Beispiel
(10:12)
[mp4]
[webm]
02 Geometrie der homogenen Koordinaten in Maple
(06:08)
[mp4]
[webm]
03 Anwendung - homogene Koordinaten in Processing
(09:32)
(1 Kommentar)
[mp4]
[webm]
04 Anwendung - Cataglyphis
(07:54)
(1 Kommentar)
[mp4]
[webm]
05 Anwendung - Cataglyphis-Simulation in Maple
(02:45)
[mp4]
[webm]
06 Achilles und die Schildkröte
(05:39)
[mp4]
[webm]
07 Babylonisches Wurzelziehen - Verfahren von Heron
(09:47)
[mp4]
[webm]
08 'Fast alle'
(26:23)
[mp4]
[webm]
09 Konvergenz von Folgen
(32:39)
[mp4]
[webm]
10 Folgengrenzwerte in Maple
(04:16)
[mp4]
[webm]
2013-12-11
Anzahl Videos: 7, Dauer: 2:05:50
01 Methoden und Rechenregeln zum Berechnen von Folgengrenzwerten
(43:49)
[mp4]
[webm]
02 Grenzwerte von Folgen - Beispiele
(12:54)
[mp4]
[webm]
03 Beurteilung der Laufzeit von Algorithmen
(08:24)
[mp4]
[webm]
04 Landau-Symbole
(40:41)
[mp4]
[webm]
05 Anwendung - Landau-Symbole
(05:18)
[mp4]
[webm]
06 Noch eine Anwendung der Landau-Symbole
(10:54)
[mp4]
[webm]
07 Vergleich ausgewählter Laufzeitverhalten
(03:50)
[mp4]
[webm]
2013-12-13
(3)
Anzahl Videos: 10, Dauer: 2:01:44
01 Anwendung - Karatsuba-Algorithmus
(37:36)
(1 Kommentar)
[mp4]
[webm]
02 Einführung Reihen
(05:03)
[mp4]
[webm]
03 Alternierende und harmonische Reihe experimentell
(07:39)
[mp4]
[webm]
04 Hütchenspiele mit 'unendlichen Summen' (inkl. Gottesbeweis)
(13:49)
[mp4]
[webm]
05 Definition der Reihenkonvergenz und Divergenz der harmonischen Reihe
(22:31)
(1 Kommentar)
[mp4]
[webm]
06 Die geometrische Reihe
(06:55)
[mp4]
[webm]
07 Die Exponentialreihe
(04:18)
[mp4]
[webm]
08 Das Nullfolgenkriterium
(06:40)
(1 Kommentar)
[mp4]
[webm]
09 Der Vektorraum der konvergenten Reihen
(10:05)
[mp4]
[webm]
10 Absolute Konvergenz
(07:08)
[mp4]
[webm]
2013-12-18
Anzahl Videos: 4, Dauer: 56:44
01 Majorantenkriterium
(12:45)
[mp4]
[webm]
02 Wurzel- und Quotientenkriterium
(23:24)
[mp4]
[webm]
03 Konvergenzkriterien für Reihen, Beispiele
(12:01)
[mp4]
[webm]
04 Wichtige Reihen
(08:34)
[mp4]
[webm]
2013-12-20
Anzahl Videos: 2, Dauer: 40:11
01 Weihnachtsvorlesung - Satz von Pick (extended remix)
(19:53)
[mp4]
[webm]
02 Weihnachtsvorlesung - Goodstein-Folgen (extended remix)
(20:18)
[mp4]
[webm]
2014-01-08
Anzahl Videos: 7, Dauer: 2:02:14
01 Anwendungen der Stochastik
(33:33)
[mp4]
[webm]
02 Anwendung - Dateikomprimierung
(07:27)
[mp4]
[webm]
03 Ergebnismengen
(15:07)
[mp4]
[webm]
04 Ereignisse
(09:36)
[mp4]
[webm]
05 Verknüpfung von Ereignissen
(21:57)
[mp4]
[webm]
06 Wahrscheinlichkeitsmaße
(16:42)
[mp4]
[webm]
07 Beispiele für Wahrscheinlichkeitsräume
(17:52)
[mp4]
[webm]
2014-01-10
Anzahl Videos: 6, Dauer: 1:44:28
01 Laplace-Experimente
(17:23)
[mp4]
[webm]
02 Beispiel - Lotto
(13:00)
[mp4]
[webm]
03 Geburtstagsparadoxon
(17:28)
[mp4]
[webm]
04 Bedingte Wahrscheinlichkeit
(13:58)
[mp4]
[webm]
05 Das Ziegenproblem
(21:59)
[mp4]
[webm]
06 Satz von Bayes
(20:40)
[mp4]
[webm]
2014-01-17
(2)
Anzahl Videos: 1, Dauer: 49:36
01 Anwendung - randomisierter Dateivergleich
(49:36)
(2 Kommentare)
[mp4]
[webm]
Programmieren 2
Anzahl Videos: 1, Dauer: 23:08
Interfaces
(23:08)
[mp4]
[webm]
Relationale Algebra
2014-02-11
(3)
Anzahl Videos: 5, Dauer: 1:30:22
01 Elementare naive Mengenlehre
(22:47)
(1 Kommentar)
[mp4]
[webm]
02 Verknüpfung von Mengen
(07:53)
(1 Kommentar)
[mp4]
[webm]
03 Relationen und Funktionen
(26:15)
(1 Kommentar)
[mp4]
[webm]
04 Codds Operationen
(21:49)
[mp4]
[webm]
05 Zwei Beispiele für zusammengesetzte Operationen
(11:38)
[mp4]
[webm]
2014-02-19
(1)
Anzahl Videos: 6, Dauer: 1:56:54
01 Relationsschemata
(15:11)
[mp4]
[webm]
02 Funktionale Abhängigkeit
(27:30)
(1 Kommentar)
[mp4]
[webm]
03 Superschlüssel und Schlüsselkandidaten
(08:48)
[mp4]
[webm]
04 Erste bis dritte Normalform
(34:22)
[mp4]
[webm]
05 Boyce-Codd-Normalform
(07:46)
[mp4]
[webm]
06 Vierte Normalform
(23:17)
[mp4]
[webm]
Theoretische Informatik
2013-09-19
Anzahl Videos: 8, Dauer: 2:10:19
01 Der Schwimmbad-Automat
(09:05)
[mp4]
[webm]
02 Alphabete, Kleenesche Hülle, Konkatenation
(32:51)
[mp4]
[webm]
03 Konkatenation von Mengen
(22:05)
[mp4]
[webm]
04 Formale Sprachen für Aussagenlogik und Graphentheorie
(14:35)
[mp4]
[webm]
05 Endliche Automaten, erstes Beispiel
(13:53)
[mp4]
[webm]
06 Definition endlicher Automat und zweites Beispiel
(14:57)
[mp4]
[webm]
07 Erweiterte Übergangsfunktion, noch ein Beispiel
(14:19)
[mp4]
[webm]
08 Endliche Automaten in JFLAP
(08:34)
[mp4]
[webm]
2013-09-26
Anzahl Videos: 11, Dauer: 1:24:42
01 Sprachen
(05:08)
[mp4]
[webm]
02 Konstruktion eines Automaten zu einer vorgegebenen Sprache
(10:57)
[mp4]
[webm]
03 Konstruktion eines Automaten zu einer vorgegebenen Sprache, Teil 2
(06:03)
[mp4]
[webm]
04 Kommentare zur Stundenübung (DFA)
(06:54)
[mp4]
[webm]
05 Äquivalenz von Automaten, Minimalautomaten
(06:44)
[mp4]
[webm]
06 Konstruktion eines Minimalautomaten
(24:39)
[mp4]
[webm]
07 Wohldefiniertheit des Minimalautomaten
(02:29)
[x-m4v]
[webm]
08 Abschlusseigenschaften
(06:48)
[x-m4v]
[webm]
09 Automat für das Komplement einer Sprache
(02:53)
[x-m4v]
[webm]
10 Zwei Automaten laufen parallel
(06:16)
[x-m4v]
[webm]
11 Zwei Automaten laufen parallel, Teil 2
(05:51)
[x-m4v]
[webm]
2013-10-10
Anzahl Videos: 9, Dauer: 1:51:57
01 Automat für die Vereinigung zweier Sprachen
(17:36)
[x-m4v]
[webm]
02 Nichtdeterministische endliche Automaten
(11:11)
[x-m4v]
[webm]
03 Nichtdeterministische endliche Automaten, Fortsetzung
(08:28)
[x-m4v]
[webm]
04 Nichtdeterministische Vereinigung
(05:45)
[x-m4v]
[webm]
05 Nichtdeterministische endliche Automaten in JFLAP
(07:20)
[x-m4v]
[webm]
06 Nichtdeterministische Konkatenation
(15:55)
[x-m4v]
[webm]
07 Äquivalenz von deterministischen und nichtdeterministischen Automaten
(18:10)
[x-m4v]
[webm]
08 Syntax regulärer Ausdrücke
(16:11)
[x-m4v]
[webm]
09 Semantik regulärer Ausdrücke
(11:21)
[x-m4v]
[webm]
2013-10-17
(2)
Anzahl Videos: 10, Dauer: 2:09:59
01 Reguläre Ausdrücke in der Praxis
(02:18)
[mp4]
[webm]
02 The Regex Coach
(07:19)
(1 Kommentar)
[mp4]
[webm]
03 Reguläre Sprachen, Äquivalenz
(10:37)
[mp4]
[webm]
04 Der Automat zu einem regulären Ausdruck
(25:40)
[mp4]
[webm]
05 Der reguläre Ausdruck zu einem Automaten
(21:08)
[mp4]
[webm]
06 Der reguläre Ausdruck zu einem Automaten, Teil 2
(23:46)
[mp4]
[webm]
07 Eine Sprache, die nicht regulär ist
(14:23)
[mp4]
[webm]
08 Das Pumping-Lemma für reguläre Sprachen
(06:11)
(1 Kommentar)
[mp4]
[webm]
09 Weitere Sprachen, die nicht regulär sind
(14:34)
[mp4]
[webm]
10 Entscheidbarkeit, vorläufige Definition
(04:03)
[mp4]
[webm]
2013-10-24
Anzahl Videos: 6, Dauer: 1:08:38
01 Wiederholung reguläre Sprachen
(04:35)
[mp4]
[webm]
02 Entscheidbarkeit, Beispiele
(13:00)
[mp4]
[webm]
03 Kellerautomaten, Motivation
(17:11)
[mp4]
[webm]
04 Kellerautomaten, Beschreibung
(15:54)
[mp4]
[webm]
05 Kellerautomaten in JFLAP
(14:23)
[mp4]
[webm]
06 Kellerautomaten in JFLAP, Fortsetzung
(03:35)
[mp4]
[webm]
2013-10-31
Anzahl Videos: 9, Dauer: 2:06:05
01 MARS-Test, reguläre Ausdrücke
(00:41)
[mp4]
[webm]
02 Kellerautomaten, Lösung Stundenübung
(15:28)
[mp4]
[webm]
03 Kellerautomaten, formale Definition
(12:09)
[mp4]
[webm]
04 Grammatiken, Beispiele
(25:09)
[mp4]
[webm]
05 Grammatiken, noch ein Beispiel
(15:10)
[mp4]
[webm]
06 Grammatiken, Ableitungsbaum
(05:39)
[mp4]
[webm]
07 Grammatiken, Definition und Chomsky-Hierarchie
(20:59)
[mp4]
[webm]
08 Chomsky-Hierarchie, Beispiele
(23:36)
[mp4]
[webm]
09 Grammatiken in JFLAP
(07:14)
[mp4]
[webm]
2013-11-07
(2)
Anzahl Videos: 3, Dauer: 1:07:47
01 Beispiel für eine Typ-0-Grammatik, Abzählbarkeitsargument
(17:35)
(1 Kommentar)
[mp4]
[webm]
02 Äquivalenz von regulären Sprachen und regulären Grammatiken
(26:12)
(1 Kommentar)
[mp4]
[webm]
03 Äquivalenz von Kellerautomaten und kontextfreien Grammatiken
(24:00)
[mp4]
[webm]
2013-11-14
Anzahl Videos: 5, Dauer: 1:07:36
01 Welche Eigenschaften eines Computers sind für theoretische Überlegungen relevant?
(06:51)
[mp4]
[webm]
02 Einführung TOLL
(24:07)
[mp4]
[webm]
03 TOLL - Lösungen Stundenübung
(09:54)
[mp4]
[webm]
04 Ist TOLL wirklich toll?
(13:06)
[mp4]
[webm]
05 Berechenbarkeit, Entscheidbarkeit
(13:38)
[mp4]
[webm]
2013-11-21
Anzahl Videos: 5, Dauer: 1:36:06
01 Turing-Maschinen
(37:44)
[mp4]
[webm]
02 Turing-Maschinen, Teil 2
(15:41)
[mp4]
[webm]
03 Turing-Maschine als Programm
(16:01)
[mp4]
[webm]
04 Turing-Maschine als Programm, Teil 2
(05:43)
[mp4]
[webm]
05 Berechenbarkeit und Entscheidbarkeit für Turing-Maschinen
(20:57)
[mp4]
[webm]
2013-11-28
Anzahl Videos: 5, Dauer: 47:40
01 MARS-Umfrage - Überflüssige TOLL-Features
(04:42)
[mp4]
[webm]
02 Vereinfachung von TOLL
(28:37)
[mp4]
[webm]
03 Die Sprache NICHSODOLL
(05:33)
[mp4]
[webm]
04 Der NICHSODOLL-Interpreter
(04:12)
[mp4]
[webm]
05 Automatische Übersetzung von TOLL zu NICHSODOLL
(04:36)
[mp4]
[webm]
2013-12-05
Anzahl Videos: 11, Dauer: 2:03:29
01 Konvertierung von Turing-Maschinen in TOLL-Programme
(23:11)
[mp4]
[webm]
02 Konvertierung von NICHSODOLL-Programmen in Turing-Maschinen
(15:16)
[mp4]
[webm]
03 Automatische Übersetzung eines TOLL-Programms in eine Turing-Maschine
(05:54)
[mp4]
[webm]
04 Fundamentalsatz der strukturierten Programmierung
(10:09)
[mp4]
[webm]
05 Verbesserungsversuche für Turing-Maschinen
(11:55)
[mp4]
[webm]
06 Turing-Maschine mit beidseitig unbegrenztem Band
(08:31)
[mp4]
[webm]
07 Turing-Maschine mit beidseitig unbegrenztem Band, Beispiel
(03:51)
[mp4]
[webm]
08 Church-Turing-These
(11:06)
[mp4]
[webm]
09 Gödelisierung
(18:43)
[mp4]
[webm]
10 Wiederholung - Mächtigkeit unendlicher Mengen
(07:13)
[mp4]
[webm]
11 Die meisten Mengen von natürlichen Zahlen sind nicht entscheidbar
(07:40)
[mp4]
[webm]
2013-12-12
(1)
Anzahl Videos: 10, Dauer: 1:40:08
01 MARS-Test - entscheidbar, semi-entscheidbar
(04:20)
[mp4]
[webm]
02 Die erste nicht entscheidbare Menge
(18:18)
[mp4]
[webm]
03 Das Halteproblem
(07:01)
[mp4]
[webm]
04 Die Collatz-Folge
(03:51)
[mp4]
[webm]
05 Fleißiger Biber
(05:37)
[mp4]
[webm]
06 Hilberts zehntes Problem
(11:42)
[mp4]
[webm]
07 Polyominos
(10:53)
(1 Kommentar)
[mp4]
[webm]
08 Der Satz von Rice
(11:06)
[mp4]
[webm]
09 Valeries Problem
(21:11)
[mp4]
[webm]
10 Wovon hängt die Laufzeit eines Algorithmus ab?
(06:09)
[mp4]
[webm]
2013-12-19
Anzahl Videos: 7, Dauer: 1:32:19
01 Schachbrett mit Dominosteinen bedecken
(02:20)
[mp4]
[webm]
02 Das 'RAM'-Computermodell
(16:16)
[mp4]
[webm]
03 Zeitverbrauch von 'RAM'-Programmen
(10:40)
[mp4]
[webm]
04 Betrachtung des worst case
(13:39)
[mp4]
[webm]
05 Wiederholung - Landau-Symbole
(26:15)
[mp4]
[webm]
06 Beispiele für Laufzeitberechnung mit Landau-Symbolen
(17:41)
[mp4]
[webm]
07 Carlas Problem
(05:28)
[mp4]
[webm]
2014-01-09
Anzahl Videos: 10, Dauer: 1:41:29
01 Widerspenstige Probleme
(17:22)
[mp4]
[webm]
02 Ians Problem
(06:44)
[mp4]
[webm]
03 Graphentheoretische Grundbegriffe
(07:09)
[mp4]
[webm]
04 Polynomiale Reduktion
(09:54)
[mp4]
[webm]
05 Noch eine polynomiale Reduktion
(06:54)
[mp4]
[webm]
06 Optimierungs- versus Entscheidungsprobleme
(10:27)
[mp4]
[webm]
07 Ein machbares Problem mit exponentiell vielen potentiellen Lösungen
(09:10)
[mp4]
[webm]
08 Das 'N-RAM'-Computermodell
(20:39)
[mp4]
[webm]
09 Simulation eines 'N-RAM' durch ein 'RAM'
(07:06)
[mp4]
[webm]
10 Die Klassen P und NP
(06:04)
[mp4]
[webm]
2014-01-16
Anzahl Videos: 8, Dauer: 1:39:22
01 NP-Vollständigkeit
(16:15)
[mp4]
[webm]
02 Der Satz von Cook und Levin
(16:20)
[mp4]
[webm]
03 Liste der NP-vollständigen Probleme
(03:42)
[mp4]
[webm]
04 Shortest Tour
(07:45)
[mp4]
[webm]
05 Weitere NP-vollständige Probleme
(16:03)
[mp4]
[webm]
06 Strategien für NP-vollständige Probleme
(10:19)
[mp4]
[webm]
07 Suchbaum für Vertex Cover
(11:21)
[mp4]
[webm]
08 Verbesserter Suchbaum für Vertex Cover
(17:37)
[mp4]
[webm]
2014-01-23
(1)
Anzahl Videos: 4, Dauer: 38:54
01 Pre-Processing
(15:15)
[mp4]
[webm]
02 Pre-Processing für Vertex Cover
(08:27)
[mp4]
[webm]
03 Ein schneller Algorithmus für sub-optimale Lösungen für Vertex Cover
(07:53)
[mp4]
[webm]
04 Ein 'Ameisenalgorithmus' für das Problem des Handlungsreisenden
(07:19)
(1 Kommentar)
[mp4]
[webm]
Unsortiert
Anzahl Videos: 7, Dauer: 28:52
1. Erste Schritte iOS Programmierung
(01:26)
[mp4]
[webm]
Arbeiten mit git und github
(06:37)
[mp4]
[webm]
Eurobot 2013
(01:33)
[mp4]
[webm]
Hotel Makaburi
(00:58)
[mp4]
[webm]
Nacht des Wissens 2013
(09:42)
[mp4]
[webm]
Romeo und Julia frei nach Shakespeare im ProLab WS13/14 in Kooperation mit der Schaupielschule Frese
(01:10)
[mp4]
[webm]
Userinterface für Stereoplugin
(07:26)
[mp4]
[webm]