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

Diff for doc/ztp-zbierka/02-programove-schemy.tex between version 1.9 and 1.10

version 1.9, 2007/04/29 22:07:52 version 1.10, 2007/05/27 16:38:21
Line 10 
Line 10 
 % 26/02/2003 - created  % 26/02/2003 - created
 %  %
   
 % $Platon: doc/ztp-zbierka/02-programove-schemy.tex,v 1.8 2007-04-29 19:39:13 nepto Exp $  % $Platon: doc/ztp-zbierka/02-programove-schemy.tex,v 1.9 2007-04-29 22:07:52 nepto Exp $
   
 \chapter{Programové schémy}  \chapter{Programové schémy}
   
Line 147  Máme program $P_1$. Zistite, čo program
Line 147  Máme program $P_1$. Zistite, čo program
   
 $$  $$
 \begin{array}{lrl}  \begin{array}{lrl}
 P_1:    & \cmd{begin}   & [y_1, y_2] := [1, 1]                                                                  \\  P_1:    & \cmd{begin}   & [y_1, y_2] := [0, 0]                                                                  \\
                 & 1:                    & \cmd{if}~ y_2 \ge x ~\cmd{then}~\cmd{goto}~\cmd{end}  \\                  & 1:                    & \cmd{if}~ y_2 \ge x ~\cmd{then}~\cmd{goto}~\cmd{end}  \\
                 & 2:                    & [y_1, y_2] := [y_1 + 1, (y_1 + 1)^2]                                  \\                  & 2:                    & [y_1, y_2] := [y_1 + 1, (y_1 + 1)^2]                                  \\
                 & 3:                    & \cmd{goto}~1                                                                                  \\                  & 3:                    & \cmd{goto}~1                                                                                  \\
Line 193  $$
Line 193  $$
 I_1:    & i_1(p(y, x))  & =     & y \ge x               \\  I_1:    & i_1(p(y, x))  & =     & y \ge x               \\
                 & i_1(f_1(y))   & =     & y + 1                 \\                  & i_1(f_1(y))   & =     & y + 1                 \\
                 & i_1(f_2(y))   & =     & (y + 1)^2             \\                  & i_1(f_2(y))   & =     & (y + 1)^2             \\
                 & i_1(a_1)              & =     & 1                             \\                  & i_1(a_1)              & =     & 0                             \\
                 & i_1(a_2)              & =     & 1                             \\                  & i_1(a_2)              & =     & 0                             \\
                 & D_1                   & =     & \mathbb{N}    \\                  & D_1                   & =     & \mathbb{N}    \\
 \end{array}  \end{array}
 $$  $$
Line 217  $$
Line 217  $$
 I_2:    & i_2(p(y, x))  & =     & y \ge x               \\  I_2:    & i_2(p(y, x))  & =     & y \ge x               \\
                 & i_2(f_1(y))   & =     & y + 1                 \\                  & i_2(f_1(y))   & =     & y + 1                 \\
                 & i_2(f_2(y))   & =     & 2^{y + 1}             \\                  & i_2(f_2(y))   & =     & 2^{y + 1}             \\
                 & i_2(a_1)              & =     & 1                             \\                  & i_2(a_1)              & =     & 0                             \\
                 & i_2(a_2)              & =     & 0                             \\                  & i_2(a_2)              & =     & 1                             \\
                 & D_2                   & =     & \mathbb{N}    \\                  & D_2                   & =     & \mathbb{N}    \\
 \end{array}  \end{array}
 $$  $$
Legend:
Removed from v.1.9  
changed lines
  Added in v.1.10
Platon Group <platon@platon.org> http://platon.org/
Copyright © 2002-2006 Platon Group
Site powered by Metafox CMS 		Go to Top