Homepage  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


.dsy:it. .dsy:it. Archive > Didattica > Corsi G - M > Logica matematica
 
Soluzione Gennaio 2007
Clicca QUI per vedere il messaggio nel forum
Simone_155
Ho postato nell'area Filez le soluzione di Gennaio 2007.
Le ho controllate e ricontrollate e dovrebbero essere giuste.
Specie per il prolog ho confrontato le mie soluzioni con l'albero generato da SWI-Prolog ed è lo stesso!
Segnalate però eventuali errori di "formalismo", dato che io non ho mai seguito e non so bene come vanno scritte le cose...questo mi sarebbe molto utile, per evitare di perdere punti per strada durante il compito solo perchè sbaglio qualche cavolata formale...
Grazie

Powered by: vbHome (lite) v4.1 and vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento |Licenze | Thanks | Syndacate