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

Mathematical logic  (2025/2026)

Teaching code

4S001096

Academic staff

Peter Michael Schuster, Iosif Petrakis

Coordinator

Peter Michael Schuster

Credits

6

Language

English en

Scientific Disciplinary Sector (SSD)

MAT/01 - MATHEMATICAL LOGIC

Period

1st semester dal Oct 1, 2025 al Jan 30, 2026.

Courses Single

Authorized

Lessons timetable MoodleMoodle Seminars 3

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.

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

Formal languages of first-order predicate logic.
Calculus of natural deduction.
Minimal, intuitionistic and classical logic.
Soundness and completeness theorems.
Compactness and Löwenheim-Skolem theorems.
Models and theories.

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 mathematical logic.

Criteria for the composition of the final grade

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

Exam language

Inglese