Zitat von
GLaforge:
Kann mir dann jemand von der Infoschülern sagen was eine Quotiententermalgebra ist und sein Programm durch Hoare-Kalkül verifizieren (Inhalt des 1.Semesters).
Ne nicht wirklich
Gut du hast gewonnen.
Aber nur so aus reiner Neugier: Was ist das? Kannste mir ja notfalls auch per PN mitteilen.