tex-projects/LaTeX-examples
2
0
Fork 0
mirror of https://github.com/MartinThoma/LaTeX-examples.git synced 2025-04-26 06:48:04 +02:00
Code Activity

Added C

Browse source
This commit is contained in:
Martin Thoma 2014-03-09 19:06:23 +01:00
parent 25732f4421
commit a586fb4f77
8 changed files with 108 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

9
documents/Programmierparadigmen/Lambda.tex
View file

@ -149,6 +149,15 @@ Auch die gewohnten Operationen lassen sich so darstellen.
\end{align*}
\end{beispiel}
\begin{beispiel}[Vorgänger-Operation]
\begin{align*}
\pair&:= \lambda a. \lambda b. \lambda f. f a b\\
\fst &:= \lambda p. p (\lambda a. \lambda b. a)\\
\snd &:= \lambda p. p (\lambda a. \lambda b. b)\\
\nxt &:= \lambda p. \pair (\snd p)~(\succ (\snd p))\\
\pred&:= \lambda n. \fst (n \nxt (\pair c_0 c_0))
\end{align*}
\end{beispiel}
\begin{beispiel}[Addition]
\begin{align*}
\text{plus} &:= \lambda m n f z. m f (n f z)