CODE 73029 ACADEMIC YEAR 2020/2021 CREDITS 6 cfu anno 1 INFORMATICA 8759 (L-31) - GENOVA SCIENTIFIC DISCIPLINARY SECTOR MAT/01 LANGUAGE Italian TEACHING LOCATION GENOVA SEMESTER 1° Semester 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, the student is expected to have acquired familiarity with propositional and first-order logics, and be able to solve exercises and problems on these topics. TEACHING METHODS Lectures and exercises in presence. SYLLABUS/CONTENT - Introduction to mathematical reasoning - Syntax of propositional logic - Semantics of propositional logic: truth tables - Syntax of first-order logic - Semantics of first-order logic: model theory - The problem of formalisation RECOMMENDED READING/BIBLIOGRAPHY The notes of the course, discussed in the lectures, are available to the students. Any standard text in Mathematical logic includes the topics of the course. TEACHERS AND EXAM BOARD RICCARDO CAMERLO Exam Board RICCARDO CAMERLO (President) ALESSIO CAMINATA (President Substitute) ALESSANDRO VERRI (President Substitute) LESSONS Class schedule The timetable for this course is available here: Portale EasyAcademy EXAMS EXAM DESCRIPTION Written examination. ASSESSMENT METHODS The exams consists in the resolution of four exercises or problems on the subjects of the course. Exam schedule Data appello Orario Luogo Degree type Note 26/01/2021 09:00 GENOVA Scritto 11/02/2021 09:00 GENOVA Scritto 29/06/2021 09:00 GENOVA Scritto 15/07/2021 09:00 GENOVA Scritto 08/09/2021 09:00 GENOVA Scritto