diff --git a/Vorlesungen/MatheC4/MaC4Cheatsheet.tex b/Vorlesungen/MatheC4/MaC4Cheatsheet.tex new file mode 100644 index 0000000..495d895 --- /dev/null +++ b/Vorlesungen/MatheC4/MaC4Cheatsheet.tex @@ -0,0 +1,621 @@ +\documentclass{article} +\usepackage{amsmath} +\usepackage{amssymb} +% -------- Umlaute korrekt ---------------- +\usepackage{ngerman} +\usepackage[latin1, utf8]{inputenc} +\usepackage[ngerman, english]{babel} +%------------------------------------------- + +% TikZ Library +\usepackage{tikz} +\usetikzlibrary{arrows,backgrounds,positioning,fit,calc,petri} +\usetikzlibrary{shapes, shapes.misc} +\usetikzlibrary{decorations.markings,decorations.pathmorphing} + +% Verlinkung von Url und Kapiteln +\usepackage{hyperref} +% Einrueckung unterbinden nach Absatz +\setlength{\parindent}{0pt} + +\DeclareMathSizes{10}{10}{10}{10} +\title{Mathe C4 Merz - Cheatsheet} +\author{greeny, nudelsalat, Sheppy\\September 2015} +\date{Diesen Zusammenfassung kann Fehler enthalten!} +\begin{document} +\maketitle +\tableofcontents +\newpage +\section{Statistik} +\subsection{empirisches arithmetisches Mittel} +\[x_{arith}=\frac{1}{n}\sum_{i=1}^n x_i\] +\subsection{empirischer Median (Zentralwert)} +\[ + x_{median}= + \begin{cases} + \frac{x_{n+1}}{2} & \text{n ungerade} \\ + \frac{x_{n/2} \;\; + x_{(n+1)/2}}{2} & \text{n gerade} + \end{cases} +\] +Wobei der Index f\"ur die n'te Zahl in einer Angabe in Stile von \{A,B,C,...\} steht. +\subsection{empirische korrigierte Varianz} +\[x_{var}=\frac{1}{n-1}\sum_{i=1}^n (x_i-x_{arith})\] +\subsection{Regressionsgerade} +\textbf{Gauss'sche Normalengleichung} +Die Regressionsgerade wird mit der Gauss'schen Normalengleichung gel\"ost. +\begin{align} + \begin{pmatrix} + \sum x_i^2 & \sum x_i \\ + \sum x_i & n + \end{pmatrix} + \begin{pmatrix} + a \\ + b + \end{pmatrix} + = + \begin{pmatrix} + \sum x_i*y_i \\ + \sum y_i + \end{pmatrix} \text{, mit $i \in n$} +\end{align} +$\rightarrow$ Auflösen nach Parametern $a,b$.\\ +\textbf{Regressionsgerade}: +\begin{align} + y(x) = a*x + b +\end{align} + +\subsection{Maximum-Likelyhood Methode} +\textbf{Problembeschreibung}: Man m\"ochte f\"ur einen unbekannten Parameter $\lambda$ +einer Verteilung, die mindestens einen Parameter besitzt, einen Sch\"atzwert bestimmen +mithilfe einer konkreten Stichprobe $(x_1, \ldots, x_n)$. + +\begin{enumerate} + \item Likelihood-Funktion $L(\lambda)$ bilden f\"ur gegebene Verteilung + \begin{align} + L(\lambda) = L(x_1, \ldots, x_n; \lambda) = = \prod_{i=1}^n + \underbrace{f}_{\text{Dichtefunktion}}(x_i, \lambda)\\ + \end{align} + Im Falle von Exponentialverteilung:\\ + \begin{align} + \prod_{i=1}^n \lambda e^{-\lambda x_i} = \lambda^n * e^{-\lambda * \sum_{i=1}^{n}x_i} + \end{align} + \item Funktion $L(\lambda)$ mit $\ln$ multiplizieren\\ + Rechenregeln f\"ur $\ln$: + \begin{itemize} + \item $\ln a^b = b * \ln a$ + \item $\ln (a*b) = \ln a + \ln b$ + \end{itemize} + \item Ableiten nach $\lambda$: $\frac{\partial \ln * L(\lambda)}{\partial \lambda}$ + \item Funktion gleich $0$ setzen und nach $\lambda$ aufl\"osen. +\end{enumerate} + +\subsection{Konfidenzintervalle} +Standartwerte f\"ur Konfidenz: +\begin{align*} + 90\%:z = 1.65\\ + 95\%:z = 1.96\\ + 99\%:z = 2.58 +\end{align*} + +\begin{align} + P(|\bar{x}-\mu| \geq c) = \alpha \\ + \mu \in [\bar{x} - z_{1-\frac{\alpha}{2}} * \frac{\sigma}{\sqrt{n}}] +\end{align} + +\subsection{Kovarianz} +Sind zwei Zufallsvariablen $X_1$, $X_2$ stochastisch unabh\"angig dann +gilt: + +\begin{align} + cov(X_1,X_2) = 0 +\end{align} + +Ansonsten: +\begin{align} + cov(X_1,X_2) = E(X_1X_2) - E(X_1)E(X_2) +\end{align} +\textbf{Erwartungswert}: +\begin{align} + EX = \sum_{k \in \Omega} k * P(X = k) = \int_{-\infty}^{\infty} x * f(x) dx +\end{align} +\textbf{Beispiel}: +Berechnen der Kovarianz der Zufallsvariablen $Z_1 = X_1 - X_2$ und $Z_2 = X_1$, +wenn der Zufallsvektor $(X_1,X_2)$ auf der Menge +\begin{align} + M = \{(x_1,x_2)| 0 \leq x_2 \leq 2 \text{ und } 0 \leq x_1 \leq x_2\} +\end{align} +\textbf{Gesucht}: $cov(Z_1, Z_2)$ +\begin{enumerate} + \item Kovavarianz umformen + \begin{align} + cov(Z_1, Z_2) = cov(X_1-X_2, X_1) = (E(X^2_1)-E(X_1)^2)-(E(X_2X_1)-E(X_2)E(X_1)) + \end{align} + \item Die \textbf{Fl\"ache} $A_M$ unter Funktion berechnen: $A_M = 2$.\\ + \item Die \textbf{Dichtefunktion} ist der Kehrwert von $A_M$ und damit $\frac{1}{2}$. + \begin{align} + f(x_1,x_2) = + \begin{cases} + \frac{1}{2} & x_1,x_2 \in M \\ + 0 & sonst + \end{cases} + \end{align} + \item Jetzt wieder mittels \textbf{Marginalsdichte} $f(x_1)$ und $f(x_2)$ bestimmen. + \begin{align} + f_1(x_1) = \int_{x_1}^2 f(x_1,x_2) dx_2\\ + f_2(x_2) = \int_{0}^{x_2} f(x_1,x_2) dx_1 + \end{align} + \item Berechnung der ben\"otigten Erwartungswerte $E$: + \begin{align} + E(X_i) = \int_{0}^{2} x_i * f_i(x_i) dx\\ + E(X_i^2) = \int_{0}^{2} x_i^2 * f_i(x_i) dx\\ + E(X_1X_2) = \underbrace{\int_0^{2}\int_{0}^{x_2}}_{\text{Integration \"uber $x_1$ und + $x_2$}} x_1*x_2*f(x_1,x_2) dx_1 dx_2 + \end{align} + \item Einsetzen in umgeformte Kovarianzformel (siehe 1) +\end{enumerate} +\subsection{Markov-Ketten} +\begin{itemize} + \item Bei Übergangsmatrix $P \in (\mathbb{R}_{\geq 0})^{r x r}$ sind alle Zeilensummen gleich $1$. + \item Vektor $\vec{u} \in (\mathbb{R}_{\geq 0})^{r}$ mit $||\vec{u}||_1 = 1$ + der + \begin{align} + \vec{u} = P^T \cdot \vec{u} + \end{align} + erfüllt, heißt \textbf{Gleichgewichtszustand/-verteilung}. + \item \textbf{Berechnung} von $\vec{u}$: $\text{Kern}(P^T - \text{ Id}_r)$.\\$\rightarrow$ + Kern wird berechnet durch klassischen Gauß- Algorithmus. Wenn keine + eindeutige Lsg (z.B. $0 = 0$), dann Variable beliebig wählen. Es gibt + immer einen Kern, da Determinante $0$ garantiert ist durch obige\\ + Summenbedingung. + \item Vektoreinträge müssen positiv sein, sonst Fehler. + \item Vektor $\vec{u}$ durch $||\vec{u}||_1$ (Summennorm) teilen. + \begin{align} + ||\vec{u}||_1 := \sum^n_{i=1}|x_i| + \end{align} +\end{itemize} +\section{Mengen} +\subsection{o-Algebra} +- leere Menge enthalten\\ +- alle Kombinationen der Elemente enthalten, die nicht bereits gemeinsamme Elemente haben also z.B. \textbf{NICHT} \{x,y\} und \{y,z\} zu \{x,y,z\} machen\\ +- alle Komplemente enthalten\\ \\ +\textbf{Beispiel:}\\ +Grundmenge = $\{1,2,3,4\}$\\ +NICHT o-Algebra Menge = $\{\{1,2\},\{3\}\}$\\ +o-Algebra Menge = $\{\emptyset ,\{1,2\},\{3\}, + \underbrace{\{1,2,3\}}_{\substack{\{1,2\}\{3\}}}, + \underbrace{\{3,4\}}_{\substack{\neg \{1,2\}}}, + \underbrace{\{4\}}_{\substack{\neg \{1,2,3\}}}, +\{1,2,3,4\},\{1,2,4\}\}$ + +\section{Wahrscheinlichkeiten} +\subsection{W\"urfeln} +\subsubsection{keine 6} +\[ + p_0 = \left( \frac{5}{6} \right)^n , n = \text{Anzahl der W\"urfe} +\] +\subsubsection{mindestens 'x' 6er (Gegenereignis)} +\[ + p_1 = 1 - \left( \frac{5}{6} \right)^n = 1 - p_0 +\] +\[ + p_2 = 1-\left(1 - \left( \frac{5}{6} \right)^n\right)-\left( \frac{5}{6} \right)^n = 1-p_1 -p_0 +\] +\[ + p_x = 1 - \sum_{i=0}^{x-1} p_i +\] +\subsubsection{6er-Pasch bei 2 W\"urfeln} +$Ereignisraum = 6^2 , \text{Anzahl g\"unstiger Ereignisse = 1 , n\"ahmlich (6,6)}$\\ +dann wieder \"uber Gegenereignis: \\ +\[ p=1-\left(\frac{35}{36}\right)^n \] +\subsubsection{genau eine 6 bei n-W\"urfeln/W\"urfen} +\[ p= \frac{n*5^{(n-1)}}{6^n}\]\\ +- $6^n $ ist wie immer die Anzahl der Gesamtm\"oglichkeiten \\ +- es gibt n-Moglichkeiten an der die 6 sein kann \\ +- es bleiben bei den verbleibenden n-1 W\"urfen 5 M\"oglichkeiten +\subsubsection{genau x-6er bei n-W\"urfeln/W\"urfen} +\[ p= \frac{\begin{pmatrix} + n\\k +\end{pmatrix}5^{(n-k)}}{6^n}\]\\ +\[\begin{pmatrix} + n\\k + \end{pmatrix}= \frac{n!}{k!(n-k)!} +\]\\ +$\textbf{oder noch allgemeiner, mit Anzahl M\"oglichkeiten 'z' (z.B. 6 bei W\"urfel):}$\[ + p= \frac{\begin{pmatrix} + n\\k + \end{pmatrix}(z-1)^{(n-k)}}{z^n} +\] +\subsubsection{X-Mal Werfen, min eine 3 unter der Bedingung min. eine 6} +A = min. eine 3 \\ +B = min. eine 6 \\\\ +\textbf{gesucht:} \[P(A|B) = \frac{P(A\cap B)}{P(B)} \] +\[P(B) = 1-P(keine\;6) = 1-\left(\frac{5}{6}\right)^4 = \frac{625}{1296}\] +\textbf{Idee:} +\begin{align*} + P(A\cap B) &= 1-P(\neg (A\cap B))\\ + &= 1-P(\neg A \cup \neg B)\\ + &= 1-P(\neg A) - P(\neg B) + P(\neg A \cap \neg B)\\ + &= 1-P(keine\;3)-P(keine\;6)+P(weder\;3\;noch\;6)\\ + &= 1-\left( \frac{5}{6}\right)^4-\left( \frac{5}{6}\right)^4-\left( \frac{4}{6}\right)^4 = 1- \frac{994}{1296} +\end{align*} +...und das dann nur noch oben einsetzen und fertig. +\[P(A|B) = \frac{P(A\cap B)}{P(B)} \] +also: +\[P(A|B) = \frac{\frac{994}{1296}}{\frac{625}{1296}}\] + +\subsubsection{Seiten mit verschiedenen Wahrscheinlichkeiten} +z.B. 6 Seiten mit normaler Wahrscheinlichkeit $(w_1)$, 8 Seiten mit 1/4 Wahrscheinlichkeit +$(w_2)$, wir exploiten die Tatsache, dass: \\ \[ \sum +(Teil-)Wahrscheinlichkeiten = 1 \]\\ +also:\\ +\begin{equation} +6w_1 + 8w_2 = 1 \end{equation} +\begin{equation} + \frac{1}{4}w_1 = w_2 +\end{equation}\\ +Zwei Gleichungen, zwei Unbekannte, easy mode. + +\section{Bedingte Wahrscheinlichkeiten} +\subsection{Beispiele} +\subsubsection{Krankheitstest} +0,2\% Krank, 95\% der Kranken werden erkannt, 98\% der Gesunden werden richtig erkannt\\ \\ +Ereignis $A_1$: Person ist krank\\ +Ereignis $A_2$: Person ist gesund\\ +Ereignis $B$: Test identifiziert Person als krank.\\ + +\textbf{Wie viele als Krank erkannte wirklich krank?}\\ +\[ + P(A_1 | B ) = \frac{P(B|A_1)*P(A_1)} + {P(B|A_1)*P(A_1)+P(B| A_2)*P(A_2)} = + \frac{0,95*0,002}{0,95*0,002+0,002*0,998} = 8,7\% +\] + +\vspace*{10pt} + +L\"osung mittels \textbf{Formel von Bayes}: +\begin{align} + P(B_k/A) = \frac{P(A|B_k) * P(B_k)}{\sum_{j \in J} P(A|B_j) * P(B_j)} +\end{align} +Dieser Vorgang wird auch \textbf{R\"uckw\"artsinduktion} genannt. Angenommen man +kennt die Wahrscheinlichkeit eines Ereignis unter einer gewissen Bedingung (hier Test +schl\"agt zu $x\%$ an unter Bedingung Person ist krank $P(B|A_1)$ oder Person ist gesund +$P(B|A_2)$), dann kann man die umgekehrte bedingte Wahrscheinlichkeit +mit dieser Formel berechnen. Hier: Wie wahrscheinlich ist es, dass Person krank ist, unter +Bedingung, dass Test das gemeldet hat $P(A_1|B)$. + +\subsubsection{min. eine 6 unter Bedingung verschiedene Augenzahlen} +\[ + P(min. eine 6|verschiedene Augenzahlen) = \frac{\text{M\"oglichkeiten verschiedene Augenzahlen + UND min. eine 6}}{\text{M\"oglichkeiten verschiedene Augenzahlen}} +\]\\ +\[ + p=\frac{n*(6-1)!-(6-n)!}{6!-n!} +\] +bei 3 W\"urfeln also z.B.:\[ + p=\frac{3*5!-3!}{6!-3!} = \frac{3*5*4}{6*5*4} = 0,5 +\] + +\section{Wahrscheinlichkeitsfunktionen} +\subsection{Eigenschaften von Wahrscheinlichkeitsfunktionen} +\[ \sum_{w \in \Omega} f(w) = 1 \text{ (die Summe aller Wahrscheinlichkeiten ist 1)}\] +und logischerweise: +\[ \forall w\in\Omega . f(w)>=0 \text{ (keine negativen Wahrscheinlichkeiten)} \] +\subsection{Absoluten Momente diskreter Verteilungen} +Ist f\"ur $k \in \{1,2,3,\ldots\}$ die Summe $\sum_{x \in X} |x|^kf(x) < \infty$, +so heisst +\begin{align} + m_k = m_k(P) = \sum_{x \in X} x^kf(x) +\end{align} +das \textbf{k-te absolute Moment} der Verteilung P. + +\subsubsection{Mittelwert, Varianz} +\begin{itemize} + \item Mittelwert: $m_1 = m_1(P) = \sum_{n=0}^\infty n*f(n)$ + \item Varianz: $\widehat{m}_2 = m_2 - m_1^2$ +\end{itemize} +\subsubsection{Momenterzeugende Funktion} +\[ + M(t)=\sum_{n\in\Omega}^{\infty}(e^t)^n * f(n) +\] +- f(n) ist die gegebene Wahrscheinlichkeitsfunktion\\ +- 'n' k\"onnte z.B. definiert sein als $n=\{1,2,3,...\}$ + +\vspace*{15pt} +\textbf{Berechnungsvorschrift} f\"ur das k-te Moment: +\begin{enumerate} + \item Berechne k-te Ableitung $M^k$ von $M(t)$ + \item $m_i = M^{(k)}(0)$ +\end{enumerate} +\subsection{Erzeugende Funktion} +\subsubsection{Wahrscheinlichkeitsfunktion berechnen} +\textbf{Gegegeben:} Eine erzeugende Funktion $\hat{f}(z)$ gegeben. +\begin{align} + \hat{f}(z) = \sum^{\infty}_{k=0} f(k)z^k +\end{align} +\textbf{Gesucht:} Die Funktion $f(k)$ + +M\"oglichkeit 1: Taylorentwicklung +\begin{align} + \hat{f}(z) = \sum_{k=0}^{\infty} \frac{1}{k!}\hat{f}^{(k)}(0)z^k\\ + \Rightarrow f(k) = \frac{1}{k!} \hat{f}^{k}(0) +\end{align} + +M\"oglichkeit 2: Problem auf bekannte diskrete Verteilung zur\"uckf\"uhren (z.B. geometrische +Reihe) +\subsubsection{Mittelwert $m_1$} +\begin{align} + M(t) = \hat{f}(e^t)\\ + m_1 = M'(t)|_{t=0} = \hat{f}'(e^t)e^t|_{t=0} = \hat{f}'(1) +\end{align} +\subsubsection{Varianz $\hat{m}_2$} +\begin{enumerate} + \item Zuerst \textbf{zweites Moment} berechnen: + \begin{align} + m_2 = \hat{f}''(1) + \hat{f}'(1) \rightarrow \text{, falls \textbf{Erzeugende-Funktion} + (hier)}\\ + m_2 = \hat{f}''(0) \rightarrow \text{, falls \textbf{Momenterzeugende-Funktion}} + \end{align} + \item Dann \textbf{Varianz}: + \begin{align} + \hat{m}_2 = m_2 - m_1^2 + \end{align} + Siehe unten f\"ur $m_2$ Berechnungsvorschrift! +\end{enumerate} +\section{Verteilungen und Verteilungsfunktionen} +\subsection{Allgemein} +\subsubsection{Eigenschaften Verteilungsfunktionen} +\begin{itemize} + \item stetig + \item monoton steigend + \item $\lim_{t \to \infty} G(t) = 1, \quad \lim_{t \to -\infty} G(t) = 0$ + \item Dichte $g(t) = G'(t)$ + \item $m_1 = \int_{-\infty}^{\infty}t*g(t)dt$ +\end{itemize} +\subsection{Binominalverteilung} +\subsubsection{Allgemein} +\[ + \mathcal{B}(k | p,n) \enspace \textbf{ oder auch } \enspace B(k;p,n) = +\begin{pmatrix} n \\ k \end{pmatrix} p^k(1-p)^{n-k} \enspace \newline +\text{mit k = 0,1,2,...,n} \] +- wobei diese Funktion die \textbf{kumulierte} Wahrscheinlichkeit angibt, also z.B. +wobei k = 2 die Wahrscheinlichkeit "1 oder 2" +\\ - p ist die Wahrscheinlichkeit f\"ur ein positives Ereignisse +\\ - n ist Anzahl wie oft wir ziehen + +\subsubsection{Beispiel: 500 Druckfehler auf 500 Seiten} +Wie hoch ist die Wahrscheinlichkeit, dass auf einer Seite mindestens 3 Druckfehler +sind? +\[ +1- \sum_{k=0}^{2} \mathcal{B}(k,p,n) \enspace mit \enspace \] \\ +k=0,1,2 (Gegenereignisse)\\ n = 500 +(wir ziehen Fehler "ohne zur\"ucklegen") \\ p=1/500 (die Wahrscheinlichkeit dass +ein Fehler auf einer bestimmten Seite ist)\\ +\begin{equation*} + \begin{split} + 1- \sum_{k=0}^{2} \mathcal{B}(k|1/500,500) + & = 1 - \mathcal{B}(0|1/500,500) - \mathcal{B}(1|1/500,500) - \mathcal{B}(2|1/500,500) \\ + & = 1 - \left( \frac{499}{500} \right) ^{500} - 500\frac{1}{500}\left(\frac{499}{500}\right)^{499} - \frac{500*499}{1*2}\left( \frac{1}{500} \right) ^2 \left( \frac{499}{500} \right) ^{498} \\ & = 0,08 + \end{split} +\end{equation*} +\subsection{Poisson-Verteilung} +\subsubsection{Allgemein} +Ereignisse m\"ussen mit konstanter Rate, unabh\"angig voneinander und in einem festen +Bereich (Modell) stattfinden! +\[ + P_{\lambda}(n) = \frac{\lambda ^n}{n!} e ^{- \lambda} +\] +\subsection{Normal-Verteilung $\mathcal{N}(\mu, \sigma^2)$} +$f(x) = N(\mu, \sigma^2) = \frac{1}{\sqrt{2\pi\sigma^2}}*e^{-\frac{1}{2\sigma^2}(x- +\mu)^2} \quad \quad m_1 = \mu \quad \quad \widehat{m}_2=\sigma^2$ +\subsubsection{$\mathcal{N}(0,1)$-Verteilung} +$f(x) = \frac{1}{\sqrt{2\pi}}*e^{-0.5x^2}$ +\subsection{Exponentiallverteilung} +\textbf{Dichtefunktion}: +\begin{align} f_\lambda(x) = + \begin{cases} + \lambda*e^{-\lambda x} & x \geq 0 \\ + 0 & x < 0 + \end{cases} +\end{align} +\textbf{Verteilungsfunktion}: +\begin{align} F(x) = \int_0^x f_\lambda(t) dt = + \begin{cases} + 1 - e^{-\lambda x} & x \geq 0 \\ + 0 & x < 0 + \end{cases} +\end{align} +\subsection{Laplace-Verteilung} +Zufallsexperimente, bei denen jedes Ergebnis die gleiche Chance hat. \\ +$f(w) = L(\Omega) = \frac{1}{|\Omega|}$ +\subsection{Hypergeometrische Verteilung} +Zufallsexperimente, bei denen man die Ergebnisse als Anzahlen von schwarzen Kugeln unter n gezogenen interpretieren kann. \\ +$f(k) = H(N, K, n) = \frac{\binom{K}{k}*\binom{N-K}{n-k}}{\binom{N}{n}}$ +\subsection{Geometrische Verteilung} +Die geometrische Verteilung beschreibt die Wartezeit für das erstmalige Eintreten +eines Ereignisses unter der Annahme der Ged\"achtnislosigkeit. \\ +$G(p) = f(n) = p*q^{n-1} \quad \quad m_1 = \frac{1}{p}$ +\subsection{Uniform-Verteilung $\mathcal{U}(a,b)$} +\textbf{Dichtefunktion}: +\begin{align} f(x) = + \begin{cases} + \frac{1}{b - a} & a \leq x \leq b \\ + 0 & sonst + \end{cases} +\end{align} +\textbf{Verteilungsfunktion}: +\begin{align} F(x) = + \begin{cases} + 0 & x \leq a\\ + \frac{x - a}{b - a} & a < x < b \\ + 1 & x \geq b\\ + \end{cases} +\end{align} + +\section{Zufallsvariablen} +\subsection{Dichten von Verteilungen von Zufallsvariablen} +\textbf{Problembeschreibung}: Berechnung von Wahrscheinlichkeit des +Ereignisses $(X_1 > a * X_2)$ o.\"a. +Zufallsvariablen $X_1, X_2$ sind dabei stochastisch +unabh\"angig. Die Verteilungen von $X_i$ haben dabei die Dichten +$f_i$.\\ +Somit gilt nach der Marginalsdichte: $f(x_1,x_2) = f_1(x_1)*f_2(x_2)$. + +\begin{align} + P(X_1 > a * X_2) = \int \int_{x_1>a*x_2} f_1(x_1)*f_2(x_2) dx_1dx_2 := I +\end{align} +In Abh\"angigkeit von Reihenfolge, in der die Integration \"uber die Variablen +$x_1$ und $x_2$ durchgef\"uhrt werden, ergeben sich zwei Darstellungen: + +\begin{align} + I = \int_{-\infty}^{\infty} f_1(x_1)F_2(\frac{1}{a}x_1)dx_1\\ + I = \int_{-\infty}^{\infty} f_2(x_2)(1 - F_1(ax_2))dx_2 +\end{align} +Siehe auch L\"osungssammlung Aufgabe $98$ ff. + +\subsubsection{Beispiel} +Die Zufallsvariablen $X_1$ und $X_2$ seien uniform verteilt auf +$[0, 2]$. Berechnen Wahrscheinlichkeit des Ereignisses $(X_1X_2 \leq \frac{1}{2})$. + +\begin{align} + M = \{(x_1, x_2) \in \mathbb{R}^2 | 0 \leq x_1,x_2 \leq 2\}\\ + f(x_1,x_2) = + \begin{cases} + f(x_1)*f(x_2) = \frac{1}{4} & \text{f\"ur } (x_1,x_2) \in M \\ + 0 & \text{sonst} + \end{cases} +\end{align} +Borelsche Menge: +\begin{align} + B = \{(x_1, x_2) \in \mathbb{R}^2 | x_1*x_2 \leq \frac{1}{2}\ = x_2 \leq \frac{1}{2 x_1}\} \\ + P(x_1x_2 \leq \frac{1}{2}) = \int_B f(x_1, x_2) d(x_1, x_2) = \int 1_B*1_M*\frac{1}{4} + d(x_1,x_2)\\ + \int 1_{B \cap M} * \frac{1}{4} d(x_1,x_2) +\end{align} +Schnittmenge aus $B$ und $M$: +\begin{center} + \includegraphics[scale=0.3]{graph.png} +\end{center} +\begin{align} + B \cap M = \{(x_1, x_2) \in \mathbb{R}^2\ | (0 \leq x_1 \leq \frac{1}{4} \wedge 0 \leq x_2 \leq + 2) \vee (\frac{1}{4} \leq x_1 \leq 2 \wedge 0 \leq x_2 \leq \frac{1}{2x_1})\}\\ + \longrightarrow + P(x_1x_2 \leq \frac{1}{2}) = \int^{\frac{1}{4}}_{0} \int^2_0 \frac{1}{4} dx_1dx_2 + + \int^2_{\frac{1}{4}} \int^{\frac{1}{2x_1}}_0 \frac{1}{4} dx_2 dx_1 +\end{align} +\subsection{Erwartungswert $\varepsilon$ diskreter Zufallsvariablen} +Falls der Erwartungswert einer diskreten Zufallsvariablen $X$ auf +einem diskreten Wahrscheinlichkeitsraum $(\Omega, \mathcal{A}, P)$ existiert, +ist +\begin{align} + \varepsilon_P X = \sum_{\omega \in \Omega} X(\omega)P\{\omega\} +\end{align} + +\section{Marginaldichte - Beispielrechnung} +\[ + f(x_1,x_2)= + \begin{cases} + ce^{-(2x_1+3x_2)} & x_1 > 0 \: und \: 0 < x_2 =stealth',semithick}, + post/.style={->,shorten >=1pt,>=stealth',semithick}, + mid/.style={-,shorten >=1pt,>=stealth',semithick}, + place/.style={circle,draw=red!50,fill=red!20,thick}] + + \node[place] (A) at ( 0,0)[label=above:Before] {$(\Omega, A, P) $}; + \node[place] (B) at ( 2,0) {$(R^n, B_n, P^X)$} + edge [pre] node [auto] {X} (A); + \node[place, align=center] (C) at ( 2,-3) {$(R^m, B_m, P^G$} + edge [pre] node [auto] {$Y = G \circ X$} (A) + edge [pre] node [auto] {$G$} (B); + \end{tikzpicture} +\end{center} +\vspace*{7pt} +\textbf{Gegeben:} Man hat stochastisch unabhängige Zufallsvariablen $X_1, \ldots , X_n$ gegeben mit +Art der Verteilung. + +\textbf{Gesucht:} Verteilung von Zufallsvariable $Y$, die sich aus $X_i$ berechnen lässt. + +\textbf{Beispiel:}\\ +Welche Verteilung besitzt +\begin{align} + Y = \frac{X_1}{X_1 + X_2} +\end{align} +falls $X_1$ und $X_2$ exponentiell verteilt mit Paramter $\lambda$ und stochastisch +unabhängig sind. + +\begin{enumerate} + \item Wegen Unabhängigkeit der Variablen $X_1$ und $X_2$ besitzt $P^X$ + die Dichte $f(x_1,x_2) = f_1(x_1)f_2(x_2)$. + \item $M = {(x_1, x_2); x_1 > 0 \text{ und } x_2 > 0}$\\ + $\longrightarrow$ Wertebereich von $x_n$ anhand von Verteilung ermitteln. + \item Gleichungen $G(x)$ definieren: + \begin{align} + y_1 &= \frac{x_1}{x_1 + x_2}\\ + y_2 &= x_2 + \end{align} + \item Funktionaldeterminante ($J_{G}(x)$) der Abbildung $G$ berechnen + \begin{align} + J_{G}(x) = + \text{det} \begin{pmatrix} + \frac{\partial G_1}{\partial x_1} (x) & \cdots & \frac{\partial G_1}{\partial x_n} (x) \\ + \vdots & \ddots & \vdots \\ + \frac{\partial G_n}{\partial x_1} (x) & \cdots & \frac{\partial G_n}{\partial x_n} (x) \\ + \end{pmatrix}\\ + J_{G}(x_1,x_2) = + \text{det} \begin{pmatrix} + \frac{x_2}{(x_1 + x_2)^2} & * \\ + 0 & 1 \\ + \end{pmatrix} = \frac{x_2}{(x_1 + x_2)^2} + \end{align} + \item Umkehrabbildung $G^*$ berechnen. Alle Zufallsvariablen werden + werden mittels Funktionen verändert: z.B: $y_1 = x_1/x_2$. + Jede i-te Funktion nach $x_i$ auflösen. + \begin{align} + x1 = \frac{y_1y_2}{1 - y_1}\\ + x_2 = y_2 + \end{align} + \item Gesuchte Funktion: $g(y) = f(G^*(y))\frac{1}{|J_G(G^*(y))|}$\\ + $\longrightarrow$ Setze für alle $x_i$ dementsprechend $y_i$ ein und multipliziere + mit Kehrwehrt von Funktionaldeterminante. + \begin{align} + g(y_1,y_2) = \lambda^2e^{-\frac{\lambda}{1 - y_1}}\frac{y_2}{(1-y_1)^2} + \end{align} + \item Mit Marginaldichte $g_1(y_1)$ berechnen:\\ + \begin{align} + g_1(y_1) = \frac{\lambda}{1 - y_1} \int^\infty_0 y_2\frac{\lambda}{1 - y_1} + e^{-\frac{\lambda}{1 - y_1}} dy_2\\ + = \frac{\lambda}{1 - y_1} m_1 (\varepsilon(\frac{\lambda}{1 - y_1}))\\ + = 1 + \end{align} + $\longrightarrow$ Da Mittelwert der $\varepsilon$-Verteilung gerade Kehrwert des + Paramters ist. + \item Folgerung: Dichte $g_1$ ist also die der Uniform-Verteilung ($U(0,1)$). +\end{enumerate} + +\end{document} diff --git a/Vorlesungen/MatheC4/Makefile b/Vorlesungen/MatheC4/Makefile new file mode 100644 index 0000000..b0a4b0f --- /dev/null +++ b/Vorlesungen/MatheC4/Makefile @@ -0,0 +1,22 @@ +PDF = MaC4Cheatsheet + +all: $(PDF) + +continuous: $(PDF).continuous + +%.continuous: %.pdf + latexmk -jobname=$(@:%.continuous=%) -pvc -pdf $(@:%.continuous=%).tex + +$(PDF): $(PDF).pdf + +%.pdf: %.tex + latexmk -jobname=$(@:%.pdf=%) -pdf $< + +clean: + latexmk -c -f $(PDF).tex + +distclean: + latexmk -C -f $(PDF).tex + rm -f $(PDF).pdf + +.PHONY: all clean distclean $(PDF) continuous diff --git a/Vorlesungen/MatheC4/graph.png b/Vorlesungen/MatheC4/graph.png new file mode 100644 index 0000000..5563aa0 Binary files /dev/null and b/Vorlesungen/MatheC4/graph.png differ diff --git a/Vorlesungen/ThProg/Koinduktion_reduktion.tex b/Vorlesungen/ThProg/Koinduktion_reduktion.tex new file mode 100644 index 0000000..e565e40 --- /dev/null +++ b/Vorlesungen/ThProg/Koinduktion_reduktion.tex @@ -0,0 +1,111 @@ + \documentclass{article} + \usepackage{amsmath} + \usepackage{nccmath} + \DeclareMathSizes{10}{10}{10}{10} + \setlength{\parindent}{0pt} + \title{Ko-Rekursion/-Induktion} + \date{ } + \begin{document} + \maketitle + \section{Korekursion} + \textbf{Gegeben:} + \begin{fleqn} + \begin{align*} + co&data Signal\:where \\ + & \enspace currentSample : Signal \rightarrow Int \\ + & \enspace discardSample : Signal \rightarrow Signal + \end{align*} + \end{fleqn} + \textbf{sowie:} + \begin{fleqn} + \begin{align*} + ¤tSample(flat\:x) = x & + &discardSample(flat\:x) = flat\:x \\ + ¤tSample(square\:x\:y) & + &discardSample(square\:x\:y) + \end{align*} + \end{fleqn} + \textbf{Es soll gelten:}\\ + sampler t s\enspace = s , wenn $t>0$ und 0 sonst\\ + sowie insbesondere: + \begin{fleqn} + \begin{align*} + &sampler:\:Signal\rightarrow Signal\rightarrow Signal \\ + &sampler(square\:0\:1)(square\:x\:0) = flat\:0 \\ + &sampler(square\:1\:0)(flat\:x) = square\:x\:0 \\ + \end{align*} + \end{fleqn} + \textbf{Schritt 1:}\\ + $\rightarrow$ sampler Funktion in codata-Funktionen einsetzen + \begin{fleqn} + \begin{align*} + ¤tSample(sampler\:t\:s)\\ + &discardSample(sampler\:t\:s) + \end{align*} + \end{fleqn} + \textbf{Schritt 2:}\\ + $\rightarrow$ Bedingung von oben bei erster Funktion anwenden also: + \begin{fleqn} + \begin{align*} + currentSample(sampler\:t\:s) = \:&if\:(currentSample\:\:t>0)\\ + &then\:(currentSample\:\:s)\\ + &else\:(flat\:\:0) + \end{align*} + \end{fleqn} + \textbf{sowie zweite Formel zum Aufteilen verwenden:} + \begin{fleqn} + \begin{align*} + discardSample(sampler\:t\:s) = sampler(discardSample\:\:t)(discardSample\:\:s) + \end{align*} + \end{fleqn} + \newpage + \section{Ko-Induktion:} + \textbf{Induktionsanfang:}\\ + $\rightarrow$ anhand erster Formel 'R' aufstellen + \[ + R = \{ + \underbrace{ + sampler(square\:0\:1)(square\:x\:0)}_{linke\:Seite},\underbrace{flat\:0}_{rechte\:Seite} \:|\: \underbrace{x\in Int}_{von\:oben}\} + \] + $\rightarrow$ "R ist Bisimulation" hinschreiben, linke Seite aufloesen\\ + \[ sampler(square\:0\:1)(square\:x\:0) = 0 \] + $\rightarrow$ wenn hier am Endde kein Term rauskommt, dann koennen wir einfach die \textbf{rechte Seite bei der normalen Funktion} einsetzen und selbige aufloesen: + \[ currentSample(flat\;0) = 0 \] + $\rightarrow$ sehr gut, die rechten Seiten sind gleich wir sind hier also fertig\\ \\ + \textbf{zweite Bedingung:} + \[discardSample(sampler(square\:1\:0)(square\:0\:x)) = sampler(square\:1\:0)(square\:0\:x)\] + \textit{das ist doof denn:} + \[discardSample(flat 0) = 0\] + \textbf{Schritt 3:}\\ + \[R' = R \;\cup\;\{\underbrace{sampler(square\:1\:0)(square\:0\:x)}_{aufgeloeste\;2.\;Bedingung},flat\;0\:|\:x\in Int\}\] + wir muessen jetzt zeigen: + \[ + currentSample(\underbrace{sampler(square\:1\:0)(square\:0\:x)}_{hier\;=\;0}) = \underbrace{currentSample(flat\;0)}_{hier\;=\;0} + \] + passt also, jetzt wie oben auch zweite Funktion: + \[ + discardSample(sampler(square\:1\:0)(square\:0\:x)) = \underbrace{sampler(square\:1\:0)(square\:0\:x)}_{wieder\;linke\;Seite\;in\;R'}\]\[ + discardSample(flat\;0) = \underbrace{flat\;0}_{wieder\;rechte\;Seite} + \] + und fertig!\\\\ + \begin{tiny} + \copyright\ Joint-Troll-Expert-Group (JTEG) 2015 + \end{tiny} + \newpage + + + + + + + + + + + + + + + + +\end{document} \ No newline at end of file diff --git a/Vorlesungen/ThProg/Konfluenz.tex b/Vorlesungen/ThProg/Konfluenz.tex new file mode 100644 index 0000000..22cd5f0 --- /dev/null +++ b/Vorlesungen/ThProg/Konfluenz.tex @@ -0,0 +1,49 @@ + \documentclass{article} + \usepackage{amsmath} + \usepackage{nccmath} + \DeclareMathSizes{10}{10}{10}{10} + \setlength{\parindent}{0pt} + \title{Konfluenz} + \date{ } + \begin{document} + \maketitle + \section{Matching Table:} + Formeln: + \begin{align} + x \Uparrow ( y \Uparrow z) & \rightarrow_{0} + \; x \Uparrow (y \Downarrow y) + \\ + x \Downarrow ( x \Downarrow y ) & \rightarrow_0 + \; x \Downarrow y + \end{align} + - alle Regeln m\"ussen gegen alle anderen gematched werden + daher f\"ur \"ubersichtlichkeit:\\ \\ + \begin{tabular}{l c r} + & 1 & 2 \\ + 1 & ? & ? \\ + 2 & ? & ? \\ + \end{tabular} + + + + + + + + + + + + + + + + + + + + + \begin{tiny} + \copyright\ Joint-Troll-Expert-Group (JTEG) 2015 + \end{tiny} +\end{document} \ No newline at end of file diff --git a/Vorlesungen/ThProg/Makefile b/Vorlesungen/ThProg/Makefile new file mode 100644 index 0000000..89fe154 --- /dev/null +++ b/Vorlesungen/ThProg/Makefile @@ -0,0 +1,11 @@ +all: Konfluenz.pdf Koinduktion_reduktion.pdf Struckturelle_Induktion.pdf Polynomordnung.pdf SystemF.pdf + +continuous: $(PDF).continuous + +%.continuous: %.pdf + latexmk -jobname=$(@:%.continuous=%) -pvc -pdf $(@:%.continuous=%).tex + +%.pdf: %.tex + latexmk -jobname=$(@:%.pdf=%) -pdf $< + +.PHONY: all continuous diff --git a/Vorlesungen/ThProg/Polynomordnung.tex b/Vorlesungen/ThProg/Polynomordnung.tex new file mode 100644 index 0000000..de82172 --- /dev/null +++ b/Vorlesungen/ThProg/Polynomordnung.tex @@ -0,0 +1,71 @@ + \documentclass{article} + \usepackage{amsmath} + \usepackage{nccmath} + \usepackage{ulem} + \DeclareMathSizes{10}{10}{10}{10} + \setlength{\parindent}{0pt} + \title{Ko-Rekursion/-Induktion} + \date{Oktober 2015} + \begin{document} + \maketitle + \section{In Funktionsschreibweise bringen} + Infixnotation: + \[x \uparrow ( y \uparrow z) \rightarrow_{0}\; x \uparrow (y \downarrow y)\]\\ + Funktionsschreibweise: + \[ P_{\uparrow}(x,P_{\uparrow}(y,z)) \rightarrow_{0} \; P_{\uparrow}(x,P_{\downarrow}(y,y))\] + \section{Kontext ggf. kuerzen} + \[ P_{\uparrow}(x,P_{\uparrow}(y,z)) \rightarrow_{0} \; P_{\uparrow}(x,P_{\downarrow}(y,y))\] + \[\xout{P(x},P_{\uparrow}(y,z)) \rightarrow_{0} \; \xout{P(x},P_{\downarrow}(y,y)))\] + \[P_{\uparrow}(y,z) \rightarrow_{0} \;P_{\downarrow}(y,y)\] + \section{Polynom finden} + \[P_{\uparrow}(y,z) \rightarrow_{0} \;P_{\downarrow}(y,y)\] + Ein "+" zwischen die Parameter setzen und Multiplikator vor beide sodass gilt: + \[P_{\uparrow}(y,z) > \;P_{\downarrow}(y,y)\;\;\textbf{\underline{bzw:}}\;\;ay+bx>cy+dy\] + \textbf{Hinweise:}\\ + - linke Seite ist syntaktisch echt gr\"osser als die Rechte ist aussreichendes Kriterium also z.B.: + \[ P_{\downarrow}( P_{\downarrow}(x,y) ) > P_{\downarrow}(x,y) \] + - niemals Minuswerte \\ + - niemals '0' als Multiplikator\\\\ + \textbf{hier:} + \[ay+bx>cy+dy\] + \textbf{Wir nehmen an dass wir 'y' hoch genug setzen damit bx irrelevant wird:}\\ + \[ay>cy+dy = a>c+d \] + \\ \textbf{das ist nun trivial, wir raten:} + \begin{fleqn} + \begin{align*} + &c = 1 \\ + &d = 1 \\ + &a = c+d+1 = 3 + \end{align*} + \end{fleqn} \\ + \textbf{und damit die Polynome:}\\ + \[P\downarrow = x_1+x_2 \;\;\; und \;\;\; P\uparrow = 3x_1+x_2 \] \\ + \section{Dom\"anen und Grenzf\"alle} + Unsere Polynome gelten potentiell f\"ur kleine Werte nicht, hier, nur f\"ur die 0 nicht, daher geben wir als Dom\"ane an: + \[ A = N\setminus\{0\} \] +und Funktionsdom\"ane:\\ + \[\mathcal{A} = \{P(*),P(*)\}\] + + + + + + + + + + + + + + + + + + + + + + + + \end{document} \ No newline at end of file diff --git a/Vorlesungen/ThProg/SS14_Spickzettel.pdf b/Vorlesungen/ThProg/SS14_Spickzettel.pdf new file mode 100644 index 0000000..b4710a0 Binary files /dev/null and b/Vorlesungen/ThProg/SS14_Spickzettel.pdf differ diff --git a/Vorlesungen/ThProg/Strukturelle_Induktion.tex b/Vorlesungen/ThProg/Strukturelle_Induktion.tex new file mode 100644 index 0000000..0ba1a4b --- /dev/null +++ b/Vorlesungen/ThProg/Strukturelle_Induktion.tex @@ -0,0 +1,51 @@ + \documentclass{article} + \usepackage{amsmath} + \usepackage{nccmath} + \DeclareMathSizes{10}{10}{10}{10} + \setlength{\parindent}{0pt} + \title{Struckturelle Induktion} + \date{ } + \begin{document} + \maketitle + %----------------------------------% + \textbf{Referenzaufgabe:} \\ + \\ + \textbf{data List} a = $Nil$ $|$ $Cons$ a \textbf{List} a + \begin{align*} + snoc\;Nil\;a &= Cons\;a\;Nil\\ + snoc(Cons\;x\;xs)\;a &= Cons\;x\;(snoc\;xs\;a) + \end{align*} + \begin{align*} + Nil + ys &= ys\\ + (Cons\;x\;xs) + ys &= Cons\;x\;(xs + ys) + \end{align*} + \underline{Beweisen sie dass:}\\ + $\forall e,\;xs,\;ys\\xs+(Cons\;e\;ys) = (snoc\;xs\;e)+ys$ \\\\ + %----------------------------------% + \textbf{Induktionsanfang (IA):}\\\\ + $xs = Nil$\;\;$\Rightarrow$ Einsetzen und beide Seiten maximal vereinfachen + \begin{align*} + Nil+(Cons\;e\;ys) &= (snoc\;Nil\;e)+ys\\ + Cons\;e\;ys &= (snoc\;Nil\;e)+ys\\ + Cons\;e\;ys &= (Cons e Nil) + ys\\ + Cons\;e\;ys &= Cons\;e (Nil + ys)\\ + Cons\;e\;ys &= Cons\;e\;ys + \end{align*} + \textbf{Induktionshypothese/-voraussetzeung (IH/IV):}\\\\ + - $xs$ durch allgemeines as ersetzen + \[as+(Cons\;e\;ys) = (snoc\;as\;e)+ys\] +\newpage + \textbf{Induktionsschritt (IS):}\\\\ + $as\;=\;Cons\;a\;as$\\$\Rightarrow$ Einsetzen und wieder beide Seiten maximal vereinfachen,auf einer Seite die Induktionshypothese reinfrikeln (idR. nur auf einer Seite,z.B. auf der linken) + \begin{align*} + Cons\;a\;as\;+(Cons\;e\;ys)\;&=\;snoc\;((Cons\;a\;as)\;e)+ys \\ + Cons\;a\;(\underbrace{as\;+(Cons\;e\;ys)}_{IH\;links})\;&=\;snoc\;((Cons\;a\;as)\;e)+ys\\ + Cons\;a\;(\underbrace{(snoc\;as\;e)\;+\;ys)}_{IH\;rechts})\;&=\;snoc\;((Cons\;a\;as)\;e)+ys\\ + Cons\;a\;((snoc\;as\;e)\;+\;ys))\;&=\;Cons\;a\;((\;snoc\;as\;e)\;+\;ys)) + \end{align*}\\ +\textbf{Q.E.D. und fertig!}\\ +\\\\ + \begin{tiny} + \copyright\ Joint-Troll-Expert-Group (JTEG) 2015 + \end{tiny} +\end{document} \ No newline at end of file diff --git a/Vorlesungen/ThProg/SystemF.tex b/Vorlesungen/ThProg/SystemF.tex new file mode 100644 index 0000000..477a951 --- /dev/null +++ b/Vorlesungen/ThProg/SystemF.tex @@ -0,0 +1,100 @@ + \documentclass{article} + \usepackage{amsmath} + \usepackage{nccmath} + %\usepackage{bussproofs} + %dieses Paket koennte man fuer die typherleitung verwenden wenn man wollte + \DeclareMathSizes{10}{10}{10}{10} + \setlength{\parindent}{0pt} + \title{System F und Reduktionsreihenfolge} + \date{ } + \begin{document} + \section{Generelles} + \subsection{Normale-/Lazy-Reduktion} + - pre-order durch Baum ("von unten nach oben auswerten") \\ + - leftmost-outermost\\ + - Argumente zum Schluss auswerten + \begin{align*} + pow(a,pow(c,b))\:\: & mit\;linkem\;pow\;anfangen\\ + & dann\;a\\ + & dann\;rechtes\;pow\\ + & dann\;c\\ + & dann\;d + \end{align*} + \subsection{Applikative Reduktion:} + - post-order durch Baum ("von oben nach unten")\\ + - leftmost-innermost\\ + - als erstes die Argumente auswerten + \begin{align*} + pow(a,pow(c,b))\:\: & mit\;c\;anfangen + \enspace\;\;\;\;\;\;\;\;\;\enspace\;\;\;\; + \\ + & dann\;b\\ + & dann\;a\\ + & dann\;rechtes\;pow\\ + & dann\;linkes\;pow + \end{align*} + \subsection{How to work with Lambda} + - Buchstabe hinter $\lambda $ wegnehmen\\ + - Term von der respektiven Stelle hinten entfernen\\ + - alle Vorkommen des Buchstabens mit dem Term ersetzen\\ + - idealerweise bei mehreren $\lambda$ in einem Term \textbf{immer} verschiedene Buchstaben verwenden + \section{SS14-Probeklausur Beispielaufgabe} + \subsection*{1) Reduktion} + \subsubsection*{a) Normal/Lazy} + \begin{align*} + pow2\;three\; &=\; three\;(mult\;two)\;one\\ + &=\; \lambda f\,a\, .\,f\,(\,f\,(\,f\;a\,)(\,mult\;two)\;one\\ + &=\; \lambda a\, .\, (mult\;two)\,((mult\;two)\,((mult\;two)\;a\,)\;one\\ + &=\; (mult\;two)\,((mult\;two)\,((mult\;two)\;one\,) + \end{align*} + \subsubsection*{b) Aplikativer Reihenfolge} + \begin{align*} + pow2\;three\; &=\; pow2\; (\, \lambda f\,a\, .\,f\,(\,f\,(\,f\;a\,) \,)\\ + &=\; (\, \lambda f\,a\, .\,f\,(\,f\,(\,f\;a\,) \,)(mult\;two)\;one\\ + &=\; (\, \lambda f\,a\, .\,f\,(\,f\,(\,f\;a\,) \,)(mult\;\lambda g\,b\, .\,g\,(\,g\;b\,))\;one\\ + &=\; (\, \lambda f\,a\, .\,f\,(\,f\,(\,f\;a\,) \,)(mult\;\lambda g\,b\, .\,g\,(\,g\;b\,))\;(\lambda h\,c\, .\,h\;c)\\ + \end{align*} + kleine Anmerkung hierzu noch: + \[ + \underbrace{(\, \lambda f\,a\, .\,f\,(\,f\,(\,f\;a\,) \,)}_{oberste\;Funktion} + \underbrace{(mult\;\lambda g\,b\, .\,g\,(\,g\;b\,))}_{erstes\;Argument} + \; + \underbrace{(\lambda h\,c\, .\,h\;c)}_{zweites\;argument} + \] + d.h. wir w\"urden hier beim ersten Argument weitermachen und "mult" aufl\"osen + (beim zweiten g\"abe es gerade auch gar nichts mehr zu machen) + + \subsection*{2) Typherleitung} + + + $ + \{ + + \} + $ + \\ + %Zeile 1 + $ + \{ + \,mult\;:\; + \mathrm{N}\rightarrow\mathrm{N}\rightarrow\mathrm{N}\rightarrow , + one\; : \; \mathrm{N},\,two\;\mathrm{N}\, + \} + \vdash \; \lambda n.\,n\,(\, mult \; two\,)\;one\,:\mathrm{N}\rightarrow\mathrm{N} + $ + + + + + + + + + + + + +\begin{tiny} + \copyright\ Joint-Troll-Expert-Group (JTEG) 2015 +\end{tiny} +\end{document} \ No newline at end of file