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.
Type D and Type F activities
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/2026Type D learning activities are the student's choice, type F activities are additional knowledge useful for job placement (internships, transversal skills, project works, etc.). According to the Teaching Regulations of the Course, some activities can be chosen and entered independently in the booklet, others must be approved by a special committee to verify their consistency with the study plan. Type D or F learning activities can be covered by the following activities.
1. Modules taught at the University of Verona
Include the modules listed below and/or in the Course Catalogue (which can also be filtered by language of delivery via Advanced Search).
Booklet entry mode: if the teaching is included among those listed below, the student can enter it independently during the period in which the curriculum is open; otherwise, the student must make a request to the Secretariat, sending the form to carriere.scienze@ateneo.univr.it during the period indicated.
2. CLA certificate or language equivalency
In addition to those required by the curriculum/study plan, the following are recognized for those matriculated from A.Y. 2021/2022:
- English language: 3 CFUs are recognized for each level of proficiency above that required by the course of study (if not already recognized in the previous course of study).
- Other languages and Italian for foreigners: 3 CFUs are recognized for each proficiency level starting from A2 (if not already recognized in the previous study cycle).
These CFUs will be recognized, up to a maximum of 6 CFUs in total, of type F if the study plan allows it or of type D. Additional elective credits for language knowledge may be recognized only if consistent with the student's educational project and if adequately justified.
Those enrolled until A.Y. 2020/2021 should consult the information found here.
Method of inclusion in the booklet: request the certificate or equivalency from CLA and send it to the Student Secretariat - Careers for the inclusion of the exam in the career, by email: carriere.scienze@ateneo.univr.it
3. Transversal skills
Discover the training paths promoted by the University's TALC - Teaching and learning center intended for students regularly enrolled in the academic year of course delivery https://talc.univr.it/it/competenze-trasversali
Mode of inclusion in the booklet: the teaching is not expected to be included in the curriculum. Only upon obtaining the Open Badge will the booklet CFUs be automatically validated. The registration of CFUs in career is not instantaneous, but there will be some technical time to wait.
4. Contamination lab
The Contamination Lab Verona (CLab Verona) is an experiential course with modules on innovation and enterprise culture that offers the opportunity to work in teams with students from all areas to solve challenges set by companies and organisations.
Upon completion of a CLab, students will be entitled to receive 6 CFU (D- or F-type credits).
Find out more: https://www.univr.it/clabverona
PLEASE NOTE: In order to be admitted to any teaching activities, including those of your choice, you must be enrolled in the academic year in which the activities in question are offered. Students who are about to graduate in the December and April sessions are therefore advised NOT to undertake extracurricular activities in the new academic year in which they are not enrolled, as these graduation sessions are valid for students enrolled in the previous academic year. Therefore, students who undertake an activity in an academic year in which they are not enrolled will not be granted CFU credits.
5. Internship/internship period
In addition to the CFUs stipulated in the curriculum/study plan (check carefully what is indicated on the Teaching Regulations) here you can find information on how to activate the internship.
Check the regulations to see which activities can be Type D and which can be Type F.
Please also note that for traineeships activated after 1 October 2024, it will be possible to recognise excess hours in terms of type D credits limited only to traineeship experiences carried out at host organisations outside the University.
| years | Modules | TAF | Teacher |
|---|---|---|---|
| 2° 3° | Attention Laboratory | D |
Pietro Sala
(Coordinator)
|
| 2° 3° | Elements of Cosmology and General Relativity | D |
Claudia Daffara
(Coordinator)
|
| 2° 3° | Introduction to quantum mechanics for quantum computing | D |
Claudia Daffara
(Coordinator)
|
| 2° 3° | Introduction to smart contract programming for ethereum | D |
Sara Migliorini
(Coordinator)
|
| 2° 3° | Python programming language [English edition] | D |
Carlo Combi
(Coordinator)
|
| 2° 3° | BEYOND ARDUINO: FROM PROTOTYPE TO PRODUCT WITH STM MICROCONTROLLER | D |
Franco Fummi
(Coordinator)
|
| 2° 3° | APP REACT PLANNING | D |
Graziano Pravadelli
(Coordinator)
|
| 2° 3° | HW components design on FPGA | D |
Franco Fummi
(Coordinator)
|
| years | Modules | TAF | Teacher |
|---|---|---|---|
| 2° 3° | Attention Laboratory | D |
Pietro Sala
(Coordinator)
|
| 2° 3° | LaTeX Language | D |
Enrico Gregorio
(Coordinator)
|
| 2° 3° | Python programming language [Edizione in italiano] | D |
Carlo Combi
(Coordinator)
|
| 2° 3° | Rapid prototyping on Arduino | D |
Franco Fummi
(Coordinator)
|
| 2° 3° | Programming Challanges | D |
Romeo Rizzi
(Coordinator)
|
| 2° 3° | Tools for development of applications of virtual reality and mixed | D |
Andrea Giachetti
(Coordinator)
|
| 2° 3° | Development and life cycle of software of artificial intelligence software | D |
Marco Cristani
(Coordinator)
|
| 2° 3° | Protection of intangible assets (SW and invention)between industrial law and copyright | D |
Mila Dalla Preda
(Coordinator)
|
| years | Modules | TAF | Teacher |
|---|---|---|---|
| 1° | Subject requirements: mathematics | D |
Franco Zivcovich
(Coordinator)
|
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
