17: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 13.12.2019
- 0:00:00 Start
- 0:00:05 Übung
- 0:00:42 Allgemeingültig- und Erfüllbarkeit
- 0:07:12 Trinker-Paradoxon
- 0:11:25 Beispiel unerfüllbar
- 0:13:44 Substitutionen
- 0:17:01 Kollisionen
- 0:20:54 Gebundene Umbenennung
- 0:23:23 Beginn der Vorlesung
- 0:25:57 Überblick
- 0:27:29 Gerichteter Graph
- 0:31:16 Bäume
- 0:32:45 de Bruijn-Graphen
- 0:38:18 Pfade
- 0:40:49 Zyklen
- 0:51:05 Eindeutigkeit der Wurzel
- 0:54:42 Knotengrad bei gerichteten Graphen
- 0:59:51 ""Struktur"" eines Graphen
- 1:14:43 Ungerichtete Graphen
- 1:24:35 Ungerichtete Bäume
- 1:26:33 Knotengrad in ungerichteten Graphen
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 17.12.2019 |
| Erstellungsdatum | 13.12.2019 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2019-996 |
| Identifikator | KITopen-ID: 1000117144 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2019/20 |
| Folge | 17 |