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.

Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.

CURRICULUM TIPO:

1° Anno 

InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
12
B
INF/01
12
B
ING-INF/05

2° Anno   Attivato nell'A.A. 2014/2015

InsegnamentiCreditiTAFSSD
6
B
INF/01
Altre attivita' formative
4
F
-
InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
12
B
INF/01
12
B
ING-INF/05
Attivato nell'A.A. 2014/2015
InsegnamentiCreditiTAFSSD
6
B
INF/01
Altre attivita' formative
4
F
-
Insegnamenti Crediti TAF SSD

Legenda | Tipo Attività Formativa (TAF)

TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.




S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Codice insegnamento

4S00075

Crediti

6

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Periodo

II sem. dal 2 mar 2015 al 12 giu 2015.

Obiettivi formativi

Il modulo presenta paradigmi e tecniche principali della rappresentazione simbolica e soluzione automatica di problemi. L'obbiettivo è dare allo studente 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.

Programma

Risoluzione di problemi come ricerca in uno spazio di stati: procedure di ricerca non informate; procedure di ricerca euristiche; ricerca con avversario.
Risoluzione di problemi basata sull'elaborazione di vincoli (soddifacibilita' ed ottimizzazione);
Rappresentazione della conoscenza basata sulla logica: forme normali; uguaglianza.
Dimostrazione di teoremi: soddisfacibilità (SAT), risoluzione, riscrittura.
Agenti intelligenti: pianificazione, sistemi multi-agente, coordinamento.
Ragionamento probabilistico, teoria delle decisioni.

Modalità d'esame

Il voto finale è il risultato di 50% compito scritto + 50% prova a scelta. Nel compito scritto lo studente dovrà risolvere esercizi o discutere tecniche discusse a lezione. La prova a scelta può essere un progetto (tipicamente con una sostanziale parte di programmazione) oppure un seminario (di circa 40 minuti) che sarà tenuto dallo studente. Esame con prove intermedie: si può fare solo nelle sessioni immediatamente successive alla fine del corso. Il compito scritto viene amministrato durante il corso (circa a metà del corso) e la prova a scelta può essere fatta in collaborazione con un'altra persona. Esame senza prove parziali: il compito scritto viene amministrato nella data dell'appello e la prova a scelta deve essere individuale.

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