Ciao ragazzi,
sono uno studente lavoratore, per cui non posso venire a lezione spesso; c'è la possibilità di condividere appunti e/o informazioni riguardo al corso?
Ho acquistato i libri consigliati dal professore (Winskel - Semantic of Programming Languages by Pettorossi - Predicate Calculus and Logic Programming - Elements of Computability, Decidability and Complexity), ma ai fini dell'esame fa sempre testo lo storico Winskel? C'è un programma un pò più dettagliato di quello presente sul sito del prof?
Grazie mille e a presto!!!
