Riepilogo dell'insegnamento: Algoritmi e strutture Dati e laboratorio
Nome
Algoritmi e strutture Dati e laboratorio
CFU
12
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
12 cfu così ripartiti nelle aree:
12 CFU nell'area B - Algoritmi
Sillabo dell'insegnamento
B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Fondamenti della teoria degli algoritmi.
*
SDF - Strutture di Dati Fondamentali
Vettori, pile e code
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche di analisi della complessita', di algoritmi e delle strutture dati
*
ASC - Algoritmi su Strutture Combinatorie
Fondamenti della teoria delle strutture dati
*
A - Algoritmi fondamentali
Algoritmi di ricerca.
*
A - Algoritmi fondamentali
Algoritmi di ordinamento.
SDA - Strutture di Dati Avanzate
Alberi di ricerca, red-black tree, B-alberi
V - Varie
Progettazione e sperimentazione di algoritmi
TAA - Tecniche Algoritmiche Avanzate
Strutture, tecniche e algoritmi per il bilanciamento di alberi
*
SDF - Strutture di Dati Fondamentali
Alberi
*
ASC - Algoritmi su Strutture Combinatorie
Algoritmi sui grafi.
TAA - Tecniche Algoritmiche Avanzate
Principali criteri per il disegno, l'utilizzo, la scelta e la valutazione di strutture dati.
(*) 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: Analisi Matematica
Nome
Analisi Matematica
CFU
12
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
MAT/05
MAT/01
12 cfu così ripartiti nelle aree:
12 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Proposizioni, predicati induttivi e regole di trasformazione, induzione matematica.
(*) 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: Architettura degli elaboratori e laboratorio
Nome
Architettura degli elaboratori e laboratorio
CFU
12
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
ING-INF/05
12 cfu così ripartiti nelle aree:
12 CFU nell'area E - Architetture
Sillabo dell'insegnamento
E - Architetture
V - Varie
Introduzione storica sulle architetture degli elaboratori.
GIO - Gestione dell'Input/Output
Input/Output.
*
LII - Livello Instruction Set
Linguaggio macchina.
*
LMP - Livello di Microprogrammazione
Struttura di un Computer al livello Microarchitetturale.
*
CCS - Circuiti combinatori e sequenziali
Progetto di Reti Logiche.
*
AC - Aritmetica dei calcolatori
Rappresentazione delle Informazioni.
V - Varie
Codici di rilevamento errori.
*
ASS - Linguaggio Assembler
Sperimentazione di programmazione assembly
*
CCS - Circuiti combinatori e sequenziali
Reti logiche
GM - Gestione della Memoria
Gerarchie di Memoria.
AA - Architetture Avanzate
Architetture ad elaborazione parallela.
*
ASS - Linguaggio Assembler
Programmazione Assembler.
(*) 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
8
Settore Scientifico Disciplinare
INF/01
ING-INF/05
9 cfu così ripartiti nelle aree:
9 CFU nell'area G - Basi di dati
Sillabo dell'insegnamento
G - Basi di dati
*
PC - Progettazione concettuale
Modello ER e modello UML
*
PL - Progettazione Logica
Ristrutturazione di schemi ER e traduzione di schemi ER in schemi relazionali
*
LI - Linguaggi di Interrogazione di Basi di Dati
SQL
*
LI - Linguaggi di Interrogazione di Basi di Dati
Algebra relazionale e calcolo relazionale
TCR - Transazioni, Concorrenza e Recovery
La nozione di transazione e le proprietà acide, concorrenza, recovery, buffer, ottimizzazione
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Strutture di indicizzazione, indici di singolo livello e multilivello, B-alberi e B+-alberi
*
ML - Modelli logici
Modelli basati sui valori e sull'identità degli oggetti. Modelli ER, relazionale, orientato agli oggetti
*
DBMS - Sistemi di Gestione di Basi di Dati
Architettuta di un DBMS, componenti di un DBMS
NBD - Normalizzazione di Basi di Dati
Dipendenze funzionali, forme normali, tecniche di normalizzazione
(*) 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: Calcolo delle probabilita' e statistica
Nome
Calcolo delle probabilita' e statistica
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
MAT/06
6 cfu così ripartiti nelle aree:
6 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Probabilita' elementare
MAT/06 - Probabilita' e Statistica Matematica
Variabili casuali univariate: funzione di ripartizione, di densita', di massa, di probabilita',tasso di guasto
MAT/06 - Probabilita' e Statistica Matematica
Leggi univariate discrete e continue notevoli (binomiale, Poisson, esponenziale, gamma, Weibull, normale)
MAT/06 - Probabilita' e Statistica Matematica
Momenti e funzione generatrice dei momenti, con diseguaglianze e proprieta' collegate
MAT/06 - Probabilita' e Statistica Matematica
Variabili casuali bivariate e multivariate e leggi di funzioni di variabili casuali
MAT/06 - Probabilita' e Statistica Matematica
Legge dei grandi numeri e teorema limite centrale con applicazioni in Statistica
(*) 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: Calcolo scientifico
Nome
Calcolo scientifico
CFU
6
Ore di didattica frontale per CFU
8
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 degli errori
MAT/08 - Analisi Numerica
Soluzione di sistemi lineari
MAT/08 - Analisi Numerica
Trattamento dati e funzioni: interpolazione e approssimazione minimi quadrati
MAT/08 - Analisi Numerica
Zeri di funzione
MAT/08 - Analisi Numerica
Integrazione e differenziazione numerica
MAT/08 - Analisi Numerica
Esempi in laboratorio di applicazioni numeriche per l'informatica
(*) 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: Fisica
Nome
Fisica
CFU
6
Ore di didattica frontale per CFU
8
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.
*
CAL - Calcolabilita'
Funzioni calcolabili e problemi decidibili.
*
CAL - Calcolabilita'
Enumerazione delle funzioni calcolabili, funzione universale. Tesi di Church.
*
CAL - Calcolabilita'
Modelli di calcolo: la Macchina di Turing. Halting Problem e Teorema SMN.
(*) 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: Ingegneria del software
Nome
Ingegneria del software
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
ING-INF/05
6 cfu così ripartiti nelle aree:
6 CFU nell'area I - Ingegneria del software
Sillabo dell'insegnamento
I - Ingegneria del software
*
PSC - Progettazione del Software e Codifica
Progettazione Object-Oriented. Progettazione funzionale.
*
TVV - Testing, Verifica e Validazione
Verifica e Validazione. Testing del Software, Software inspection.Dependability ed Affidabilita' del Sofware. Qualita' del Software. Standard sul Ciclo di Vita.
*
ASW - Architetture Software
Generalita' e Progetto Architetturale.
*
LMS - Linguaggi di Modellazione del Software
Tecniche di modellizzazione dei sistemi e UML
*
PSS - Processi di Sviluppo del Software
Concetti e Definizioni di Base dell'Ingegneria del Software. Gestione di un Progetto Software. Modello a cascata, modello a spirale, sviluppo incrementale.
*
AR - Analisi dei Requisiti
Processo di ingegnerizzazione dei requisiti.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
6 CFU nell'area L - Interazione, grafica e multimedialità
Sillabo dell'insegnamento
L - Interazione, grafica e multimedialità
*
PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Strumenti per l'Implementazione di Interfacce Utente. Valutazione di Usabilita'. Help.
*
MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Metodi Formali nell'Interazione Uomo-Macchina. Guideline e Standard per le Interfacce Utente.
*
MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Interazione Uomo-Macchina e Ciclo di Vita del Software. Environment. User, Task Analysis.
PIRV - Paradigmi di Interazione e Realtà Virtuale
Periferiche per l'Interazione Uomo-Macchina. Modelli e Paradigmi di Interazione Uomo-Macchina.
*
PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Introduzione. Aspetti Psicologici dell'Interazione Uomo-Macchina.
PIRV - Paradigmi di Interazione e Realtà Virtuale
Computer-Supported Cooperative Work. Recenti Paradigmi di Interazione Uomo-Macchina.
(*) 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: Linguaggi di Programmazione
Nome
Linguaggi di Programmazione
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
9 cfu così ripartiti nelle aree:
9 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
D - Linguaggi
*
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Macchine astratte, linguaggi, interpretazione e compilazione. Introduzione alla struttura del compilatore.
*
LF - Linguaggi Formali
Grammatiche libere da contesto. Vincoli di semantica statica.
*
S - Semantica
Sintassi e semantica formale per la descrizione dei linguaggi di programmazione.
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Grammatiche regolari, DFA, NFA, e minimalizzazione. I generatori di scanner (Flex, Alex).
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
I generatori di parser (Bison, Happy).
*
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Macchina astratta del Pascal, esempio del P-code.
*
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Il paradigma funzionale con esempi in linguaggio Haskell.
*
S - Semantica
Sistemi di tipo, type cheking e inference
*
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Ambiente, regole di scoping, passaggio dei parametri. Gestione memoria.Tipi di dato e astrazioni sui dati. Controllo di sequenza, procedure, ricorsione.
(*) 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 Matematica
Nome
Logica Matematica
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
Logica con uguaglianza
MAT/01 - Logica Matematica
Logica proposizionale
MAT/01 - Logica Matematica
Logica predicativa
MAT/01 - Logica Matematica
Tableaux semantici.
MAT/01 - Logica Matematica
Forme normali
MAT/01 - Logica Matematica
Deduzione naturale
(*) 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: Matematica Discreta
Nome
Matematica Discreta
CFU
12
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
MAT/09
MAT/01
12 cfu così ripartiti nelle aree:
12 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
MAT - Crediti di MATEMATICA
MAT/02 - Algebra
Divisibilità, conguenze e applicazioni.
MAT/02 - Algebra
Introduzione alla teoria dei gruppi.
MAT/01 - Logica Matematica
Numeri naturali e principi di induzione, razionali, interi, complessi.
MAT/03 - Geometria
Autovettori e autovalori.
MAT/03 - Geometria
Spazi euclidei.
MAT/03 - Geometria
Sistemi lineari.
MAT/03 - Geometria
Determinante, rango e inversa di una matrice.
MAT/02 - Algebra
Spazi vettoriali su reali e complessi, spazi di matrici.
MAT/01 - Logica Matematica
Cardinalità di insiemi (finiti e infiniti).
MAT/01 - Logica Matematica
Regole di derivazione (connettivi proposizionali e quantificatori)
(*) 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 e laboratorio
Nome
Programmazione e laboratorio
CFU
12
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
ING-INF/05
12 cfu così ripartiti nelle aree:
12 CFU nell'area C - Programmazione
Sillabo dell'insegnamento
C - Programmazione
*
SCP - Sviluppo e Correttezza dei Programmi
Invarianti e correttezza dei programmi iterativi; problema della terminazione. Dimostrazioni per induzione e concetto di invariante.
*
POO - Programmazione Orientata agli Oggetti
Elementi di programmazione object-oriented in Java: classi e oggetti; campi, costruttori e metodi.
*
PSA - Problem Solving e Algoritmi
Tecniche di memoization e programmazione dinamica.
PP - Paradigmi di Programmazione
Paradigma funzionale. Concetto di stato e paradigma imperativo/sequenziale. Rivisitazione delle strutture di dati elementari attraverso il paradigma imperativo.
*
SDTD - Strutture Dati e Tipi di Dati astratti
Strutture dati dal punto di vista dell'utilizzatore e dal punto di vista dell'implementatore. Pile e code.
*
SDTD - Strutture Dati e Tipi di Dati astratti
Introduzione all'astrazione sui dati attraverso semplici dati strutturati. Specifica astratta di una struttura dati e diversità delle scelte realizzative. Dati di dimensione variabile.
*
R - Ricorsione
Ricorsione generale e ricorsione di coda (tail recursion). Approccio iterativo come ricorsione di coda.
*
P - Procedure
Procedure funzionali e procedure imperative.
*
CB - Costrutti di Base
Costrutti dei programmi iterativi.
*
R - Ricorsione
Definizioni ricorsive.
*
SS - Sintassi e Semantica
Sintassi di Scheme. Modello di valutazione per sostituzione e riduzione.
*
SS - Sintassi e Semantica
Principali comandi e costrutti del linguaggio Java.
(*) 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 orientata agli oggetti
Nome
Programmazione orientata agli oggetti
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
ING-INF/05
6 cfu così ripartiti nelle aree:
6 CFU nell'area C - Programmazione
Sillabo dell'insegnamento
C - Programmazione
*
PSA - Problem Solving e Algoritmi
Progettazione orientata agli oggetti: identificazione delle componenti e definizione delle responsabilita'; definizione del comportamento e delle interazioni fra moduli; specifica dell'interfaccia; concetto di stato.
*
POO - Programmazione Orientata agli Oggetti
Incapsulamento delle informazioni. Clonazione. Eccezioni.
*
POO - Programmazione Orientata agli Oggetti
Ereditarieta': sottoclassi, tipi e compatibilita' per sostituzione. Specializzazione e altre forme di ereditarieta'. Polimorfismo. Condivisione di codice. Polimorfismo e variabili polimorfe.
*
PSA - Problem Solving e Algoritmi
Design pattern.
*
SS - Sintassi e Semantica
Costrutti del linguaggio di programmazione Java.
*
PSA - Problem Solving e Algoritmi
Nozioni di base: moduli interagenti, messaggi e metodi, responsabilita'.
(*) 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 calcolatori
Nome
Reti di calcolatori
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
ING-INF/05
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
Introduzione alle reti di calcolatori.
*
PT - Protocolli
Il modello ISO/OSI.
DR - Dispositivi di Rete
Principali componenti di una rete e tecniche di trasmissione dati.
*
ARTC - Architettura delle Reti di Calcolatori
Reti a commutazione di circuito e reti datagram
*
PT - Protocolli
Il livello di rete. Algoritmi di instradamento.
*
PT - Protocolli
Il livello di trasporto. Il livello delle applicazioni.
*
MIR - Modelli di Interazione in Rete
Client/server, peer to peer
*
SR - Sicurezza delle Reti
Elementi di crittografia.
*
SR - Sicurezza delle Reti
Sicurezza a livello di rete e trasporto, firewall
(*) 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 e laboratorio
Nome
Sistemi Operativi e laboratorio
CFU
12
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
ING-INF/05
12 cfu così ripartiti nelle aree:
12 CFU nell'area F - Sistemi operativi
Sillabo dell'insegnamento
F - Sistemi operativi
*
AMM - Amministrazione di sistema
Sistema dei permessi del file system, scripting della shell
PS - Programmazione di Sistema
Programmazione in C
GP - Gestione delle Periferiche
Interfaccia per le applicazioni. I dischi. Algoritmi di schedulazione dei dischi.
*
FS - File System
Il file system. Il file: attributi, operazioni, struttura fisica, metodi di accesso. Le directory e la struttura logica di un file system. Aspetti di sicurezza e protezione. Implementazione dei file system. Operazioni su dischi, partizioni e file system. Cenni ai journaled file system.
GP - Gestione delle Periferiche
Input/Output. Tipi di dispositivi di I/O. Il trattamento delle interruzioni, i driver di I/O. I/O bloccante, non bloccante, asincrono.
*
GM - Gestione della Memoria
Gestione della memoria. Gerarchie di memoria. Strategie di allocazione, frammentazione. La memoria virtuale: paginazione a richiesta, algoritmi di sostituzione delle pagine, il thrashing, il modello Working set.
*
GSP - Gestione e Sincronizzazione dei Processi
Programmazione concorrente. Race condition, sezioni critiche, mutua esclusione, sincronizzazione tra processi e memorie condivise, primitive di comunicazione e sincronizzazione. Stallo: definizione, modelli per lo stallo, identificazione, prevenzione.
*
SCO - Struttura e Componenti di un sistema operativo
Kernel, gestione della memoria, dei processi e dell' I/O, interfaccia e servizi verso l'utente
*
GSP - Gestione e Sincronizzazione dei Processi
I processi. Definizioni, concetti base, operazioni sui processi. Commutazione di contesto. I processi leggeri (threads): modello a thread. Lo scheduling dei processori: concetti di base, algoritmi di scheduling.
V - Varie
Aspetti generali.
MA - Modelli e Architetture di sistemi operativi
Architettura monolitica/microkernel, stratificazione del sistema operativo, virtualizzazione
PS - Programmazione di Sistema
Utilizzo delle chiamate di sistema in linguaggio C.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa