.dsy:it. - Logica matematica - Info lezione 13 Novembre

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. Archive > Didattica > Corsi G - M > Logica matematica

Info lezione 13 Novembre
Clicca QUI per vedere il messaggio nel forum

zacguyot

[Logica per le applicazioni]
Ciao,

ho visto sul sito del prof Ghilardi che sono state pubblicate delle tracce di esempi con relativo codice spass.
OK OK grande prof, quindi deduco che le cose da fare sono inserili in spass, eseguirli e comprenderne l'output, ma c'è altro? Il prof ha detto altro a riguardo?

grazie
ciao

Spr1gg4N

**OT**
Scusa per l'OT ma il corso di Logica Matematica non è mica al secondo semestre? (http://www.ccdinf.unimi.it/it/corsi...10.1/index.html)

Te lo chiedo perchè anche io vorrei darlo quest'anno...

zacguyot

mi riferisco a log mat della magistrale (purtroppo il cambio di nome ha generato casino) , cmq ho messo una correzione nel mio primo post.

ciao

Spr1gg4N

Originally posted by zacguyot
mi riferisco a log mat della magistrale (purtroppo il cambio di nome ha generato casino) , cmq ho messo una correzione nel mio primo post.

ciao

ahhh cavolo stavo già andando in panico ^_^
ciao e scusa ancora per l'OT