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
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/2026The 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 1
Computer Architecture
2° Year activated in the A.Y. 2024/2025
Modules | Credits | TAF | SSD |
---|
Mathematical analysis 2
3° Year It will be activated in the A.Y. 2025/2026
Modules | Credits | TAF | SSD |
---|
1 module among the following
Modules | Credits | TAF | SSD |
---|
Mathematical analysis 1
Computer Architecture
Modules | Credits | TAF | SSD |
---|
Mathematical analysis 2
Modules | Credits | TAF | SSD |
---|
1 module 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.
Mathematical analysis 2 [Matricole pari] (2024/2025)
Teaching code
4S00031
Teacher
Credits
6
Also offered in courses:
- Mathematical analysis [Matricole pari] - Analysis II of the course Bachelor's degree in Computer Science
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.
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