Mirror/latexandmore
1
0
Fork 0
mirror of https://gitlab.cs.fau.de/ik15ydit/latexandmore.git synced 2024-11-22 11:49:32 +01:00
Code Issues Projects Releases Wiki Activity

new file: PumpingLemma.tex

Browse Source 
modified:   SystemF.tex
This commit is contained in:
Sheppy 2015-10-07 23:00:28 +02:00
parent 295cd170a1
commit d6ce457287
2 changed files with 18 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
Vorlesungen/ThProg/PumpingLemma.tex Normal file
View File

@ -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}

6
Vorlesungen/ThProg/SystemF.tex
View File

@ -64,7 +64,7 @@
d.h. wir w\"urden hier beim ersten Argument weitermachen und "mult" aufl\"osen 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) (beim zweiten g\"abe es gerade auch gar nichts mehr zu machen)
\subsection*{2) Typherleitung - SS14 Beispiel} \subsection*{2) Typherleitung}
\textbf{Typherleitung f\"ur:} \textbf{Typherleitung f\"ur:}
\[ \[
\{ \{
@ -143,8 +143,8 @@
- in (4) ???\\ - in (4) ???\\
- (4)(links) $\forall_{e}$ (rechts) $\rightarrow_e$\\ - (4)(links) $\forall_{e}$ (rechts) $\rightarrow_e$\\
\end{small} \end{small}
\\
\textbf{Eine \"Ubersicht der Regeln findet sich in den \"Ubungsfolien oder dem SS14 Spickzettel!}