Education
17 | 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