Platon Technologies
not logged in Login Registration
EnglishSlovak
open source software development celebrating 10 years of open source development! Friday, October 16, 2026
[BACK] [TXT][DIR] Up to [Platon] / doc / ztp-zbierka

Diff for doc/ztp-zbierka/03-spravnost-programov.tex between version 1.7 and 1.8

version 1.7, 2005/11/23 19:33:59 version 1.8, 2007/04/29 19:39:13
Line 10 
Line 10 
 % 26/02/2003 - created  % 26/02/2003 - created
 %  %
   
 % $Platon: doc/ztp-zbierka/03-spravnost-programov.tex,v 1.6 2004/05/18 19:39:27 nepto Exp $  % $Platon: doc/ztp-zbierka/03-spravnost-programov.tex,v 1.7 2005-11-23 19:33:59 nepto Exp $
   
 \chapter{Správnosť programov}  \chapter{Správnosť programov}
   
Line 936  c)\}$.
Line 936  c)\}$.
   
 \end{example} % */  \end{example} % */
   
 % \begin{solution} % /* BAD  
 %  
 % Hľadáme také $s$ a $r$, aby platil nasledujúci vzťah.  
 %  
 % $$  
 % \begin{array}{@{} c @{}}  
 % \{p \land c\}~S~\{p\}~~\{s \land b\}~S~\{r\}~~\{r \land c\}~S~\{s\}   \\  
 % (p \land\lnot c \Rightarrow s)~~(r \land\lnot c \Rightarrow s)~~(s \land\lnot b \Rightarrow p \land (\lnot b \land \lnot c))  \\  
 % \hline  
 % %\{p\}~\cmd{while}~ c ~\cmd{do}~ S ~\cmd{od}; ~\cmd{while}~ b  
 % %~\cmd{do}~ S; ~\cmd{while}~ c ~\cmd{do}~ S ~\cmd{od}; ~\cmd{od}~\{p  
 % %\land (\lnot b \land \lnot c)\}      \\  
 % \{p ~\land~ (b ~\lor~ c)\}~S~\{p\}    \\  
 % \end{array}  
 % $$  
 %  
 % \end{solution} % */  
   
 \begin{solution} % /*  \begin{solution} % /*
   
 Pre vyriešenie úlohy stačí dokázať nasledujúci  Pre vyriešenie úlohy stačí dokázať nasledujúci
Legend:
Removed from v.1.7  
changed lines
  Added in v.1.8
Platon Group <platon@platon.org> http://platon.org/
Copyright © 2002-2006 Platon Group
Site powered by Metafox CMS 		Go to Top