KIT | KIT-Bibliothek | Impressum | Datenschutz

17: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 20.12.2017

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

  • 0:00:00 Starten
  • 0:14:00 Wo sind wir?
  • 0:18:18 Zwei wichtige Schriften von al-Kharizmi
  • 0:21:43 Lösen einer Sorte quadratischer Gleichung nach al-Kharazmi
  • 0:24:11 Algorithmusbegriff informal
  • 0:26:20 Diskussion des informellen Algorithmusbegriffs
  • 0:35:21 Korrektheit eines Algorithmus
  • 0:35:50 Beweis von al-Khwaraizmi
  • 0:40:51 Beweis durch Nachrechnen
  • 0:43:36 Eine einfache ,,Programmiersprache''
  • 0:46:12 Hoare-Tripel
  • 0:47:47 mZusicherungen in Hoare-Tripeln
  • 0:50:50 Bedeutung von Programmen
  • 0:51:59 Gültigkeit von Hoare-Tripeln
  • 0:56:20 Axiome für Hoare-Kalkül
  • 0:59:59 Ableitungsregeln
  • 1:03:35 Beispiel
  • 1:15:27 Regel H T-I
  • 1:17:17 Beispiel für H T-I
  • 1:23:46 Erinnerung
  • 1:25:06 Algorithmus für die Multiplikation
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Audio & Video
Publikationsdatum 22.12.2017
Erstellungsdatum 20.12.2017
DOI 10.5445/DIVA/2017-828
Identifikator KITopen-ID: 1000115207
Lizenz KITopen-Lizenz
Serie Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Folge 17
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page