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

A.A. 2024/2025 A.A. 2023/2024 A.A. 2022/2023

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 Artificial Intelligence - Enrollment from 2025/2026

The 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

ModulesCreditsTAFSSD
12
B
ING-INF/05
12
B
ING-INF/05
12
B
INF/01
2 modules among the following (A.A. 2024/2025 Network Science not activated)
6
C
ING-INF/05
6
C
INF/01
6
C
FIS/02
6
C
INF/01
6
C
MAT/08
6
C
MAT/09
6
C
INF/01 ,ING-INF/05
6
C
INF/01
6
C
FIS/02
6
C
INF/01
6
C
MAT/06
1 module among the following
6
C
SECS-S/06
6
C
IUS/07
6
C
IUS/02
6
C
M-FIL/02
6
C
IUS/08
6
C
IUS/17
6
C
IUS/04
6
C
IUS/01

2° Year  It will be activated in the A.Y. 2025/2026

ModulesCreditsTAFSSD
6
C
INF/01
Final exam
18
E
-
It will be activated in the A.Y. 2025/2026
ModulesCreditsTAFSSD
6
C
INF/01
Final exam
18
E
-
Modules Credits TAF SSD
Between the years: 1°- 2°
2 modules among the following (1st year: Knowledge representation, Natural language processing, HCI Intelligent interfaces - 2nd year: AI & Cloud - 1st and 2nd year: Computer Vision & Deep learning)
6
B
INF/01
6
B
INF/01
6
B
ING-INF/05
6
B
INF/01
6
B
ING-INF/05
Between the years: 1°- 2°
2 modules among the following (1st year: Knowledge representation, Natural language processing, HCI Intelligent interfaces - 2nd year: AI & Cloud, Visual intelligence, Statistical learning - 1st and 2nd year: Computer Vision & Deep Learning)
6
C
INF/01
6
C
INF/01
6
C
ING-INF/05
6
C
INF/01
6
C
ING-INF/05
6
C
INF/01
6
C
ING-INF/06
Between the years: 1°- 2°
12
D
-
Between the years: 1°- 2°
Further activities: 3 CFU training and 3 CFU further language skill or 6 CFU training. International students (i.e. students who do not have an Italian bachelor’s degree) must compulsorily gain 3 CFU of Italian language skills (at least A2 level) and 3 CFU training.
6
F
-

Legend | 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.

A Basic activities
B Characterizing activities
C Related or complementary activities
D Activities to be chosen by the student
E Final examination
F Other training activities
S Placements in companies, public or private institutions and professional associations

Logic in AI  (2024/2025)

Teaching code

4S010689

Teacher

Margherita Zorzi

Coordinator

Margherita Zorzi

Credits

6

Also offered in courses:

Language

English en

Scientific Disciplinary Sector (SSD)

INF/01 - INFORMATICS

Period

Semester 1  dal Oct 1, 2024 al Jan 31, 2025.

Courses Single

Authorized

Lessons timetable MoodleMoodle Seminars 0

Learning objectives

The course covers a range of logics employed in AI, including classical, intuitionistic, modal, epistemic, deontic, and distributed logics, each operating at varying levels of expressivity such as propositional, first-order, and higher-order. Additionally, students explore how logical systems underpin key aspects of computer science relevant to AI, such as the relationships between type systems and programming languages, as well as those between inference systems and interactive or mechanical theorem proving.

By the end of the course, students are expected to demonstrate their ability to:

- Develop formal proofs within the deductive systems covered in class.
- Understand and evaluate the properties of these systems.
- Comprehend how such systems function within reasoning tools like proof assistants, theorem provers, and solvers.

This preparation equips students for further advanced studies or undertaking a thesis in computational logic and AI.

Prerequisites and basic notions

The basic knowledge of logic imparted in the Bachelor's degree in computer science at the University of Verona
It assumes knowledge of propositional logic and natural deduction.
Upon request, the teacher will provide supplementary materials and ad hoc receptions.

Program

1.Propositional logic and its natural deduction system, a short review.
2. Predicate logics: quantifiers, structures semantics, identity, natural deduction, soundness and completeness Theorems
3. Intuitionistic Logic
4. Normalization and confluence in natural deduction.
5. Lambda calculus without types and with types. Lambda calculus as a paradigm for functional programming.
6. Peano Arithmetic : first and second incompleteness theorems

Didactic methods

Classroom lecture

Learning assessment procedures

Final seminar on a topic assigned during the course.

Students with disabilities or specific learning disorders (SLD), who intend to request the adaptation of the exam, must follow the instructions given HERE

Evaluation criteria

Understanding the subject matter and presentation skills.

Criteria for the composition of the final grade

Overall evaluation.

Exam language

English