| CODE | 73029 |
|---|---|
| ACADEMIC YEAR | 2022/2023 |
| CREDITS |
|
| SCIENTIFIC DISCIPLINARY SECTOR | MAT/01 |
| LANGUAGE | Italian |
| TEACHING LOCATION |
|
| SEMESTER | 1° Semester |
| MODULES | This unit is a module of: |
| TEACHING MATERIALS | AULAWEB |
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.
Lectures and exercises in presence.
- 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
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.
Office hours: By appointment.
RICCARDO CAMERLO (President)
ALESSIO CAMINATA (President Substitute)
All class schedules are posted on the EasyAcademy portal.
Written examination.
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 establish teaching and examination methods that, in compliance with the teaching objectives, take account of individual learning arrangements and provide appropriate compensatory tools.
The exams consists in the resolution of four exercises or problems on the subjects of the course.
The evaluation takes into account the correctedness of the solution, the clarity of the explanation, and the rigour of the arguments.
| Date | Time | Location | Type | Notes |
|---|---|---|---|---|
| 25/01/2023 | 09:00 | GENOVA | Scritto | |
| 14/02/2023 | 09:00 | GENOVA | Scritto | |
| 28/06/2023 | 09:00 | GENOVA | Scritto | |
| 19/07/2023 | 09:00 | GENOVA | Scritto | |
| 07/09/2023 | 09:00 | GENOVA | Scritto |