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.
Become familiar with basic concepts and tools of mathematics. Become competent in formalising problems in a mathematically correct way by the use of the language of algebra and logic.
Knowledge of literal calculus at school level and the basic concepts of trigonometry.
Ricevimento: By appointment
Ricevimento: Office hours will be fixed at the beginning of the semester and comunicated via alulaweb.
Ricevimento: By appointment.
RICCARDO CAMERLO (President)
FRANCESCO STRAZZANTI
ALESSIO CAMINATA (President Substitute)
ALDO CONCA (President Substitute)
Written exam.
The exam consist of a part in Algebra and a part in Logic, both requiring the resolution of some exercises.