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 > Filez
 
Filez - Thread da 1 a 23 di 23 disponibili.
Clicca QUI per visualizzare il forum normalmente.
Info Esame09-12-2018 09:41 - 0 replies
Appunti logica matematica - Model checking simbolico26-12-2012 09:31 - 5 replies
Vecchi esami24-07-2012 13:16 - 1 reply
Logica Applicazioni Cugini in SPASSEDITOR24-10-2009 23:27 - 0 replies
correzione10-05-2008 00:29 - 1 reply
Appunti 2007/2008 - Prima parte25-03-2008 19:46 - 10 replies
Appunti log. mat. 06-0709-03-2008 14:08 - 6 replies
appunti prolog19-09-2007 22:27 - 1 reply
appelli risolti (NUOVO METODO/2007)14-05-2007 19:24 - 3 replies
Esercizi Prolog23-02-2007 10:48 - 3 replies
Esercizi su Unificazione22-02-2007 17:16 - 0 replies
Esercizi su DPLL22-02-2007 15:52 - 0 replies
Soluzioni Gennaio 200722-02-2007 10:17 - 2 replies
Soluzioni Esami 200617-02-2007 11:43 - 1 reply
Unificazione - esercizi18-01-2007 08:27 - 3 replies
DPLL - esercizi18-01-2007 08:24 - 1 reply
Skolemizzazione - Esercizi18-01-2007 08:21 - 2 replies
3) Formalizzazione - esercizi18-01-2007 08:17 - 3 replies
2) Contromodello - esercizi18-01-2007 08:15 - 0 replies
1) Ricerca dimostrazione - esercizi18-01-2007 08:14 - 0 replies
[Logica Matematica] Bigino21-03-2006 09:52 - 3 replies
[SPASS] Esercizio del 12/10/0514-10-2005 11:42 - 10 replies
[Logica] Appunti delle lezioni07-10-2005 20:30 - 23 replies
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