summaryrefslogtreecommitdiff
path: root/Assignment1/exercises.tex
diff options
context:
space:
mode:
authorCamil Staps2018-04-17 12:24:02 +0200
committerCamil Staps2018-04-17 12:24:02 +0200
commit12976280c5eb4dbe178387b88977fa43795186cb (patch)
treea0b0e4d8f3c75f466b1e6d2634ba77a3f086deb5 /Assignment1/exercises.tex
parentSemantics over paths and states (diff)
Start with minimal bad prefixes
Diffstat (limited to 'Assignment1/exercises.tex')
-rw-r--r--Assignment1/exercises.tex3
1 files changed, 2 insertions, 1 deletions
diff --git a/Assignment1/exercises.tex b/Assignment1/exercises.tex
index 5849c84..647755e 100644
--- a/Assignment1/exercises.tex
+++ b/Assignment1/exercises.tex
@@ -1,4 +1,6 @@
+\camil
\subsection{Exercises}
+\emph{NB: these exercises are to be added to the current section 5.5.}
% After the exam documentclass; http://compgroups.net/comp.text.tex/-if-else-fi-in-new-environment/263869
\newif\ifshowanswers\showanswerstrue
\newenvironment{answer}%
@@ -6,7 +8,6 @@
{\egroup}
\newcommand{\hint}[1]{\par\textit{Hint: #1}}
-\camil
\begin{exercise}
For the PLTL formulas over $AP=\{a,b\}$ given below, determine whether they are \wffn, \wffp, \wfff\ or neither.