 |
Gatz |
.amico.

Registered: Oct 2005
Posts: 37 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 13:00:37 [...]
Status: Offline
Edit | Report | IP: Logged |
[sondaggio] Logica matematica quale dispensa?
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

|