MAT/01 - Logica Matematica
Elementi di logica e teoria degli insiemi
MAT/02 - Algebra
Numeri interi e divisibilita'
MAT/02 - Algebra
Elementi di teoria dei gruppi
MAT/02 - Algebra
Elementi di teoria degli anelli
MAT/02 - Algebra
Il campo dei numeri complessi
MAT/03 - Geometria
Spazi vettoriali
MAT/03 - Geometria
Algebra delle matrici
MAT/03 - Geometria
Sistemi lineari
MAT/03 - Geometria
Autovalori e autovettori
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Algoritmi e Strutture Dati
Nome
Algoritmi e Strutture Dati
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
9 cfu così ripartiti nelle aree:
1 CFU nell'area A - Fondamenti
8 CFU nell'area B - Algoritmi
Sillabo dell'insegnamento
A - Fondamenti
COM - Complessita'
Modelli di Calcolo: macchina RAM RASP, simulazione, criteri di costo
B - Algoritmi
*
SDF - Strutture di Dati Fondamentali
Strutture dati elementari
*
SDF - Strutture di Dati Fondamentali
Grafi e alberi
*
SDF - Strutture di Dati Fondamentali
Tabelle Hash, Alberi binari di ricerca
*
SDF - Strutture di Dati Fondamentali
Alberi 2-3, 2-3-4, red-black
*
A - Algoritmi fondamentali
Algoritmi di ordinamento
*
A - Algoritmi fondamentali
Algoritmi di ordinamento avanzati
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche di progetto. Ricorsione ed equazioni di ricorrenza. Metodo Divide et Impera
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Programmazione dinamica, algoritmi greedy
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
MAT/05 - Analisi Matematica
Esercitazioni (studio di funzioni, calcolo integrale)
MAT/05 - Analisi Matematica
Equazioni differenziali del primo ordine
MAT/05 - Analisi Matematica
Serie numeriche
MAT/05 - Analisi Matematica
Funzioni
MAT/05 - Analisi Matematica
Calcolo differenziale e studio di funzioni
MAT/05 - Analisi Matematica
Calcolo integrale
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Architetture degli Elaboratori
Nome
Architetture degli Elaboratori
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
ING-INF/05
9 cfu così ripartiti nelle aree:
9 CFU nell'area E - Architetture
Sillabo dell'insegnamento
E - Architetture
*
CCS - Circuiti combinatori e sequenziali
Algebra di Boole, Porte logiche, elementi di progettazione
*
AC - Aritmetica dei calcolatori
Rappresentazione binaria dei numeri interi, frazionari e reali. Operazioni di somma e di complemento a 2
*
LII - Livello Instruction Set
Instruction Set Architecture della macchina MIPS. Datapath della macchina MIPS.
*
LMP - Livello di Microprogrammazione
Principi di microprogrammazione. La microprogrammazione delle principali istruzioni della macchina MIPS.
GM - Gestione della Memoria
Organizzazione della memoria. Memorie cache.
GIO - Gestione dell'Input/Output
Istruzioni di I/O. I/O memory mapped. Interrupt. Il BUS.
VMP - Valutazione e Miglioramento delle Prestazioni
Cenni al calcolo del tempo di esecuzione delle istruzioni e al miglioramento delle prestazioni mediante riorganizzazione del datapath. Cenni al pipelining
*
ASS - Linguaggio Assembler
Programmazione in Assembler della macchina MIPS
*
ASS - Linguaggio Assembler
Programmazione in Assembler della macchina MIPS
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Automi e linguaggi
Nome
Automi e linguaggi
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
6 cfu così ripartiti nelle aree:
6 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
A - Fondamenti
*
CAL - Calcolabilita'
Macchine di Turing deterministiche e non, linguaggi riconosciuti, aritmetizzazione
*
ALF - Automi e Linguaggi Formali
Linguaggi WHILE, macchine RAM e linguaggi reali. Tesi di Church
*
ALF - Automi e Linguaggi Formali
Macchine Universali. Teorema SMN. Status computazionale: esempi. Halting Problem
*
ALF - Automi e Linguaggi Formali
Teorema di Rado. Teorema di Kleene. Teorema di Rice
COM - Complessita'
Macchie di Turing: complessità in tempo e spazio. La tesi di Edmonds-Cook-Karp. P, NP
*
ALF - Automi e Linguaggi Formali
Relazioni fra P e NP, riducibilità polinomiale, Teorema di Cook-Levin, esempi di riducibilità
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Basi di Dati
Nome
Basi di Dati
CFU
9
Ore di didattica frontale per CFU
9
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
*
DBMS - Sistemi di Gestione di Basi di Dati
organizzazione generale
*
ML - Modelli logici
modello relazionale
*
LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggio SQL
*
LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggio SQL
LP - Linguaggi di Programmazione di Basi di Dati
interazione tra SQL e linguaggi di programmazione
*
DBMS - Sistemi di Gestione di Basi di Dati
Oracle, MySQL, PostgreSQL
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Corsi Complementari
Nome
Corsi Complementari
CFU
24
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
ING-INF/05
24 cfu così ripartiti nelle aree:
24 CFU nell'area A_M - Una qualunque delle aree da A a M
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Fondamenti di Sicurezza
Nome
Fondamenti di Sicurezza
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
6 cfu così ripartiti nelle aree:
6 CFU nell'area A_M - Una qualunque delle aree da A a M
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Informazione, trasmissione e codici a protezione d'errore
Nome
Informazione, trasmissione e codici a protezione d'errore
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
6 cfu così ripartiti nelle aree:
6 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Decodifica bayesiana e di max. verosimiglianza, codifica a protezione d'errore: distanza di Hamming di un codice, capacita' di rilevazione e correzione
TIC - Teoria dell'Informazione e Codici
Codifica lineare: codici di Hamming e Reed-Muller. Codici accorciati ed allungati, codici in forma sistematica. Meccanismi di codifica e decodifica
TIC - Teoria dell'Informazione e Codici
Scambio affidabilita'-ridondanza, capacita' di canale e secondo teorema di Shannon. Teorema inverso
TIC - Teoria dell'Informazione e Codici
Canali di informazione senza memoria, informazione mutual, irrilevanza ed equivocazione
TIC - Teoria dell'Informazione e Codici
Codici di sorgente, disuguaglianza di Kraft-McMillan, primo teorema di Shannon per sorgenti senza memoria, codifica di Huffman, efficienza e ridondanza
TIC - Teoria dell'Informazione e Codici
Nozione di informazione, additivita' entropia, esempi
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
*
SDF - Strutture di Dati Fondamentali
Implemetazione di strutture dati e relativi algoritmi
C - Programmazione
*
POO - Programmazione Orientata agli Oggetti
Progettazione e sviluppo di applicazioni
*
PSA - Problem Solving e Algoritmi
Risoluzione di problem e scelta delle strutture dati adeguate
PCC - Programmazione Concorrente
Programmazione di applicazioni web
G - Basi di dati
*
LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggio SQL
I - Ingegneria del software
*
PSC - Progettazione del Software e Codifica
Metodologie di programmazione
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Logica
Nome
Logica
CFU
6
Ore di didattica frontale per CFU
8
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
Tableaux per la logica del primo ordine
MAT/01 - Logica Matematica
Logica del primo ordine, forme normali ,Teorema di Skolem
MAT/01 - Logica Matematica
Calcoli a tableaux, completezza, calcoli a sequenti e risoluzione proposizionale
MAT/01 - Logica Matematica
Logica proposizionale, forme normali, algebre di boole
MAT/01 - Logica Matematica
Teorema di Herbrand e risoluzione
MAT/01 - Logica Matematica
Teoria dell'aritmetica e Teorema di Goedel
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Progettazione del Software
Nome
Progettazione del Software
CFU
8
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
ING-INF/05
8 cfu così ripartiti nelle aree:
8 CFU nell'area I - Ingegneria del software
Sillabo dell'insegnamento
I - Ingegneria del software
*
PSS - Processi di Sviluppo del Software
Ciclo di vita del Software e Principi di Ingegneria del Software
*
PSS - Processi di Sviluppo del Software
Tecniche di progettazione
*
PSS - Processi di Sviluppo del Software
Tecniche di progettazione
*
LMS - Linguaggi di Modellazione del Software
UML: Diagrammi dei casi d'uso, di sequenza, delle classi, statecharts, diagrammi delle attività
*
LMS - Linguaggi di Modellazione del Software
UML: Diagrammi dei casi d'uso, di sequenza, delle classi, statecharts, diagrammi delle attività
*
LMS - Linguaggi di Modellazione del Software
UML: Diagrammi dei casi d'uso, di sequenza, delle classi, statecharts, diagrammi delle attività
*
ASW - Architetture Software
Design Patterns
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Programmazione
Nome
Programmazione
CFU
12
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
12 cfu così ripartiti nelle aree:
12 CFU nell'area C - Programmazione
Sillabo dell'insegnamento
C - Programmazione
*
PSA - Problem Solving e Algoritmi
Algoritmi e programmi
*
SS - Sintassi e Semantica
Linguaggi: sintassi e semantica
*
SS - Sintassi e Semantica
Linguaggi di programmazione: dall'assembler ai linguaggi di alto livello
*
CB - Costrutti di Base
Elementi di base del linguaggio Java: tipi primitivi, tipi riferimento ed espressioni
*
CB - Costrutti di Base
Strutture di controllo
*
POO - Programmazione Orientata agli Oggetti
Java: classi, metodi ed oggetti
PP - Paradigmi di Programmazione
Implementazione delle classi, ereditariertà e polimorfismo
*
CB - Costrutti di Base
Eccezioni
*
SDTD - Strutture Dati e Tipi di Dati astratti
Liste e alberi
*
SCP - Sviluppo e Correttezza dei Programmi
Laboratorio: gli strumenti della programmazione java e sviluppo dei programmi
*
PSA - Problem Solving e Algoritmi
Laboratorio: dal problema alla sua implementazione in Java
*
CB - Costrutti di Base
Laboratorio: Implementazione delle classi
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Programmazione concorrente e distribuita
Nome
Programmazione concorrente e distribuita
CFU
8
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
8 cfu così ripartiti nelle aree:
4 CFU nell'area C - Programmazione
4 CFU nell'area H - Computazione su rete
Sillabo dell'insegnamento
C - Programmazione
V - Varie
I/O in Java, stream e serializzazione
PCC - Programmazione Concorrente
Concetti di base. Implementazione Java. Thread, comunicazione fra thread e sincronizzazione
V - Varie
Uso dei Socket in Java
PCC - Programmazione Concorrente
Accesso a risorse codivise. Esempi di implementazione nel framework Java
H - Computazione su rete
*
FCD - Fondamenti del Calcolo Distribuito
Programmazione client/server
V - Varie
Esempi di implementazione in java
*
FCD - Fondamenti del Calcolo Distribuito
Accesso ad oggeti remoti. Pattern Proxy. Esempi
*
FCD - Fondamenti del Calcolo Distribuito
Fondamenti di programmazione in ambiente distribuito
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Reti di Telecomunicazione
Nome
Reti di Telecomunicazione
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
ING-INF/05
9 cfu così ripartiti nelle aree:
9 CFU nell'area H - Computazione su rete
Sillabo dell'insegnamento
H - Computazione su rete
*
PT - Protocolli
Modello ISO/OSI
*
ARTC - Architettura delle Reti di Calcolatori
Reti a commutazione di circuito e reti datagram
*
PT - Protocolli
Il livello MAC. Il livello di rete. Il livello di trasporto. Il livello delle applicazioni
*
PT - Protocolli
Algoritmi di instradamento
*
MIR - Modelli di Interazione in Rete
Client/server, peer to peer
DR - Dispositivi di Rete
Principali componenti di una rete e tecniche di trasmissione dati
*
PT - Protocolli
Reti wireless e reti mobili. Il protocollo IEEE 802.11. GPRS e UMTS
GRC - Gestione di Reti di Calcolatori
Progetto e analisi delle prestazioni di una rete di calcolatori. Elementi di cablaggio strutturato
*
SR - Sicurezza delle Reti
Requisiti di sicurezza. Analisi delle principali minacce e protocolli di riferimento per la sicurezza delle comunicazioni wireless
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Sistemi operativi
Nome
Sistemi operativi
CFU
8
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
8 cfu così ripartiti nelle aree:
8 CFU nell'area F - Sistemi operativi
Sillabo dell'insegnamento
F - Sistemi operativi
*
GSP - Gestione e Sincronizzazione dei Processi
gestione processi e thread
*
GSP - Gestione e Sincronizzazione dei Processi
interazioni, race condition, sezioni critiche
*
SCO - Struttura e Componenti di un sistema operativo
Struttura generale di un sistema operativo
*
GSP - Gestione e Sincronizzazione dei Processi
problemi classici, approccio algoritmico, semafori, monitor
*
GSP - Gestione e Sincronizzazione dei Processi
message passing
*
GSP - Gestione e Sincronizzazione dei Processi
esercitazione sull'uso di semafori e monitor e sul message passsing
*
GM - Gestione della Memoria
gestione della memoria
*
GM - Gestione della Memoria
esercitazione sulla gestione della memoria
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa