KIT | KIT-Bibliothek | Impressum | Datenschutz

05: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 30.10.2019

Worsch, Thomas; Zentrum für Mediales Lernen (ZML) [Hrsg.]

  • 0:00:00 Start
  • 0:00:09 Beginn der Übung
  • 0:00:15 Wörter
  • 0:03:28 Leeres Wort
  • 0:05:08 Mengen von Wörtern
  • 0:08:13 Unterscheidung Symbol - Wort
  • 0:10:06 Konkatenation
  • 0:16:40 Kommutativität
  • 0:17:31 Assoziativ
  • 0:19:03 Binäre Operationen mit Mengen
  • 0:21:27 Wörter ""spiegeln""
  • 0:24:15 Berechnung von f
  • 0:24:31 Als binäre Operation
  • 0:25:54 Beginn der Vorlesung
  • 0:25:58 Konstruktion aussagenlogischer Formeln
  • 0:27:42 Regeln zur Einsparung von Klammern
  • 0:28:49 Boolesche Funktionen
  • 0:39:34 Semantik aussagenlogischer Formeln
  • 1:07:20 Kapitel 6: Vollständige Induktion

Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 31.10.2019
Erstellungsdatum 30.10.2019
Sprache Deutsch
DOI 10.5445/DIVA/2019-807
Identifikator KITopen-ID: 1000116968
Lizenz KITopen-Lizenz
Serie Grundbegriffe der Informatik, Vorlesung, WS 2019/20
Folge 5
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page