Sito di Certificazione del Bollino GRIN Report Percorso

2012

Sei collegato come utente non registrato

Il percorso ha la certificazione

Corso di Laurea: Informatica - Percorso: Percorso Metodi e Modelli per l'Informatica

Informazioni generali
Università	TORINO	Responsabile del Percorso	Francesco Bergadano
Livello del Cdl	MAGISTRALE	Email	francesco.bergadano@di.unito.it
Docenti che insegnano nel corso*:	56	Afferisce al primo corso di laurea iscritto	Si
(*) Questo è il numero di docenti appartenenti ai settori scientifico-disciplinari INF/01 o ING-INF/05 che svolgono il loro carico didattico istituzionale presso questo corso di laurea		E' un percorso interdisciplinare	No
Commento

Legenda delle Aree
A:	Fondamenti	G:	Basi di dati	altro INF:	Crediti di INFORMATICA non classificati nelle aree
B:	Algoritmi	H:	Computazione su rete	INF:	Crediti di INFORMATICA non classificabili a priori
C:	Programmazione	I:	Ingegneria del software	MAT:	Crediti di MATEMATICA
D:	Linguaggi	L:	Interazione, grafica e multimedialità	altro:	Crediti NON dell'INFORMATICA nè della MATEMATICA
E:	Architetture	M:	Rappresentazione della conoscenza	NC:	Crediti Non Classificabili a priori
F:	Sistemi operativi	A_M:	Una qualunque delle aree da A a M

Insegnamenti e ripartizione CFU per area	CFU	A	B	C	D	E	F	G	H	I	L	M	A_M	altro INF	INF	MAT	altro	NC
Complementi di Logica	6															6
Laboratorio Avanzato di Linguaggi	6				6
Metodi Formali dell'Informatica II	12	6			6
Modelli Concorrenti e Algoritmi Distribuiti	6		6
Quattro corsi a scelta (M)	36												36
Sviluppo Software per Componenti e Servizi Web	9					3				6
Un corso a scelta interdisciplinare (M)	6																	6

Attività Extracurriculari	12																	12
Lingue Straniere	3																	3
Prova Finale	24																	24
Tirocinio	0																	0
TOTALE	120	6	6	0	12	3	0	0	0	6	0	0	36	0	0	6	0	45

Riepilogo dell'insegnamento: Complementi di Logica

Nome	Complementi di Logica	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	MAT/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

MAT - Crediti di MATEMATICA

MAT/01 - Logica Matematica
Logica Matematica

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: Laboratorio Avanzato di Linguaggi

Nome	Laboratorio Avanzato di Linguaggi	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

D - Linguaggi

* LF - Linguaggi Formali
Linguaggi Formali

* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
macchine astratte e tecniche per la realizzazione dei linguaggi di programmazione

* S - Semantica
semantica

* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
tecniche di traduzione: compilatori e interpreti

MP - Metodologie di Programmazione
metodologie di programmazione

PLN - Paradigmi Linguistici
paradigmi linguistici

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: Metodi Formali dell'Informatica II

Nome	Metodi Formali dell'Informatica II	CFU	12
Ore di didattica frontale per CFU	120	Settore Scientifico Disciplinare	INF/01

12 cfu così ripartiti nelle aree:

6 CFU nell'area A - Fondamenti
6 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

A - Fondamenti

* ALF - Automi e Linguaggi Formali
Automi e linguaggi formali

* CAL - Calcolabilita'
calcolabilita'

COM - Complessita'
complessita'

SLP - Semantica dei Linguaggi di Programmazione
semantica dei linguaggi di programmazione

* ALF - Automi e Linguaggi Formali
Automi e linguaggi formali

D - Linguaggi

* LF - Linguaggi Formali
linguaggi formali

* S - Semantica
semantica

* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
tecniche di traduzione: compilatori e interpreti

* LF - Linguaggi Formali
linguaggi formali

* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
tecniche di traduzione: compilatori e interpreti

TAV - Tecniche di Analisi e Verifica
tecniche di analisi e verifica

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: Modelli Concorrenti e Algoritmi Distribuiti

Nome	Modelli Concorrenti e Algoritmi Distribuiti	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area B - Algoritmi

Sillabo dell'insegnamento

B - Algoritmi

* A - Algoritmi fondamentali
Algoritmi fondamentali

* ASC - Algoritmi su Strutture Combinatorie
Algoritmi e Strutture combinatorie

* A - Algoritmi fondamentali
Algoritmi e Strutture combinatorie

* SDF - Strutture di Dati Fondamentali
Strutture di dati fondamentali

TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche fondamentali di analisi e progetto di algoritmi

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: Quattro corsi a scelta

Nome	Quattro corsi a scelta	CFU	36
Ore di didattica frontale per CFU	N/A	Settore Scientifico Disciplinare	INF/01

36 cfu così ripartiti nelle aree:

36 CFU nell'area A_M - Una qualunque delle aree da A a M

Insegnamenti "a scelta" che possono essere selezionati

Riepilogo dell'insegnamento: Sviluppo Software per Componenti e Servizi Web

Nome	Sviluppo Software per Componenti e Servizi Web	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

3 CFU nell'area E - Architetture
6 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

E - Architetture

* LMP - Livello di Microprogrammazione
Livello di microprogrammazione

AA - Architetture Avanzate
Architetture avanzate

VMP - Valutazione e Miglioramento delle Prestazioni
Valutazione e miglioramento delle prestazioni

I - Ingegneria del software

MSQ - Misure del Software e Qualita'
misure del software e qualità

* PSC - Progettazione del Software e Codifica
progettazione del software e codifica

* AR - Analisi dei Requisiti
Analisi dei requisiti

* LMS - Linguaggi di Modellazione del Software
linguaggi di modellazione del software

* ASW - Architetture Software
architetture software

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: Un corso a scelta interdisciplinare

Nome	Un corso a scelta interdisciplinare	CFU	6
Ore di didattica frontale per CFU	N/A	Settore Scientifico Disciplinare	--libero--

6 cfu così ripartiti nelle aree:

6 CFU nell'area NC - Crediti Non Classificabili a priori

Insegnamenti "a scelta" che possono essere selezionati

Riepilogo dell'insegnamento: Agenti Intelligenti

Nome	Agenti Intelligenti	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

M - Rappresentazione della conoscenza

AIA - Applicazioni della Intelligenza Artificiale
Applicazioni della Intelligenza Artificiale

* SBC - Sistemi Basati su Conoscenza
Sistemi basati su conoscenza

* RP - Risoluzione di Problemi
risoluzione di problemi

* LPD - Logica e Programmazione Dichiarativa
logica e programmazione dichiarativa

AI - Agenti Intelligenti
Agenti Intelligenti

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Algoritmi e Complessità

Nome	Algoritmi e Complessità	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

3 CFU nell'area A - Fondamenti
6 CFU nell'area B - Algoritmi

Sillabo dell'insegnamento

A - Fondamenti

SLP - Semantica dei Linguaggi di Programmazione
Semantica dei linguaggi di programmazione

COM - Complessita'
Complessità

* ALF - Automi e Linguaggi Formali
Automi e Linguaggi Formali

B - Algoritmi

* SDF - Strutture di Dati Fondamentali
strutture di dati fondamentali

* A - Algoritmi fondamentali
algoritmi fondamentali

TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche fondamentali di analisi e progetto di algoritmi

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Quattro corsi a scelta

Riepilogo dell'insegnamento: Algoritmi e Complessità - Parte A

Nome	Algoritmi e Complessità - Parte A	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

3 CFU nell'area A - Fondamenti
3 CFU nell'area B - Algoritmi

Sillabo dell'insegnamento

A - Fondamenti

SLP - Semantica dei Linguaggi di Programmazione
Semantica dei linguaggi di programmazione

* ALF - Automi e Linguaggi Formali
Automi e Linguaggi Formali

COM - Complessita'
Complessità

B - Algoritmi

* SDF - Strutture di Dati Fondamentali
strutture di dati fondamentali

* A - Algoritmi fondamentali
algoritmi fondamentali

TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche fondamentali di analisi e progetto di algoritmi

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Apprendimento Automatico ed Analisi Intelligente dei Dati

Nome	Apprendimento Automatico ed Analisi Intelligente dei Dati	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

3 CFU nell'area G - Basi di dati
6 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

G - Basi di dati

* LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggi di Interrogazione di Basi di Dati

* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi di gestione di basi di dati

* PL - Progettazione Logica
Progettazione logica

M - Rappresentazione della conoscenza

AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento Automatico e scoperta di conoscenza

AI - Agenti Intelligenti
agenti intelligenti

AIA - Applicazioni della Intelligenza Artificiale
applicazioni della intelligenza artificiale

* LPD - Logica e Programmazione Dichiarativa
logica e programmazione dichiarativa

* SBC - Sistemi Basati su Conoscenza
sistemi basati su conoscenza

* RP - Risoluzione di Problemi
Risoluzione di problemi

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Quattro corsi a scelta

Riepilogo dell'insegnamento: Architettura degli Elaboratori II

Nome	Architettura degli Elaboratori II	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area E - Architetture

Sillabo dell'insegnamento

E - Architetture

* ASS - Linguaggio Assembler
Linguaggio assembler

V - Varie
? Concetti di base delle architetture RISC ? Concetti di base del Pipelining ? Instruction Level Parallelism (ILP) dinamico ? Instruction Level Parallelism (ILP) statico ? Concetti fondamentali di Caching ? Introduzione -- Multithreading ? Architetture Multiprocessore ? Architetture Multicomputer -- Processori vettoriali -- una nota storica ? Sistemi RAID

* LMP - Livello di Microprogrammazione
livello di microprogrammazione

* LII - Livello Instruction Set
livello instruction set

AA - Architetture Avanzate
Architetture avanzate

* CCS - Circuiti combinatori e sequenziali
circuiti combinatori e sequenziali

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Basi di Dati Multimediali

Nome	Basi di Dati Multimediali	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

9 CFU nell'area G - Basi di dati

Sillabo dell'insegnamento

G - Basi di dati

BDA - Basi di Dati Avanzate
Basi di Dati avanzate

* LI - Linguaggi di Interrogazione di Basi di Dati
linguaggi di interrogazione di basi di dati

* PC - Progettazione concettuale
progettazione concettuale

* LI - Linguaggi di Interrogazione di Basi di Dati
linguaggi di interrogazione di basi di dati

* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi di Gestione di basi di dati

* ML - Modelli logici
Modelli logici

* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi di Gestione di basi di dati

NBD - Normalizzazione di Basi di Dati
normalizzazione di basi di dati

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Quattro corsi a scelta

Riepilogo dell'insegnamento: Basi di Dati Multimediali - parte A

Nome	Basi di Dati Multimediali - parte A	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area G - Basi di dati

Sillabo dell'insegnamento

G - Basi di dati

NBD - Normalizzazione di Basi di Dati
normalizzazione di basi di dati

* ML - Modelli logici
Modelli logici

* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi di Gestione di basi di dati

* LI - Linguaggi di Interrogazione di Basi di Dati
linguaggi di interrogazione di basi di dati

* PC - Progettazione concettuale
progettazione concettuale

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Bioinformatica

Nome	Bioinformatica	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

3 CFU nell'area C - Programmazione
3 CFU nell'area G - Basi di dati

Sillabo dell'insegnamento

C - Programmazione

* SCP - Sviluppo e Correttezza dei Programmi
Sviluppo e correttezza dei programmi

* SDTD - Strutture Dati e Tipi di Dati astratti
strutture dati e tipi di dati astratti

* SS - Sintassi e Semantica
sintassi e semantica

G - Basi di dati

* DBMS - Sistemi di Gestione di Basi di Dati
sistemi di gestione di basi di dati

* ML - Modelli logici
modelli logici

* PL - Progettazione Logica
progettazione logica

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Calcolabilità e Complessità B

Nome	Calcolabilità e Complessità B	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area A - Fondamenti

Sillabo dell'insegnamento

A - Fondamenti

V - Varie
Nozioni matematiche di base, insiemi numerabili e non, tecniche di numerazione

SLP - Semantica dei Linguaggi di Programmazione
Programmi while: sintassi (grammatica, nozione di macro-istruzione) e semantica (nozione di computazione, associazione programma-funzione che questi calcola)

* CAL - Calcolabilita'
Macchine di Turing, teorema di incompletezza di Godel

SLP - Semantica dei Linguaggi di Programmazione
Enumerazione di programmi e funzioni, la costruzione di un programma interprete

* CAL - Calcolabilita'
Funzioni calcolabili e non, problemi indecidibili

* CAL - Calcolabilita'
Tecniche di programmazione: teorema s-m-n, teorema di ricursione

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Complementi di Analisi e Probabilità

Nome	Complementi di Analisi e Probabilità	CFU	6
Ore di didattica frontale per CFU	6	Settore Scientifico Disciplinare	MAT/05 MAT/06

6 cfu così ripartiti nelle aree:

6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

MAT - Crediti di MATEMATICA

MAT/05 - Analisi Matematica
analisi matematica

MAT/06 - Probabilita' e Statistica Matematica
probabilità e statistica matematica

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Un corso a scelta interdisciplinare

Riepilogo dell'insegnamento: Economia e Gestione delle Imprese Net Based

Nome	Economia e Gestione delle Imprese Net Based	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	SECS-P/nn

6 cfu così ripartiti nelle aree:

6 CFU nell'area altro - Crediti NON dell'INFORMATICA nè della MATEMATICA

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Elaborazione di Immagini e Visione Artificiale

Nome	Elaborazione di Immagini e Visione Artificiale	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

9 CFU nell'area L - Interazione, grafica e multimedialità

Sillabo dell'insegnamento

L - Interazione, grafica e multimedialità

ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Elaborazione di segnali multimediali (immagini, suoni e video)

* IMW - Ipertesti, Multimedialità e WWW
ipertesti, multimedialità e WWW

MG - Modellazione Geometrica
modellazione geometrica

* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
modelli e metodi per la progettazione dell'interazione

PIRV - Paradigmi di Interazione e Realtà Virtuale
paradigmi di interazione e realta' virtuale

* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
principi, metodologie e tecniche di valutazione di interfacce

RV - Rendering e Visualizzazione
rendering e visualizzazione

SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
sistemi di supporto all'interazione e ambienti di sviluppo

TMI - Teorie e Modelli per l'Interazione
teorie e modelli per l'interazione

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Quattro corsi a scelta

Riepilogo dell'insegnamento: Fisica per Applicazioni di Realtà Virtuale

Nome	Fisica per Applicazioni di Realtà Virtuale	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	FIS/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area altro - Crediti NON dell'INFORMATICA nè della MATEMATICA

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Gestione delle Reti

Nome	Gestione delle Reti	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

9 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

H - Computazione su rete

* SR - Sicurezza delle Reti
Sicurezza delle Reti

* PT - Protocolli
Protocolli

PASR - Programmazione di Applicazioni e Servizi di Rete
Programmazione di Applicazioni e Servizi di Rete

* MIR - Modelli di Interazione in Rete
Modelli di Interazione in Rete

* ARTC - Architettura delle Reti di Calcolatori
Architettura delle Reti di Calcolatori

DR - Dispositivi di Rete
Dispositivi di Rete

GRC - Gestione di Reti di Calcolatori
Gestione di Reti di Calcolatori

SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Sistemi operativi di rete e middleware per la programmazione in rete

V - Varie
esercitazioni

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Intelligenza Artificiale e Laboratorio

Nome	Intelligenza Artificiale e Laboratorio	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

9 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

M - Rappresentazione della conoscenza

AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento Automatico e Scoperta di Conoscenza

AI - Agenti Intelligenti
Agenti Intelligenti

AIA - Applicazioni della Intelligenza Artificiale
Applicazioni della Intelligenza Artificiale

ARC - Acquisizione e Rappresentazione della Conoscenza
Acquisizione e Rappresentazione della Conoscenza

BC - Basi di Conoscenza
Basi di Conoscenza

* LPD - Logica e Programmazione Dichiarativa
Logica e programmazione dichiarativa

RA - Ragionamento Automatico
Ragionamento Automatico

* RP - Risoluzione di Problemi
Risoluzione di problemi

* SBC - Sistemi Basati su Conoscenza
Sistemi basati su conoscenza

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Quattro corsi a scelta

Riepilogo dell'insegnamento: Istituzione di Linguaggi Formali

Nome	Istituzione di Linguaggi Formali	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

D - Linguaggi

* LF - Linguaggi Formali
Grammatiche context free

* LF - Linguaggi Formali
Espressioni regolari

* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Traduzione

* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi sintattica a discesa ricorsiva

* LF - Linguaggi Formali
Automi push-down

* LF - Linguaggi Formali
Automi a stati finiti

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Istituzioni di Economia e Gestione dell'Impresa

Nome	Istituzioni di Economia e Gestione dell'Impresa	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	SECS-P/nn

6 cfu così ripartiti nelle aree:

6 CFU nell'area altro - Crediti NON dell'INFORMATICA nè della MATEMATICA

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Istituzioni di Interazione Uomo Macchina

Nome	Istituzioni di Interazione Uomo Macchina	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area L - Interazione, grafica e multimedialità

Sillabo dell'insegnamento

L - Interazione, grafica e multimedialità

* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Teoria della percezione

* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Modelli mentali; modelli di Shneiderman e Norman

* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Linee guida. Prototipazione. Valutazione dell'utilizzabilita'

* IMW - Ipertesti, Multimedialità e WWW
Ipertestualita' e ipermedialita'. HTML e oltre, Modello di Dexter

* IMW - Ipertesti, Multimedialità e WWW
Modelli di Amsterdam e HDM. Information retrieval. Tassonomie dinamiche

V - Varie
Sistemi a finestre, MVC e widgets

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Istituzioni di Logica

Nome	Istituzioni di Logica	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	MAT/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

MAT - Crediti di MATEMATICA

MAT/01 - Logica Matematica
Algebre di Boole

MAT/01 - Logica Matematica
Calcolo proposizionale

MAT/01 - Logica Matematica
Calcolo dei predicati

MAT/01 - Logica Matematica
Alberi semantici

MAT/01 - Logica Matematica
Linguaggio insiemistico

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Istituzioni di Programmazione Distribuita in Rete

Nome	Istituzioni di Programmazione Distribuita in Rete	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area C - Programmazione

Sillabo dell'insegnamento

C - Programmazione

V - Varie
Sperimentazioni di programmazione di interfacce e thread in Java

* CB - Costrutti di Base
Interfacce grafiche

PCC - Programmazione Concorrente
Programmazione concorrente: thread

* CB - Costrutti di Base
Eccezioni e Input Output

* POO - Programmazione Orientata agli Oggetti
Ereditarietà e polimorfismo

* POO - Programmazione Orientata agli Oggetti
Richiami sulla programmazione ad oggetti

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Istituzioni di Sistemi Intelligenti

Nome	Istituzioni di Sistemi Intelligenti	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

M - Rappresentazione della conoscenza

RA - Ragionamento Automatico
Meccanismi di rappresentazione e di ragionamento: sistemi a regole di produzione, sistemi a frame

ARC - Acquisizione e Rappresentazione della Conoscenza
Meccanismi di rappresentazione e di ragionamento: formalismi logici

* SBC - Sistemi Basati su Conoscenza
Strategie di ricerca della soluzione (strategie cieche, funzioni euristiche, strategie golose, A*,IDA* e loro complessita in tempo e spazio)

AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento (forme di apprendimento, apprendimento da esempi supervisionato, cenni a reti neuronali)

AI - Agenti Intelligenti
Stuttura di un agente intelligente (architettura di base, agenti reattivi, agenti deliberativi)

* RP - Risoluzione di Problemi
Risoluzione automatica di problemi (spazio degli stati, giochi a due giocatori, vincoli)

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Istituzioni di Sviluppo Software

Nome	Istituzioni di Sviluppo Software	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

I - Ingegneria del software

* PSS - Processi di Sviluppo del Software
Il problema del software, il problema della software engeneering

* PSS - Processi di Sviluppo del Software
L'approccio della software engeneering e il processo software

* AR - Analisi dei Requisiti
Raccolta e specifica dei requisiti: l'analisi del problema, la specifica dei requisiti, la validazione

* PSC - Progettazione del Software e Codifica
Pianificazione del progetto software: previsione di costi, tempi e risorse, pianificazione delle attivita'

* PSC - Progettazione del Software e Codifica
Progettazione in ambito funzionale e in ambito orientato agli oggetti. La validazione e le metriche

* TVV - Testing, Verifica e Validazione
Testing. La nozione di fault, error e faillure.

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Istituzioni di Tecnologie Web

Nome	Istituzioni di Tecnologie Web	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

1 CFU nell'area G - Basi di dati
3 CFU nell'area H - Computazione su rete
2 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

G - Basi di dati

* LI - Linguaggi di Interrogazione di Basi di Dati
Accesso a basi di dati in ambiente Java

H - Computazione su rete

* MIR - Modelli di Interazione in Rete
Realizzazione di applicazioni web basate su servlet

V - Varie
Strumenti di gestione di informazioni rappresentate in XML

PASR - Programmazione di Applicazioni e Servizi di Rete
Sviluppo di applicazioni su server in ambiente Java

I - Ingegneria del software

* ASW - Architetture Software
Progettazione di sistemi basati su architetture a tre livelli

* TVV - Testing, Verifica e Validazione
Cenni al testing di programmi

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Laboratorio Avanzato di Basi di Dati

Nome	Laboratorio Avanzato di Basi di Dati	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area G - Basi di dati

Sillabo dell'insegnamento

G - Basi di dati

BDA - Basi di Dati Avanzate
Basi di dati avanzate

* DBMS - Sistemi di Gestione di Basi di Dati
sistemi di gestione di basi di dati

* LI - Linguaggi di Interrogazione di Basi di Dati
linguaggi di interrogazione di basi di dati

* ML - Modelli logici
modelli logici

* PC - Progettazione concettuale
progettazione concettuale

* PL - Progettazione Logica
progettazione logica

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Metodi Numerici

Nome	Metodi Numerici	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	MAT/08

6 cfu così ripartiti nelle aree:

6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

MAT - Crediti di MATEMATICA

MAT/08 - Analisi Numerica
Analisi Numerica

MAT/02 - Algebra
algebra lineare non numerica

MAT/08 - Analisi Numerica
Analisi Numerica

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Un corso a scelta interdisciplinare

Riepilogo dell'insegnamento: Modelli Avanzati e Architetture delle Basi di Dati

Nome	Modelli Avanzati e Architetture delle Basi di Dati	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

9 CFU nell'area G - Basi di dati

Sillabo dell'insegnamento

G - Basi di dati

* PC - Progettazione concettuale
progettazione concettuale

* ML - Modelli logici
modelli logici

* LI - Linguaggi di Interrogazione di Basi di Dati
linguaggi di interrogazione di basi di dati

* PL - Progettazione Logica
Progettazione logica

BDA - Basi di Dati Avanzate
Basi di dati avanzate

OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Organizzazione fisica e gestione delle interrogazioni

* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi di Gestione di Basi di Dati

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Quattro corsi a scelta

Riepilogo dell'insegnamento: Modelli Avanzati e Architetture delle Basi di Dati - parte A

Nome	Modelli Avanzati e Architetture delle Basi di Dati - parte A	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area G - Basi di dati

Sillabo dell'insegnamento

G - Basi di dati

* PC - Progettazione concettuale
progettazione concettuale

* ML - Modelli logici
modelli logici

* LI - Linguaggi di Interrogazione di Basi di Dati
linguaggi di interrogazione di basi di dati

* PL - Progettazione Logica
Progettazione logica

BDA - Basi di Dati Avanzate
Basi di dati avanzate

* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi di Gestione di Basi di Dati

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Modelli e metodi per il supporto alle decisioni

Nome	Modelli e metodi per il supporto alle decisioni	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

3 CFU nell'area A - Fondamenti
3 CFU nell'area B - Algoritmi

Sillabo dell'insegnamento

A - Fondamenti

COM - Complessita'
Complessità computazionale

* CAL - Calcolabilita'
Complessità computazionale

COM - Complessita'
Complessità computazionale

B - Algoritmi

* ASC - Algoritmi su Strutture Combinatorie
algoritmi su strutture combinatorie

* A - Algoritmi fondamentali
Algoritmi fondamentali

* ASC - Algoritmi su Strutture Combinatorie
algoritmi su strutture combinatorie

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Ottimizzazione Combinatoria

Nome	Ottimizzazione Combinatoria	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	MAT/09

6 cfu così ripartiti nelle aree:

6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

MAT - Crediti di MATEMATICA

MAT/09 - Ricerca Operativa
Ricerca Operativa

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Reti Complesse

Nome	Reti Complesse	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

H - Computazione su rete

* PT - Protocolli
protocolli

* ARTC - Architettura delle Reti di Calcolatori
Architettura delle Reti di Calcolatori

* MIR - Modelli di Interazione in Rete
modelli di interazione in rete

* SR - Sicurezza delle Reti
sicurezza delle reti

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Reti II

Nome	Reti II	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

9 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

H - Computazione su rete

* PT - Protocolli
Protocolli

SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Sistemi di Supporto all'Interazione e Ambienti di Sviluppo

* SR - Sicurezza delle Reti
Sicurezza delle Reti

GRC - Gestione di Reti di Calcolatori
Gestione di Reti di Calcolatori

* MIR - Modelli di Interazione in Rete
Modelli di Interazione in Rete

PASR - Programmazione di Applicazioni e Servizi di Rete
Programmazione di Applicazioni e Servizi di Rete

* FCD - Fondamenti del Calcolo Distribuito
Fondamenti di Calcolo Distribuito

DR - Dispositivi di Rete
Dispositivi di Rete

* ARTC - Architettura delle Reti di Calcolatori
Architettura delle Reti di Calcolatori

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Semantica dei Linguaggi di Programmazione

Nome	Semantica dei Linguaggi di Programmazione	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

3 CFU nell'area A - Fondamenti
6 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

A - Fondamenti

SLP - Semantica dei Linguaggi di Programmazione
Semantica dei Linguaggi di Programmazione

* ALF - Automi e Linguaggi Formali
automi e linguaggi formali

* CAL - Calcolabilita'
calcolabilità

D - Linguaggi

* LF - Linguaggi Formali
linguaggi formali

* S - Semantica
semantica

* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
tecniche di traduzione: compilatori e interpreti

MP - Metodologie di Programmazione
metodologie di programmazione

* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
macchine astratte e tecniche per la realizzazione dei linguaggi di programmazione

PLN - Paradigmi Linguistici
paradigmi linguistici

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Quattro corsi a scelta

Riepilogo dell'insegnamento: Sicurezza I

Nome	Sicurezza I	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

H - Computazione su rete

* SR - Sicurezza delle Reti
Sicurezza delle comunicazioni a livello di sessione e nelle applicazioni

* SR - Sicurezza delle Reti
I requisiti della sicurezza per sistemi e reti

* SR - Sicurezza delle Reti
Sistemi crittografici a chiave condivisa e asimmetrica

* SR - Sicurezza delle Reti
La sicurezza dei calcolatori: intrusioni, virus, worm

GRC - Gestione di Reti di Calcolatori
La sicurezza delle reti locali e le VPN (virtual private networks)

* PT - Protocolli
Crittografia

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Sicurezza II

Nome	Sicurezza II	CFU	6
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

H - Computazione su rete

* SR - Sicurezza delle Reti
Sicurezza delle Reti

* PT - Protocolli
Protocolli

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Sistemi Cognitivi

Nome	Sistemi Cognitivi	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

9 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

M - Rappresentazione della conoscenza

AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento automatico e scoperta di conoscenza

AI - Agenti Intelligenti
agenti intelligenti

AIA - Applicazioni della Intelligenza Artificiale
applicazioni di intelligenza artificale

ARC - Acquisizione e Rappresentazione della Conoscenza
acquisizione e rappresentazione della conoscenza

BC - Basi di Conoscenza
basi di conoscenza

* LPD - Logica e Programmazione Dichiarativa
logica e programmazione dichiarativa

RA - Ragionamento Automatico
ragionamento automatico

* RP - Risoluzione di Problemi
risoluzione di problemi

* SBC - Sistemi Basati su Conoscenza
sistemi basati su conoscenza

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Sistemi di Calcolo Paralleli e Distribuiti

Nome	Sistemi di Calcolo Paralleli e Distribuiti	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

3 CFU nell'area B - Algoritmi
3 CFU nell'area C - Programmazione

Sillabo dell'insegnamento

B - Algoritmi

AP - Algoritmi Paralleli
Algoritmi paralleli

* ASC - Algoritmi su Strutture Combinatorie
algoritmi su strutture combinatorie

AD - Algoritmi Distribuiti
Algoritmi distribuiti

C - Programmazione

PCC - Programmazione Concorrente
programmazione concorrente

PP - Paradigmi di Programmazione
paradigmi di programmazione

* PSA - Problem Solving e Algoritmi
problem solving e algoritmi

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Sviluppo Software per Componenti e Servizi Web - Parte A

Nome	Sviluppo Software per Componenti e Servizi Web - Parte A	CFU	6
Ore di didattica frontale per CFU	60	Settore Scientifico Disciplinare	INF/01

6 cfu così ripartiti nelle aree:

3 CFU nell'area E - Architetture
3 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

E - Architetture

VMP - Valutazione e Miglioramento delle Prestazioni
Valutazione e miglioramento delle prestazioni

AA - Architetture Avanzate
Architetture avanzate

* LMP - Livello di Microprogrammazione
Livello di microprogrammazione

I - Ingegneria del software

* ASW - Architetture Software
architetture software

* LMS - Linguaggi di Modellazione del Software
linguaggi di modellazione del software

* PSC - Progettazione del Software e Codifica
progettazione del software e codifica

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Teoria dell'Informazione

Nome	Teoria dell'Informazione	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

9 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

H - Computazione su rete

* ARTC - Architettura delle Reti di Calcolatori
Architettura delle reti di calcolatori

* FCD - Fondamenti del Calcolo Distribuito
Fondamenti di calcolo distribuito

* MIR - Modelli di Interazione in Rete
Modelli di interazione in rete

* PT - Protocolli
Protocolli

* SR - Sicurezza delle Reti
Sicurezza delle Reti

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Quattro corsi a scelta

Riepilogo dell'insegnamento: Trattamento dei Dati e dei Processi Aziendali

Nome	Trattamento dei Dati e dei Processi Aziendali	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

6 CFU nell'area G - Basi di dati
3 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

G - Basi di dati

* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi di Gestione di basi di dati

* LI - Linguaggi di Interrogazione di Basi di Dati
linguaggi di interrogazione di basi di dati

* ML - Modelli logici
modelli logici

* PC - Progettazione concettuale
progettazione concettuale

* PL - Progettazione Logica
progettazione logica

BDA - Basi di Dati Avanzate
basi di dati avanzate

I - Ingegneria del software

* AR - Analisi dei Requisiti
analisi dei requisiti

* ASW - Architetture Software
architetture software

* LMS - Linguaggi di Modellazione del Software
linguaggi di modellazione del software

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Riepilogo dell'insegnamento: Valutazione delle Prestazioni: Simulazione e Modelli

Nome	Valutazione delle Prestazioni: Simulazione e Modelli	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

3 CFU nell'area F - Sistemi operativi
6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

F - Sistemi operativi

* GSP - Gestione e Sincronizzazione dei Processi
Gestione e sincronizzazione dei processi

* FS - File System
File System

* SCO - Struttura e Componenti di un sistema operativo
Struttura e Componenti di un sistema operativo

H - Computazione su rete

SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
sistemi di supporto all'interazione e ambienti di sviluppo

PASR - Programmazione di Applicazioni e Servizi di Rete
programmazione di applicazioni e servizi di rete

* MIR - Modelli di Interazione in Rete
modelli di interazione in rete

* PT - Protocolli
protocolli

* FCD - Fondamenti del Calcolo Distribuito
Fondamenti di calcolo distribuito

* ARTC - Architettura delle Reti di Calcolatori
Architettura delle reti di calcolatori

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Quattro corsi a scelta

Riepilogo dell'insegnamento: Verifica dei Programmi Concorrenti

Nome	Verifica dei Programmi Concorrenti	CFU	9
Ore di didattica frontale per CFU	90	Settore Scientifico Disciplinare	INF/01

9 cfu così ripartiti nelle aree:

3 CFU nell'area D - Linguaggi
3 CFU nell'area H - Computazione su rete
3 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

D - Linguaggi

* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
tecniche di traduzione: compilatori e interpreti

* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Macchine astratte e tecniche per la realizzazione dei linguaggi di programmazione

* LF - Linguaggi Formali
linguaggi formali

H - Computazione su rete

* MIR - Modelli di Interazione in Rete
modelli di interazione in rete

V - Varie
model checking

* ARTC - Architettura delle Reti di Calcolatori
Architettura delle reti di calcolatori

I - Ingegneria del software

* PSS - Processi di Sviluppo del Software
Processi di sviluppo del softare

* ASW - Architetture Software
architetture software

* LMS - Linguaggi di Modellazione del Software
linguaggi di modellazione del software

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Quattro corsi a scelta