Weitere Beispiele werden automatisch zu den Stichwörtern zugeordnet - wir garantieren ihre Korrektheit nicht.
Hoare logic, algorithmic logic, weakest preconditions, and dynamic logic are all well suited to discourse and reasoning about sequential behavior.
The system parallels A. Salwicki's system of Algorithmic Logic and Edsger Dijkstra's notion of weakest-precondition predicate transformer , with corresponding to Dijkstra's , weakest liberal precondition.
eTutor Englisch-Kurs
Suchhistorie
Podcasts
Diki-Plugins
Über das Diki-Wörterbuch
Vorschlag melden
Wörterbuch für Mathematik