summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Wu <peter@lekensteyn.nl>2017-01-16 07:54:11 +0100
committerPeter Wu <peter@lekensteyn.nl>2017-01-16 07:54:11 +0100
commit78328eabf9f31447a98bb04651b796e018abdff8 (patch)
tree9ebaaafcbabc5075cd310d8d8071204d7fd67d02
parent052c69788b53542454b70d740e8a6d275c25a89d (diff)
download2IMF25-AR-78328eabf9f31447a98bb04651b796e018abdff8.tar.gz
Added title for Q3, disabled Q4HEADmaster
No more time/energy for Q4... Need to sleep.
-rw-r--r--part2.tex4
1 files changed, 3 insertions, 1 deletions
diff --git a/part2.tex b/part2.tex
index 4c5d6de..9dfa79b 100644
--- a/part2.tex
+++ b/part2.tex
@@ -514,7 +514,7 @@ final -> {
\end{figure}
\end{minipage}
-\section*{Problem: }
+\section*{Problem: mathematical proofs}
The goal of this problem is to exploit the power of the recommended tools rather
than elaborating the questions by hand.
\begin{enumerate}
@@ -704,6 +704,7 @@ After running this input through \textit{mace4}, we retrieved the following fini
We specify the row number in the $*$-operator table to be the left element, and the column number to be the right element.
Let $x \gets 2$ and $y \gets 1$. Then, we know that $x * y = 2 * 1 = 4$. Also, $y * x = 1 * 2 = 3$. Since $4 \neq 3$, we know that $x * y \neq y * x$, which proves that the property $x * y = y * x$ indeed does not hold for this group.
+\if0
\section*{Problem: }
Give a precise description of a non-trivial problem of your own choice, and
encode this and solve it by one of the given programs.
@@ -738,6 +739,7 @@ We decided to choose a highscool room scheduling problem.
We want to schedule the rooms in such way that every class attends all required lessons per week, and the total amount of free hours inbetween 2 lectures is minimized.
\subsubsection*{Solution:}
+\fi
\end{document}