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
MATH-03/A
6
B
MATH-04/A

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

ModulesCreditsTAFSSD
Final exam
30
E
-
ModulesCreditsTAFSSD
12
B
MATH-03/A
6
B
MATH-04/A
It will be activated in the A.Y. 2027/2028
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. 2026/2027 Applied algebra not delivered
6
B
MATH-02/B
6
B
MATH-02/A ,MATH-02/B
6
B
MATH-02/A
6
B
MATH-02/B
6
B
MATH-02/A
6
B
MATH-03/A
6
B
MATH-02/A
6
B
MATH-03/A
6
B
MATH-03/A
Between the years: 1°- 2°
3 modules among the following: area modeling and computational mathematics
6
B
MATH-04/A
6
B
MATH-05/A
6
B
MATH-03/B
6
B
MATH-06/A
6
B
MATH-05/A
6
B
MATH-05/A
6
B
MATH-05/A
6
B
MATH-03/B
6
B
MATH-03/B
6
B
MATH-03/B
Between the years: 1°- 2°
24 credits among the following modules:
- A.A. 2026/2027 Applied algebra not delivered
6
B/C
MATH-01/A
6
B/C
MATH-02/B
6
B/C
MATH-02/A ,MATH-02/B
6
B/C
MATH-04/A
6
B/C
MATH-02/A
6
B/C
MATH-02/A
6
B/C
INFO-01/A
6
B/C
INFO-01/A
6
B/C
MATH-02/B
6
B/C
MATH-05/A
6
B/C
MATH-02/A
6
B/C
ECON-07/A
6
B/C
INFO-01/A
6
B/C
MATH-03/B
6
B/C
MATH-01/A
6
B/C
MATH-03/A
6
B/C
MATH-06/A
12
B/C
MATH-01/B
6
B/C
MATH-02/A
6
B/C
PHYS-03/A
6
B/C
MATH-05/A
6
B/C
MATH-05/A
6
B/C
MATH-05/A
6
B/C
MATH-03/A
6
B/C
MATH-03/A
6
B/C
PHYS-03/A
6
B/C
MATH-03/B
6
B/C
MATH-03/B
6
B/C
MATH-03/B
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

Mathematical logic  (2026/2027)

Teaching code

4S001096

Teacher

Peter Michael Schuster

Coordinator

Peter Michael Schuster

Credits

6

Also offered in courses:

Language

English en

Scientific Disciplinary Sector (SSD)

MATH-01/A - Mathematical Logic

Period

I semestre dal Oct 1, 2026 al Jan 29, 2027.

Courses Single

Authorized

Lessons timetable Seminars 0

Learning objectives

The course is intended to introduce into the interaction between syntax (formal languages and calculi) and semantics (interpretations and models) as is fundamental for abstract mathematics and theoretical informatics.