Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
Sottovarieta' affini
MAT/03 - Geometria
Forme quadratiche. Approssimazioni
MAT/02 - Algebra
Diagonalizzazione di Matrici
MAT/02 - Algebra
Spazi vettoriali, sottospazi, basi.
MAT/03 - Geometria
Prodotti scalari, ortogonalita` e procedimento di Gram-Schmidt. Trasformazioni lineari, Nucleo e immagine
MAT/02 - Algebra
Numeri naturali, interi, razionali, reali, complessi. Relazioni di equivalenza. Cardinalita`: insiemi finiti e infiniti, insiemi numerabili e non numerabili.
MAT/02 - Algebra
Massimo comun divisore e algoritmo di Euclide; anelli di classi resto. Induzione; definizioni e conti per induzione.
MAT/02 - Algebra
Richiami sui polinomi: divisione, zeri, fattorizzazione in irriducibili (sui reali e sui complessi).
MAT/03 - Geometria
Vettori nel piano e nello spazio ordinario; rappresentazione cartesiana di rette e piani.
MAT/02 - Algebra
Equazioni lineari e matrici: matrici, operazioni sulle matrici, sistemi di equazioni lineari, metodo di eliminazione di Gauss, sistemi omogenei, matrice inversa, operazioni elementari.

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
Algoritmi di ordinamento e ricerca
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Complessita' massima e media. Limiti inferiori. Nozione di complessita' di un algoritmo
* SDF - Strutture di Dati Fondamentali
Tavole Hash
* SDF - Strutture di Dati Fondamentali
Alberi di ricerca e alberi rosso-neri
* SDF - Strutture di Dati Fondamentali
Strutture dati per insiemi disgiunti
* SDF - Strutture di Dati Fondamentali
Strutture dati per insiemi dinamici
* A - Algoritmi fondamentali
Algoritmi golosi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Complessita' ammortizzata

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Limiti delle funzioni di una variabile - Successioni - Derivazione
MAT/05 - Analisi Matematica
Teoremi fondamentali del calcolo differenziale
MAT/05 - Analisi Matematica
Studio del grafico di una funzione
MAT/05 - Analisi Matematica
Integrale definito - Integrali indefiniti
MAT/05 - Analisi Matematica
Metodi di integrazione. Integrali impropri.
MAT/05 - Analisi Matematica
Equazioni differenziali, equazioni differenziali del primo ordine.
MAT/05 - Analisi Matematica
Equazioni differenziali lineari del secondo ordine.
MAT/05 - Analisi Matematica
Integrali curvilinei, forme differenziali esatte.
MAT/05 - Analisi Matematica
Serie numeriche, serie di funzioni, serie di potenze.
MAT/05 - Analisi Matematica
Funzioni di piu' variabili, integrali multipli,

Sillabo dell'insegnamento

• E - Architetture
* ASS - Linguaggio Assembler
Linguaggio assembler. Simulatore CPUSim.
* CCS - Circuiti combinatori e sequenziali
Algebra di Boole. Porte logiche. Circuiti Combinatori. Circuiti sequenziali.
* LII - Livello Instruction Set
Caratteristiche istruzioni macchina. Tipi degli operandi, dati, operazioni. Indirizzamento. Formato istruzioni,
VMP - Valutazione e Miglioramento delle Prestazioni
Pipeline: principi generali, prestazioni ideali, dipendenze, tecniche per la riduzione delle dipendenze, MIPS.
GM - Gestione della Memoria
Memorie e Gerarchie di Memorie. Cache: tecniche di associazione, politiche di rimpiazzo
GIO - Gestione dell'Input/Output
Input/Output: dispositivi esterni, modulo I/O, gestione da programma, gestione tramite interruzioni, DMA
* LII - Livello Instruction Set
Architetture CISC e RISC
* AC - Aritmetica dei calcolatori
Livello Macchina, Rappresentazione Binaria, Aritmetica

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Grammatiche e linguaggi liberi dal contesto.
* ALF - Automi e Linguaggi Formali
Automi a stati finiti, espressioni e linguaggi regolari.
* ALF - Automi e Linguaggi Formali
Automi a pila, macchine di Turing.
* CAL - Calcolabilita'
Concetto di indecidibilita', problemi intrattabili.
COM - Complessita'
Classi P e NP, relazione con i compilatori
• D - Linguaggi
TAV - Tecniche di Analisi e Verifica
Analisi sintattica: parser top-down (LL) e bottom-up (LR)
TAV - Tecniche di Analisi e Verifica
Analisi sintattica: parser top-down (LL) e bottom-up (LR)
TAV - Tecniche di Analisi e Verifica
Analisi lessicale

Sillabo dell'insegnamento

• G - Basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
Il linguaggio SQL.
* PL - Progettazione Logica
Progettazione logica di basi di dati nel modello relazionale
* PC - Progettazione concettuale
Progettazione concettuale di basi di dati mediante modello EER
* DBMS - Sistemi di Gestione di Basi di Dati
Introduzione alle basi di dati e ai sistemi di gestione di basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
Il sistema MySQL
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Strutture per la memorizzazione.
* ML - Modelli logici
Modello relazionale, algebra relazionale, calcolo relazionale dei domini.
NBD - Normalizzazione di Basi di Dati
Dipendenze funzionali. Scomposizione di relazioni, con preservazione di dati e/o dipendenze.
NBD - Normalizzazione di Basi di Dati
Forme normali per gli schemi di relazione (1NF, 2NF, 3NF e BCNF) e scomposizioni in forma normale.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Gestione delle Interrogazioni.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Rappresentazione dell'informazione numerica, calcolo con numeri approssimati.
MAT/08 - Analisi Numerica
Stabilita` ed efficienza degli algoritmi numerici tramite esempi.
MAT/08 - Analisi Numerica
Elementi di interpolazione e approssimazione di funzioni e dati.
MAT/08 - Analisi Numerica
Laboratorio di Calcolo Numerico
MAT/08 - Analisi Numerica
Condizionamento di un sistema lineare, fattorizzazione LU e inversione di matrici.
MAT/08 - Analisi Numerica
Soluzione numerica di equazioni non lineari. esempi.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• I - Ingegneria del software
* AR - Analisi dei Requisiti
UML: introduzione. Cenni sul Rational Unified Process. Relazione cliente - fornitore. Ingegneria dei requisiti. Diagrammi dei casi d'uso. Diagrammi delle classi e degli oggetti.
MSQ - Misure del Software e Qualita'
Qualità del prodotto software. Qualità del processo: Elementi dello standard ISO 9000,Sintesi di ISO IEC 90003:2004.Miglioramenti di processo.
* PSC - Progettazione del Software e Codifica
Progettazione e realizzazione. Fan-in e fan-out. Definizioni di architettura software.Documentazione di progetto.
* PSS - Processi di Sviluppo del Software
Metodiche standard di sviluppo industriale. Produzione di software critico. Implicazioni del paradigma OOP sul software critico.Software dependability. Stili, scelte e linguaggi di programmazione.
V - Varie
Origine e formazione degli standard di processo. Struttura dello standard ISO 12207 Lo standard ISO/IEC 12207. Il ciclo di vita del software: Il modello a spirale. Gestione di progetto.Gestione delle persone. Amministrazione di progetto.
* TVV - Testing, Verifica e Validazione
Verifica e validazione: introduzione. Fagan Inspection & Walkthrough. Verifica e validazione: analisi statica. Effetti indesiderabili del dynamic binding.

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSC - Progettazione del Software e Codifica
Progettazione e realizzazione in un progetto didattico: tool e documentazione. Software liberi multipiattaforma BoUML, ArgoUML.
* PSC - Progettazione del Software e Codifica
Pacchetto di prova UMLStudio. Rational (ora IBM).
* AR - Analisi dei Requisiti
Analisi e specifica dei requisiti in un progetto didattico: UML v.2.1.
* TVV - Testing, Verifica e Validazione
Testing, Verifica e Validazione in un progetto didattico.
* AR - Analisi dei Requisiti
Analisi e specifica dei requisiti in un progetto didattico: UML v.2.1.
* PSS - Processi di Sviluppo del Software
Spunti per il controllo delle revisioni e della condivisione dei documenti: subversion.tigris.org, CVS-RCS.
* PSS - Processi di Sviluppo del Software
Semplice ambiente per la gestione dei diagrammi di Gantt (GanttProject). Convenzioni JavaDoc: riassunto regole essenziali per la scrittura dei commenti all'interno del codice.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Definizione di termini, formule, interpretazione e teorema di validita', per LJ e per LK.
MAT/01 - Logica Matematica
Definizioni per induzione.
MAT/01 - Logica Matematica
Esempi di uso dell'apparato deduttivo della logica: data-base per l'anagrafe, strutture d'ordine, strutture algebriche.
MAT/01 - Logica Matematica
Il calcolo dei sequenti LJ e LK.
MAT/01 - Logica Matematica
Analisi del linguaggio: segni, simboli, espressioni, proposizioni, asserzioni. Linguaggio e metalinguaggio.
MAT/01 - Logica Matematica
Le regole di inferenza per le costanti logiche tramite il principio di riflessione. Due concezioni di verita': costruttiva e classica; tavole di verita'.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Formule della probabilita' totale e di Bayes, variabili aleatorie discrete e continue.
MAT/06 - Probabilita' e Statistica Matematica
v.a. notevoli, disuguaglianza Chebyshev.
MAT/06 - Probabilita' e Statistica Matematica
Legge dei grandi numeri, teorema del limite centrale e approssimazione normale.
MAT/02 - Algebra
Teoria dei grafi: definizioni di base, isomorfismi tra grafi, grafi planari.
MAT/02 - Algebra
Cicli euleriani e circuiti hamiltoniani. Colorazione degli archi e dei nodi. Alberi e loro Proprieta'.
MAT/02 - Algebra
Enumerazione: permutazioni e combinazioni semplici e con ripetizione. Distribuzioni di oggetti distinti e identici.
MAT/02 - Algebra
Identita' binomiali e triangolo di Pascal Tartaglia. Relazioni di ricorrenza.
MAT/06 - Probabilita' e Statistica Matematica
Spazi di probabilita' discreti. Probabilita' condizionata e indipendenza stocastica.

Sillabo dell'insegnamento

• C - Programmazione
* SDTD - Strutture Dati e Tipi di Dati astratti
Esempi di programmi che operano su array: ricerca, ordinamento,selezione, ecc.
* SCP - Sviluppo e Correttezza dei Programmi
Verifica della correttezza dei programmi degli esempi e accenno alla loro complessita'.
* CB - Costrutti di Base
Le istruzioni elementari del linguaggio di programmazione C++ e la struttura di un semplice programma in C++.
* SDTD - Strutture Dati e Tipi di Dati astratti
Array, record, puntatori
* SDTD - Strutture Dati e Tipi di Dati astratti
tipi di dati predefiniti
* CB - Costrutti di Base
Costrutti base, Input/Output
* SS - Sintassi e Semantica
Elementi di sintassi e semantica
* SDTD - Strutture Dati e Tipi di Dati astratti
Strutture dati ricorsive
* R - Ricorsione
Funzioni ricorsive
* SDTD - Strutture Dati e Tipi di Dati astratti
I contenitori string, map e vector del C++

Sillabo dell'insegnamento

• C - Programmazione
* SCP - Sviluppo e Correttezza dei Programmi
Metodi di sviluppo di software orientati agli oggetti
* POO - Programmazione Orientata agli Oggetti
Librerie grafiche
* POO - Programmazione Orientata agli Oggetti
Librerie STL
* POO - Programmazione Orientata agli Oggetti
Polimorfismo
* POO - Programmazione Orientata agli Oggetti
Ereditarieta'
* SDTD - Strutture Dati e Tipi di Dati astratti
Tipi di dato astratto
* SCP - Sviluppo e Correttezza dei Programmi
Progetto di programmazione ad oggetti
* SCP - Sviluppo e Correttezza dei Programmi
Progetto di programmazione ad oggetti
* SCP - Sviluppo e Correttezza dei Programmi
Librerie standard e ausiliarie: libreria STL e classi contenitore, libreria di I/O, librerie grafiche.
• D - Linguaggi
PLN - Paradigmi Linguistici
Pradigmi di programmazione: oggetti

Sillabo dell'insegnamento

• C - Programmazione
PCC - Programmazione Concorrente
Thread in Java. Thread scheduling, Accesso sincronizzato a dati condivisi. Comunicazione tra thread: Attesa e notifica.
PCC - Programmazione Concorrente
Stream, File e Serializzazione di oggetti. Programmazione di rete.
* POO - Programmazione Orientata agli Oggetti
Java: Classi e Oggetti, Costruzione di oggetti,Ereditarieta' di classi
* POO - Programmazione Orientata agli Oggetti
Java: Ereditarieta' di classi, Ereditarieta' e classi astratte, Interfacce
* POO - Programmazione Orientata agli Oggetti
Java: Classi interne, Interfacce Grafiche e Programmazione ad eventi, Eccezioni.
* SCP - Sviluppo e Correttezza dei Programmi
Sviluppo di un progetto didattico.

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Reti wireless, home, intranet , sensors, mobile
* MIR - Modelli di Interazione in Rete
Applicazioni
* SR - Sicurezza delle Reti
Sicurezza
* ARTC - Architettura delle Reti di Calcolatori
Strutture di rete, struttura di trasporto
* PT - Protocolli
Strati fisici, protocolli
* PT - Protocolli
Strati fisici, protocolli
* PT - Protocolli
Strati fisici, protocolli
* ARTC - Architettura delle Reti di Calcolatori
Reti LAN, WAN
* SR - Sicurezza delle Reti
Network Security (crittografia, chiavi simmetriche e pubbliche, firme digitali, communication e application security, autenticazione)
* SR - Sicurezza delle Reti
Analisi di Reti e gestione pratica della loro sicurezza: best practices, attacchi e contromisure, utilizzo di tools software

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
Programmazione lineare
MAT/09 - Ricerca Operativa
Problemi di assegnazione
MAT/09 - Ricerca Operativa
Cammini minimi in un digrafo
MAT/09 - Ricerca Operativa
Tecniche di Branch & Bound
MAT/09 - Ricerca Operativa
Simulazione

Sillabo dell'insegnamento

• F - Sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
Comunicazione e sincronizzazione dei processi.
* GSP - Gestione e Sincronizzazione dei Processi
Problematiche di gestione dei processi. Sincronizzazione tra processi in ambiente locale. Politiche di ordinamento dei processi.
MA - Modelli e Architetture di sistemi operativi
I sistemi UNIX/Linux
MA - Modelli e Architetture di sistemi operativi
I sistemi Windows
* GM - Gestione della Memoria
Gerarchie di memoria e loro gestione. Sistemi multiprogrammati. Rilocazione e protezione. Strutture di gestione. Memoria virtuale: paginazione, segmentazione.
* SCO - Struttura e Componenti di un sistema operativo
Gestione dell'I/O in UNIX, GNU/LINUX e MS Windows.
* FS - File System
Architetture di file system. Struttura logica di un file. Modalilta' di accesso. Struttura di directory. Aspetti realizzativi.
* SCO - Struttura e Componenti di un sistema operativo
Casi di studio: GNU/Linux, Windows NT, Minix

Sillabo dell'insegnamento

• G - Basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
XPath, XSLT.
V - Varie
DTD, XML-Schema, Nomi e URI, Accesso ai dati semistrutturati.
• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Javascript Client-Side e Server-Side.
PASR - Programmazione di Applicazioni e Servizi di Rete
Common Gateway Interfaces (CGI). Il inguaggio Perl.
• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialità e WWW
Linguaggio HTML.
* IMW - Ipertesti, Multimedialità e WWW
Linguaggio CSS.
V - Varie
Accessibilita' per un sito web.
* IMW - Ipertesti, Multimedialità e WWW
Il concetto di ipertesto, il World Wide Web ed Internet. Gli enti di standardizzazione, le architetture.