Sillabo dell'insegnamento

• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Strutture dati lineari (Liste, Code, Pile)
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Algoritmi di ordinamento: Selection Sort, Merge Sort, Quick Sort, Counting Sort
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Sistema operativo GNU/Linux e shell bash. Compilatore C e gestione di progetti con Makefile
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Code con priorita': Implementazione con alberi e vettori
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Alberi binari di ricerca, Alberi AVL
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Grafi: calcolo componenti connesse, Cicli, Minimo albero ricoprente
* A - Algoritmi fondamentali
Algoritmi fondamentali su strutture dati e su grafi
* A - Algoritmi fondamentali
I principi della programmazione dinamica.
* A - Algoritmi fondamentali
Algoritmi ricorsivi esponenziali, algoritmi ricorsivi polinomiali, algoritmi iterativi.
V - Varie
La classe NP.
V - Varie
Problemi NP-completi
* A - Algoritmi fondamentali
Algoritmi di approssimazione

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Fondamenti i calcolo dfferenziale: derivate e tangenti.
MAT/05 - Analisi Matematica
Serie di funzioni
MAT/05 - Analisi Matematica
Introduzione alle equazioni differenziali
MAT/05 - Analisi Matematica
Calcolo integrale
MAT/05 - Analisi Matematica
Grafici di funzioni. Algoritmo di Newton.
MAT/05 - Analisi Matematica
Funzioni, limiti di funzioni, continuit?, zeri di funzioni.
MAT/05 - Analisi Matematica
Successioni e serie. Criteri di convergenza.
MAT/05 - Analisi Matematica
Concetto di limite. Sup e inf di insiemi numerici.
MAT/05 - Analisi Matematica
Numeri interi e razionali, algoritmo euclideo, numeri irrazionali, numeri reali.C

Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
Ottimizzare le istruzioni SQL. Il piano di esecuzione. L'ottimizzatore. Le statistiche. Il comando EXPLAIN. Le subquery. Il Join. Gli Hint
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
La progettazione fisica di un database. tabelle, indici e datatype. La denormalizzazione. Il dimensionamento. Il layout fisico del db.Meccanismi di RAID
TCR - Transazioni, Concorrenza e Recovery
Le transazioni. Lock. Transazioni. livelli di isolamento. Deadlock. Le "storage engines". Mylsam. Merge. Memory/Heap. InnoDB
* PL - Progettazione Logica
Disegno logico e fisico di un DB. Forme normali.
* LI - Linguaggi di Interrogazione di Basi di Dati
Algebra relazionale. Calcolo relazionale.
* PC - Progettazione concettuale
Flusso di progetto e visione dei dati. Modello concettuale di dati.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Il processo di ottimizzazione. I problemi di performance. Le cause ed i costi. L'architettura di MySQL. La struttura del database. Le "storage engines"
* DBMS - Sistemi di Gestione di Basi di Dati
Introduzione ai sistemi di gestione di basi di dati.
* LI - Linguaggi di Interrogazione di Basi di Dati
Query language.
* DBMS - Sistemi di Gestione di Basi di Dati
Il DBMS mySQL. Realizzazione progetto
BDA - Basi di Dati Avanzate
Ottimizzare l'uso degli indici. indici e selettivita'. Query per prefisso. Indici e distribuzione dei dati. Indici e funzioni. Indexed-only columns. Indici e DML. Indici e sort
BDA - Basi di Dati Avanzate
Ottimizzare il motore SQL. I diversi meccanismi di cache. Ottimizzazione di Mylsam. Ottimizzazione di Heap. Ottimizzazione di InnoDB. Le righe migrate/concatenate

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Spazi di Probabilità: eventi, insiemi e misure di probabilità. Spazi di probabilità uniformi.
MAT/06 - Probabilita' e Statistica Matematica
Probabilità condizionale e indipendenza di eventi. Formula di Bayes. Elementi di calcolo combinatorio.
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie discrete. Densità discrete e funzioni di ripartizione. Leggi congiunte, leggi condizionali e indipendenza.
MAT/06 - Probabilita' e Statistica Matematica
Speranza matematica, momenti, varianza e covarianza. Disuguaglianza di Chebychev. Funzioni generatrici dei momenti.
MAT/06 - Probabilita' e Statistica Matematica
Legge dei grandi numeri. Teorema limite centrale. Approssimazione normale.
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie continue e distribuzioni continue di uso comune (uniforme, esponenziale, normale, Gamma).

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Interpolazione ed approssimazione.
MAT/08 - Analisi Numerica
Risoluzione di sistemi di equazioni non lineari.
MAT/08 - Analisi Numerica
Metodi diretti e iterativi per sistemi lineari.
MAT/08 - Analisi Numerica
Algebra lineare numerica.
MAT/08 - Analisi Numerica
Aritmetica in virgola mobile ed analisi dell'errore.
MAT/08 - Analisi Numerica
Integrazione numerica

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Gerarchia di Chomsky
* ALF - Automi e Linguaggi Formali
Linguaggi context free e automi a pila
* ALF - Automi e Linguaggi Formali
Linguaggi regolari e automi a stati finiti. Espressioni regolari.
* ALF - Automi e Linguaggi Formali
Grammatiche e automi.
* ALF - Automi e Linguaggi Formali
Linguaggi formali e modelli di calcolo.
* CAL - Calcolabilita'
Macchine di Turing

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
prodotti interni. Matrici positive definite. Procedimento di ortogonalizzazione. Complementi ortogonali. Trasformazioni ortogonali. Matrici ortogonali
MAT/03 - Geometria
Matrici simili. Polinomio caratteristico. Autovalori e autovettori. Trasformazioni diagonalizzabili. Prodotti interni. Matrici positive definite.
MAT/03 - Geometria
Basi spaio delle righe e delle colonne di una matrice. Rango. Teorema di Rouch-Capelli.
MAT/03 - Geometria
Regola di Kramer. cambiamenti di base e di componenti.. Intersezioni somma e somma diretta di sottospazi. trasformazioni lineari. nucleo e immagine. Matrice associata ad una trasformazione lineare.
MAT/03 - Geometria
Matrici elementari. Matrici invertibili. Determinante spazi vettoriali. Sottospazi. Dipendenza ed indipendenza lineare.
MAT/03 - Geometria
Sistemi di equazioni lineari, matrici ,operazioni elementari sulle righe e sulle colonne di una matrice, moltiplicazione di matrici.

Sillabo dell'insegnamento

• I - Ingegneria del software
* LMS - Linguaggi di Modellazione del Software
Il formalismo UML per la specifica ed il modellamento dei sistemi software
* PSC - Progettazione del Software e Codifica
Pattern di progettazione object oriented
* PSC - Progettazione del Software e Codifica
Progettazione su componenti
* PSS - Processi di Sviluppo del Software
Ciclo di vita del software.
* AR - Analisi dei Requisiti
Analisi e progettazione object oriented
* AR - Analisi dei Requisiti
Requisiti utente e di sistema
* AR - Analisi dei Requisiti
Requisiti funzionali e non funzionali
* TVV - Testing, Verifica e Validazione
Data based black box testing
EPGS - Economia della Produzione e Gestione di progetti Software
Ciclo di vita dei progetti. Stima dell'effort.
* TVV - Testing, Verifica e Validazione
Static & Dynamic white box testing.
* PSC - Progettazione del Software e Codifica
Programmazione su componenti
EPGS - Economia della Produzione e Gestione di progetti Software
Cost Management. Resource Management.

Sillabo dell'insegnamento

• I - Ingegneria del software
AS - Ambienti di Sviluppo
Mobile: overview su servizi e tecnologie. Sviluppo su ANDROID
AS - Ambienti di Sviluppo
Framework: Hibernate, Struts, Spring, Axis
AS - Ambienti di Sviluppo
Architetture e tecnologie JEE (JDBC, Servlet, JSP, JSF, Web Services, EJB)
* PSC - Progettazione del Software e Codifica
Design & Architectural Pattern (GRASP, GOF, Java EE)
* ASW - Architetture Software
Design di architetture software
* PSC - Progettazione del Software e Codifica
Tecniche di progettazione Object Oriented

Sillabo dell'insegnamento

• D - Linguaggi
* S - Semantica
Sintassi e semantica di un linguaggio di programmazione.
MP - Metodologie di Programmazione
Supporto run-time all'esecuzione di un programma.
* S - Semantica
Il concetto di binding; binding statici e dinamici
MP - Metodologie di Programmazione
Array, array multidimensionali. Introduzione all'ereditariet
MP - Metodologie di Programmazione
Linguaggio Java. Cooperazione tra oggetti. Creazione di oggetti e notazione punto.
MP - Metodologie di Programmazione
Linguaggio Java. Collezioni di oggetti, ArrayList, generics, costrutto for each, principio della delega.
MP - Metodologie di Programmazione
Linguaggio Java. La struttura delle classi Java, attributi, costruttori.
MP - Metodologie di Programmazione
Linguaggio Java. Metodi, istruzione if, variabili locali.
MP - Metodologie di Programmazione
Programmazione object oriented e introduzione al linguaggio Java: metodi e messaggi; information hiding e modificatori di accesso, editing, compilazione ed esecuzione di una applicazione Java
MP - Metodologie di Programmazione
Struttura di una classe Java. Progetto di applicazioni Java.
MP - Metodologie di Programmazione
Linguaggio Java. Definizione di classi Java e di attributi.
MP - Metodologie di Programmazione
Linguaggio Java. Oggetti e classi, metodi e parametri. Introduzione a BlueJ.

Sillabo dell'insegnamento

• D - Linguaggi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Il compilatore LEX. Analsi Sintattica: parsing top-down e bottom-up
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Parsing predittivo non ricorsivo. Parsing LR: tecniche SLR, LALR, LR canonica
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Generazione automatica di compilatori. Il compilatore YACC
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Traduzione guidata dalla Sintassi: definizioni dirette dalla sintassi, schemi di traslazione
* LF - Linguaggi Formali
Linguaggi formali e compilatori. Grammatiche e automi. Fasi della compilazione. Analisi Lessicale: token, pattern, lessemi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi semantica e type checking. Codice intermedio.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
I numeri naturali. I numeri interi. potenze e loro proprieta'. Prodotti notevoli. I numeri razionali. Espressioni razionali. Insiemi, elementi di un insieme. Unione e intersezione di insiemi. L'insieme delle parti di un insieme. Polinomi e fattorizzazione di polinomi
MAT/05 - Analisi Matematica
Disequazioni di primo e secondo grado. Equazioni e disequazioni con modulo. Sommatorie e loro proprieta'. Radicali e loro proprieta'. II principio di induzione matematica. Esponenziali e logaritmi e loro proprieta'
MAT/01 - Logica Matematica
Logica. proposizioni, tavole di verita'. Negazione di una proposizione. Implicazioni. Relazioni. funzioni. Funzioni iniettive e funzioni suriettive. Immagine e controimmagine di un insieme.
MAT/02 - Algebra
relazioni, relazioni di equivalenza e di ordini. I numeri naturali, interi e relative operazioni.
MAT/02 - Algebra
Analisi combinatoria : permutazioni, disposizioni, combinazioni, il principio di inclusione-esclusione. divisione tra interi, il MCD. identit? di Bezout.
MAT/02 - Algebra
Congruenze. L'anello delle classi resto modulo n. Risoluzione di congruenze e di sistemi i congruenze. La funzione di Eulero e il teorema di Eulero
MAT/02 - Algebra
relazioni ricorsive. polinomi: opeazioni tra polinomi. MCD tra polinomi, identit? di bezout
MAT/02 - Algebra
Polinomi irriducibili su vari campi. Test di irriducibilit
MAT/02 - Algebra
Le principali strutture algebriche: gruppi, anelli, campi. Costruzione di campi finiti.

Sillabo dell'insegnamento

• C - Programmazione
* SDTD - Strutture Dati e Tipi di Dati astratti
Array e strutture. Allocazione di memoria
* SDTD - Strutture Dati e Tipi di Dati astratti
Gestione dei file. Liste
* CB - Costrutti di Base
Puntatori: dichiarazione e inizializzazione di puntatori, operatori * e &, puntatori e array, aritmetica su puntatori
* CB - Costrutti di Base
Array: dichiarazioni di array, passaggio di array come parametri, array con indici multipli. Stringhe come array di caratteri.
* CB - Costrutti di Base
Strutture di controllo if/else, while, for, do/while, switch
* P - Procedure
Funzioni: funzioni di libreria, definizione di funzioni, prototipi, file header, ricorsione, passaggio dei parametri
* SS - Sintassi e Semantica
Introduzione alla programmazione e nozioni di base del C. Tipi di dati. Strutture di controllo if.
* CB - Costrutti di Base
Puntatori
* P - Procedure
Funzioni
* CB - Costrutti di Base
Tipi di dati ed operatori. Strutture di controllo e cicli
* SS - Sintassi e Semantica
Cenni storici, caratteristiche e compilatori. Primo programma
* CB - Costrutti di Base
Le strutture. Allocazione dinamica della memoria. Liste, pile e code: inserimenti, cancellazioni e ricerca di elementi

Sillabo dell'insegnamento

• E - Architetture
* CCS - Circuiti combinatori e sequenziali
Logica digitale. Fondamenti sul progetto di reti logiche
* ASS - Linguaggio Assembler
Linguaggio macchina. Linguaggi assemblativi. Architetture avanzate
* LII - Livello Instruction Set
Istruzioni e linguaggio macchina
* CCS - Circuiti combinatori e sequenziali
Circuiti sequenziali
* AC - Aritmetica dei calcolatori
Struttura e funzionamento della CPU
* LMP - Livello di Microprogrammazione
Il controllo micro-programmato
* LII - Livello Instruction Set
L'insieme delle istruzioni: caratteristiche, fomati e modalit? di indirizzamento
* ASS - Linguaggio Assembler
Il linguaggio assembler
* AC - Aritmetica dei calcolatori
Struttura e funzionamento dell'unita' di controllo
* AC - Aritmetica dei calcolatori
L'aritmetica dei calcolatori
GIO - Gestione dell'Input/Output
Ingresso/uscita: modalit? e dispositivi
* LMP - Livello di Microprogrammazione
Microprogramma. L'interfaccia tra processori e periferiche

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
L'algoritmo duale del simplesso. Cenni sulla programmazione lineare a variabili intere: il metodo. Branch&Bound ed il metodo Branch&Bound efficiente
MAT/09 - Ricerca Operativa
L'algoritmo del simplesso: versione classica e forma revisionata. Dualita': dualit? debole, dualit? forte.
MAT/09 - Ricerca Operativa
La tecnica PERT nel caso deterministico ed in quell probabilistico. Il PERT costi.
MAT/09 - Ricerca Operativa
Cenni sui modelli GERTS/Q-GERT. Modelli di ottimizzazione classica. Introduzione alla programmazione matematica: il caso lineare.
MAT/09 - Ricerca Operativa
Modelli di gestione delle scorte, modlli reticolari per la programmazione di progetti.
MAT/09 - Ricerca Operativa
Introduzione alla R.O. fasi di sviluppo di un progetto R.O. Alcuni esempi di modelli di interesse operativo.

Sillabo dell'insegnamento

• F - Sistemi operativi
GP - Gestione delle Periferiche
Gestione dei dispositivi periferici.
* FS - File System
Struttura di un file system. File system centralizzati e distribuiti
* GSP - Gestione e Sincronizzazione dei Processi
Il nucleo di un SO. Gestione dei processi. Multiprogrammazione.
* SCO - Struttura e Componenti di un sistema operativo
Storia dei sistemi operativi. Architettura generale di un SO.
* GM - Gestione della Memoria
Gestione della memoria. Memoria virtuale.
V - Varie
Sistemi operativi distribuiti. Gestione dell'interfaccia utente. Il sistema operativo Linux
• H - Computazione su rete
* PT - Protocolli
Comunicazione a livello fisico. Comunicazione a livello data-link: protocolli Ethernet e Token-ring
* PT - Protocolli
Il livelli di rete e di trasporto: protocolli IP, TCP, UDP
* ARTC - Architettura delle Reti di Calcolatori
Architettura generale di un sistema distribuito
* ARTC - Architettura delle Reti di Calcolatori
Protocolli di comunicazione e relativi livelli.
* PT - Protocolli
Il problema del routing
* PT - Protocolli
Protocolli di livello superiore: il protocollo HTTP