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 magistrale in Mathematics - Enrollment from 2025/2026Le attività formative di tipologia D sono a scelta dello studente, quelle di tipologia F sono ulteriori conoscenze utili all’inserimento nel mondo del lavoro (tirocini, competenze trasversali, project works, ecc.). In base al Regolamento Didattico del Corso, alcune attività possono essere scelte e inserite autonomamente a libretto, altre devono essere approvate da apposita commissione per verificarne la coerenza con il piano di studio. Le attività formative di tipologia D o F possono essere ricoperte dalle seguenti attività.
1. Insegnamenti impartiti presso l'Università di Verona
Comprendono gli insegnamenti sotto riportati e/o nel Catalogo degli insegnamenti (che può essere filtrato anche per lingua di erogazione tramite la Ricerca avanzata).
Modalità di inserimento a libretto: se l'insegnamento è compreso tra quelli sottoelencati, lo studente può inserirlo autonomamente durante il periodo in cui il piano di studi è aperto; in caso contrario, lo studente deve fare richiesta alla Segreteria, inviando a carriere.scienze@ateneo.univr.it il modulo nel periodo indicato.
2. Attestato o equipollenza linguistica CLA
Oltre a quelle richieste dal piano di studi, per gli immatricolati dall'A.A. 2021/2022 vengono riconosciute:
- Lingua inglese: vengono riconosciuti 3 CFU per ogni livello di competenza superiore a quello richiesto dal corso di studio (se non già riconosciuto nel ciclo di studi precedente).
- Altre lingue e italiano per stranieri: vengono riconosciuti 3 CFU per ogni livello di competenza a partire da A2 (se non già riconosciuto nel ciclo di studi precedente).
Tali cfu saranno riconosciuti, fino ad un massimo di 6 cfu complessivi, di tipologia F se il piano didattico lo consente, oppure di tipologia D. Ulteriori crediti a scelta per conoscenze linguistiche potranno essere riconosciuti solo se coerenti con il progetto formativo dello studente e se adeguatamente motivati.
Gli immatricolati fino all'A.A. 2020/2021 devono consultare le informazioni che si trovano qui.
Modalità di inserimento a libretto: richiedere l’attestato o l'equipollenza al CLA e inviarlo alla Segreteria Studenti - Carriere per l’inserimento dell’esame in carriera, tramite mail: carriere.scienze@ateneo.univr.it
3. Competenze trasversali
Scopri i percorsi formativi promossi dal TALC - Teaching and learning center dell'Ateneo, destinati agli studenti regolarmente iscritti all'anno accademico di erogazione del corso https://talc.univr.it/it/competenze-trasversali
Modalità di inserimento a libretto: non è previsto l'inserimento dell'insegnamento nel piano di studi. Solo in seguito all'ottenimento dell'Open Badge verranno automaticamente convalidati i CFU a libretto. La registrazione dei CFU in carriera non è istantanea, ma ci saranno da attendere dei tempi tecnici.
4. Periodo di stage/tirocinio
Oltre ai CFU previsti dal piano di studi (verificare attentamente quanto indicato sul Regolamento Didattico): qui informazioni su come attivare lo stage.
Insegnamenti e altre attività che si possono inserire autonomamente a libretto
| years | Modules | TAF | Teacher | |
|---|---|---|---|---|
| 1° | Genetics | D |
Massimo Delledonne
(Coordinator)
|
|
| 1° 2° | Algorithms | D |
Roberto Segala
(Coordinator)
|
|
| years | Modules | TAF | Teacher |
|---|---|---|---|
| 1° 2° | Algorithms | D |
Roberto Segala
(Coordinator)
|
| 1° 2° | LaTeX Language | D |
Enrico Gregorio
(Coordinator)
|
| 1° 2° | Organization Studies | D |
Serena Cubico
(Coordinator)
|
| 1° 2° | History and Didactics of Geology | D |
Guido Gonzato
(Coordinator)
|
| years | Modules | TAF | Teacher | |
|---|---|---|---|---|
| 1° 2° | Advanced topics in financial engineering | F | Not yet assigned | |
| 1° 2° | ECMI modelling week | F | Not yet assigned | |
| 1° 2° | ESA Summer of code in space (SOCIS) | F | Not yet assigned | |
| 1° 2° | Google summer of code (GSOC) | F | Not yet assigned | |
| 1° 2° | Mathematics mini courses |
Sisto Baldo
(Coordinator)
|
||
| 1° 2° 3° | Python programming language | D |
Giulio Mazzi
(Coordinator)
|
|
Mathematics for decisions (2021/2022)
Teaching code
4S008838
Academic staff
Coordinator
Credits
6
Language
English
Scientific Disciplinary Sector (SSD)
MAT/09 - OPERATIONS RESEARCH
Period
Primo semestre dal Oct 4, 2021 al Jan 28, 2022.
Learning outcomes
Mathematics for decisions is a seminar course comprising: + interventions by external professors (seminars, mini-courses); + interventions by professionals (statements of problems from the applications, description of needs and/or projects); + interventions by the referent of the course, collaborators of him, or colleagues by the department (both classes and proposal of problems and projects from the applications). + presentations delivered by the students on arguments of their interests and as agreed upon (seminars). The aim of this offert is to provide the studens with opportunities to meet and/or get involved into working or research projects, activating and developing their own interests, motivations and talents. Among the targets of this offert: + provide the students with opportunities to get in touch with working and/or research environments, developing motivations, interests, attitudes; + allow connections with professionalities and disciplines, not necessarily within mathematics but that can motivate the work of a matematician or help appreciating its possible applicability; + stimulate and develope the competence in designing mathematical models for the managing of production facilities, networks, and services; + provide the students with occasions to experiment their computational and informatics skills and to become more aware of their impact and role. With this the aim is to lead our students to: + have the competence and attitude to cover technical and professional roles with an high-level modellistic-math profile; + have the necessary starting background and the attitude to document themselves by accessing math texts, research articles, project deliverables, technical documentation.
Program
- Problems, Instances, Models
- Constraint Programming
- Abstract modeling programming languages - AMPL/GMPL:
- Recall the basics of Linear Programming (if needed)
- Some fact from Polyhedral Combinatorics
- Polytopes, polyhedra and equivalent representations
- Basic lemmas and characterizations
- Integrality of polyhedra
- Solution approaches to NP-hard problems:
- Enumeration
- Implicit enumeration and Branch-and-Bound
- Branch-and-Cut
- Approximation algorithms
- Complete and incomplete formulations (e.g., Traveling Salesman Problem, Perfect Matching)
- Gomory's cuts and cutting planes
- Separation oracles and callbacks
- Compact formulations
- Decomposition techniques:
- Column generation
- Dantzig-Wolfe decomposition
- Isomorphism free generation
- Agent Driven Simulation
- Simulation: its role and some of its techniques
- invitation all'agent driven simulation (ADS) and an introduction to the NetLogo environment
Projects will be proposed during the course, some already at the very beginning, some others from invited companies.
Depending on their interests, students are invited to choose (or even propose and tune together) projects from three categories: industrial, academic, didactics.
Bibliography
Examination Methods
The students are required to develop a project. This might either come from industry, from other research centers or universities, from colleagues or on research lines of interest by the department, or even from ourselves included the students themselves).
We also encourage projects that contribute to the rather technical material (TuringArena based) we strive resorting onto in offering active and interactive learning experiences to our students.
We will propose several projects on each one of these main lines, the students are also encouraged to propose and steer themselves according to their interests and competences.
Most projects comprise a development phase where the student must exhibit his/her technical and informatics skills in implementing the models and the algorithms developed or adopted to solve a given problem.
Depending on the project, other phases will be required as part of the exam or might naturally follow:
study of a topic or subject, study of a technique to employ in order to solve a problem or to be illustrated, experiments, deployment, documentation, design of a didactic problem, exposition, writing of paper, stages, thesis, internship.
