 | |
Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum |
[sondaggio] Logica matematica quale dispensa?
Clicca QUI per vedere il messaggio nel forum |
| Gatz |
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: |
|
|
|
|
