Übung 1 v1.1

Benutzeravatar
starostin
Windoof-User
Windoof-User
Beiträge: 31
Registriert: 8. Jul 2010 12:45

Übung 1 v1.1

Beitrag von starostin »

Ich habe kleine Präzisierung in Aufgabe 4 gemacht, und zwar "phi1 := v0 > 0" ist auf "phi1 := 0 < v0" geändert. Das ist weil in der Vorlesung haben wir nur das Prädikat "<" definiert (Folie 37 im Modul 01) und nicht ">". Danke, Markus, für diese Anmerkung.
-- Dr. Artem Starostin

Zurück zu „Archiv“