Diff for doc/ztp-zbierka/03-spravnost-programov.tex between version 1.3 and 1.4
| version 1.3, 2004/03/15 10:24:47 |
version 1.4, 2004/05/07 21:08:13 |
|
|
| % 26/02/2003 - created |
% 26/02/2003 - created |
| % |
% |
| |
|
| % $Platon: doc/ztp-zbierka/03-spravnost-programov.tex,v 1.2 2003/10/10 13:40:35 nepto Exp $ |
% $Platon: doc/ztp-zbierka/03-spravnost-programov.tex,v 1.3 2004/03/15 10:24:47 nepto Exp $ |
| |
|
| \chapter{Správnosť programov} |
\chapter{Správnosť programov} |
| |
|
|
|
| {\{f\}~\cmd{if}~ c ~\cmd{then}~ P_{221} ~\cmd{fi}~\{g\}} |
{\{f\}~\cmd{if}~ c ~\cmd{then}~ P_{221} ~\cmd{fi}~\{g\}} |
| $$ |
$$ |
| |
|
| Nakoniec \textit{axiómou priradania} aplikovanou na čast~$P_{221}$ |
Nakoniec \textit{axiómou priradenia} aplikovanou na časť~$P_{221}$ |
| dostávame poslednú implikáciu. |
dostávame poslednú implikáciu. |
| |
|
| $$ |
$$ |
Platon Group <platon@platon.org> http://platon.org/
|
|
Login
Registration
Slovak
![[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}
Up to