KIT | KIT-Bibliothek | Impressum | Datenschutz

04: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 25.10.2019

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

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


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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page