Fondamenti (2017/2018)

Codice insegnamento
4S02789
Crediti
12
Coordinatore
Massimo Merro
L'insegnamento è organizzato come segue:
Modulo Crediti Settore disciplinare Periodo Docenti
INTELLIGENZA ARTIFICIALE 6 INF/01-INFORMATICA II sem. Alessandro Farinelli
LINGUAGGI 6 INF/01-INFORMATICA I sem. Massimo Merro

Obiettivi formativi

L'obiettivo del corso è quello di presentare: (i) le basi teoriche dei linguaggi di programmazione; (ii) i paradigmi e le tecniche principali della rappresentazione simbolica e soluzione automatica di problemi. A tale scopo, nel modulo di Linguaggi, verranno studiati vari linguaggi paradigmatici, anche di ordine superiore. Il modulo sarà incentrato sui concetti di semantica operazionale e di sistema di tipo. Invece, nel modulo di Intelligenza artificiale vengono forniti gli strumenti per ideare, applicare e valutare algoritmi per problemi difficili. La soluzione meccanizzata di tali problemi cattura aspetti di intelligenza artificiale o razionalità computazionale.

Programma

Si rimanda ai programmi dei due moduli che costituiscono l'insegnamento.

Modalità d'esame

Il candidato deve superare gli esami di entrambi i moduli con una votazione maggiore o uguale a 18/30. La votazione dell'intero insegnamento si ricava dalla media per eccesso delle votazioni conseguite nei due moduli.

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

I dati relativi all'AA 2017/2018 non sono ancora disponibili