Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Classi P, NP ed NP-C. Teorema di Cook. Esempi di problemi Np-C.

• B - Algoritmi
* A - Algoritmi fondamentali
+ AL-BA - Basic Analysis
Analisi degli algoritmi. Velocità di crescita delle funzioni. Ricorrenze Fondamentali. Soluzioni delle equazioni di ricorrenza. Metodo dell'iterazione e Master Theorem.
* A - Algoritmi fondamentali
+ AL-BA - Basic Analysis
Random Access Machines, Complessità Computazionale RAM, Macchine di Turing e relazione fra esse (linee generali).
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Tecnica del Divide et Conquer. Esempi. La Programmazioni Dinamica. Esempi: numero di fibonacci, distanza fra due stringhe.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Algoritmi di Sorting. Longest Common Subsequence, Riconoscimento Grammatiche Context Free. Algoritmi Greedy: Optimal Storage on Tapes. Il Problema dello Zaino (versione ?greedy?)
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Rappresentazione di Grafi, Visite su Grafi,Pile, Code e loro implementazione in C mediante array e liste concatenate. Valutazione di un'espressione in forma postfissa mediante una pila e sua implementazione in C.
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi fondamentali su grafi.
* ASC - Algoritmi su Strutture Combinatorie
+ AL-FDA - Fundamental Data Structures and Algorithms
Operazioni Fondamentali su Insiemi. Tabelle Hash. Union-find.
* ASC - Algoritmi su Strutture Combinatorie
+ AL-FDA - Fundamental Data Structures and Algorithms
Alberi di Ricerca Ottimi, Schemi di Alberi Bilanciati, Dizionari e Code a Priorità, Mergeable Heaps, Code Concatenabili.

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* GV-FC - Fundamental Concepts
Introduzione al sistema visivo (separazione canali luminanza/crominanza, filtro di Bayer, interlacciamento).
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* GV-FC - Fundamental Concepts
Sistemi di acquisizione digitale.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* GV-FC - Fundamental Concepts
Spazi colore. Immagini truecolor e indicizzate; quantizzazione.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* GV-FC - Fundamental Concepts
Istogramma dei livelli di grigio; stretching; equalizzazione; sogliatura. Convoluzione (media, Gauss, Laplace, Sobel, Prewitt) e filtro mediano. Riduzione del rumore e aumento del contrasto.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* GV-FC - Fundamental Concepts
Morfologia matematica a scala di grigio (erosione, dilatazione, apertura, chiusura). Esaltazione dei contorni e del contrasto.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* GV-V - Visualization
Compressione di immagini digitali; misure di errore. Trasformate discreta coseno e wavelet bidimensionali (Haar e filter bank). Formati grafici e riduzione del rumore. Formati grafici (BMP, GIF, JPG, IFF).

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Insiemi e Numeri Reali.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Relazioni e Funzioni.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Limiti
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Successioni Numeriche.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Calcolo Differenziale per Funzioni di Una Variabile Reale.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrali Indefiniti.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrazione secondo Riemann
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Serie Numeriche.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni di Piu' Variabili Reali.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Serie di Funzioni e Sviluppi in Serie
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrazione di Funzioni di Piu' Variabili Equazioni Differenziali Ordinarie.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Calcolo Differenziale di Funzioni di Piu' Varabili Reali

Sillabo dell'insegnamento

• E - Architetture
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
RETI LOGICHE Concetti di base della sintesi combinatoria e sequenziale. Algebra booleana: funzioni, forme minime, forme normali. Progettazione di reti e moduli combinatori: tecniche di minimizzazione, codificatori-decodificatori, multiplexer-demultiplexer. Unità aritmetico-logica (ALU).
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
SINTESI DI RETI SEQUENZIALI Reti sequenziali asincrone. Reti sequenziali sincrone. Sintesi di reti sequenziali attraverso automi a stati finiti.
* CCS - Circuiti combinatori e sequenziali
+ AR-MSOA - Memory System Organization and Architecture
PROGETTAZIONE DI SISTEMI Parte operativa e parte controllo; interconnessione tra componenti. Macchina di Von-Neumann. Microsequenze di FETCH ed EXECUTE. Introduzione alla microprogrammazione e sua implementazione.
GM - Gestione della Memoria
+ AR-MSOA - Memory System Organization and Architecture
Progettazione di sistemi a microprocessore: progettazione della parte operativa, interfacciamento con la memoria, progettazione della unità di controllo.
* ASS - Linguaggio Assembler
+ AR-ALMO - Assembly Level Machine Organization
ASSEMBLER Assemblatori, collegatori e cenni alle relazioni con la compilazione. Il linguaggio Assembly. Il processore 80386: gestione della memoria, tipi di dato, istruzioni. Programmazione in Assembly.
* AC - Aritmetica dei calcolatori
+ AR-MLRD - Machine Level Representation of Data
Rappresentazione delle informazioni. Aritmetica binaria. Organizzazione, struttura e livelli di progettazione degli elaboratori elettronici.

Sillabo dell'insegnamento

• G - Basi di dati
* ML - Modelli logici
+ IM-DMo - Data Modeling
I modelli di dati. Schema fisico Schema logico e Schema esterno. L'indipendenza dei dati. I linguaggi per basi di dati. DDL e DML. Il modello relazionale. Il concetto di relazione. Informazioni incomplete. La gestione dei valori nulli. I vincoli di integrità. Chiavi e superchiavi. Vincoli di integrità referenziali.
* PC - Progettazione concettuale
+ IM-IMC - Information Management Concepts
La Progettazione Concettuale. Il modello Entity-Relationship. I Costrutti del modello Entity-Relationship. Entità. Associazione. Attributo. Cardinalità: associazioni uno a uno, uno a molti, molti a molti. Identificatore interno ed esterno. Generalizzazione, ereditarietà. Generalizzazione totale o parziale. Generalizzazione esclusiva o sovrapposta. Esercizi. Documentazione associata agli schemi concettuali
* PC - Progettazione concettuale
+ IM-DS - Database Systems
La progettazione Concettuale. Analisi dei requisiti. Costruzione del modello concettuale. Scelta tra Entità e Associazione. Riconoscere le generalizzazioni. Pattern di progetto. Strategie di Progetto. Bottom-Up, Top-Down e Inside-Out. Metodologie per la creazione del modello concettuale.
* PL - Progettazione Logica
+ IM-RDQL - Relational Databases and Query Languages
Ristrutturazione del modello concettuale. Valutazione delle prestazioni. Analisi delle ridondanze, eliminazione delle generalizzazioni, Partizionamento/accorpamento di concetti, Scelta degli identificatori principali Traduzione nel modello logico. Associazioni molti a molti, associazioni uno a molti, associazioni uno a uno. Traduzione di schemi complessi.
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Linguaggi di interrogazione di basi di dati. L'Algebra Relazionale. Gli operatori dell'algebra Relazionale. Gli operatori insiemistici. Ridenominazione.Proiezione e Selezione. Il Join. Join Naturale, Theta Join, Equi Join, Self Join, Join esterno. Esercizi. Equivalenza fra espressioni algebriche. Viste in algebra relazionale. Il linguaggio di interrogazione SQL. Il Data Definition Language. Creazione di tabelle. attributi, domini e valori di default. Vincoli di integrità. Primary Key, Unique, not null. Vincoli di Integrità referenziale. Foreign key.Reazioni alla violazione. Il vincolo Check.
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Cancellazione di tabelle e modifica di tabelle. Indici. Data Manipulation Language. Interrogazioni semplici in SQL. Proiezione, selezione e ridenominazione in SQL. Espressione delle condizioni mediante la clausola where. Ordinamenti, Funzioni di gruppo e raggruppamenti in SQL. Il Join in SQL. Le due sintassi. Self Join. Gli operatori Booleani: Unione, Intersezione e Differenza. Subquery. Funzioni di gruppo e raggruppamenti.
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Inserimento di tabelle e dati una base di dati e interrogazioni del database in un DBMS commerciale (Oracle o Mysql)
LP - Linguaggi di Programmazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Normalizzazione di Basi di Dati (NBD) La Normalizzazione. Anomalie. Il concetto di Dipendenza Funzionale. Anomalie derivanti dalla presenza di dipendenza funzionali. La Forma Normale di Boyce e Codd. Decomposizone senza perdita. Conservazione delle dipendenze. Terza forma Normale. Decomposizione in terza forma normale. La teoria delle dipendenze. Chiusura funzionale di un insieme di attributi.
LP - Linguaggi di Programmazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Algoritmo per il calcolo della chiusura funzionale. Insiemi di dipendenze funzionali equivalenti. Insiemi di dipendenze funzionali non ridondanti e ridotti. Trasformazione di un sistema di dipendenze funzionali in uno non ridondante e ridotto. Algoritmo per la decomposizione in terza forma normale.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Introduzione generale. Cenni storici. Problema di de Merè. Proposizioni logiche, eventi, indicatori. Relazioni e operazioni logiche. Formule di De Morgan. Richiami di calcolo combinatorio. Binomio di Newton. Insieme delle parti. Partizione finita dell'evento certo. Definizione classica di probabilità. Proprietà fondamentali della probabilità. Problema delle concordanze. Impostazione assiomatica del calcolo delle probabilità. Sigma addititivà e additività finita. Cenni sull'impostazione frequentista. Sul significato soggettivo della probabilità. Condizione di coerenza e criterio della scommessa. Costituenti generati da una famiglia di n eventi. Decomposizione di un evento nell'unione dei costituenti ad esso favorevoli. Dipendenza e indipendenza logica. Gli assiomi del calcolo delle probabilità come condizioni necessarie di coerenza. Verifica della coerenza di una valutazione probabilistica. Probabilità e quote di scommessa.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Definizione di evento condizionato e di probabilità condizionata. Proprietà della probabilità condizionata. Teorema delle probabilità composte. Formula di disintegrazione. Formula di Bayes ed applicazioni. Problema dei tre prigionieri. Famiglia di eventi stocasticamente indipendenti. Numeri aleatori semplici. Distribuzione Binomiale. Estrazioni con restituzione da un'urna di composizione nota. Distribuzione Ipergeometrica. Estrazioni senza restituzione da un'urna di composizione nota. Comportamento asintotico della distribuzione ipergeometrica. Estrazioni con restituzione da un'urna di composizione incognita. Estrazioni senza restituzione da un'urna di composizione incognita. Indipendenza condizionata. Mistura di distribuzioni Binomiali. Mistura di distribuzioni Ipergeometriche. Cenni sulla scambiabilità. Previsione e varianza di un numero aleatorio semplice.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Numeri aleatori discreti. Previsione e varianza di un numero aleatorio discreto. Funzione di ripartizione nel discreto. Distribuzione di Poisson. Approssimazione della distribuzione Binomiale. Distribuzione Geometrica. Proprietà di assenza di memoria della distribuzione Geometrica. Distribuzione di Pascal. Disuguaglianze di Markov e di Cebicev.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Probabilità su famiglie infinite di eventi incompatibili. Distribuzioni assolutamente continue. Densità di probabilità, funzione di ripartizione, previsione e varianza nel continuo. Disuguaglianza di Jensen e funzioni convesse. Distribuzioni di probabilità notevoli: Uniforme, Esponenziale, Normale, Gamma, Chi-quadro, Laplace ecc.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Vettori aleatori discreti e continui. Funzione di ripartizione multidimensionale, distribuzione congiunta, distribuzioni marginali e distribuzioni marginali condizionate. Indipendenza stocastica tra numeri aleatori. Covarianza. Coefficiente di correlazione lineare. Cenni sul valore atteso condizionato. Matrice delle varianze e covarianze. Cenni sulla retta di regressione. Distribuzione normale multidimensionale. Trasformazioni (lineari e non) di numeri aleatori. Metodo della funzione di ripartizione. Teoria dell'affidabilità. Funzione di sopravvivenza. Funzione di rischio. Proprietà di assenza di memoria della distribuzione Esponenziale. Distribuzione di Rayleigh. Distribuzione di Weibull
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Funzione caratteristica e proprietà. Somma di numeri aleatori indipendenti. Operatore di convoluzione. Funzione caratteristica di alcune distribuzioni di probabilità. Funzioni generatrici. Distribuzione Chi-quadro con n gradi di libertà. Vari tipi di convergenza. Teorema centrale del limite. Approssimazione normale della distribuzione Binomiale. Legge dei grandi numeri.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Il calcolatore e la generazione degli errori. Condizionamento di un problema. Stabilità numerica di un algoritmo. Analisi del condizionamento di un problema e della stabilità di un algoritmo. Complessità computazionale.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Sistemi di equazioni lineari. Introduzione ai metodi diretti. Metodo di eliminazione di Gauss. Fattorizzazione LU. Costo computazionale del Metodo di eliminazione di Gauss. Varianti al Metodo di eliminazione di Gauss: pivoting parziale e pivoting totale. Variante di Gauss-Jordan. Fattorizzazione LL': Metodo di Cholesky. Costo computazionale del Metodo di Cholesky. Introduzione ai metodi iterativi. Convergenza di un metodo iterativo. Metodo di Jacobi. Metodo di Gauss-Seidel. Condizioni di convergenza per il metodo di Jacobi e il metodo di Gauss-Seidel. Criteri di arresto. Costo computazionale.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Il problema dell'interpolazione. Interpolazione polinomiale. Formula d'interpolazione di Lagrange. Costo computazionale della formula interpolante di Lagrange. Resto nell'interpolazione polinomiale. Maggiorazione del resto. Polinomi osculatori. Polinomio interpolante di Newton alle Differenze Divise. Polinomio di Newton-Gregory alle Differenze Finite in avanti. Polinomio di Newton-Gregory alle Differenze Finite all'indietro. Stabilità dei polinomi interpolanti.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Introduzione al problema dell'approssimazione. Problema dell'approssimazione lineare. Approssimazione ai Minimi Quadrati nel discreto. Approssimazione ai Minimi Quadrati nel continuo. Sistema delle equazioni normali. Polinomi ortogonali. Famiglie di polinomi ortogonali classici.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Equazioni e sistemi non lineari. Metodo di bisezione. Metodo delle corde. Metodo delle secanti. Metodo regula falsi. Metodo delle tangenti. Ordine di convergenza e criteri di arresto. Metodo di Newton e sue varianti.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Formule di quadratura interpolatorie. Formule di Newton-Cotes. Formule Gaussiane.

Sillabo dell'insegnamento

• D - Linguaggi
* LF - Linguaggi Formali
* PL-SyA - Syntax Analysis
Analisi Lessicale: Operazioni preliminari. Token e Lessemi. Errori lessicali. Token e espressioni regolari. Definizioni regolari. Eliminazioni di ambiguità. Automi a stati finiti. Implementazioni di DFA. Simulazioni di NFA.
* LF - Linguaggi Formali
* PL-SyA - Syntax Analysis
Analisi sintattica: Grammatiche context-free. Alberi di derivazione. Grammatiche ambigue. Automi a pila deterministici e non deterministici. Complessità di calcolo di un automa a pila. Algoritmo di Earley. Errori sintattici e metodi di gestione degli errori. Parser a discesa ricorsiva. Parser LL(1). Elinimazione della ricorsione sinistra. Fattorizzazione sinistra. Insiemi First e Follow. Parser shift-reduce. Parser LR(0). Parser SLR. Parser LR(1). Parser LALR(1). Proprietà dei linguaggi e delle grammatiche LR(k). Confronto tra le grammatiche LL(k) e LR(k).
* LF - Linguaggi Formali
PL-CSA - Compiler Semantic Analysis
Analisi semantica: Semantica statica e dinamica. Grammatiche con attributi. Semantica guidata dalla sintassi. Albero sintattico decorato. Calcolo degli attributi. Grafo delle dipendenze. Grammatiche con S‐attributi. Grammatiche con L-attributi. Ordinamento topologico del grafo delle dipendenze. Tabella dei simboli. Vari tipi di implementazioni tramite array, liste concatenate e ABR. Implementazione tramite hash table with chaining. Attributi di visibilità e metodi di realizzazione. Type checking. Equivalenza d tipi. Type coercion.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Differenza tra compilazione e interpretazione di un programma. Macchina Virtuale Preprocessore. Linker e Loader. Fasi della compilazione. Front End e Back End. Passate di un compilatore. Generazione automatica di scanner. Flex. Generazione automatica di parser. Bison.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
PL-CG - Code Generation
Generazione del codice: Codice intermedio. Codice a tre indirizzi. Strutture dati per l'implementazione del 3AC. Codice per macchina virtuale. Ottimizzazione del codice. Esempi di ottimizzazioni indipendenti dalla macchina. Generatori di codice oggetto. Esempi di ottimizzazioni dipendenti dalla macchina.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-LTE - Language Translation and Execution
Compilatori e Linguaggi. Linguaggi Macchina, Linguaggi Assembly ed evoluzione dei linguaggi di programmazione.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
MAT/03 - Geometria
Spazio affine. Allineamento e complanarità tra punti.
MAT/03 - Geometria
MAT/03 - Geometria
Spazio euclideo. Nozioni angolari e modulo di un vettore. Prodotto scalare. Misura di distanze e angoli. Distanza di due punti. Sfera. Coseni direttori di una retta. Significato geometrico dei parametri di giacitura di un piano. Angolo di due rette. Distanza di un punto da un piano. Minima distanza di due rette sghembe. Retta di minima distanza di due rette sghembe. Coni. Cilindri. Superficie di rotazione.
MAT/02 - Algebra
MAT/02 - Algebra
Teoria degli insiemi. Gruppi, campi, spazi vettoriali.
MAT/03 - Geometria
MAT/03 - Geometria
Matrici. Matrice quadrata,trasposta,simmetrica, antisimmetrica, diagonale. Moltiplicazione tra matrici. Spazio delle matrici. Applicazioni lineari e matrici. Matrice di un'applicazione lineare composta. Matrici del cambiamento di base. Matrici invertibili.
MAT/03 - Geometria
MAT/03 - Geometria
Autovettori. Autovalori. Autospazi. Polinomio caratteristico. Diagonalizzazione. Forma canonica di Jordan.
MAT/03 - Geometria
MAT/03 - Geometria
GEOMETRIA CARTESIANA: Riferimento sulla retta e segmenti orientati. Coordinate cartesiane. Vettori geometrici. Vettori paralleli e complanari. Coordinate dei vettori.

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Automi a Stati Finiti Motivazioni, applicazioni e descrizione informale. I concetti centrali della teoria degli automi. Definizione di automa a stati finiti deterministico (DFA). Automi riconoscitori. Rappresentazione di un DFA con grafo degli stati e tabella delle transizioni. Automi a stati fini non deterministici (NFA). Teorema di equivalenza tra DFA e NFA. La ?subset construction?. Discussione sulla ?state complexity? di DFA e NFA. Applicazioni alle ricerche testuali. Automi con ε-transizioni. Eliminazione delle ε-transizioni.
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Espressioni regolari. Linguaggi regolari. Applicazioni di espressioni regolari. Equivalenza tra linguaggi regolari e linguaggi riconosciuti da DFA (Teorema di Kleene). Algoritmo di eliminazione degli stati per convertire un automa in un'espressione regolare. Algoritmo di Berry e Sethi per convertire un'espressione in un automa.
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Chiusura dei linguaggi regolari rispetto alle operazioni booleane e reverse. Il ?pumping lemma? per i linguaggi regolari. Applicazioni del pumping lemma. Problema di decisione se un linguaggio regolare è vuoto. Problema di inclusione dei linguaggi regolari.
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Equivalenza tra automi. Problema di decisione dell'equivalenza di due DFA. Minimizzazione di automi deterministici tramite gli algoritmi classici di minimizzazione. La relazione di indistinguibilità degli stati. Automa ridotto.
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Equivalenza tra automa ridotto e automa minimale. Teorema di Myhil-Nerode. Unicità dell'automa deterministico minimale.
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Grammatiche e Linguaggi Liberi dal Contesto (CF) Motivazioni e descrizione informale. Definizione di grammatica. Derivazioni delle grammatiche. Linguaggio generato da una grammatica. La gerarchia di Chomsky. Le grammatiche e i linguaggi CF.
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Alberi sintattici. Ambiguità nelle grammatiche e nei linguaggi CF: grammatiche ambigue, eliminazione delle ambiguità, ambiguità inerente. Alcune applicazioni delle grammatiche libere dal contesto. Forme normali. Forma normale di Chomsky. Pumping lemma per i linguaggi CF.
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Applicazioni del pumping lemma. Proprietà di chiusura dei linguaggi CF. Problemi di decisione per i linguaggi CF
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Breve introduzione alla teoria della calcolabilità. La macchina di Turing. Funzioni calcolate da una macchina di Turing. Linguaggi riconosciuti da una macchina di Turing. La tesi di Turing-Church. La macchina universale di Turing. Esistenza di funzioni non calcolabili. Il problema della "fermata" di una macchina di Turing. Problemi decidibili e indecidibili. Problemi intrattabili. Modelli particolari di macchine di Turing. Gerarchia di Chomsky e decidibilità.

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
* SE-SPM - Software Project Management
Le fasi principali dello sviluppo: raccolta requisiti, analisi dei requisiti, progetto di sistema, progetto esecutivo o degli oggetti, implementazione, gestione del progetto, testing, ciclo di vita del software. Utilizzo di CASE tool per la modellazione UML. Project Management. Elementi fondamentali di project management Caratteristiche fondamentali del progetto Attività (ordinarie, di riepilogo, cardine). Struttura delle attività. Relazioni tra attività. Le risorse (il calendario, i costi). I costi fissi del progetto. Le relazioni di progetto. Il progetto iniziale. Il progetto con previsioni. Il progetto con variazioni.
* LMS - Linguaggi di Modellazione del Software
+ SE-TE - Tools and Environments
Introduzione all'UML, diagrammi dei casi d'uso, diagrammi delle classi, diagrammi di sequenza e collaborazione. Diagrammi di stato diagrammi di attività, diagrammi di dislocazione, organizzazione dei diagrammi, estensione dei diagrammi, concetti di sistema, modello e vista. Modellazione object-oriented. Object Constraint Language.
* AR - Analisi dei Requisiti
+ SE-SPRE - Software Processes and Requirement Engineering
Introduzione alla raccolta dei requisiti. Concetti fondamentali: requisiti funzionali, requisiti non funzionali e pseudo-requisiti, livelli di descrizione. Principali attributi delle specifiche (correttezza, completezza, ?). Classificazione delle attività di raccolta del requisiti. Analisi dei requisiti: Identificazione degli attori, degli scenari, dei casi d'uso, dei casi d'uso, delle relazioni tra attori e casi d'uso. Identificazione degli oggetti d'analisi, identificazione dei requisiti non funzionali. Modelli di analisi: funzionale, degli oggetti, dinamico. Concetti di analisi: oggetti di tipo entità, di confine e di controllo. Passaggio dai casi d'uso agli oggetti, identificazione degli oggetti entità, di confine, di controllo, modellazione delle interazioni, identificazione delle associazioni e degli attributi, modellazione del comportamento degli oggetti.
* ASW - Architetture Software
+ SE-SDC - Software Design and Construction
Introduzione, concetti della progettazione del modello ad oggetti. Attività della progettazione del modello oggetti; oggetti d'analisi e oggetti della soluzione; Tipi, signature, visibilità. Contratti: invarianti, pre-condizioni, post-condizioni; Object Constraint Language. Attività della progettazione del modello ad oggetti: identificazione degli attributi e delle operazioni mancanti; specifica di tipi, signature e visibilità; specifica dei vincoli (constraint); specifica delle eccezioni; identificazione e adattamento delle librerie di classi; realizzazione delle associazioni (uno a uno unidirezionale e bidirezionale, una molti, molti e molti, associazioni come oggetti separati, associazioni qualificate). Incrementare il riuso. Documentazione del progetto del modello ad oggetti.
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Progettazione del modello ad oggetti. Introduzione, concetti della progettazione del modello ad oggetti. Attività della progettazione del modello oggetti; oggetti d'analisi e oggetti della soluzione. Tipi, signature, visibilità. Contratti: invarianti, pre-condizioni, post-condizioni. Identificazione degli attributi e delle operazioni mancanti; specifica di tipi, signature e visibilità. Specifica dei vincoli (constraint), delle eccezioni; identificazione e adattamento delle librerie di classi; realizzazione delle associazioni. Incrementare il riuso.
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Testing. Introduzione al testing; tecniche di controllo della qualità; tecniche per evitare guasti; tecniche per la scoperta dei guasti tecniche per tollerare i guasti. Concetti di test: componente, guasto, errore, malfunzionamento,test case, test stub/driver, correzione. Attività di testing: ispezione dei componenti; unit testing; test di integrazione; test di sistema. - test di integrazione: strategie del test di integrazione (big bang, bottom-up, top-down, sandwich, modified sandwich). - test di sistema: test funzionale, test di performance, test pilota (alpha test, beta test), test di accettazione e test di installazione. Pianificazione del test; documentazione del test.

Sillabo dell'insegnamento

• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Algoritmi e loro implementazione in Java: fase progettuale, fase realizzativa, ingredienti per l'implementazione in Java.re, algoritmo di Dijkstra, algoritmo di Floyd e Warshall.
* ASC - Algoritmi su Strutture Combinatorie
+ AL-AS - Algorithmic Strategies
Cammini minimi: cammini minimi e distanze in un grafo, la tecnica del rilassamento, algoritmo di Bellman, Ford e Moore, algoritmo di Dijkstra, algoritmo di Floyd e Warshall.
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Tabelle Hash: tabelle ad accesso diretto, tabelle hash, liste di collisione, indirizzamento aperto
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Grafi e visite di grafi: definizioni preliminari su grafi, tipo di dato grafo, strutture dati per rappresentare grafi, visite di grafi, visita in ampiezza, visita in profondità.
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Alberi di ricerca: alberi binari di ricerca, alberi AVL, alberi 2-3, b-alberi, alberi 2-3-4 e alberi rosso neri.
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Minimo albero ricoprente: proprietà dei minimi alberi ricoprenti, algoritmo di Kruskal, algoritmo di Prim.

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Paradigma di programmazione orientato agli oggetti: classi, attributi e metodi, incapsulamento.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Caratteristiche di base del linguaggio Java: struttura delle classi, strutture di controllo del flusso, stringhe, array e arraylist.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Caratteristiche OOP di Java: ereditarietà e polimorfismo, overloading e overriding di metodi.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Static type checking e dynamic late binding.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Caratteristiche avanzate di Java: classi astratte e interfacce, gestione dell'input output, gestione delle eccezioni.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Strutture dati in Java (liste, pile, code, alberi, visite).
* POO - Programmazione Orientata agli Oggetti
* PL-EDRP - Event-Driven and Reactive Programming
Interfacce grafiche con Swing.
PP - Paradigmi di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Concetti base sui linguaggi di programmazione: linguaggi interpretati e compilati.
* POO - Programmazione Orientata agli Oggetti
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Macchine astratte, regole di visibilità, gestione della memoria, paradigmi di programmazione.

Sillabo dell'insegnamento

• A - Fondamenti
V - Varie
+ DS-SRF - Sets, Relations, and Functions
Teoria degli insiemi. Terminologia fondamentale. Definizione di insiemi in modo esplicito e in modo implicito. Inclusioni. Operatori insiemistici. Diagrammi di Eulero-Venn. Prodotto Cartesiano. Relazioni fra insiemi. Relazione di equivalenza e relazione d'ordine. Classi di equivalenza. Congruenze aritmetiche. Insiemi con operazioni (Monoidi, Semigruppi e Gruppi). Proprietà delle classi resto modulo m. Funzioni. Concetto di funzione iniettiva e suriettiva. Cardinalità di un insieme. Composizione di funzioni, funzione inversa
L - Logica
+ DS-PT - Proof Techniques
Elementi di Logica Matematica. Proposizioni e predicati. Operatori Logici. Metodi di dimostrazione (diretta, per assurdo, per contrapposizione). Equivalenze logiche. Operatori esistenziali e universali
• B - Algoritmi
* A - Algoritmi fondamentali
+ DS-BC - Basics of Counting
Divisori e Multipli. L'algoritmo della divisione. Massimo Comun divisore. L'algoritmo di Euclide per il Massimo Comun Divisore. Numeri primi. Fattorizzazione in numeri primi. Il teorema della fattorizzazione unica.
• C - Programmazione
* PSA - Problem Solving e Algoritmi
+ DS-BC - Basics of Counting
Calcolo combinatorio: Il principio delle scelte multiple. Applicazioni: numero di funzioni fra insiemi finiti. Numero di funzioni iniettive fra insiemi finiti. Numero di funzioni biiettive tra insiemi finiti. Esercizi. Disposizioni semplici e con ripetizione. Permutazioni. Combinazioni semplici e con ripetizione. Significato insiemistico.
* R - Ricorsione
+ DS-BC - Basics of Counting
Aritmetica degli interi. Assioma del minimo. Principio di induzione (prima e seconda forma). Applicazioni: Cardinalità dell'insieme delle parti. Formula di Gauss. Progressione geometrica. Successioni. Successione di Fibonacci. Il problema delle Torri di Hanoi.
* PSA - Problem Solving e Algoritmi
+ DS-BC - Basics of Counting
Proprietà del coefficiente binomiale. Partizioni e Il principio dei cassetti. Il principio di inclusione-esclusione. Uso positivo e uso negativo del principio di inclusione-esclusione. Applicazioni. Il principio del contare per righe e per colonne.

Sillabo dell'insegnamento

• C - Programmazione
* PSA - Problem Solving e Algoritmi
+ AL-AS - Algorithmic Strategies
Risoluzione dei problemi tramite un calcolatore. La nozione di Algoritmo. Esempi di algoritmi. Cenni sulla complessità di un algoritmo.
PP - Paradigmi di Programmazione
+ AL-BA - Basic Analysis
Il linguaggio C. Struttura di un programma in C.
* CB - Costrutti di Base
+ AL-BA - Basic Analysis
I costrutti di sequenza, selezione e iterazione in C.Il costrutto di selezione If..else. Il costrutto di selezione switch..case.: Il costrutto di iterazione for. Il costrutto di iterazione while, il costrutto while..do. Equivalenza dei costrutti di iterazione.
* CB - Costrutti di Base
+ PL-BTS - Basic Type Systems
Le costanti e le variabili. Dichiarazione e assegnazione. Il tipo Int. La rappresentazione degli interi e degli interi relativi in binario. Il tipo char. Rappresentazione dei caratteri. Il codice ASCII e altri codici di caratteri. I tipi float e double. Rappresentazione dei numeri reali in memoria.
* CB - Costrutti di Base
+ AL-BA - Basic Analysis
Gli operatori in C. Ordine di priorità degli operatori.Operatori di incremento e decremento di una variabile intera.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Il tipo strutturato array. Array a una dimensione. Applicazioni. Codici per l'inserimento e la visualizzazione degli array. Array a più dimensioni. Matrici. Inserimento e visualizzazione di una matrice.Utilizzo della libreria <string.h>. I file
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Puntatori e liste. Manipolazione delle liste, procedure di inserzione e cancellazione di elementi di lista. Struttura dati Pila e Struttura Dati Coda. I file.
* P - Procedure
AR-FO - Functional Organization
Procedure e Funzioni. Strutturazione di un programma mediante procedure e funzioni. Passaggio dei parametri per valore e per indirizzo.
* R - Ricorsione
+ AL-AS - Algorithmic Strategies
Algoritmi ricorsivi. La ricorsione. Esempi di algoritmi e programmi ricorsivi.
* PSA - Problem Solving e Algoritmi
+ AL-AS - Algorithmic Strategies
La ricerca binaria.
* PSA - Problem Solving e Algoritmi
+ AL-AS - Algorithmic Strategies
Algoritmo di ordinamento bubble-sort.
* PSA - Problem Solving e Algoritmi
+ AL-AS - Algorithmic Strategies
Algoritmo di ordinamento Quick-Sort.

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Concetti base sulla comunicazione, Introduzione alle Reti di Calcolatori ed Internet.
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Caratteristiche principali e programmazione delle socket, Programmazione Client/server TCP e UDP. Word Wide Web e http. FTP, Posta Elettronica, DNS. Traceroute, ping, simulazione di Ftp ed SMTP con telnet. Introduzione al PHP
* FCD - Fondamenti del Calcolo Distribuito
+ NC-NA - Networked Applications
La programmazione concorrente in C in ambiente Linux. Laboratori. Programmazione in C con le socket TCP e UDP. Programmazione in C dei protocolli a livello applicazione http, Ftp e SMTP. Programmazione in C dei protocolli a livello inferiore.
* PT - Protocolli
+ NC-RDD - Reliable Data Delivery
Il Livello di Trasporto UDP TCP. Gestione della connessione. Trasferimento dati affidabile. Controllo della congestione.
* PT - Protocolli
+ NC-RF - Routing And Forwarding
Il livello di Rete Protocollo IP, NAT, Protocollo ICMP. I protocolli di routing in Internet. Il livello di collegamento tipi di collegamenti e protocolli relativi. Indirizzamento LAN e ARP.
* PT - Protocolli
+ NC-LAN - Local Area Networks
Reti LAN e loro interconnessione.
GRC - Gestione di Reti di Calcolatori
+ NC-NA - Networked Applications
Uso degli analizzatori di protocollo.
* ARTC - Architettura delle Reti di Calcolatori
NC-RA - Resource Allocation
Cenni reti wireless
DR - Dispositivi di Rete
+ NC-I - Introduction: Computer Network Architecture
La rete di accesso e Mezzi fisici. Ritardi e perdite nella commutazione di pacchetto. I modelli di riferimento OSI e TCP/IP.

Sillabo dell'insegnamento

• F - Sistemi operativi
MA - Modelli e Architetture di sistemi operativi
+ OS-O - Overview of Operating Systems and Principles
Introduzione ai sistemi di elaborazione. Introduzione ai sistemi operativi: che cosa è un S.O., cenni storici sui sistemi operativi.
MA - Modelli e Architetture di sistemi operativi
+ OS-O - Overview of Operating Systems and Principles
Classificazione dei sistemi operativi, concetti base sui sistemi operativi, chiamate di sistema.
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-C - Concurrency
Processi e thread: Introduzione ai processi, Thread, comunicazione tra processi, problemi di comunicazione tra processi. Somministrazione di esperienze di laboratorio sulla definizione di processi e thread. Somministrazione di esperienze di laboratorio sulla gestione e l'implementazione di processi e thread.
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-C - Concurrency
Deadlock: introduzione ai Deadlock, identificare e risolvere dei deadlock, Evitare i deadlock, prevenzione da Deadlock.
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Schedulazione tra processi.
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Gestione della Memoria: sistemi di base per gestire della memoria, swapping, memoria Virtuale, algoritmi di riposizionamento delle pagine, segmentazione.
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Somministrazione di esperienze di laboratorio sulle chiamate di sistema per la gestione della memoria. Somministrazione di esperienze di laboratorio sull'implementazione della gestione di memoria.
GP - Gestione delle Periferiche
OS-DM - Device Management
Input/output: principi dell'hardware e del software, i livelli software dell'I/O, i Dischi, i Clock.
* FS - File System
* OS-FS - File Systems
I File System: i file, le directory, implementazione del File System.

Sillabo dell'insegnamento

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