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 A.A. 2021/2022 A.A. 2020/2021 A.A. 2019/2020 A.A. 2018/2019 A.A. 2017/2018 A.A. 2016/2017 A.A. 2015/2016 A.A. 2014/2015 A.A. 2013/2014 A.A. 2012/2013 A.A. 2011/2012 A.A. 2010/2011 A.A. 2009/2010

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 in Informatica - 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
6
C
MAT/01
6
A
MAT/02
12
A
MAT/05
12
A
ING-INF/05
6
C
MAT/06
12
A
INF/01
English B2
6
E
-

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

ModulesCreditsTAFSSD
12
B
INF/01
12
B
INF/01
6
A
FIS/01
6
B
INF/01
6
C
MAT/01
6
B
INF/01
12
B
ING-INF/05

3° Year  It will be activated in the A.Y. 2026/2027

ModulesCreditsTAFSSD
6
B
INF/01
6
B
INF/01
6
B
INF/01
6
B
INF/01
6
C
INF/01
Un insegnamento a scelta
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
FIS/01
6
C
INF/01
6
C
INF/01
Final exam
6
E
-
It will be activated in the A.Y. 2025/2026
ModulesCreditsTAFSSD
12
B
INF/01
12
B
INF/01
6
A
FIS/01
6
B
INF/01
6
C
MAT/01
6
B
INF/01
12
B
ING-INF/05
It will be activated in the A.Y. 2026/2027
ModulesCreditsTAFSSD
6
B
INF/01
6
B
INF/01
6
B
INF/01
6
B
INF/01
6
C
INF/01
Un insegnamento a scelta
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
FIS/01
6
C
INF/01
6
C
INF/01
Final exam
6
E
-
Modules Credits TAF SSD
Between the years: 2°- 3°
Training
6
F
-
Between the years: 2°- 3°
12
D
-

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   (It will be activated in the A.Y. 2025/2026)

Teaching code

4S012332

Credits

6

Scientific Disciplinary Sector (SSD)

MAT/01 - LOGICA MATEMATICA

Learning objectives

The course aims to provide the tools to understand, formulate, and evaluate formal reasoning expressed in the language of one or more logics and to connect concepts expressed in logical languages. At the end of the course, the student will have to: Demonstrate knowledge and understanding of logical formulas expressed in the language of one or more logics in order to evaluate formal reasoning expressed in these logics; Know how to apply the knowledge acquired in order to build models of logical formulas and proofs in one or more deductive systems both manually and interactively on the computer and to connect concepts expressed in logical languages; Be able to choose the linguistic and formal context for the formulation and solution of problems; Knowing how to argue logical and IT problems in a technical and precise way; Be able to continue the studies independently in the IT field, with particular emphasis on the theoretical approach.