KIT | KIT-Bibliothek | Impressum | Datenschutz

Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 14.12.2016, 16

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

  • 0:00:00 Starten
  • 0:00:52 Logisch äquivalente Formeln
  • 0:07:01 Weitere allgemeingültige Formeln
  • 0:10:02 Deduktionstheorem
  • 0:13:22 Skizze eines Beispiels
  • 0:24:55 Großzügige Benutzung von Prädikatenlogik
  • 0:27:04 Zusammenfassung
  • 0:27:58 Kapitel 14
  • 0:29:57 Eine Zeitreise...wohin?...
  • 0:30:29 ...da wären wir...
  • 0:32:35 Zwei wichtige Schriften von al-Kharizmi
  • 0:40:00 Algorithmusbegriff informell
  • 0:48:49 Korrektheit eines Algorithmus
  • 0:50:02 Beweis von al_Khwarizmi
  • 0:53:51 Beweis durch Nachrechnen
  • 0:55:31 Eine einfache ""Programmiersprache""
  • 0:59:31 Hoare-Tripel
  • 1:04:59 Hoare-Kalkül

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