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.
The academic calendar shows the deadlines and scheduled events that are relevant to students, teaching and technical-administrative staff of the University. Public holidays and University closures are also indicated. The academic year normally begins on 1 October each year and ends on 30 September of the following year.
The Academic Calendar sets out the degree programme lecture and exam timetables, as well as the relevant university closure dates..
Definition of lesson periods
Oct 1, 2018
Jan 31, 2019
Mar 4, 2019
Jun 14, 2019
Sessione invernale d'esame
Feb 1, 2019
Feb 28, 2019
Sessione estiva d'esame
Jun 17, 2019
Jul 31, 2019
Sessione autunnale d'esame
Sep 2, 2019
Sep 30, 2019
Sessione di laurea estiva
Jul 22, 2019
Jul 22, 2019
Sessione di laurea autunnale
Oct 15, 2019
Oct 15, 2019
Sessione di laurea invernale
Mar 19, 2020
Mar 19, 2020
Sospensione attività didattica
Nov 2, 2018
Nov 3, 2018
Vacanze di Natale
Dec 24, 2018
Jan 6, 2019
Vacanze di Pasqua
Apr 19, 2019
Apr 28, 2019
Aug 5, 2019
Aug 18, 2019
Exam dates and rounds are managed by the relevant Science and Engineering Teaching and Student Services Unit.
To view all the exam sessions available, please use the Exam dashboard on ESSE3.
If you forgot your login details or have problems logging in, please contact the relevant IT HelpDesk, or check the login details recovery web page.
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 enrolment year.
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.
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.
Troelstra, Anne S. & Schwichtenberg, Helmut
Basic Proof Theory.
Cambridge University Press
Jon Barwise (ed.)
Handbook of Mathematical Logic
David, René & Nour, Karim & Raffali, Christophe
Introduction à la Logique. Théorie de la démonstration
Cantini, Andrea & Minari, Pierluigi
Introduzione alla logica : linguaggio, significato, argomentazione.
van Dalen, Dirk
Logic and Structure.
Abrusci, Vito Michele & Tortora de Falco, Lorenzo
Logica. Volume 1 - Dimostrazioni e modelli al primo ordine.
Shoenfield, Joseph R.
Association for Symbolic Logic & A K Peters
Mathematical Logic (lecture notes).
Single oral exam with open questions and grades out of 30. The exam modalities are equal for attending and non-attending students.
Type D and Type F activities
Modules not yet included
News for students
There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details.
I servizi e le attività di orientamento sono pensati per fornire alle future matricole gli strumenti e le informazioni che consentano loro di compiere una scelta consapevole del corso di studi universitario.
The University of Verona, through a network of agreements with foreign universities, offers international courses that enable students to gain a Double/Joint degree at the time of graduation. Indeed, students enrolled in a Double/Joint degree programme will be able to obtain both the degree of the University of Verona and the degree issued by the Partner University abroad - where they are expected to attend part of the programme -, in the time it normally takes to gain a common Master’s degree. The institutions concerned shall ensure that both degrees are recognised in the two countries.
Places on these programmes are limited, and admissions and any applicable grants are subject to applicants being selected in a specific Call for applications.
In order to make the study path more flexible, it is possible to request the substitution of some modules with others of the same course of study in Mathematics at the University of Verona (if the educational objectives of the modules to be substituted have already been achieved in the previous career), or with others of the course of study in Mathematics at the University of Trento.
As stated in point 25 of the Teaching Regulations for the A.Y. 2021/2022, except for specific practical or lab activities, attendance is not mandatory. Regarding these activities, please see the web page of each module for information on the number of hours that must be attended on-site.
Please refer to the Crisis Unit's latest updates for the mode of teaching.