1.1 --- a/doc-isac/jrocnik/final/jrocnik_bakk.tex Mon Oct 31 18:28:36 2022 +0100
1.2 +++ b/doc-isac/jrocnik/final/jrocnik_bakk.tex Mon Nov 07 17:37:20 2022 +0100
1.3 @@ -516,7 +516,7 @@
1.4 At the end of this thesis there is now part left unattended, but many parts that require beauty corrections and many parts that require a few more manpower. This upcoming open tasks are:
1.5 \begin{itemize}
1.6 \item What is the contents of the interactive course material (Figures, etc.)?
1.7 - \item What are the pre and post conditions of the problems?
1.8 + \item What are the where_ and post conditions of the problems?
1.9 \item How would a correct implementation of the Z-Transformation look like?
1.10 \item What do students expect of this implementation?
1.11 \end{itemize}