CODE 73027 ACADEMIC YEAR 2025/2026 CREDITS 6 cfu anno 1 INFORMATICA 11896 (L-31 R) - GENOVA SCIENTIFIC DISCIPLINARY SECTOR MAT/02 LANGUAGE Italian TEACHING LOCATION GENOVA SEMESTER 1° Semester SECTIONING Questo insegnamento è diviso nelle seguenti frazioni: A B MODULES Questo insegnamento è un modulo di: ALGEBRA AND LOGICS FOR COMPUTER SCIENCE TEACHING MATERIALS AULAWEB AIMS AND CONTENT LEARNING OUTCOMES Learning the abstract reasoning of algebra and how to identify similar structures and patterns in different environments. Learning how to formalize in a mathematically correct way problems that involve operations on sets. AIMS AND LEARNING OUTCOMES At the end of the module, the student will be expected to: become familiar with logical-deductive mathematical reasoning; learn the fundamental and foundational concepts of modern mathematics (sets, functions, natural numbers, cardinality); understand and be able to apply some important results from discrete mathematics and their applications in computational contexts (Euclidean algorithm, modular arithmetic); learn to recognize and distinguish simple algebraic structures (monoids, groups). PREREQUISITES Knowledge of simple literal equations (secondary school level) and of basic trigonometry. TEACHING METHODS Lectures SYLLABUS/CONTENT 1. Basic notions - Sets - Functions - Natural numbers and induction - Complex numbers - Equivalence relations - Partial orders - Cardinality 2. Discrete Mathematics - Integers - Euclidean Algorithm - Modular arithmetics 3. Algebraic structures - Monoids - Groups RECOMMENDED READING/BIBLIOGRAPHY Teaching support material will be posted on Aulaweb TEACHERS AND EXAM BOARD EMANUELA DE NEGRI Ricevimento: By appointment. Exam Board ALDO CONCA (President) RICCARDO CAMERLO EMANUELA DE NEGRI (President Substitute) JACOPO EMMENEGGER (Substitute) ULDERICO FUGACCI (Substitute) GIUSEPPE ROSOLINI (Substitute) LESSONS LESSONS START According to the calendar approved by the Degree Program Board: https://corsi.unige.it/en/corsi/11896/studenti-orario Class schedule The timetable for this course is available here: Portale EasyAcademy EXAMS EXAM DESCRIPTION Written examination Guidelines for students with certified Specific Learning Disorders, disabilities, or other special educational needs are available at https://corsi.unige.it/en/corsi/11896/studenti-disabilita-dsa. ASSESSMENT METHODS Questions of the exam will concern the main topics presented during the lectures. The aim is to establish not only whether students will have reached an appropriate level of knowledge, but also whether they can analize and approach problems. Exam schedule Data appello Orario Luogo Degree type Note 21/01/2026 11:00 GENOVA Scritto 12/02/2026 11:00 GENOVA Scritto 25/06/2026 11:00 GENOVA Scritto 17/07/2026 11:00 GENOVA Scritto 04/09/2026 11:00 GENOVA Scritto FURTHER INFORMATION For further information, please refer to the course’s AulaWeb module or contact the instructor.