l'esame di logica matematica della specialistica, dovrebbe, e dico dovrebbe, corrispondere al corso tenuto dal prof. Pani: metodi formali dell'informatica. l'esame è annuale, quindi non ci sono stati ancora appelli. Per quanto riguarda coloro che devono sostenere l'esame solo per i 4 crediti integrativi, se non sbaglio c'è già stato un appello.
Ciao, volevo chiederti un' informazione, ho notato che il primo capitolo che hai postato( cap 5) arriva fino a pagina 21 è incompleto o è solo la parte che dobbiamo studiare? Grazie mille per le info Luigi