Logic

A.Y. 2021/2022
9
Max ECTS
60
Overall hours
SSD
M-FIL/02
Language
Italian
Learning objectives
The course aims to provide students with the basics notions and methods of contemporary logic, with an approach oriented towards the acquisition of knowledge as well as the development of practical skills. Such notions and methods will be valuable in any activity requiring advanced reasoning and problem-solving abilities.
Expected learning outcomes
Knowledge and understanding:

- knowledge of the basic notions and methods of modern formal logic;
- master the fundamental tools of deductive logic
- basic knowledge of the fundamental results in propositional and quantificational logic: completeness, decidability of Boolean logic, undecidability of quantificational logic, computational complexity of Boolean logic.
Ability to apply knowledge and understanding

At the end of the course, students are expected to be able to:
- define suitable formal languages to solve a given class of problems;
- translate sentences from ordinary language into a suitable Boolean or first-order language;
- carry out deductions and find counterexamples to incorrect inferences.
- can apply the logical tools acquired to solve theoretical and practical problems.
Course syllabus and organization

Single session

Responsible
Lesson period
Second semester
Course syllabus
Boolean Logic
First Order Logic
Completeness, Decidability, Complexity

The 6 CFU exam will concern the first two topics (handouts 1 and 2, first 20 lectures). The 9 CFU exam will concern all the three topics (handouts 1, 2 and 3, 30 lectures).
Prerequisites for admission
None.
Teaching methods
Frontal lectures, guided tests, self-assessment tests.
Teaching Resources
Handouts by proff. D'Agostino and Primiero.
Assessment methods and Criteria
Written Exam: Test with theory questions and closed answer exercises, aimed at verifying knowledge and skills acquisition within the learning objectives of the course. The test includes questions and exercises with different difficulty levels and weighted accordingly, with easier questions granted less points. Passing the exams requires verification that all essential knowledge has been acquired.
Unita' didattica A
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours
Unita' didattica B
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours
Unita' didattica C
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours
Professor(s)
Reception:
Tuesdays, 14:00-17:00. Students are kindly asked to get in touch by email to confirm date and hour.
Teams/Slack