LOGICS

iten
Code
73029
ACADEMIC YEAR
2020/2021
CREDITS
6 credits during the 1st year of 8759 Computer Science (L-31) GENOVA
SCIENTIFIC DISCIPLINARY SECTOR
MAT/01
LANGUAGE
Italian
TEACHING LOCATION
GENOVA (Computer Science)
semester
1° Semester
modules
Teaching materials

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)

ALESSANDRO VERRI (President Substitute)

LESSONS

TEACHING METHODS

Lectures and exercises in presence.

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
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