Platon Technologies
neprihlásený Prihlásiť Registrácia
SlovakEnglish
open source software development oslavujeme 10 rokov vývoja otvoreného softvéru! Sobota, 24. október 2026
[BACK] [TXT][DIR] Vyššie na [Platon] / doc / ztp-zbierka

Rozdiely pre doc/ztp-zbierka/03-spravnost-programov.tex medzi verziami 1.7 a 1.8

verzia 1.7, 2005/11/23 19:33:59 verzia 1.8, 2007/04/29 19:39:13
Riadok 10 
Riadok 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}
   
Riadok 936  c)\}$.
Riadok 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:
Odstranené z verzie1.7  
zmenené riadky
  Pridané vo verzii1.8
Platon Group <platon@platon.sk> http://platon.sk/
Copyright © 2002-2006 Platon Group
Stránka používa redakčný systém Metafox 		Na začiatok