assignments:a2
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| assignments:a2 [2013/03/15 21:32] – 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 | ||
| </ | </ | ||
assignments/a2.1363383129.txt.gz · Last modified: by jonathan