CODE 98388 ACADEMIC YEAR 2025/2026 CREDITS 12 cfu anno 1 INFORMATICA 11896 (L-31 R) - GENOVA LANGUAGE Italian TEACHING LOCATION GENOVA MODULES Questo insegnamento è composto da: ALGEBRA A ALGEBRA B LOGIC A LOGIC B 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 LEARNING OUTCOMES 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. PREREQUISITES Knowledge of literal calculus at school level and the basic concepts of trigonometry. TEACHERS AND EXAM BOARD EMANUELA DE NEGRI Ricevimento: By appointment. ALDO CONCA Ricevimento: Office hours will be fixed at the beginning of the semester and comunicated via alulaweb. RICCARDO CAMERLO Ricevimento: By appointment. JACOPO EMMENEGGER Ricevimento: By appointment, via email or after class 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. Agenda 2030 - Sustainable Development Goals Quality education Gender equality
