CODE 98388 ACADEMIC YEAR 2023/2024 CREDITS 12 cfu anno 1 INFORMATICA 8759 (L-31) - GENOVA LANGUAGE Italian TEACHING LOCATION GENOVA MODULES Questo insegnamento è composto da: ALGEBRA A ALGEBRA B LOGIC A LOGIC B TEACHING MATERIALS AULAWEB OVERVIEW 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. AIMS AND CONTENT PREREQUISITES Knowledge of literal calculus at school level and the basic concepts of trigonometry. TEACHERS AND EXAM BOARD FRANCESCO STRAZZANTI Ricevimento: By appointment ALESSIO CAMINATA Ricevimento: By appointment. RICCARDO CAMERLO Ricevimento: By appointment. Exam Board RICCARDO CAMERLO (President) ALESSIO CAMINATA (President Substitute) FRANCESCO STRAZZANTI (President Substitute) EXAMS EXAM DESCRIPTION Written exam. ASSESSMENT METHODS The exam consist of a part in Algebra and a part in Logic, both requiring the resolution of some exercises.