assignments:a2
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| assignments:a2 [2013/03/15 21:31] – jonathan | assignments:a2 [2013/03/17 20:27] (current) – jonathan | ||
|---|---|---|---|
| Line 18: | Line 18: | ||
| axm1: 0 ≤ N not theorem › | axm1: 0 ≤ N not theorem › | ||
| axm2: f ∈ −1 ‥ N → ℤ not theorem ›the actual array is f ∈ 1 ‥ N-1 → ℤ | axm2: f ∈ −1 ‥ N → ℤ not theorem ›the actual array is f ∈ 1 ‥ N-1 → ℤ | ||
| - | axm3: | + | axm3: |
| - | axm4: x < f(N) not theorem ›f(N) is ∞ | + | axm4: x < f(N) not theorem ›f(N) is ∞, i.e. the index after the array |
| END | END | ||
| </ | </ | ||
| Line 72: | Line 72: | ||
| Submit your development electronically. As well, use Latex to produce a report of each part of the model as well as the final code. Justify the final code via the merging rules. | Submit your development electronically. As well, use Latex to produce a report of each part of the model as well as the final code. Justify the final code via the merging rules. | ||
| + | |||
| + | Note: You might want to compare this development with the development described by Abrial in the text. | ||
| + | |||
| + | ====== Question 2 ====== | ||
| + | TBA | ||
| + | |||
assignments/a2.1363383063.txt.gz · Last modified: 2013/03/15 21:31 by jonathan