.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Info lezione 13 Novembre (http://www.dsy.it/forum/showthread.php?threadid=39527)

Info lezione 13 Novembre

[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

**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...

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

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