Platon Technologies
not logged in Login Registration
EnglishSlovak
open source software development celebrating 10 years of open source development! Saturday, October 17, 2026
[BACK] [TXT][DIR] Up to [Platon] / doc / statnica-teoria-prog

Diff for doc/statnica-teoria-prog/06-funkcionalne-programovanie.tex between version 1.2 and 1.3

version 1.2, 2006/08/19 08:23:02 version 1.3, 2006/09/04 09:31:52
Line 10 
Line 10 
 % 2006-08-17 - created  % 2006-08-17 - created
 %  %
   
 % $Platon: doc/statnica-teoria-prog/06-funkcionalne-programovanie.tex,v 1.1 2006-08-17 08:04:27 nepto Exp $  % $Platon: doc/statnica-teoria-prog/06-funkcionalne-programovanie.tex,v 1.2 2006-08-19 08:23:02 nepto Exp $
   
 \chapter{Funkcionálne programovanie}  \chapter{Funkcionálne programovanie}
   
Line 60 
Line 60 
                 \item označme $T$ tento $\lambda$ term $\lambda xy . x$, teda takto zakódujeme TRUE                  \item označme $T$ tento $\lambda$ term $\lambda xy . x$, teda takto zakódujeme TRUE
                 \item označme $F$ tento $\lambda$ term $\lambda xy . y$, teda takto zakódujeme FALSE                  \item označme $F$ tento $\lambda$ term $\lambda xy . y$, teda takto zakódujeme FALSE
                 \item označme $M$ tento $\lambda$ term $\lambda x . xT$, teda je to výber prvého argumentu                  \item označme $M$ tento $\lambda$ term $\lambda x . xT$, teda je to výber prvého argumentu
                 \item označme $M$ tento $\lambda$ term $\lambda x . xF$, teda je to výber druhého argumentu                  \item označme $N$ tento $\lambda$ term $\lambda x . xF$, teda je to výber druhého argumentu
         \end{itemize}          \end{itemize}
 \end{defn}  \end{defn}
   
Line 74 
Line 74 
   
 \begin{veta} ~  \begin{veta} ~
         \begin{enumerate}          \begin{enumerate}
                 \item $(C \Rightarrow_\beta T) \Rightarrow (CMN \Rightarrow_\beta M)$                  \item $(C \Rightarrow_\beta T) \Rightarrow (CMN \Rightarrow_\beta M)$\\
                 \item $(C \Rightarrow_\beta F) \Rightarrow (CMN \Rightarrow_\beta N)$                  $(C \Rightarrow_\beta T) \Rightarrow CMN = TMN = (\lambda xy . x)MN = M$
                 \item $(C \Rightarrow_\beta T) \Rightarrow (CMN = TMN = (\lambda xy . x)MN = M$                  \item $(C \Rightarrow_\beta F) \Rightarrow (CMN \Rightarrow_\beta N)$\\
                 \item $(C \Rightarrow_\beta F) \Rightarrow (CMN = FMN = (\lambda xy . y)MN = N$                  $(C \Rightarrow_\beta F) \Rightarrow CMN = FMN = (\lambda xy . y)MN = N$
         \end{enumerate}          \end{enumerate}
 \end{veta}  \end{veta}
   
Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3
Platon Group <platon@platon.org> http://platon.org/
Copyright © 2002-2006 Platon Group
Site powered by Metafox CMS 		Go to Top