OnProgrammingforCorrectness/14_.tex at master · kammitama5/OnProgrammingforCorrectness · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{mathtools}
\DeclareMathAlphabet{\mathpzc}{OT1}{pzc}{m}{it}
\title{The Hoare Triple}
\date{May 3rd 2017}
\DeclareMathAlphabet{\mathpzc}{OT1}{pzc}{m}{it}

\begin{document}

\maketitle

\section{cont'd}
$\mathbf{Homework}$  $\mathbf{3.2.3.1}$
\\
Find the missing assignment to make the following programme segment correct.
\\
\\
$\left\{Q : 0 < i < n\right\}$
\\
$i, j := i + 1, ?$
\\
$\left\{R : j = n - 1 \land 0 \leq j < n \right\}$
\\
\\
Ans: $j := n - i - 1$
\\
\\
$\mathbf{Homework}$  $\mathbf{3.2.3.2}$
\\
Find the missing assignment to make the following programme segment correct.
\\
\\
$\left\{Q : 0 < i < n\right\}$
\\
$ i := i + 1$
\\
$ j := ?$
\\
$\left\{R : j = n - 1 \land 0 \leq j < n \right\}$
\\
\\
Ans: $ j := n - i$
\\
\\
$\mathbf{Homework}$  $\mathbf{3.2.3.3}$
\\
Find the missing assignment to make the following programme segment correct.
\\
\\
$\left\{Q : 0 < i < n\right\}$
\\
$ j := ? $
\\
$ i := i + 1 $
\\
$\left\{R : j = n - 1 \land 0 \leq j < n\right\}$
\\
\\
Ans: $ j := n - i - 1$
\\
\\

\end{document}