AIMS AND CONTENT

LEARNING OUTCOMES

The module aims to provide students with a general understanding of the concepts of logical consequence and equivalence, the distinction between syntax and semantics in formal languages, the concept of interpretation for a formal language, and the ability to translate statements from a natural language to a formal language and vice versa.

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.

PREREQUISITES

No specific prerequisites are required.

TEACHING METHODS

Lectures and exercises in presence.

Students who hold valid certificates relating to Specific Learning Difficulties (SLD), disabilities or other educational needs are invited to contact the lecturer and the school’s disability liaison officer at the start of the course to agree on any teaching arrangements which, whilst respecting the course objectives, take into account individual learning styles. 

The contact details for the university’s disability liaison officer are available at the following link: https://unige.it/commissioni/comitatoperlinclusionedeglistudenticondisabilita. 

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

LESSONS

LESSONS START

According to the calendar approved by the Degree Program Board:  https://easyacademy.unige.it/portalestudenti/index.php?view=easycourse&_lang=it&include=corso

Class schedule

The timetable for this course is available here: Portale EasyAcademy

EXAMS

EXAM DESCRIPTION

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.

ASSESSMENT METHODS

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.

FURTHER INFORMATION

For further information, please refer to the course’s AulaWeb module or contact the instructor.

Students with valid certifications for Specific Learning Disorders (SLD) may request accommodations for exams at least 7 days prior to the exam date by filling out the “accommodation request form” (available via online services at https://modulionline.unige.it/richiesta-adattamenti# no-back), which will be automatically forwarded by the system to the instructor in charge of the course and to the faculty liaison for students with disabilities and SLDs in their School/Department. 

The student will receive a copy of their request.