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
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
| Modules | Credits | TAF | SSD |
|---|
Mathematical analysis
Algebra and Foundations of Mathematics
2° Year It will be activated in the A.Y. 2026/2027
| Modules | Credits | TAF | SSD |
|---|
3° Year It will be activated in the A.Y. 2027/2028
| Modules | Credits | TAF | SSD |
|---|
One module to be chosen among the following| Modules | Credits | TAF | SSD |
|---|
Mathematical analysis
Algebra and Foundations of Mathematics
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
One module to be chosen among the following| Modules | Credits | TAF | SSD |
|---|
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.
Logic (2026/2027)
Teaching code
4S012332
Teacher
Coordinator
Credits
6
Language
Italian
Scientific Disciplinary Sector (SSD)
MAT/01 - MATHEMATICAL LOGIC
Period
I semestre dal Oct 1, 2026 al Jan 29, 2027.
Courses Single
Authorized
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.
Prerequisites and basic notions
Elementary notions of algebra and basic mathematics
Program
Propositional Logic
- Propositions and Connectives
- Semantics
- Natural Deduction
- Correctness and Completeness
Predicate Logic
- Quantifiers
- Structures
- Semantics
- Identity
- Natural Deduction
- Correctness and Completeness
- Natural Deduction and Identity.
Formalization of Properties in Predicate Logic
Bibliography
Didactic methods
Classroom lessons with the aid of a blackboard and projector
Learning assessment procedures
Written exam consisting of open-ended questions. Questions may include theorem statements, proofs (explained in class), and exercises.
Evaluation criteria
Understanding of the topics covered in class is assessed.
Criteria for the composition of the final grade
The final grade is the result of the evaluation of the written assignment
Exam language
Italiano
