Verifica di proprietà di sequenze

Con un ciclo for, leggiamo k numeri in input, un numero dopo l’altro.

Verifica di proprietà esistenziali: restituire True se almeno un numero in input è pari




(verify1)

Un esempio di applicazione di questa proprietà è il problema della ricerca, di cui parleremo. Cercare un elemento in una sequenza corrisponde a cercare un elemento che soddisfa la proprietà di essere uguale a quello cercato.

Verifica di proprietà universali: restituire True se tutti i numeri sono pari. Dobbiamo controllare che non c’è nessun numero dispari, cioè che non è vero che (esiste un numero dispari).




(verify2)

Leggi di De Morgan

Nella verifica di proprietà universali abbiamo applicato le leggi di De Morgan.

Infatti data la sequenza a1, a2, ... ak abbiamo che a1 è pari and a2 è pari and ... == Not (a1 è dispari or a2 è dispari or ...)

Next Section - Esercizi