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
 
Esercizi Logica E Prolog
Clicca QUI per vedere il messaggio nel forum
garfa84
Qualcuno ha fatto gli esercizi dell'appello di Gennaio 2009?

garfa84
A me nella ricerca di dimostrazione un ramo chiude e l'altro no...
a voi come esce....??????
avevo dubbi sul prolog ma mi stanno venendo pure su logica.....

garfa84
c'è qualcuno?????!!!!!!!!!

ma in Luglio 2006 nel contromodello perchè nelle soluzioni alla fine diventa R(a,a),R(a,b),R(b,a),R(b,b)......
non dovrebbe esserci la negazione davanti
V = perogni
VxVy not R(x,y)
:?

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