06: Grundbegriffe der Informatik,Vorlesung, WS 2017/18, 08.11.2017
- 0:00:00 Starten
- 0:00:41 Wichtige Spezialfälle aussagenlogischer Formeln
- 0:01:52 Kalkül
- 0:02:28 Ein Beispiel für die Nützlichkeit des Kalküls
- 0:13:25 Was ist wichtig?
- 0:15:50 Kapitel 6: Induktives Vorgehen
- 0:17:04 Induktive Definitionen kann man zu Rechnen benutzen
- 0:18:12 Vollständige Induktion
- 0:27:13 Verallgemeinerung vollständiger Induktion
- 0:29:20 Beispiel
- 0:30:13 Ackermann-Funktion
- 0:49:59 Kapitel 7: formale Sprachen
- 0:51:36 Produkt oder Konkatenation formaler Sprachen
- 0:53:05 Produkte formaler Sprachen - Beispiele
- 0:59:05 Neutrales Element für Produkt formaler Sprachen
- 1:00:18 Potenz von Sprachen
- 1:01:16 Beispiel für Potenzen von Sprachen
- 1:04:06 Potenzen mehrfach definiert
- 1:05:20 Konkatenationsabschluss von L
- 1:07:51 Beispiele für Konkatenationsabschluss
- 1:14:17 Zwei Warnungen
- 1:17:18 Was ist wichtig?
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 11.11.2017 |
| Erstellungsdatum | 08.11.2017 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2017-608 |
| Identifikator | KITopen-ID: 1000115000 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2017/18 |
| Folge | 6 |