SpecVer:O projekcie: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
Linia 1: Linia 1:
 
To jest formuła <math>\alpha \implies K\,\beta </math>
 
To jest formuła <math>\alpha \implies K\,\beta </math>
opisująca poprawność algorytmu K względem warunku poczatkowego <math>\alpha </math>
+
opisująca poprawność algorytmu K względem warunku poczatkowego <math>\alpha </math>
i warunku końcowego <math> \beta </math>
+
i warunku końcowego <math> \beta </math>
  
 
[[Category:SpecVer]]
 
[[Category:SpecVer]]

Wersja z 08:38, 3 lut 2013

To jest formuła [math]\alpha \implies K\,\beta [/math] opisująca poprawność algorytmu K względem warunku poczatkowego [math]\alpha [/math] i warunku końcowego [math] \beta [/math]