The course presents the basics of the reasoning and language of mathematics, with a focus on some aspects that are strictly connected with applications in computer science.
Ricevimento: By appointment.
RICCARDO CAMERLO (President)
ALESSIO CAMINATA (President Substitute)
Written exam.
The exam consist of a part in Algebra and a part in Logic, both requiring the resolution of some exercises.