Alle Videos
/ 2014 WiSe
Mathematik 1
2014-09-22
(2)
Anzahl Videos: 2, Dauer: 1:03:32
01 Organisatorisches
(33:37)
(1 Kommentar)
[mp4]
[webm]
02 Aufteilung einer Kreisscheibe durch Sehnen
(29:55)
(1 Kommentar)
[mp4]
[webm]
2014-09-29
(1)
Anzahl Videos: 10, Dauer: 2:36:21
01 Die natürlichen Zahlen
(24:03)
(1 Kommentar)
[mp4]
[webm]
02 Die mathematische Fachsprache
(15:14)
[mp4]
[webm]
03 Die Zahl Null
(10:39)
[mp4]
[webm]
04 Die ganzen Zahlen
(19:08)
[mp4]
[webm]
05 Multiplikation von ganzen Zahlen
(09:28)
[mp4]
[webm]
06 Die Anordnung der Zahlen
(12:18)
[mp4]
[webm]
07 Die rationalen Zahlen
(17:45)
[mp4]
[webm]
08 Potenzen, Wurzeln, Logarithmen
(14:38)
[mp4]
[webm]
09 Dezimalbrüche
(13:33)
[mp4]
[webm]
10 'Zahlen', die keine Brüche sind
(19:35)
[mp4]
[webm]
2014-10-06
(1)
Anzahl Videos: 8, Dauer: 2:22:43
01 Irrationale Zahlen
(15:29)
[mp4]
[webm]
02 Babylonisches Wurzelziehen
(04:58)
[mp4]
[webm]
03 Rechnen mit irrationalen Zahlen
(11:33)
[mp4]
[webm]
04 Potenzen, Wurzeln, Logarithmen
(31:47)
[mp4]
[webm]
05 Philosophischer Exkurs - normale Zahlen
(07:49)
(1 Kommentar)
[mp4]
[webm]
06 Mengen
(30:46)
[mp4]
[webm]
07 Die leere Menge, Teilmengen
(15:53)
[mp4]
[webm]
08 Vereinigung, Durchschnitt, mengentheoretische Differenz.avi
(24:28)
[mp4]
[webm]
2014-10-13
Anzahl Videos: 8, Dauer: 2:19:09
01 Die Potenzmenge
(23:26)
[mp4]
[webm]
02 Die Mächtigkeit einer Menge
(01:53)
[mp4]
[webm]
03 Einführung Maple
(19:18)
[mp4]
[webm]
04 Mengenlehre in Maple
(08:58)
[mp4]
[webm]
05 Unendliche Mengen von Zahlen
(17:51)
[mp4]
[webm]
06 Beschreibende Mengenschreibweise
(31:02)
[mp4]
[webm]
07 Eine Variation der beschreibenden Mengenschreibweise
(11:37)
[mp4]
[webm]
08 Eine weitere Variation der beschreibenden Mengenschreibweise
(25:04)
[mp4]
[webm]
2014-10-20
(1)
Anzahl Videos: 3, Dauer: 1:25:09
01 Aussagenlogik - Konjunktion, Disjunktion, Negation
(22:11)
(1 Kommentar)
[mp4]
[webm]
02 Aussagenlogik - Implikation und Äquivalenz
(34:15)
[mp4]
[webm]
03 Etwas Prädikatenlogik
(28:43)
[mp4]
[webm]
2014-10-27
Anzahl Videos: 6, Dauer: 2:11:41
01 Das Kontinuum
(13:37)
[mp4]
[webm]
02 Intervalle
(32:23)
[mp4]
[webm]
03 Betrag und Gaußklammern
(08:07)
[mp4]
[webm]
04 Relationen - Motivation
(07:41)
[mp4]
[webm]
05 Geordnete Paare und Mengenprodukt
(29:14)
[mp4]
[webm]
06 Beispiele für Relationen
(40:39)
[mp4]
[webm]
2014-11-03
Anzahl Videos: 7, Dauer: 1:54:42
01 Reflexivität
(11:27)
[mp4]
[webm]
02 Die Umkehrrelation
(17:51)
[mp4]
[webm]
03 Symmetrie
(13:41)
[mp4]
[webm]
04 Komposition von Relationen
(18:50)
[mp4]
[webm]
05 Transitivität
(15:42)
[mp4]
[webm]
06 Äquivalenzrelationen
(19:30)
[mp4]
[webm]
07 Grafische Darstellung von Äquivalenzrelationen
(17:41)
[mp4]
[webm]
2014-11-10
Anzahl Videos: 6, Dauer: 1:48:22
01 Äquivalenzklassen
(25:23)
[mp4]
[webm]
02 Relationen in Maple
(13:14)
[mp4]
[webm]
03 Funktionen
(21:59)
[mp4]
[webm]
04 Definitionsbereich, Wertebereich, Zielmenge
(12:53)
[mp4]
[webm]
05 Beispiele für Funktionen
(21:44)
[mp4]
[webm]
06 Injektivität
(13:09)
[mp4]
[webm]
2014-11-17
Anzahl Videos: 7, Dauer: 2:03:25
01 Surjektivität
(31:01)
[mp4]
[webm]
02 Komposition von Funktionen
(18:50)
[mp4]
[webm]
03 Umkehrfunktionen
(12:01)
[mp4]
[webm]
04 Bild und Urbild
(18:17)
[mp4]
[webm]
05 Die Mächtigkeit von unendlichen Mengen
(13:08)
[mp4]
[webm]
06 Hilberts Hotel
(10:16)
[mp4]
[webm]
07 Beispiele für unendliche Mengen, die die gleiche Mächtigkeit haben
(19:52)
[mp4]
[webm]
2014-11-24
Anzahl Videos: 8, Dauer: 1:57:21
01 Je zwei echte Intervalle haben dieselbe Mächtigkeit
(15:32)
[mp4]
[webm]
02 Abzählbare Mengen
(11:38)
[mp4]
[webm]
03 Die Menge der rationalen Zahlen ist abzählbar
(18:48)
[mp4]
[webm]
04 Echte Intervalle sind überabzählbar
(11:20)
[mp4]
[webm]
05 Der Satz von Cantor
(12:11)
[mp4]
[webm]
06 Das Summenzeichen
(19:33)
[mp4]
[webm]
07 Das Produktzeichen
(07:12)
[mp4]
[webm]
08 Rechnen mit Summen- und Produktzeichen
(21:07)
[mp4]
[webm]
2014-12-01
Anzahl Videos: 7, Dauer: 1:37:00
01 Die arithmetische Summenformel
(11:07)
[mp4]
[webm]
02 Die geometrische Summenformel
(17:44)
[mp4]
[webm]
03 Die Fakultät
(04:36)
[mp4]
[webm]
04 Summen, Produkte und Fakultät in Maple
(04:48)
[mp4]
[webm]
05 Summenregel, Produktregel, Inklusions-Exklusions-Prinzip
(20:41)
[mp4]
[webm]
06 Permutationen
(12:15)
[mp4]
[webm]
07 Permutationen mit Wiederholungen
(25:49)
[mp4]
[webm]
2014-12-08
Anzahl Videos: 5, Dauer: 1:18:16
01 Kombinationen
(16:00)
[mp4]
[webm]
02 Binomialkoeffizienten und die allgemeine binomische Formel
(17:13)
[mp4]
[webm]
03 Binomialkoeffizienten und das Pascalsche Dreieck
(19:44)
[mp4]
[webm]
04 Kombinationen mit Wiederholungen
(15:58)
[mp4]
[webm]
05 Variationen (mit und ohne Wiederholungen)
(09:21)
[mp4]
[webm]
2015-01-12
(1)
Anzahl Videos: 8, Dauer: 1:37:58
01 Rekursive Funktionen
(21:28)
[mp4]
[webm]
02 Die Fakultät rekursiv programmiert
(04:43)
[mp4]
[webm]
03 Weitere Beispiele für Rekursion
(10:16)
[mp4]
[webm]
04 Die Collatz-Folge
(04:48)
[mp4]
[webm]
05 Die Fibonacci-Folge
(09:55)
[mp4]
[webm]
06 Die logistische Formel
(13:47)
[mp4]
[webm]
07 Lineare Rekursion
(13:16)
[mp4]
[webm]
08 Die Türme von Hanoi
(19:45)
(1 Kommentar)
[mp4]
[webm]
Mathematik 2
2014-09-22
Anzahl Videos: 7, Dauer: 2:07:29
01 Berühmte Probleme der Zahlentheorie
(28:35)
[mp4]
[webm]
02 Division mit Rest
(13:31)
[mp4]
[webm]
03 Teilbarkeit
(13:20)
[mp4]
[webm]
04 Rechenregeln zur Teilbarkeit
(11:18)
[mp4]
[webm]
05 Kommensurabilität - der euklidische Algorithmus graphisch
(14:58)
[mp4]
[webm]
06 Der euklidische Algorithmus
(23:09)
[mp4]
[webm]
07 Der erweiterte euklidische Algorithmus
(22:38)
[mp4]
[webm]
2014-09-24
(2)
Anzahl Videos: 10, Dauer: 2:00:17
01 Warum Hippasos ertränkt wurde
(13:59)
[mp4]
[webm]
02 Primzahlen
(13:22)
[mp4]
[webm]
03 Der Fundamentalsatz der Arithmetik
(13:30)
[mp4]
[webm]
04 Primzahlen in Maple
(03:53)
(2 Kommentare)
[mp4]
[webm]
05 Der Satz von Euklid
(08:53)
[mp4]
[webm]
06 Das Sieb des Eratosthenes und die Ulam-Spirale
(16:22)
[mp4]
[webm]
07 Modulare Arithmetik
(13:18)
[mp4]
[webm]
08 Kongruenzklassen
(17:54)
[mp4]
[webm]
09 Rechnen mit Kongruenzklassen
(07:51)
[mp4]
[webm]
10 Rechnen mit Kongruenzklassen - Beispiel
(11:15)
[mp4]
[webm]
2014-09-29
(1)
Anzahl Videos: 10, Dauer: 2:06:24
01 'Probleme' beim Rechnen in Restklassenringen
(16:46)
[mp4]
[webm]
02 'Probleme' beim Rechnen in Restklassenringen, Teil 2
(10:17)
[mp4]
[webm]
03 Zwei Anwendungen - Kartentrick und Quersumme
(19:05)
[mp4]
[webm]
04 Dividieren in Restklassenringen
(12:33)
[mp4]
[webm]
05 Dividieren in Restklassenringen, Teil 2
(16:38)
[mp4]
[webm]
06 Modulare Arithmetik in Maple
(04:51)
[mp4]
[webm]
07 Anwendung - ISBN
(18:23)
[mp4]
[webm]
08 Der kleine Satz von Fermat
(07:44)
[mp4]
[webm]
09 Anwendung - Fermatscher Primzahlentest
(16:34)
(1 Kommentar)
[mp4]
[webm]
10 Motivation binäre Exponentiation
(03:33)
[mp4]
[webm]
2014-10-01
Anzahl Videos: 6, Dauer: 2:02:26
01 Binäre Exponentiation
(23:34)
[mp4]
[webm]
02 Anwendung - Primzahltests
(14:01)
[mp4]
[webm]
03 Anwendung - Kryptographie
(17:04)
[mp4]
[webm]
04 Anwendung - der RSA-Algorithmus
(18:51)
[mp4]
[webm]
05 Anwendung - der RSA-Algorithmus, Teil 2
(14:11)
[mp4]
[webm]
06 Der chinesische Restsatz
(34:45)
[mp4]
[webm]
2014-10-06
Anzahl Videos: 7, Dauer: 2:09:02
01 Chinesischer Restsatz - Aufgabe und Tipps
(07:43)
[mp4]
[webm]
02 Beispiele für Gruppen
(25:07)
[mp4]
[webm]
03 Beispiele für Gruppen, Teil 2
(20:09)
[mp4]
[webm]
04 Beispiele für Gruppen, Teil 3
(19:44)
[mp4]
[webm]
05 Definition des Begriffs Gruppe
(17:01)
[mp4]
[webm]
06 Gruppen - weitere Beispiele
(23:49)
[mp4]
[webm]
07 Einfache Eigenschaften von Gruppen
(15:29)
[mp4]
[webm]
2014-10-08
(1)
Anzahl Videos: 8, Dauer: 2:01:41
01 Untergruppen
(19:33)
[mp4]
[webm]
02 Isomorphie
(19:01)
[mp4]
[webm]
03 Permutationsgruppen
(22:02)
[mp4]
[webm]
04 Beispiele für Permutationsgruppen
(11:00)
[mp4]
[webm]
05 Zyklen
(35:11)
[mp4]
[webm]
06 Verschiedene Darstellungsweisen für Permutationen
(04:48)
(1 Kommentar)
[mp4]
[webm]
07 Zerlegung in Zyklen - Beispiel
(04:42)
[mp4]
[webm]
08 Permutationen in Maple
(05:24)
[mp4]
[webm]
2014-10-13
Anzahl Videos: 8, Dauer: 2:03:50
01 Transpositionen
(18:10)
[mp4]
[webm]
02 Fehlstände
(24:53)
[mp4]
[webm]
03 Amida-kuji
(07:41)
[mp4]
[webm]
04 Der Satz von Cayley
(20:01)
[mp4]
[webm]
05 Komplexe Zahlen - Motivation
(12:46)
[mp4]
[webm]
06 Komplexe Zahlen - Definition
(21:19)
[mp4]
[webm]
07 'Wurzeln' aus negativen reellen Zahlen
(09:14)
[mp4]
[webm]
08 Komplexe Zahlen - Grundbegriffe
(09:46)
[mp4]
[webm]
2014-10-20
(1)
Anzahl Videos: 4, Dauer: 1:22:35
01 Eigenschaften der komplexen Konjugation
(18:09)
[mp4]
[webm]
02 Division komplexer Zahlen
(22:38)
[mp4]
[webm]
03 Geometrische Interpretation der komplexen Zahlen
(09:25)
[mp4]
[webm]
04 Trigonometrie, kurze Wiederholung
(32:23)
(1 Kommentar)
[mp4]
[webm]
2014-10-22
(3)
Anzahl Videos: 8, Dauer: 2:09:24
01 Wiederholung Trigonometrie, Teil 2
(18:46)
(1 Kommentar)
[mp4]
[webm]
02 Polarkoordinaten
(13:03)
[mp4]
[webm]
03 Umrechnung von kartesischen in Polarkoordinaten
(18:11)
(1 Kommentar)
[mp4]
[webm]
04 Polardarstellung komplexer Zahlen
(18:55)
[mp4]
[webm]
05 'Wurzeln' von echt komplexen Zahlen
(25:52)
[mp4]
[webm]
06 Warum Minus mal Minus Plus sein muss
(05:51)
[mp4]
[webm]
07 Quadratische, kubische und quartische Gleichungen
(12:26)
[mp4]
[webm]
08 Lösen von quadratischen Gleichungen mit quadratischer Ergänzung
(16:20)
(1 Kommentar)
[mp4]
[webm]
2014-10-27
(2)
Anzahl Videos: 7, Dauer: 2:08:59
01 Wo sind die komplexen Nullstellen?
(14:24)
[mp4]
[webm]
02 Komplexe Zahlen in Maple
(06:54)
[mp4]
[webm]
03 Die Mandelbrotmenge
(22:06)
(2 Kommentare)
[mp4]
[webm]
04 Polynome - Grundbegriffe
(15:10)
[mp4]
[webm]
05 Addieren und Multiplizieren von Polynomen
(09:45)
[mp4]
[webm]
06 Entwicklung von Polynomen
(25:10)
[mp4]
[webm]
07 Polynominterpolation
(35:30)
[mp4]
[webm]
2014-10-29
(2)
Anzahl Videos: 6, Dauer: 1:40:07
01 Runges Phänomen
(11:07)
(1 Kommentar)
[mp4]
[webm]
02 Bézierkurven
(35:47)
(1 Kommentar)
[mp4]
[webm]
03 Warum überhaupt Nullstellen?
(06:29)
[mp4]
[webm]
04 Polynomdivision
(21:18)
[mp4]
[webm]
05 Das Lemma von Gauß (Klausurversion)
(07:22)
[mp4]
[webm]
06 Das Horner-Schema
(18:04)
[mp4]
[webm]
2014-11-03
Anzahl Videos: 7, Dauer: 1:49:20
01 Lösen von Polynomgleichungen
(28:53)
[mp4]
[webm]
02 Fundamentalsatz der Algebra und Nichtauflösbarkeit von Gleichungen höheren Grades
(11:50)
[mp4]
[webm]
03 Körper
(10:50)
[mp4]
[webm]
04 Polynome über beliebigen Körpern
(36:42)
[mp4]
[webm]
05 Polynome über Restklassenkörpern und -ringen
(12:16)
[mp4]
[webm]
06 Polynome über Restklassenkörpern in Maple
(03:17)
[mp4]
[webm]
07 Polynome über dem kleinsten Restklassenkörper
(05:32)
[mp4]
[webm]
2014-11-05
Anzahl Videos: 7, Dauer: 2:12:11
01 Anwendung - CRC
(23:26)
[mp4]
[webm]
02 Anwendung - CRC, Teil 2
(17:18)
[mp4]
[webm]
03 Anwendung - CRC, Teil 3
(17:10)
[mp4]
[webm]
04 Anwendung - CRC, Teil 4
(15:53)
[mp4]
[webm]
05 Die Grundidee der analytischen Geometrie
(18:20)
[mp4]
[webm]
06 Vektoraddition und skalare Multiplikation
(15:29)
[mp4]
[webm]
07 Geraden
(24:35)
[mp4]
[webm]
2014-11-10
(1)
Anzahl Videos: 4, Dauer: 57:34
01 Der Winkel zwischen zwei Vektoren
(12:32)
(1 Kommentar)
[mp4]
[webm]
02 Die Hessesche Normalform
(25:55)
[mp4]
[webm]
03 Die Länge der orthogonalen Projektion
(05:26)
[mp4]
[webm]
04 Abbildungen der Ebene auf sich selbst
(13:41)
[mp4]
[webm]
2014-11-12
(1)
Anzahl Videos: 5, Dauer: 2:03:56
01 Lineare Abbildungen
(32:06)
(1 Kommentar)
[mp4]
[webm]
02 Darstellung linearer Abbildungen durch Matrizen
(19:08)
[mp4]
[webm]
03 Darstellung linearer Abbildungen durch Matrizen, Beispiele
(23:36)
[mp4]
[webm]
04 Multiplikation von Matrizen
(37:28)
[mp4]
[webm]
05 Rechnen mit Matrizen
(11:38)
[mp4]
[webm]
2014-11-17
Anzahl Videos: 6, Dauer: 2:04:12
01 Rechnen mit Matrizen, Teil 2
(13:50)
[mp4]
[webm]
02 Eigenschaften der Multiplikation von Matrizen
(12:36)
[mp4]
[webm]
03 Vektoren und Matrizen in Maple
(10:09)
[mp4]
[webm]
04 Anwendung - YCbCr
(25:50)
[mp4]
[webm]
05 Lineare Gleichungssysteme
(27:00)
[mp4]
[webm]
06 Lineare Gleichungssysteme und lineare Abbildungen
(34:47)
[mp4]
[webm]
2014-11-19
Anzahl Videos: 5, Dauer: 1:56:41
01 Der Gauß-Algorithmus - elementare Zeilenumformungen
(21:47)
[mp4]
[webm]
02 Der Gauß-Algorithmus - Beispiele
(57:05)
[mp4]
[webm]
03 Der Gauß-Algorithmus in Maple
(07:15)
[mp4]
[webm]
04 Der Gauß-Algorithmus - ein paar Hinweise
(04:53)
[mp4]
[webm]
05 Invertieren einer Matrix
(25:41)
[mp4]
[webm]
2014-11-24
Anzahl Videos: 5, Dauer: 2:07:54
01 Determinanten - Motivation
(33:22)
[mp4]
[webm]
02 Das Laplace-Verfahren
(27:41)
[mp4]
[webm]
03 Eigenschaften von Determinanten
(24:07)
[mp4]
[webm]
04 Berechnung von Determinanten mit dem Gauß-Verfahren
(34:00)
[mp4]
[webm]
05 Geometrische Interpretation der Determinante
(08:44)
[mp4]
[webm]
2014-11-26
Anzahl Videos: 6, Dauer: 1:53:34
01 Lineare Algebra über beliebigen Körpern
(15:37)
[mp4]
[webm]
02 Modulare lineare Algebra in Maple
(02:40)
[mp4]
[webm]
03 Anwendung - das Parity-Bit im ASCII-Code
(13:15)
[mp4]
[webm]
04 Anwendung - Hamming-Codes
(36:46)
[mp4]
[webm]
05 Isometrien
(26:34)
[mp4]
[webm]
06 Orthogonale Abbildungen
(18:42)
[mp4]
[webm]
2014-12-01
(1)
Anzahl Videos: 6, Dauer: 2:03:01
01 Orthogonale Abbildungen in der Ebene
(19:42)
[mp4]
[webm]
02 Zerlegung von Isometrien
(26:30)
[mp4]
[webm]
03 Anwendung - homogene Koordinaten
(29:58)
(1 Kommentar)
[mp4]
[webm]
04 Cataglyphis
(12:27)
[mp4]
[webm]
05 Babylonisches Wurzelziehen
(16:43)
[mp4]
[webm]
06 'Fast alle'
(17:41)
[mp4]
[webm]
2014-12-03
Anzahl Videos: 6, Dauer: 2:05:21
01 Konvergenz
(21:51)
[mp4]
[webm]
02 Grenzwerte
(09:50)
[mp4]
[webm]
03 Wichtige Folgen
(53:18)
[mp4]
[webm]
04 Folgen in Maple
(02:41)
[mp4]
[webm]
05 Das Vergleichskriterium
(11:48)
[mp4]
[webm]
06 Rechenregeln für Folgen
(25:53)
[mp4]
[webm]
2014-12-08
Anzahl Videos: 7, Dauer: 2:31:11
01 Grenzwerte von rationalen Folgen
(20:45)
[mp4]
[webm]
01 Grenzwerte von rationalen Funktionen
(20:45)
[mp4]
[webm]
02 Noch mehr Folgengrenzwerte
(12:26)
[mp4]
[webm]
03 Landau-Notation - Motivation
(20:40)
[mp4]
[webm]
04 Landau-Notation - Definition
(24:59)
[mp4]
[webm]
05 Landau-Notation - Rechenregeln
(22:59)
[mp4]
[webm]
06 Landau-Notation - Beispiele
(28:37)
[mp4]
[webm]
2014-12-10
Anzahl Videos: 9, Dauer: 2:06:22
01 Landau-Notation - Beispiele, Fortsetzung
(05:33)
[mp4]
[webm]
02 Landau-Notation - Motivation, noch mal
(09:01)
[mp4]
[webm]
03 Anwendung - Karatsuba-Algorithmus
(36:04)
[mp4]
[webm]
04 Reihen - Motivation
(17:44)
[mp4]
[webm]
05 Reihen - Definitionen
(22:38)
[mp4]
[webm]
06 Die harmonische Reihe konvergiert nicht
(10:15)
[mp4]
[webm]
07 Die geometrische Reihe konvergiert
(08:10)
[mp4]
[webm]
08 Die Exponentialreihe
(07:43)
[mp4]
[webm]
09 Das Nullfolgenkriterium
(09:14)
[mp4]
[webm]
2015-01-12
Anzahl Videos: 2, Dauer: 31:20
01 Rechenregeln für Reihen
(18:12)
[mp4]
[webm]
02 Absolute Konvergenz
(13:08)
[mp4]
[webm]
2015-01-14
(1)
Anzahl Videos: 3, Dauer: 50:41
01 Wurzel- und Quotientenkriterium
(19:03)
[mp4]
[webm]
02 Wurzel- und Quotientenkriterium, Beispiele
(26:21)
(1 Kommentar)
[mp4]
[webm]
03 Die Exponentialreihe, noch mal
(05:17)
[mp4]
[webm]
Theoretische Informatik
2014-09-24
(3)
Anzahl Videos: 9, Dauer: 2:03:26
01 Organisatorisches
(06:41)
[mp4]
[webm]
02 Themenübersicht
(09:27)
[mp4]
[webm]
03 Alphabete
(19:13)
[mp4]
[webm]
04 Wörter
(16:39)
[mp4]
[webm]
05 Die Kleensche Hülle
(11:21)
[mp4]
[webm]
06 Sprachen
(14:51)
(1 Kommentar)
[mp4]
[webm]
07 Konkatenation von Wörtern
(25:01)
[mp4]
[webm]
08 Mengenoperationen auf Sprachen
(08:02)
(1 Kommentar)
[mp4]
[webm]
09 Konkatenation von Sprachen
(12:11)
(1 Kommentar)
[mp4]
[webm]
2014-10-01
Anzahl Videos: 6, Dauer: 1:27:13
01 Potenzieren von Sprachen, Kleene-Stern
(21:31)
[mp4]
[webm]
02 Der Schwimmbad-Automat
(12:57)
[mp4]
[webm]
03 Endliche Automaten - erstes Beispiel
(10:36)
[mp4]
[webm]
04 Endliche Automaten - Definition
(21:13)
[mp4]
[webm]
05 Endliche Automaten - zweites Beispiel
(08:42)
[mp4]
[webm]
06 JFLAP
(12:14)
[mp4]
[webm]
2014-10-08
(1)
Anzahl Videos: 6, Dauer: 1:40:05
01 Anzahl der Automaten vs. Anzahl der Sprachen
(17:33)
[mp4]
[webm]
02 Ein Automat für das Komplement einer Sprache
(08:46)
[mp4]
[webm]
03 Nicht-deterministische endliche Automaten
(30:52)
[mp4]
[webm]
04 NFAs in JFLAP
(06:58)
[mp4]
[webm]
05 Abschlusseigenschaften der von endlichen Automaten akzeptierten Sprachen
(12:57)
[mp4]
[webm]
06 Umwandlung NFA in DFA
(22:59)
(1 Kommentar)
[mp4]
[webm]
2014-10-22
(1)
Anzahl Videos: 7, Dauer: 2:08:01
01 Reguläre Ausdrücke, Syntax
(28:30)
[mp4]
[webm]
02 Reguläre Ausdrücke, Semantik
(20:21)
[mp4]
[webm]
03 'Rechnen' mit regulären Ausdrücken
(13:06)
[mp4]
[webm]
04 Automaten zu vorgegebenen regulären Ausdrücken
(09:35)
[mp4]
[webm]
05 Reguläre Ausdrücke zu vorgegebenen Automaten
(26:33)
[mp4]
[webm]
06 Reguläre Ausdrücke zu vorgegebenen Automaten, Beispiel
(15:24)
[mp4]
[webm]
07 Anwendung - Reguläre Ausdrücke in der Praxis
(14:32)
(1 Kommentar)
[mp4]
[webm]
2014-10-29
(1)
Anzahl Videos: 4, Dauer: 2:01:13
01 Das Pumping Lemma für reguläre Sprachen
(36:51)
[mp4]
[webm]
02 Das Pumping Lemma als Spiel
(30:05)
(1 Kommentar)
[mp4]
[webm]
03 Folgerungen aus dem Pumping Lemma
(16:18)
[mp4]
[webm]
04 Beispiele für Grammatiken
(37:59)
[mp4]
[webm]
2014-11-05
(1)
Anzahl Videos: 5, Dauer: 1:38:43
01 Formale Grammatiken - Definition
(19:16)
[mp4]
[webm]
02 Ableitungen in formalen Grammatiken
(17:40)
[mp4]
[webm]
03 Die Chomsky-Hierarchie
(19:02)
(1 Kommentar)
[mp4]
[webm]
04 Beispiele für verschiedene Typen von Grammatiken
(30:20)
[mp4]
[webm]
05 Grammatiken in JFLAP
(12:25)
[mp4]
[webm]
2014-11-12
(1)
Anzahl Videos: 2, Dauer: 1:29:40
01 Reguläre Grammatiken und reguläre Sprachen
(33:02)
[mp4]
[webm]
02 Turing-Maschinen
(56:38)
(1 Kommentar)
[mp4]
[webm]
2014-11-19
(2)
Anzahl Videos: 5, Dauer: 1:37:34
01 Der Turing-Maschinen-Simulator
(18:46)
(1 Kommentar)
[mp4]
[webm]
02 Beispiele für Turing-Maschinen
(19:59)
[mp4]
[webm]
03 Berechenbarkeit und Entscheidbarkeit
(28:56)
[mp4]
[webm]
04 Die Programmiersprache TOLL
(20:25)
(1 Kommentar)
[mp4]
[webm]
05 Ist TOLL wirklich toll?
(09:28)
[mp4]
[webm]
2014-11-26
Anzahl Videos: 4, Dauer: 1:49:31
01 NICHSODOLL
(12:31)
[mp4]
[webm]
02 Die Church-Turing-These
(42:03)
[mp4]
[webm]
03 Das Halteproblem
(33:34)
[mp4]
[webm]
04 Der Satz von Rice
(21:23)
[mp4]
[webm]
2014-12-03
(1)
Anzahl Videos: 6, Dauer: 1:33:39
01 Rekursiv aufzählbare Mengen
(22:25)
[mp4]
[webm]
02 Das Collatz-Problem
(05:44)
[mp4]
[webm]
03 Fleißige Biber
(05:49)
[mp4]
[webm]
04 Hilberts zehntes Problem
(20:51)
[mp4]
[webm]
05 Polyominos
(11:05)
(1 Kommentar)
[mp4]
[webm]
06 Vertex Cover
(27:45)
[mp4]
[webm]
2014-12-10
Anzahl Videos: 7, Dauer: 1:46:02
01 Analyse von Algorithmen
(14:21)
[mp4]
[webm]
02 Das 'RAM'-Modell und worst-case-Analyse
(26:35)
[mp4]
[webm]
03 Erinnerung Landau-Notation
(20:34)
[mp4]
[webm]
04 Exponentielles Laufzeitverhalten
(09:23)
[mp4]
[webm]
05 Carlas Problem
(18:11)
[mp4]
[webm]
06 Ians Problem
(07:19)
[mp4]
[webm]
07 Polynomiale Reduktion
(09:39)
[mp4]
[webm]
2014-12-17
Anzahl Videos: 4, Dauer: 1:02:57
01 Polynomiale Reduktion von Vertex Cover
(16:16)
[mp4]
[webm]
02 Optimierungs- vs. Entscheidungsprobleme
(09:12)
[mp4]
[webm]
03 Liegt es an der Anzahl der möglichen Lösungen?
(11:44)
[mp4]
[webm]
04 Die Klassen P und NP
(25:45)
[mp4]
[webm]
2015-01-14
(2)
Anzahl Videos: 4, Dauer: 1:45:10
01 NP-Vollständigkeit
(12:51)
[mp4]
[webm]
02 SAT und der Satz von Cook-Levin
(38:28)
(1 Kommentar)
[mp4]
[webm]
03 Clique ist NP-vollständig (und damit auch VC und IS)
(23:27)
[mp4]
[webm]
04 Weitere NP-vollständige Probleme
(30:24)
(1 Kommentar)
[mp4]
[webm]
2015-01-21
(1)
Anzahl Videos: 3, Dauer: 52:29
01 'Gesetzeslücken'
(14:20)
[mp4]
[webm]
02 Entscheidungsbäume
(10:25)
[mp4]
[webm]
03 Beschneiden von Entscheidungsbäumen
(27:44)
(1 Kommentar)
[mp4]
[webm]