diff --git a/Vorlesungen/ThProg/PumpingLemma.tex b/Vorlesungen/ThProg/PumpingLemma.tex new file mode 100644 index 0000000..acb5f71 --- /dev/null +++ b/Vorlesungen/ThProg/PumpingLemma.tex @@ -0,0 +1,15 @@ + \documentclass{article} + \usepackage{amsmath} + \usepackage{nccmath} + \DeclareMathSizes{10}{10}{10}{10} + \setlength{\parindent}{0pt} + \title{Struckturelle Induktion} + \date{ } + \begin{document} + \maketitle + %----------------------------------% + + \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 index 3624ea6..e0d4330 100644 --- a/Vorlesungen/ThProg/SystemF.tex +++ b/Vorlesungen/ThProg/SystemF.tex @@ -64,7 +64,7 @@ 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 - SS14 Beispiel} + \subsection*{2) Typherleitung} \textbf{Typherleitung f\"ur:} \[ \{ @@ -143,8 +143,8 @@ - in (4) ???\\ - (4)(links) $\forall_{e}$ (rechts) $\rightarrow_e$\\ \end{small} - - + \\ + \textbf{Eine \"Ubersicht der Regeln findet sich in den \"Ubungsfolien oder dem SS14 Spickzettel!}