Gatz

.amico.

User info:

Registered: Oct 2005
Posts: 37 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 13:00:37 [...]
Status: Offline

Post actions:

Ciao a tutti.

Dovendo recuperare crediti matematici ho scelto di dare "Logica matematica" (avendo appena dato Logica per le applicazioni) ma, prima di partire a "testa bassa", vorrei chiedere a chi ha già sostenuto il recupero crediti, quale tra le possibili dispense da preparare reperibili al seguente indirizzo:

http://homes.dsi.unimi.it/~ghilardi...erocrediti.html

mi consigliereste come:

- La più semplice (meno matematica possibile)
- La più veloce da preparare

calcolando che (come al solito) ho poco tempo e che se scelgo
"Logica Temporale e Model-Checking" mi dovrei portare anche un file eseguibile NuSMV da discutere (tipo SPASS).

Grazie a tutte le persone che mi risponderanno