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 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 ALDO CONCA Ricevimento: Office hours will be fixed at the beginning of the semester and comunicated via alulaweb. LESSONS LESSONS START According to the calendar approved by the Degree Program Board: https://corsi.unige.it/corsi/11896/studenti-orario Class schedule The timetable for this course is available here: Portale EasyAcademy EXAMS EXAM DESCRIPTION Written examination 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. FURTHER INFORMATION For further information, please refer to the course’s AulaWeb module or contact the instructor.