Salta al contenuto principale della pagina

LOGIC

CODE 73029
ACADEMIC YEAR 2021/2022
CREDITS
  • 6 cfu during the 1st year of 8759 INFORMATICA (L-31) - GENOVA
    		•
    SCIENTIFIC DISCIPLINARY SECTOR MAT/01
    LANGUAGE Italian
    TEACHING LOCATION
  • GENOVA
    		•
    SEMESTER 1° Semester
    MODULES This unit is a module of:
    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

    Exam Board

    RICCARDO CAMERLO (President)

    ALESSIO CAMINATA (President Substitute)

    LESSONS

    Class schedule

    All class schedules are posted on the EasyAcademy portal.

    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

    Date Time Location Type Notes
    25/01/2022 09:00 GENOVA Scritto
    11/02/2022 09:00 GENOVA Scritto
    28/06/2022 09:00 GENOVA Scritto
    14/07/2022 09:00 GENOVA Scritto
    14/09/2022 09:00 GENOVA Scritto