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