Uni.AlSp-Vettori History
Hide minor edits - Show changes to markup
October 19, 2007, at 03:35 PM
by -
Changed line 1 from:
(:title Algoritmi e strutture dati - Specifiche:)
to:
(:title Algoritmi e strutture dati - Specifiche: Vettori:)
October 19, 2007, at 01:10 PM
by -
Changed line 2 from:
to:
Changed line 35 from:
to:
October 18, 2007, at 01:30 PM
by -
Changed line 19 from:
- creavettore= v\\
to:
- creavettore= v\\
Changed line 21 from:
- leggivettore(v, i) = e \\
to:
- leggivettore(v, i) = e \\
Changed line 24 from:
- scrivivettore(v, i, e) = v'
to:
- scrivivettore(v, i, e) = v' \\
October 18, 2007, at 01:29 PM
by -
Changed lines 5-6 from:
:: Basi di dati - Esercizio 1 ::
to:
:: Algoritmi e strutture dati - Specifiche ::
October 18, 2007, at 01:29 PM
by -
Added lines 1-35:
(:title Algoritmi e strutture dati - Specifiche:) Torna alla pagina di Algoritmi e strutture dati - Specifiche
:: Basi di dati - Esercizio 1 ::
Vettori
Sintassi
- creavettore: () -> vettore
- leggivettore: (vettore, intero) -> tipoelem
- scrivivettore: (vettore, intero, tipoelem) -> vettore
Semantica
- creavettore= v
Post: per ogni i, 1≤i≤n, l' i-esimo elemento v(i) è uguale ad un certo elemento di tipo tipoelem; - leggivettore(v, i) = e
Pre: 1≤i≤n
Post: e = v(i) - scrivivettore(v, i, e) = v'
Pre: 1≤i≤n
Post: v'(i) = e, v'(j) = v(j), per ogni 1≤j≤n e j≠i
Implementazione in C++
- creavettore: tipoelem v[n];
- leggivettore: v[i];
- scrivivettore: v[i] = e;
Torna alla pagina di Algoritmi e strutture dati - Specifiche
