[JML]: Differenza tra ForAll ed Exist

[wave00]

Qualcuno sa dirmi qual'è la differenza tra \forall ed \exist in JML???

[np2k]

Ciao.
forall è un "operatore" che serve per fare uno scan degli elementi di un insiemo: proprio come il "per ogni" matematico (la A rovesciata).
exist controlla se in un insieme un dato elemento è presente: come l' "esiste" matematico la E al contrario.

Anche tu con JML!??!Devo iniziare a studiarlo per l'esame a settembre...dove stai imparando? Libri (quali?) dispense (link?). Mi daresti qualche informazione su dove recuperare materiale?
Grazie!!!

[wave00]

Ho l'esame di iNG.DEL SOFTWARE e quindi sono "costretto" a studiarlo, anche se non penso sia molto bello. Non mi piace per nulla!!!

[np2k]

Mi diresti dove lo studi JML? Il nome del libro, il link alle tue dispense.
Grazie!

[scrotozord]

ciao, anche io sto studiando per ing del soft a settembre.. se ti interessa ti posso passare il link del mio professore (L. Baresi del poli di milano) dove scaricare alcune dispense, anche se non sono completissime, è tutto quello che ho ed è in ita, se qlkn altro sa dirmi su quali testi.. è bene accetto!!!