Rozdiely pre doc/ztp-zbierka/03-spravnost-programov.tex medzi verziami 1.4 a 1.5
| verzia 1.4, 2004/05/07 21:08:13 |
verzia 1.5, 2004/05/07 21:14:52 |
|
|
| % 26/02/2003 - created |
% 26/02/2003 - created |
| % |
% |
| |
|
| % $Platon: doc/ztp-zbierka/03-spravnost-programov.tex,v 1.3 2004/03/15 10:24:47 nepto Exp $ |
% $Platon: doc/ztp-zbierka/03-spravnost-programov.tex,v 1.4 2004/05/07 21:08:13 nepto Exp $ |
| |
|
| \chapter{Správnosť programov} |
\chapter{Správnosť programov} |
| |
|
| Riadok 513 formulou. Druhý zápis je zase formálnejš |
|
| Riadok 513 formulou. Druhý zápis je zase formálnejš |
|
| správnosti Hoareovou metódou zapíšeme formálnejším spôsobom. Tento |
správnosti Hoareovou metódou zapíšeme formálnejším spôsobom. Tento |
| spôsob je používaný taktiež v~skriptách. |
spôsob je používaný taktiež v~skriptách. |
| |
|
| Zvolíme si invariant. \hfill $R(x_1, x_2, y_1, y_2):~ y_1x_2 + y_2 = x_1 \land 0 \le z_2 < x_2$ |
Zvolíme si invariant. \hfill $R(x_1, x_2, y_1, y_2):~ y_1x_2 + y_2 = x_1 \land 0 \le y_2 < x_2$ |
| |
|
| \begin{enumerate} |
\begin{enumerate} |
| |
|
Platon Group <platon@platon.sk> http://platon.sk/
|
|
Prihlásiť
Registrácia
English
![[BACK]](http://cvsweb.platon.sk/icons/back.gif){kind=icon}
![[TXT]](http://cvsweb.platon.sk/icons/text.gif){kind=icon}
![[DIR]](http://cvsweb.platon.sk/icons/dir.gif){kind=icon}
Vyššie na