CODE 73027 ACADEMIC YEAR 2024/2025 CREDITS 6 cfu anno 1 INFORMATICA 8759 (L-31) - 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 OVERVIEW This is an introduction to fundamental mathematical notions and simple algebraic structures. AIMS AND CONTENT LEARNING OUTCOMES - be acquainted with logical mathematical reasoning; - learn fundamental and fundative notions in modern Mathematics (sets, functions, natural numbers, cardinality); - comprehend and master important results of discrete Mathematics and their computational applications (Euclidean Algorithm, modular arithmetic); - be able to 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 FRANCESCO STRAZZANTI Ricevimento: By appointment ALDO CONCA Ricevimento: Office hours will be fixed at the beginning of the semester and comunicated via alulaweb. Exam Board RICCARDO CAMERLO (President) ALESSIO CAMINATA (President Substitute) FRANCESCO STRAZZANTI (President Substitute) LESSONS LESSONS START According to the calendar approved by "Consiglio dei Corsi di Studio in Informatica e Computer Science" Class schedule The timetable for this course is available here: Portale EasyAcademy EXAMS EXAM DESCRIPTION Written exam. Students with DSA certification ("specific learning disabilities"), disability or other special educational needs are advised to contact the teacher at the beginning of the course to agree on teaching and examination methods that, in compliance with the teaching objectives, take account of individual learning arrangements and provide appropriate compensatory tools. 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. Agenda 2030 - Sustainable Development Goals No poverty Quality education Gender equality