021 *NEU*
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 |
Na ja, ich hab ja damals im Englischstudium auch kein Englisch gelernt. Statt dessen stand zum Beispiel die 
"Wie lange eine Minute sein kann, hängt davon ab, auf welcher Seite der Toilettentüre man sich befindet." 
