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

spacefix

Browse Source
This commit is contained in:
Sheppy 2015-10-08 20:58:43 +02:00
parent bf82659f44
commit f633d257e9
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Vorlesungen/ThProg/Koinduktion_reduktion.tex
View File

@ -49,7 +49,7 @@
\begin{align*} \begin{align*}
currentSample(sampler\:t\:s) = \:&if\:(currentSample\:\:t>0)\\ currentSample(sampler\:t\:s) = \:&if\:(currentSample\:\:t>0)\\
&then\:(currentSample\:\:s)\\ &then\:(currentSample\:\:s)\\
&else\:(flat\:\:0) &else\:0
\end{align*} \end{align*}
\end{fleqn} \end{fleqn}
\textbf{sowie zweite Formel zum Aufteilen verwenden:} \textbf{sowie zweite Formel zum Aufteilen verwenden:}
@ -73,7 +73,7 @@
\[ currentSample(flat\;0) = 0 \] \[ currentSample(flat\;0) = 0 \]
$\rightarrow$ sehr gut, die rechten Seiten sind gleich wir sind hier also fertig\\ \\ $\rightarrow$ sehr gut, die rechten Seiten sind gleich wir sind hier also fertig\\ \\
\textbf{zweite Bedingung:} \textbf{zweite Bedingung:}
\[discardSample(sampler(square\:1\:0)(square\:0\:x)) = sampler(square\:1\:0)(square\:0\:x)\] \[discardSample(sampler(square\;1\;0)(square\;0\;x)) = sampler(square\;1\;0)(square\;0\;x)\]
\textit{das ist doof denn:} \textit{das ist doof denn:}
\[discardSample(flat 0) = 0\] \[discardSample(flat 0) = 0\]
\textbf{Schritt 3:}\\ \textbf{Schritt 3:}\\
@ -108,4 +108,4 @@
\end{document} \end{document}