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
 
[help] Sistema deduttivo di Hilbert
Clicca QUI per vedere il messaggio nel forum
Bemipefe
Salve "LOgici" :)

Non è che qualcuno conosce il sistema deduttivo di Hilbert!?

...sulle dispense che ho è spiegato male e in modo sbrigativo...

...e non ci ho capito prorpio niente :?

..si i tre Assiomi le regole Derivate ok ma quando e come applicarli?

CIAO! :razz:

Aung SanSuu Kyi
non li avevo mai visti, non saprei proprio :shock:

Bemipefe
Non è una cosa grave visto che in molti forum non sanno di cosa parlo......
.....ti pare che solo nel nostro corso sistudia una cosa del genere!!!?

Mah.........

Bemipefe
....qualcuno però dovrà pur saperne qualcosa.....

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