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 AIMS AND CONTENT AIMS AND LEARNING OUTCOMES At the end of the course, students will - 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). TEACHING METHODS Lectures SYLLABUS/CONTENT 1. Basic notions - Sets - Functions - Natural numbers and induction - Complex numbers - Equivalence relation - Cardinality - Partial orders 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 ALESSIO CAMINATA Ricevimento: By appointment. 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. Exam schedule Data appello Orario Luogo Degree type Note 22/01/2025 11:00 GENOVA Scritto 11/02/2025 11:00 GENOVA Scritto 25/06/2025 11:00 GENOVA Scritto 18/07/2025 11:00 GENOVA Scritto 01/09/2025 11:00 GENOVA Scritto