Studiare

In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.

Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.
Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:

Laurea magistrale in Ingegneria e scienze informatiche - Immatricolazione dal 2025/2026
Le attività formative in ambito D o F comprendono gli insegnamenti impartiti presso l'Università di Verona o periodi di stage/tirocinio professionale.
Nella scelta delle attività di tipo D, gli studenti dovranno tener presente che in sede di approvazione si terrà conto della coerenza delle loro scelte con il progetto formativo del loro piano di studio e dell'adeguatezza delle motivazioni eventualmente fornite.

 
Anno accademico:
I semestre Dal 01/10/20 Al 29/01/21
anni Insegnamenti TAF Docente
1° 2° Linguaggio Programmazione Matlab-Simulink D Bogdan Mihai Maris (Coordinatore)
1° 2° Sfide di programmazione D Romeo Rizzi (Coordinatore)
II semestre Dal 01/03/21 Al 11/06/21
anni Insegnamenti TAF Docente
1° 2° Introduzione alla stampa 3D D Franco Fummi (Coordinatore)
1° 2° Linguaggio programmazione Python D Vittoria Cozza (Coordinatore)
1° 2° Progettazione di componenti hardware su FPGA D Franco Fummi (Coordinatore)
1° 2° Prototipizzazione con Arduino D Franco Fummi (Coordinatore)
1° 2° Tutela dei beni immateriali (SW e invenzione) tra diritto industriale e diritto d’autore D Roberto Giacobazzi (Coordinatore)
Elenco degli insegnamenti con periodo non assegnato
anni Insegnamenti TAF Docente
1° 2° Lab.: The fashion lab (1 cfu) D Maria Caterina Baruffi (Coordinatore)
1° 2° Minicorso Blockchain D Nicola Fausto Spoto (Coordinatore)

Codice insegnamento

4S008898

Crediti

6

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

L'insegnamento è organizzato come segue:

Teoria

Crediti

5

Periodo

I semestre

Laboratorio

Crediti

1

Periodo

I semestre

Obiettivi formativi

Il corso si propone di fornire paradigmi e tecniche risolutive relative alle rappresentazioni simbolica e probabilistica per la soluzione automatica di problemi. L'obbiettivo è dare alle studentesse ed agli studenti strumenti per ideare, applicare e valutare algoritmi per problemi difficili, nel senso che la loro soluzione meccanica cattura aspetti di intelligenza artificiale o razionalità computazionale. Al termine del corso le studentesse e gli studenti dovranno dimostrare di conoscere e comprendere le principali tecniche di ricerca nello spazio degli stati, comprendere i concetti fondamentali relativi alle reti a vincoli, conoscere i concetti di base relativi al ragionamento probabilistico ed apprendimento per rinforzo. Questo consentirà alle studentesse ed agli studenti di scegliere le tecnica risolutive più adeguate per problemi di diversa natura e di proseguire gli studi in modo autonomo nell’ambito dell’Intelligenza Artificiale, approfondendo argomenti trattati a lezione, sia su altri testi che su pubblicazioni scientifiche.

Programma

Risoluzione di problemi come ricerca in uno spazio di stati: procedure di ricerca non informate; procedure di ricerca euristiche.
Risoluzione di problemi basata sull'elaborazione di vincoli (soddifacibilita' ed ottimizzazione);
Tecniche risolutive basate su ricerca (Backtracking, Branch and Bound) e su inferenza (Join Tree Clustering, Bucket Elimination).
Ragionamento probabilistico: i) rappresentare l'incertezza tramite l'uso della teoria della probabilità; ii) processi decisionali di Markov (definizione e metodi risolutivi principali); iii) apprendimento per rinforzo (concetti di base e metodi risolutivi, Deep Reinforcement Learning).
Implementazione (tramite produzione assistita di software in laboratorio didattico) delle principali tecniche risolutive discusse a lezione, ed in particolare quelle relative alla ricerca nello spazio degli stati ed al ragionamento probabilistico.

Modalità d'esame

Il voto finale del modulo di IA viene conseguito con una prova orale.

La prova orale può essere svolta secondo due modalità: i) prova orale sugli argomenti del corso e sulla parte di laboratorio; ii) prova orale su un progetto assegnato dal docente e sulla parte di laboratorio.

Per la prova orale sugli argomenti del corso il docente chiede alle studentesse ed agli studenti di svolgere alcuni esercizi e pone delle domande al fine di valutare la comprensione degli argomenti trattati durante il corso.

Per la prova orale sul progetto, il docente concorda con la studentessa/studente un progetto che prevede una parte sostanziale di programmazione. La studentessa/studente svolge il progetto e durante la prova orale illustra lo svolgimento al docente che pone delle domande per valutare la comprensione degli argomenti trattati.
Gli argomenti del progetto e le date per le prove orali delle singole studentesse e dei singoli studenti vengono concordate con il docente alla fine delle lezioni.

Per la parte di laboratorio, durante il corso le studentesse e gli studenti implementeranno alcuni degli algoritmi visti durante lo svolgimento delle lezioni. La comprensione della parte di laboratorio viene valutata durante la prova orale. Per questa valutazione le studentesse e gli studenti consegnano al docente il software sviluppato ed il docente pone alcune domande volte a valutare il livello di comprensione del software presentato.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI