From cb01955cc48d45f2817227bbc79c020528994902 Mon Sep 17 00:00:00 2001
From: Sheppy <jupiterfisch@web.de>
Date: Wed, 7 Oct 2015 14:02:58 +0200
Subject: [PATCH] stuff

---
 Public/thprog/Strukturelle Induktion.tex | 25 +++++++++++++++++++++---
 1 file changed, 22 insertions(+), 3 deletions(-)

diff --git a/Public/thprog/Strukturelle Induktion.tex b/Public/thprog/Strukturelle Induktion.tex
index c6bc86e..ee080a4 100644
--- a/Public/thprog/Strukturelle Induktion.tex	
+++ b/Public/thprog/Strukturelle Induktion.tex	
@@ -7,12 +7,31 @@
 	\date{ }
 	\begin{document}
 	\maketitle
-		\textbf{Referenzaufgabe:} \\
+	%----------------------------------%
+	\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)
+			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:}\\\\
+		$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*}
+		
 	\begin{tiny}
 	\copyright\ Joint-Troll-Expert-Group (JTEG) 2015
 	\end{tiny}