Als «storage» getaggte Fragen

38
Grundlegendes zur Serialisierung

Ich bin Softwareentwickler und nach einer Diskussion mit einigen Kollegen habe ich festgestellt, dass ich die Serialisierung des Konzepts nicht gut verstehe. Wie ich verstehe, ist Serialisierung der Prozess des Konvertierens einer Entität, wie z. B. eines Objekts in OOP, in eine Folge von Bytes, so...

7
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm

Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end...