CODE 73027 ACADEMIC YEAR 2023/2024 CREDITS 6 cfu anno 1 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 Exam Board RICCARDO CAMERLO (President) FRANCESCO STRAZZANTI (President) LESSONS LESSONS START According to the calendar approved by "Consiglio dei Corsi di Studio in Informatica e Computer Science" Class schedule L'orario di tutti gli insegnamenti è consultabile all'indirizzo 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.