repositories
/
sec1415.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
semantics aangetikt maar niet gedaan, analysis mee begonnen, skip klaar en compositie ook
[sec1415.git]
/
an_arit_expr.tex
diff --git
a/an_arit_expr.tex
b/an_arit_expr.tex
index
1e15a60
..
a87fc92
100644
(file)
--- a/
an_arit_expr.tex
+++ b/
an_arit_expr.tex
@@
-40,8
+40,8
@@
operatoren bestaan die niet voorkomen in \textit{Piet} en deze moeten dus
herschreven worden. De operatoren die herschreven worden zijn: $=, \leq,
\wedge\\
\begin{array}{ll}
herschreven worden. De operatoren die herschreven worden zijn: $=, \leq,
\wedge\\
\begin{array}{ll}
- a \wedge b & a
+b>1
\\
- a = b &
\neg(a-b>0)
\\
+ a \wedge b & a
*b
\\
+ a = b &
not(a-b)>0
\\
a \leq b & \neg(a>b)
\end{array}$\\
\textbf{While} $3=2\wedge 3\leq 4$\\
a \leq b & \neg(a>b)
\end{array}$\\
\textbf{While} $3=2\wedge 3\leq 4$\\