Seite 1 von 1

Übung 1 v1.1

Verfasst: 23. Okt 2012 17:26
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.