.dsy:it. (http://www.dsy.it/forum/)
- Didattica in generale (http://www.dsy.it/forum/forumdisplay.php?forumid=115)
-- [sondaggio] Logica matematica quale dispensa? (http://www.dsy.it/forum/showthread.php?threadid=29363)

[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