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

MPI;Prolog; Index ergänzt

Browse source
This commit is contained in:
Martin Thoma 2014-03-11 13:58:42 +01:00
parent 926bf6a386
commit 00c02a4fea
10 changed files with 54 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

3
documents/Programmierparadigmen/Lambda.tex
View file

@ -46,7 +46,7 @@ Die Funktionsapplikation sei linksassoziativ. Es gilt also:
Der untypisierte $\lambda$-Kalkül ist Turing-Äquivalent.
\end{satz}
\section{Reduktionen}
\section{Reduktionen}\index{Reduktionen|(}
\begin{definition}[Redex]\xindex{Redex}%
Eine $\lambda$-Term der Form $(\lambda x. t_1) t_2$ heißt Redex.
\end{definition}
@ -87,6 +87,7 @@ Die Funktionsapplikation sei linksassoziativ. Es gilt also:
\begin{beispiel}[$\eta$-Äquivalenz]
TODO
\end{beispiel}
\index{Reduktionen|)}
\section{Auswertungsstrategien}
\begin{definition}[Normalenreihenfolge]\xindex{Normalenreihenfolge}%