04: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 25.10.2019
- 0:00:00 Start
- 0:00:49 Relationen
- 0:04:17 Eindeutigkeit
- 0:10:00 Injektivität und Surjektivität
- 0:18:32 Programme als Abbildungen
- 0:21:25 Gleichheit von Relationen
- 0:23:47 RFC
- 0:30:03 Iterierte Konkatenation
- 0:34:14 Iterierte Konkatenation
- 0:36:51 Ein einfaches Lemma zu Längen von Wortpotenzen
- 0:41:26 Vollständige Induktion
- 0:44:39 Sprachen
- 0:50:40 Formale Sprache über einem Alphabet A
- 0:54:42 Binäre Operationen
- 1:00:44 Aussagen – ""objektiv"" wahr oder falsch
- 1:10:20 Alphabet der Aussagenlogik
- 1:14:56 Syntax – Konstruktion immer größerer Formeln
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 28.10.2019 |
| Erstellungsdatum | 25.10.2019 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2019-794 |
| Identifikator | KITopen-ID: 1000116956 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2019/20 |
| Folge | 4 |