KIT | KIT-Bibliothek | Impressum | Datenschutz

06: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 02.11.2018

Worsch, Thomas; Modanese, Augusto; KIT | Webcast [Hrsg.]

  • 0:00:00 Start
  • 0:00:17 Vollständige Induktion
  • 0:10:03 Varianten der vollständigen Induktion
  • 0:16:24 Verallgemeinerung
  • 0:25:47 Induktive Definitionen
  • 0:28:28 Ackermann-Funktion
  • 0:37:33 Was ist wichtig?
  • 0:41:28 Anfang der Übung
  • 0:41:56 Boolesche Funktion
  • 0:43:50 Interpretation
  • 0:46:59 Unterscheidung Syntax/Semantik
  • 0:48:50 Gleichheit von Formeln
  • 0:51:20 Wahrheitstabelle
  • 0:54:01 Modelle
  • 0:55:55 Allgemeingültigkeit und Äquivalenz
  • 0:58:07 Beweisen mit Äquivalenz
  • 1:01:06 Vollständige Induktion
  • 1:03:40 Beispiel
  • 1:05:28 Beliebte Fehler
  • 1:09:51 induktive Definitionen
  • 1:13:58 Starke Induktion


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