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.

This information is intended exclusively for students already enrolled in this course.
If you are a new student interested in enrolling, you can find information about the course of study on the course page:

Laurea in Informatica - Enrollment from 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.

2° Year  activated in the A.Y. 2024/2025

ModulesCreditsTAFSSD
12
B
INF/01
6
C
FIS/01
6
B
ING-INF/05
6
C
ING-INF/04
12
B
ING-INF/05

3° Year  It will be activated in the A.Y. 2025/2026

ModulesCreditsTAFSSD
12
B
ING-INF/05
Final exam
6
E
-
activated in the A.Y. 2024/2025
ModulesCreditsTAFSSD
12
B
INF/01
6
C
FIS/01
6
B
ING-INF/05
6
C
ING-INF/04
12
B
ING-INF/05
It will be activated in the A.Y. 2025/2026
ModulesCreditsTAFSSD
12
B
ING-INF/05
Final exam
6
E
-
Modules Credits TAF SSD
Between the years: 2°- 3°
Between the years: 2°- 3°
Training
6
F
-

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.




S Placements in companies, public or private institutions and professional associations

Teaching code

4S00031

Credits

6

Also offered in courses:

Language

Italian

Scientific Disciplinary Sector (SSD)

MAT/05 - MATHEMATICAL ANALYSIS

Period

Semester 2 dal Mar 3, 2025 al Jun 13, 2025.

Courses Single

Authorized

Learning objectives

The aim of the course is to provide students with the fundamental notions of differential and integral calculus in many variables, generalizing and mastering the notions learned in the course “Mathematical Analysis I” and employing, if needed, the notions of the other courses attended during the first year of the Bachelor in Computer Science. At the end of the course the student must prove: - to know and to be able to understand the tools and the advanced notions of the mathematical analysis and to use such notions for the solution of problems; - to be able to use the notions learned in the course for the comprehension of the topics of further courses, not necessarily in the mathematical area, where the knowledge of mathematical analysis can be a prerequisite; - to be able to choose which mathematical tool or theoretical result can be useful for the solution of a problem; - to be able to appropriately use the language and the formalism of the mathematical analysis; - to be able to broaden the knowledge in Mathematics, Computer Science or in any scientific area using, when needed, the notions of the course.

Prerequisites and basic notions

Basic notions of the courses of Analysis I and Linear Algebra.

Program

Introduction to ordinary differential equations:
- differential models;
- separable variable equations;
- first-order linear equations, homogeneous and non-homogeneous: structure of the set of solutions;
- second-order linear equations, homogeneous and non-homogeneous: structure of the set of solutions.
Infinitesimal, differential and integral calculus for vector-valued functions:
- vector-valued functions;
- limit for vector-valued functions;
- derivatives of vector-valued functions;
- regular curves and length of an arc of a curve, arc parameter;
- curvilinear integrals of the first kind.
Infinitesimal calculus for real functions of several variables:
- graph, contour lines, and domains;
- limits and continuity;
- analysis of forms of indeterminacy;
Differential calculus for real functions of several variables:
- directional derivatives and differential of functions of several variables, total differential, gradient of scalar functions;
- higher-order derivatives, Hessian matrix, Schwarz theorem, Taylor expansion;
Optimization:
- first-order necessary conditions;
- Second order sufficient conditions: study of the Hessian matrix for the determination of free relative maxima and minima;
- Constrained optimization, Lagrange multipliers;
- Implicit function, Dini's theorem, inverse function theorem. Integral calculus in several variables:
- Multiple integrals for continuous functions;
- Formula for the change of variables in double and triple integrals.
Vector fields:
- Vector fields (conservative and solenoidal);
- Rotor and divergence;
- Second kind of curvilinear integrals;
- Gauss-Green formula;
- Divergence theorem;
- Rotor theorem.

Didactic methods

Lectures, classroom exercises. Multimedia material available on the course e-learning pages.

Learning assessment procedures

The final exam consists of a written test including a series of exercises to be solved related to the program covered (specific instructions will be communicated during the course). The final test may be replaced by two in itinere tests, the second coinciding with the first available appeal.

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 ability to solve problems on the course program, the possession of an adequate capacity for analysis, synthesis and abstraction, starting from requests formulated in natural language or in specific language.

Exam language

Italiano