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

f

Browse Source
This commit is contained in:
Sheppy 2015-10-08 22:08:51 +02:00
parent a4b8efa672
commit da0d61be9d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Vorlesungen/ThProg/Koinduktion_reduktion.tex
View File

@ -69,7 +69,7 @@
\] \]
$\rightarrow$ "R ist Bisimulation" hinschreiben, linke Seite aufloesen\\ $\rightarrow$ "R ist Bisimulation" hinschreiben, linke Seite aufloesen\\
\[ currentSample(\,sampler(square\:0\:1)(square\:x\:0)) = 0 \] \[ currentSample(\,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: $\rightarrow$ wenn hier am Ende kein Term rauskommt, dann koennen wir einfach die \textbf{rechte Seite bei der normalen Funktion} einsetzen und selbige aufloesen:
\[ 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:}