KIT | KIT-Bibliothek | Impressum | Datenschutz

06: Grundbegriffe der Informatik,Vorlesung, WS 2017/18, 08.11.2017

Stüker, Sebastian; KIT | Webcast [Hrsg.]

  • 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?
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 11.11.2017
Erstellungsdatum 08.11.2017
DOI 10.5445/DIVA/2017-608
Identifikator KITopen-ID: 1000115000
Serie Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page