26: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 06.02.2019
Description
26 |
0:00:00 Start
0:00:30 Halbordnungen
0:09:59 Minimale und maximale Elemente/ Beispiel
0:18:32 Untere und obere Schranken/-Beispiel
0:23:29 Supremum und Infimum/-Beispiele
0:36:03 Monotone Abbildungen
0:38:54 Stetige Abbildungen/-Beispiele
0:43:57 Fixpunktsatz/-Beweis
0:52:57 Was ist wichtig ?
0:54:44 Ordungen
0:55:28 Totale Ordung
1:00:06 Totale Ordung auf A*
1:02:30 Milchstraße-Milch-Milchreis-- Beispiel
1:04:08 Lexikographische Ordung (Wörterbuch)
1:14:07 Was ist wichtig
1:15:25 Kapietel 22: MIMA-X
1:17:08 Ackermann-Funktion
1:20:13 Stapel oder Keller
25 |
0:00:00 Start
0:00:22 Äquivalenzrelationen
0:01:41 Kongruenz ganzer Zahlen modulo n
0:04:05 Bild einer Äquivalnzrelation
0:12:15 Was ist wichtig
0:13:40 Äquivalenzrelationen auf mengen mit Struktur
0:18:23 Kongruenzrelationen
0:20:52 Verträglichkeit erlaubt die Übertragung einer Abbildung...
Published 02/04/19
24 |
0:00:00 Start
0:00:39 Wiederholung(Turingmaschinen)
0:02:42 Endliche Automaten
0:03:56 Reguläre Ausdrücke
0:07:50 Klammereinsparungsregeln
0:12:41 Durch R Beschriebene formale Sprachen / Beispiel
0:14:49 Beispiele für R
0:27:56 Charakterisierungen regulärer Sprachen
0:34:39 Rechtslineare...
Published 01/31/19