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. 2026/2027 A.A. 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.

CURRICULUM TIPO:

1° Year 

ModulesCreditsTAFSSD
12
B
MAT/05
6
B
MAT/07

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

ModulesCreditsTAFSSD
Final exam
30
E
-
ModulesCreditsTAFSSD
12
B
MAT/05
6
B
MAT/07
It will be activated in the A.Y. 2026/2027
ModulesCreditsTAFSSD
Final exam
30
E
-
Modules Credits TAF SSD
Between the years: 1°- 2°
2 modules among the following: area algebra and geometry + analysis
- A.A. 2025/2026 Homological Algebra not activated
- A.A. 2026/2027 Applied algebra not activated
6
B
MAT/03
6
B
MAT/02 ,MAT/03
6
B
MAT/02
6
B
MAT/03
6
B
MAT/02
6
B
MAT/05
6
B
MAT/02
6
B
MAT/05
6
B
MAT/05
Between the years: 1°- 2°
3 modules among the following: area modeling and computational mathematics
6
B
MAT/07
6
B
MAT/08
6
B
MAT/06
6
B
MAT/09
6
B
MAT/08
6
B
MAT/08
6
B
MAT/08
6
B
MAT/06
6
B
MAT/06
6
B
MAT/06
Between the years: 1°- 2°
24 credits among the following courses
- A.A. 2025/2026 Homological Algebra not activated.
- A.A. 2025/2026 Physics education laboratory not activated
- A.A. 2026/2027 Applied algebra not activated
6
C
MAT/01
6
C
MAT/03
6
C
MAT/02 ,MAT/03
6
C
MAT/07
6
C
MAT/02
6
C
MAT/02
6
C
INF/01
6
C
INF/01
6
C
MAT/03
6
C
MAT/08
6
C
MAT/02
6
C
SECS-P/08
6
C
INF/01
6
C
MAT/06
6
C
MAT/01
6
C
MAT/05
6
C
MAT/09
12
C
MAT/04
6
C
MAT/02
6
C
FIS/01
6
C
MAT/08
6
C
MAT/08
6
C
MAT/08
6
C
MAT/05
6
C
MAT/05
6
C
FIS/01
6
C
MAT/06
6
C
MAT/06
6
C
MAT/06
Between the years: 1°- 2°
Further activities
6
F
-
Between the years: 1°- 2°
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

Advanced course in foundations of mathematics  (2025/2026)

Teaching code

4S001104

Academic staff

Peter Michael Schuster, Margherita Zorzi

Coordinator

Peter Michael Schuster

Credits

6

Also offered in courses:

Language

English en

Scientific Disciplinary Sector (SSD)

MAT/01 - MATHEMATICAL LOGIC

Period

2nd semester dal Mar 2, 2026 al Jun 12, 2026.

Courses Single

Authorized

Lessons timetable MoodleMoodle Seminars 0

Learning objectives

This monographic course introduces advanced topics in the area of the foundations of mathematics and discusses their repercussions in mathematical practice. The specific arguments are detailed in the programme. At the end of this course the student will know advanced topics related to the foundations of mathematics. The student will be able to reflect upon their interactions with other disciplines of mathematics and beyond; to produce rigorous argumentations and proofs; and to read related articles and monographs, including advanced ones.

Prerequisites and basic notions

Bachelor's degree in mathematics (pure, applied, ...). Alternatively, a bachelor's degree in some related subject (computer science, statistics, ...) if the emphasis of the studies was put on formal and mathematical methods.

Program

Introduction to Zermelo-Fraenkel style axiomatic set theory, with attention to constructive aspects and transfinite methods (ordinal numbers, axiom of choice, etc.).
Gödel's incompleteness theorems and their repercussion on Hilbert's programme, with elements of computability theory (recursive functions and predicates, etc.).

Didactic methods

All lectures will be held in lecture hall. Additional homework exercises will be assigned and partially discussed at lectures or during the possible optional tutorials.

Learning assessment procedures

The exam consists of an oral test. You can choose between two options: 1. take an oral exam on the course content, or 2. present and discuss an advanced topic related to the course and agreed with the course instructors.

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

The exam aims to verify the student's full maturity about proof techniques and the ability to read and understand advanced topics of the foundations of mathematics.

Criteria for the composition of the final grade

The final grade consists of the outcome of the sole oral exam.

Exam language

Inglese