021
04.04.2009, 13:54 Uhr
bennokue
Giuseppe der Schöngeist Bürstenkaiser
Beiträge: 4227 Dabei seit: 02.04.2005, 14:57 Uhr |
Ich hoffe doch!!
Ich hatte zwar leichte Schwierigkeiten beim Hoare-Kalkül (genauer gesagt hatte ich die Aufgabe, den abgedruckten Algorithmus zum Berechnen von x*y bereits mit diesem Kalkül formal bewiesen â?? ne ganze Seite Text, in meiner kleinsten Handschrift â??, und es hatte alles ganz hervorragend geklappt, als verlautbart wurde, es sei da ein Fehler aufgetaucht, der Algorithmus stimme so noch garnicht ), und die Aufgabe über Relationen (bzw. ob sie symmetrisch, reflexiv, antisymmetrisch, transitiv und was der Geier was noch alles sind) hab ich weggelassen , aber der Rest ging eigentlich
Kann natürlich alles falsch sein, aber vielleicht war mir Fortuna ja hold! ----- Wer einen Beitrag von mir liest möge ihn nicht persönlich nehmen! Zwischen "rechthaben" und "Recht haben" liegen Welten... (bennokue - Vielredner "Es hat mich gefreut, mit Ihnen zu reden!") KloMO: bennokue | Ranglistenbeobachtung |