Logic
A.Y. 2020/2021
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.
- 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.
Lesson period: Second semester
Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi
Single course
This course cannot be attended as a single course. Please check our list of single courses to find the ones available for enrolment.
Course syllabus and organization
(A-K)
Responsible
Lesson period
Second semester
During the ongoing covid emergency, the course syllabus will be maintained with the following changes made to enhance the effectiveness of the online version of the course, which was originally designed for face-to-face teaching.
Online environments used:
Ariel: https://mdagostinol.ariel.ctu.unimi.it/v5/home/Default.aspx
Teams: codice presente in Ariel
Zoom: codice presente in Ariel
Teaching methods:
Classes will be held according to the following risk scenarios:
- maximum severity (red zone): classes will be held only remotely in synchronous mode (using MSTeams)
- high severity (orange zone): lessons will be held in mixed mode, partly in person and partly online. the face-to-face lessons will allow the participation of students connected with MSTeams as well as students in the classroom. Online lessons will be held synchronously (using MSTeams)
- severity (yellow zone): classes will be held according with the orange zone guidelines and, if conditions allow, the number of lessons on campus will be increased.
The calendar of in person lessons and updates will be published on the online course platform.
Learning assessment procedures and evaluation criteria:
The exam is written and is held on Zoom + exam.net in any emergency situation, whether yellow, orange or red zone, in compliance with the guidelines provided by the University. The online course on Ariel will make available constantly updated details about the oral examination sessions that will be held over several days.
Students wishing to participate in face-to-face lessons must refer to the following University provisions: https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/didattica-presenza
Students wishing to participate in MSTeams lessons must refer to the following technical guides: https://www.unimi.it/it/studiare/servizi-gli-studenti/servizi-tecnologici-e-online/microsoft-office-365-education
To participate in the exam sessions, students must refer to the following provisions: https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/esami/esami-distanza-faq-gli-studenti
Online environments used:
Ariel: https://mdagostinol.ariel.ctu.unimi.it/v5/home/Default.aspx
Teams: codice presente in Ariel
Zoom: codice presente in Ariel
Teaching methods:
Classes will be held according to the following risk scenarios:
- maximum severity (red zone): classes will be held only remotely in synchronous mode (using MSTeams)
- high severity (orange zone): lessons will be held in mixed mode, partly in person and partly online. the face-to-face lessons will allow the participation of students connected with MSTeams as well as students in the classroom. Online lessons will be held synchronously (using MSTeams)
- severity (yellow zone): classes will be held according with the orange zone guidelines and, if conditions allow, the number of lessons on campus will be increased.
The calendar of in person lessons and updates will be published on the online course platform.
Learning assessment procedures and evaluation criteria:
The exam is written and is held on Zoom + exam.net in any emergency situation, whether yellow, orange or red zone, in compliance with the guidelines provided by the University. The online course on Ariel will make available constantly updated details about the oral examination sessions that will be held over several days.
Students wishing to participate in face-to-face lessons must refer to the following University provisions: https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/didattica-presenza
Students wishing to participate in MSTeams lessons must refer to the following technical guides: https://www.unimi.it/it/studiare/servizi-gli-studenti/servizi-tecnologici-e-online/microsoft-office-365-education
To participate in the exam sessions, students must refer to the following provisions: https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/esami/esami-distanza-faq-gli-studenti
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).
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, self-assessment tests
Teaching Resources
Handouts provided by the lecturer. No additional reading material is necessary for students who cannot attend the lectures regularly. These students will be able to ask the lecturer for clarifications via the forum in the Ariel site for the course.
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
(L-Z)
Responsible
Lesson period
Second semester
During the ongoing covid emergency, the course syllabus will be maintained with the following changes to enhance the effectiveness to the online version of a course originally designed for face-to-face teaching.
Online environments used:
Ariel: https://gprimierol.ariel.ctu.unimi.it/
Moolde: link available on Ariel
MSTeams: code available on Ariel
Teaching methods:
Classes will be held according to the following risk scenarios:
- maximum severity (red zone): classes will be held only remotely in synchronous mode (using MSTeams)
- high severity (orange zone): lessons will be held in mixed mode, partly in person and partly online. the face-to-face lessons will allow the participation of students connected with MSTeams as well as students in the classroom. Online lessons will be held synchronously (using MSTeams)
- severity (yellow zone): classes will be held according with the orange zone guidelines and, if conditions allow, the number of lessons on campus will be increased.
The calendar of in person lessons and updates will be published on the online course platform on Ariel/Moodle. Teaching material and recordings of online classes will be made available on Ariel/Moodle.
Learning assessment procedures and evaluation criteria:
The exam is written and is held on MSTeams / Moodle SEB /Exam.net in any emergency situation, whether yellow, orange or red zone, in compliance with the guidelines provided by the University.
Students wishing to participate in face-to-face lessons must refer to the following University provisions: https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/didattica-presenza
Students wishing to participate in MSTeams lessons must refer to the following technical guides: https://www.unimi.it/it/studiare/servizi-gli-studenti/servizi-tecnologici-e-online/microsoft-office-365-education
To participate in the exam sessions, students must refer to the following provisions: https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/esami/esami-distanza-faq-gli-studenti
Online environments used:
Ariel: https://gprimierol.ariel.ctu.unimi.it/
Moolde: link available on Ariel
MSTeams: code available on Ariel
Teaching methods:
Classes will be held according to the following risk scenarios:
- maximum severity (red zone): classes will be held only remotely in synchronous mode (using MSTeams)
- high severity (orange zone): lessons will be held in mixed mode, partly in person and partly online. the face-to-face lessons will allow the participation of students connected with MSTeams as well as students in the classroom. Online lessons will be held synchronously (using MSTeams)
- severity (yellow zone): classes will be held according with the orange zone guidelines and, if conditions allow, the number of lessons on campus will be increased.
The calendar of in person lessons and updates will be published on the online course platform on Ariel/Moodle. Teaching material and recordings of online classes will be made available on Ariel/Moodle.
Learning assessment procedures and evaluation criteria:
The exam is written and is held on MSTeams / Moodle SEB /Exam.net in any emergency situation, whether yellow, orange or red zone, in compliance with the guidelines provided by the University.
Students wishing to participate in face-to-face lessons must refer to the following University provisions: https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/didattica-presenza
Students wishing to participate in MSTeams lessons must refer to the following technical guides: https://www.unimi.it/it/studiare/servizi-gli-studenti/servizi-tecnologici-e-online/microsoft-office-365-education
To participate in the exam sessions, students must refer to the following provisions: https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/esami/esami-distanza-faq-gli-studenti
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).
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:
Wednesday 10:00-13:00 and via Teams upon request
Head of Department's Office, Cortile d’Onore
Reception:
Tuesdays, 14:00-17:00. Students are kindly asked to get in touch by email to confirm date and hour.
Teams/Slack