Studying at the University of Verona
Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.
Study Plan
This information is intended exclusively for students already enrolled in this course.If you are a new student interested in enrolling, you can find information about the course of study on the course page:
Laurea magistrale in Ingegneria e scienze informatiche - Enrollment from 2025/2026The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.
1° Year
2° Year activated in the A.Y. 2023/2024
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
4 modules among the following2 modules among the following3 modules among the followingLegend | Type of training activity (TTA)
TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.
Logic in computer science (2022/2023)
Teaching code
4S008914
Teacher
Coordinator
Credits
6
Also offered in courses:
- Logic in AI of the course Master's degree in Artificial intelligence
Language
Italian
Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
Period
Semester 1 dal Oct 3, 2022 al Jan 27, 2023.
Learning objectives
The course aims to provide knowledge of classical and intuitionisitic logic (propositional and first order), and of lambda calculus and type theory. At the end of the course the students must demonstrate to have the necessary knowledge to reason within a formal logical system, both in a classical and intuitionisitic setting. This knowledge will allow the student to: i) carry out formal proofs with a deductive system; ii)reasoning with axiomatic systems. Moreover the students will have to know how to transfer the theoretical notions learned in logical contexts typical of computer science, such as the type systems for functional languages. Students will be able to continue their studies in the field of computer science logic.
Prerequisites and basic notions
The basic knowledge of logic imparted in the Bachelor's degree in computer science at the University of Verona
Program
1.Propositional logic:
-propositions and connectives
-semantics
-natural deduction
-soundness and completeness
2. Predicate logics:
-quantifiers
-structures
-semantics
-identity
-natural deduction
-soundness and completeness
3. normalization in natural deduction.
4. confluence.
5. basic model theory
- equivalence,
- isomporphism.
6. lambda calculus without types and with types.
7. the sequent calculus and the cut elimination theorem.
8, peano Arithmetic
-first and second incompleteness theorems
Didactic methods
Frontal lessons held on the blackboard (electronic)
Learning assessment procedures
The exam consists of an oral test during which the student will have to explain, in twenty minutes, a topic assigned at the end of the course, and answer the teacher's questions.
Evaluation criteria
To pass the exam, students must demonstrate that they: - have understood the principles underlying logic in computer science - be able to present arguments on the topics of the course in a precise and organic way.
Criteria for the composition of the final grade
The final grade is based on the evaluation of the seminar held by the student and on the answers given.
Exam language
Italiano
