From 78328eabf9f31447a98bb04651b796e018abdff8 Mon Sep 17 00:00:00 2001 From: Peter Wu Date: Mon, 16 Jan 2017 07:54:11 +0100 Subject: Added title for Q3, disabled Q4 No more time/energy for Q4... Need to sleep. --- part2.tex | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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} -- cgit v1.2.1