Learning the concepts of logical consequence and equivalence, the distinction between syntax and semantics for a formal language, the concept of interpretation for a formal language, and the ability of translate sentences from a natural to a formal language and vice versa.
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.
No specific prerequisites are required.
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.
Ricevimento: By appointment.
Ricevimento: By appointment, via email or after class
Ricevimento: by appointment
RICCARDO CAMERLO (President)
FRANCESCO STRAZZANTI
ALESSIO CAMINATA (President Substitute)
ALDO CONCA (President Substitute)
According to the calendar approved by the Degree Program Board: https://corsi.unige.it/en/corsi/11896/studenti-orario
Written examination.
Guidelines for students with certified Specific Learning Disorders, disabilities, or other special educational needs are available at https://corsi.unige.it/en/corsi/11896/studenti-disabilita-dsa.
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.
For further information, please refer to the course’s AulaWeb module or contact the instructor.
