Logic
A.Y. 2019/2020
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-L)
Responsible
Lesson period
Second semester
Course syllabus
Boolean Logic
First Order Logic
Completeness, Decidability, Complexity
First Order Logic
Completeness, Decidability, Complexity
Prerequisites for admission
Nothing
Teaching methods
Frontal lectures, self-assessment tests
Teaching Resources
Handouts provided by the lecturer.
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 three difficulty levels:
* = easy
** = medium
*** = hard
Evaluation is as follows:
D fail = the candidate did not answer to most questions labelled by *.
C 2:2 (18-22) = the candidate answers to most questions labelled by *.
B 2:1 (23-28) = the candidate answers to all questions labelled by * and to most questions labelled by **.
A first (29-30 e lode)= the candidate answers to all questions labelled by * and **, and to most questions labelled by ***.
Exam for non-attending students: Written test.
Exam for attending students: Two written intermediate tests and a written final test, aimed at verifying knowledge and skills acquisition. Successful completion of each test is a prerequisite for accessing the next test; all three tests need to be successfully completed for the course to be passed. Final evaluation will be based on the intermediate results and will be proposed at the enrollment in the final exam. Students who did not pass one of the tests, or decided not to accept the proposed grade, will be required to sit a final written exam.
* = easy
** = medium
*** = hard
Evaluation is as follows:
D fail = the candidate did not answer to most questions labelled by *.
C 2:2 (18-22) = the candidate answers to most questions labelled by *.
B 2:1 (23-28) = the candidate answers to all questions labelled by * and to most questions labelled by **.
A first (29-30 e lode)= the candidate answers to all questions labelled by * and **, and to most questions labelled by ***.
Exam for non-attending students: Written test.
Exam for attending students: Two written intermediate tests and a written final test, aimed at verifying knowledge and skills acquisition. Successful completion of each test is a prerequisite for accessing the next test; all three tests need to be successfully completed for the course to be passed. Final evaluation will be based on the intermediate results and will be proposed at the enrollment in the final exam. Students who did not pass one of the tests, or decided not to accept the proposed grade, will be required to sit a final written exam.
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
(M-Z)
Responsible
Lesson period
Second semester
Course syllabus
Boolean Logic
First Order Logic
Completeness, Decidability, Complexity
First Order Logic
Completeness, Decidability, Complexity
Prerequisites for admission
None.
Teaching methods
Frontal lectures, self-assessment tests
Teaching Resources
Handouts provided by the lecturer.
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 three difficulty levels:
* = easy
** = medium
*** = hard
Evaluation is as follows:
D fail = the candidate did not answer to most questions labelled by *.
C 2:2 (18-22) = the candidate answers to most questions labelled by *.
B 2:1 (23-28) = the candidate answers to all questions labelled by * and to most questions labelled by **.
A first (29-30 e lode)= the candidate answers to all questions labelled by * and **, and to most questions labelled by ***.
Exam for non-attending students: Written test.
Exam for attending students: Two written intermediate tests and a written final test, aimed at verifying knowledge and skills acquisition. Successful completion of each test is a prerequisite for accessing the next test; all three tests need to be successfully completed for the course to be passed. Final evaluation will be based on the intermediate results and will be proposed at the enrollment in the final exam. Students who did not pass one of the tests, or decided not to accept the proposed grade, will be required to sit a final written exam.
* = easy
** = medium
*** = hard
Evaluation is as follows:
D fail = the candidate did not answer to most questions labelled by *.
C 2:2 (18-22) = the candidate answers to most questions labelled by *.
B 2:1 (23-28) = the candidate answers to all questions labelled by * and to most questions labelled by **.
A first (29-30 e lode)= the candidate answers to all questions labelled by * and **, and to most questions labelled by ***.
Exam for non-attending students: Written test.
Exam for attending students: Two written intermediate tests and a written final test, aimed at verifying knowledge and skills acquisition. Successful completion of each test is a prerequisite for accessing the next test; all three tests need to be successfully completed for the course to be passed. Final evaluation will be based on the intermediate results and will be proposed at the enrollment in the final exam. Students who did not pass one of the tests, or decided not to accept the proposed grade, will be required to sit a final written exam.
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