KIT | KIT-Bibliothek | Impressum | Datenschutz

16: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 11.12.2019

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

  • 0:00:00 Start
  • 0:00:48 Prädikatenlogik
  • 0:07:53 Modelle
  • 0:13:10 Beschreibung formaler Sprachen
  • 0:16:53 Logische Äquivalenz
  • 0:24:24 Algorithmusbegriff informell
  • 0:28:00 Diskussion des informellen Algorithmusbegriffs
  • 0:32:22 Korrektheit eines Algorithmus - wie beweist man sie?
  • 0:34:17 Eine einfache ""Programmiersprache""
  • 0:35:52 Hoare-Tripel
  • 0:50:20 Ableitungsregeln
  • 1:01:41 Regel HT-I
  • 1:08:26 Regel HT-W
  • 1:23:54 Schleifeninvariante

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