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

Rozdiely pre doc/statnica-teoria-prog/06-funkcionalne-programovanie.tex medzi verziami 1.2 a 1.3

verzia 1.2, 2006/08/19 08:23:02 verzia 1.3, 2006/09/04 09:31:52
Riadok 10 
Riadok 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}
   
Riadok 60 
Riadok 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}
   
Riadok 74 
Riadok 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:
Odstranené z verzie1.2  
zmenené riadky
  Pridané vo verzii1.3
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