27: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 05.02.2020
- 0:00:00 Start
- 0:01:39 Reguläre Ausdrücke
- 0:11:38 Kantorowitsch-Bäume
- 0:15:12 Kantorowitsch-Bäume und reguläre Ausdrücke
- 0:17:14 Beispiel: Zahlen spezifizieren
- 0:19:23 rev: Wörter umkehren
- 0:21:23 Reguläre Sprachen abgeschlossen unter rev
- 0:22:50 Beginn der Vorlesung
- 0:24:17 Äquivalenzrelationen
- 0:26:04 Identität
- 0:26:40 Kongruenz ganzer Zahlen modulo n
- 0:29:14 Beispiel: asymtptotisch gleiches Wachstum
- 0:30:55 Urbilder von Funktionswerten
- 0:34:34 Bild einer Äquivalenzrelation
- 0:36:45 Äquivalenzklassen und Faktormengen
- 0:38:23 Beispiel: Äquivalenzklassen von Kongruenz modulo 2
- 0:40:49 Was ist wichtig?
- 0:42:59 Äquivalenzrelationen auf Mengen mit <
> - 0:43:32 Verträglichkeit von Äquivalenzrelationen mit Abbildungen
- 0:47:06 Kongruenzrelationen
- 0:53:56 Was ist wichtig?
- 0:58:41 Äquivalenzrelationen von Nerode
- 1:05:51 Nerode-Äquivalenzen: Ausblick
- 1:14:15 Antisymmetrische Relationen
- 1:17:04 Halbordnungen
- 1:22:22 Hassediagramm
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 06.02.2020 |
| Erstellungsdatum | 05.02.2020 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2020-103 |
| Identifikator | KITopen-ID: 1000117267 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2019/20 |
| Folge | 26 |