.dsy:it. - [sondaggio] Logica matematica quale dispensa?

.dsy:it.
//www.dsy.it

[sondaggio] Logica matematica quale dispensa?

Posted by Gatz on 06-02-2007 13:40

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

:ciao: