Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
Reticoli, algebre di Boole, anelli booleani
MAT/02 - Algebra
L'anello Z degli interi, teorema fondamentale dell'aritmetica, Congruenze in Z, gli anelli delle classi di resto
MAT/02 - Algebra
Polinomi, anello dei polinomi, Teorema di Ruffini e sue conseguenze, fattorizzazione, polinomi irriducibuli, algoritmo di Euclide
MAT/02 - Algebra
Logica intuitiva, connettivi proposizionali, insiemi, calcolo combinatorio
MAT/02 - Algebra
Relazioni binarie, proprieta', relazioni d'ordine, relazioni d'equivalenza
MAT/02 - Algebra
Operazioni e strutture algebriche, proprieta', semigruppi, monoidi, gruppi, anelli, campi, isomorfismi, strutture quoziente

Sillabo dell'insegnamento

• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Notazione asitotica e calcolo del tempo di esecuzione di algoritmi.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi di algoritmi ricorsivi e soluzione delle equazioni di ricorrenza.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Introduzione alla dimostrazione di correttezza degli algoritmi. Dimostrazioni di correttezza per indizione e invarianti di ciclo.
* A - Algoritmi fondamentali
Algoritmi di Ordinamento (Insertion Sort, Selection Sort, Merge Sort, Heap Sort, QuickSort) e analisi di complessita
* SDF - Strutture di Dati Fondamentali
Strutture dati fondamentali (liste, pile, code, alberi binari) e alberi binari di ricerca.
* ASC - Algoritmi su Strutture Combinatorie
Grafi pesati e non pesati: loro rappresentazioni e algoritmi di visita (BFS e DFS).
* ASC - Algoritmi su Strutture Combinatorie
Algoritmi su grafi non pesati: algoritmi per l'ordinamento topologico, calcolo delle componenti connesse e fortemente connesse Algoritmi su grafi: algoritmi per l'ordinamento topologico, calcolo delle componenti connesse e fortemente connesse.
* ASC - Algoritmi su Strutture Combinatorie
Algoritmi su grafi pesati: calcolo dei percorsi minimi da singola sorgente (algoritmo di Dijkstra e Bellman-Ford); calcolo dei percorsi minimi tra tutte le coppie di vertici.
SDA - Strutture di Dati Avanzate
Alberi binari di ricerca bilanciati: alberi AVL e alberi Red-Black. Algoritmi di bilanciamento (inserimento e cancellazione) per alberi AVL e alberi Red-Black.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Numeri reali: proprieta' ed assiomi. Le funzioni reali di variabile reale: funzione potenza, esponenziale, logaritmo, le funzioni trigonometriche.
MAT/05 - Analisi Matematica
Equazioni e disequazioni.
MAT/05 - Analisi Matematica
Estremo superiore ed inferiore di un insieme numerico. Il principio di induzione. L'algoritmo di Erone.
MAT/05 - Analisi Matematica
Limiti di successione: definizioni, operazioni e teoremi.
MAT/05 - Analisi Matematica
Limite di funzioni, funzioni continue e teoremi relativi. Il metodo di bisezione.
MAT/05 - Analisi Matematica
Derivata: definizione, operazioni e significato geometrico.
MAT/05 - Analisi Matematica
Massimi e minimi relativi, il teorema di Fermat, di Lagrange. Condizioni di monotonia. Teoremi dell'Hopital. Funzioni convesse. Prime proprieta' della formula di Taylor.
MAT/05 - Analisi Matematica
La formula di Taylor. Tabulazione di funzioni.Serie numeriche. La serie armonica, la serie geometrica e i criteri di convergenza.
MAT/05 - Analisi Matematica
Integrazione secondo Riemann: il metodo di esaustione. Integrale definito e sue proprieta'. Integrale indefinito. Teorema fondamentale del calcolo integrale. Metodi di integrazione.

Sillabo dell'insegnamento

• E - Architetture
* CCS - Circuiti combinatori e sequenziali
Sistemi di memoria basati su elementi modulari.
* AC - Aritmetica dei calcolatori
Rappresentazione e trasmissione delle informazioni
* AC - Aritmetica dei calcolatori
Algebra di Boole e funzioni booleane
* CCS - Circuiti combinatori e sequenziali
Reti combinatorie complesse
* CCS - Circuiti combinatori e sequenziali
Architetture di reti sequenziali.
* CCS - Circuiti combinatori e sequenziali
Progettazione di una rete sequenziale sincrona che implementa un automa a stati finiti.
* ASS - Linguaggio Assembler
Struttura di un assembler di una semplice CPU, modi di indirizzamento, metacomandi, semplici algoritmi
GIO - Gestione dell'Input/Output
Gestione dell'I/O basata su interrupt e polling
GM - Gestione della Memoria
Il sistema gerarchico delle memorie: cache, memoria centrale, memoria virtuale
* LMP - Livello di Microprogrammazione
Elementi costitutivi di sistemi di elaborazione. Introduzione alla progettazione di sistemi microprogrammati
* LII - Livello Instruction Set
Struttura di un computer minimale. Repertorio di istruzioni, completezza del set di istruzioni.
VMP - Valutazione e Miglioramento delle Prestazioni
Banchi di memorie interallacciate e non, speed up delle cache

Sillabo dell'insegnamento

• G - Basi di dati
LP - Linguaggi di Programmazione di Basi di Dati
SQL nei linguaggi di programmazione
* PC - Progettazione concettuale
Progettazione concettuale: i diagrammi ER ed EER
* ML - Modelli logici
Il modello di dati relazionale e l'algebra relazionale
* PL - Progettazione Logica
Progettazione logica. SQL per la definizione dei dati
TCR - Transazioni, Concorrenza e Recovery
Tecnologia di un database server: Transazioni, Controllo di concorrenza,Gestione del buffer, Controllo di affidabilita', Strutture di indici per i files.
* LI - Linguaggi di Interrogazione di Basi di Dati
SQL per l'interrogazione dei dati
* DBMS - Sistemi di Gestione di Basi di Dati
Presentazione del sistema commerciale ORACLE
* PL - Progettazione Logica
Recupero delle nozioni relative all?analisi e progettazione di dati viste nel corso fondamentale di basi di dati ed utilizzo. Tool CASE di supporto. Definizione di una base di dati in Oracle con particolare attenzione alla progettazione e all'espressione di vincoli di integrita' per i dati.
LP - Linguaggi di Programmazione di Basi di Dati
Strumenti per la costruzione di interfacce e di applicazioni nel sistema Oracle. Il linguaggio di programmazione PL/SQL.
LP - Linguaggi di Programmazione di Basi di Dati
Java in Oracle: JDBC e SQLJ
* DBMS - Sistemi di Gestione di Basi di Dati
Concetti generali di amministrazione di basi in Oracle
TCR - Transazioni, Concorrenza e Recovery
Cenni generali sulle tecniche per il mantenimento della sicurezza, (e/o) privatezza e/o integrit? dei dati in Oracle.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Definizioni di algebra, sigma-algebra ed applicazioni. Spazio campione. Definizioni di probabilità. Impostazione assiomatica. Eventi quasi certi e quasi impossibili. Indipendenza di eventi. Probabilità condizionata.
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie semplici, discrete ed assolutamente continue. Funzioni di variabili aleatorie (cenni).
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie congiuntamente distribuite. Definizioni di media e momento. Varianza di una variabile casuale. Covarianza e correlazione.
MAT/06 - Probabilita' e Statistica Matematica
La disuguaglianza di Cebicev. Convergenza in probabilità; il teorema di Bernoulli; la legge debole dei grandi numeri. Convergenza in distribuzione; il teorema di De Moivre, il teorema centrale di convergenza.
MAT/06 - Probabilita' e Statistica Matematica
Concetto di genitrice e di campione casuale; le statistiche; la media campionaria; la varianza campionaria; i momenti campionari. Campioni da genitrici normali.
MAT/06 - Probabilita' e Statistica Matematica
Stimatori puntuali; correttezza e rischio di uno stimatore; metodi di costruzione. Intervalli di fiducia per campioni da genitrici normali.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Introduzione al calcolo numerico matriciale. Risoluzione numerica di sistemi lineari. Metodi di back e forward substitution; eliminazione di Gauss. Fattorizzazione LU ed applicazioni. Strategia del pivoting.
MAT/08 - Analisi Numerica
Rappresentazione dei dati: interpolazione e approssimazione. L'approssimazione mediante metodo dei minimi quadrati. Interpolazione polinomiale. Interpolazione mediante funzioni spline.
MAT/08 - Analisi Numerica
Quadratura numerica. Risoluzione numerica di equazioni differenziali ordinarie.
MAT/08 - Analisi Numerica
I sistemi aritmetici a precisione finita. L?errore relativo, assoluto, round-off. L'epsilon macchina. Il condizionamento di un problema matematico. La stabilita' di un algoritmo.
MAT/08 - Analisi Numerica
Risoluzione numerica di un?equazione non lineare. Introduzione ad un PSE: MATLAB. La documentazione del software.
MAT/08 - Analisi Numerica
Attivita' di Laboratorio - Algoritmi di: Gauss per sistemi lineari; determinazione dei coefficienti e valutazione del polinomio interpolante di Lagrange; determinazione dei coefficienti della spline cubica naturale interpolante e sua valutazione in un punto assegnato; stima di un integrale definito.

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
La gerarchia di Chomsky.
* ALF - Automi e Linguaggi Formali
Grammatiche indipendenti dal contesto. Automi a pila.
* CAL - Calcolabilita'
Funzioni calcolabili. S-programmi e funzioni S-calcolabili.
* CAL - Calcolabilita'
Funzioni parziali ricorsive. Tesi di Church-Turing. Decidibilita'. Problema della fermata.
COM - Complessita'
Cenni alla complessita' di calcolo. Risorse Tempo e Spazio. Problemi trattabili e hard. P e NP.
* ALF - Automi e Linguaggi Formali
Automi finiti, linguaggi regolari

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
Spazi vettoriali su un campo, con particolare riferimento al campo reale : definizione, esempi e proprieta' elementari; sottospazi; dipendenza e indipendenza lineare; basi e dimensione; cambiamenti di riferimento; spazi somma e intersezione; relazione di Grassmann; spazi euclidei.
MAT/03 - Geometria
Matrici e determinanti, sistemi lineari: operazioni elementari di riga; matrici equivalenti; matrici simili; rango; matrici triangolari, diagonali e matrici a gradini; prodotto righe per colonne; matrici quadrate invertibili e determinazione dell'inversa. Metodo di eliminazione di Gauss; sistemi omogenei.
MAT/03 - Geometria
Applicazioni lineari: definizione e prime proprieta'; nucleo, immagine e loro dimensioni; isomorfismi; matrici associate.
MAT/03 - Geometria
Diagonalizzazione di endomorfismi e matrici: autovalori, autovettori e autospazi; polinomio caratteristico; caratterizzazione degli endomorfismi e delle matrici diagonalizzabili.
MAT/03 - Geometria
Geometria analitica nel piano: riferimenti cartesiani monometrici ortogonali; cambiamenti di riferimento; rappresentazione parametrica ed ordinaria di una retta; intersezione di rette; condizioni di parallelismo e ortogonalita' tra rette; distanza tra insiemi di punti; circonferenza.
MAT/03 - Geometria
Geometria analitica nello spazio: riferimenti cartesiani monometrici ortogonali; cambiamenti di riferimento; rappresentazione parametrica ed ordinaria di una retta e di un piano; condizioni di parallelismo e ortogonalita'; distanza tra insiemi di punti; sfera e circonferenza.

Sillabo dell'insegnamento

• I - Ingegneria del software
MSQ - Misure del Software e Qualita'
Metriche di qualità, il modello di McCall, Metriche funzionali, i Function Points
* PSS - Processi di Sviluppo del Software
Concetti di base, definizioni e problematiche dell'Ingegneria del Software. L'industria del software. Il processo di produzione del software (cascata, incrementale, a spirale, RUP, trasformazionali, Extreme). La gestione dei processi.
* AR - Analisi dei Requisiti
Requisiti funzionali e non funzionali. Formalizzazione dei requisiti, analisi. Documentazione. Cenni ad aspetti etici, professionali e giuridici.
* ASW - Architetture Software
Architetture Client/Server, Multilivello, Model/View/Control, Repository, Modelli di gestione del controllo.
* LMS - Linguaggi di Modellazione del Software
Linguaggi di modellazione per la progettazione orientata agli oggetti. Unified Modeling Language (UML), OCL.
* PSC - Progettazione del Software e Codifica
Design orientato agli oggetti. Design patterns.
* TVV - Testing, Verifica e Validazione
Il processo del Testing; Inspection, Approcci Black Box.
* TVV - Testing, Verifica e Validazione
Approcci White Box, Criteri di coverage, Test automation.
AS - Ambienti di Sviluppo
Panoramica sugli Integrated Development Environments, i sistemi di Versionin. Ambienti di supporto all'attività di test.

Insegnamenti "a scelta" che possono essere selezionati

1. Linguaggi di Programmazione II
2. Tecnologie Web

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
Algoritmi di ordinamento e di ricerca.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Introduzione al linguaggio C. Tecniche di progetto Divide et Impera. Specifiche e modelli. Verifica sperimentale della complessit? in tempo e spazio.
* ASC - Algoritmi su Strutture Combinatorie
Calcolo delle componenti fortemente connesse di un grafo. Calcolo del minimo albero ricoprente un grafo. Calcolo dei percorsi minimi di un grafo.
* ASC - Algoritmi su Strutture Combinatorie
Implementazione, interrogazione e modifica di grafi rappresentati con matrici o liste di adiacenza.
* SDF - Strutture di Dati Fondamentali
Heap binari e code di priorita'. Implementazione, interrogazione e modifica di alberi binari di ricerca. Rappresentazione di alberi ennari.
* SDF - Strutture di Dati Fondamentali
Varie implementazioni di Stack e Code. Liste semplici, doppiamente puntate e circolari.

Sillabo dell'insegnamento

• F - Sistemi operativi
* AMM - Amministrazione di sistema
Comandi UNIX di utilita'. Programmazione di shell. Introduzione alla programmazione awk.
* FS - File System
Le primitive di basso livello per l'accesso a file e directory.
PS - Programmazione di Sistema
Gestione dei segnali.
* GSP - Gestione e Sincronizzazione dei Processi
Gestione dei processi: creazione e terminazione di processi. Comunicazione inter-processo: pipe, named pipe e socket locali.
* GSP - Gestione e Sincronizzazione dei Processi
Programmazione multi-thread. Principi fondamentali, creazione e terminazione di thread. Primitive di sincronizzazione: mutex e condition variable.
• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Programmazione di rete. Introduzione all'indirizzamento. Creazione ed utilizzo di socket TCP. Server concorrenti.

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
Classi interne; classe String, Classe Class: cenni Package, nome, accesso, contenuti, librerie, gestione degli errori: eccezioni; Cenni al package di input output, classe System.
* POO - Programmazione Orientata agli Oggetti
Classi astratte, Interfacce, Implementazione in Java delle relazioni di composizione, aggregazione, associazione. Garbage collection e finalize Trattamento in Java della molteplicit?: cenni a contenitori.
* POO - Programmazione Orientata agli Oggetti
Linguaggio Java: tecnologia connessa. Studio dei costrutti fondamentali: identificatori, parole chiave, tipi primitivi; tipi riferimento: classi, campi di istanza e di classe, metodi di istanza e di classe , riferimento this e suo uso. Costruttori, costrutto this(...) overloading, operatore di accesso, scrittura dei metodi e dei costruttori: Statements,espressioni e controllo di flusso.
PP - Paradigmi di Programmazione
Paradigmi dei linguaggi di programmazione: Storia e modello di computazione implicito nei vari paradigmi . Il modello imperativo.
* POO - Programmazione Orientata agli Oggetti
Parametri e invocazione di metodi. Wrapper classes. Arrays. Ereditariet?; overriding; polimorfismo. Riferimento super e suo uso. Costruzione di istanza in presenza di ereditariet?. Costrutto super(...) Inizializzazione dei campi statici, Inizializzazione dei campi di Istanza.
* SDTD - Strutture Dati e Tipi di Dati astratti
Il modello ad oggetti. Progettazione orientata ad oggetti e UML.

Sillabo dell'insegnamento

• C - Programmazione
* SS - Sintassi e Semantica
Generalita' sulla struttura del calcolatore e sui linguaggi di programmazione. La struttura sintattica dei programmi. Tipi standard. Dichiarazioni di variabili e costanti. Espressioni e loro valutazione. Espressioni booleane elementari. L'enunciato di assegnazione.
* CB - Costrutti di Base
Espressioni booleane elementari. Enunciati di scelta. L'iterazione. Le tre componenti di un loop: inizializzazione, condizioni di ingresso e di uscita, il corpo. L'invariante di loop. Loop annidati. Decisioni annidate. Espressioni booleane composte.
* SDTD - Strutture Dati e Tipi di Dati astratti
Array monodimensionali. Algoritmi per la loro gestione/manipolazione.
* SDTD - Strutture Dati e Tipi di Dati astratti
Strutture Dati e Tipi di dati Astratti Stringhe. Tipi enumerati. Uso di file di tipo testo. Array a 2 e piu' dimensioni. Algoritmi per la loro gestione/manipolazione.
* SCP - Sviluppo e Correttezza dei Programmi
Funzioni e procedure standard. Subroutines: gestione della memoria, stubs, drivers, side-effects Tecniche di sviluppo di un programma: progettazione top-down e astrazione procedurale.
* PSA - Problem Solving e Algoritmi
Algoritmi di ricerca: lineare e binaria. Algoritmi di ordinamento. La complessità degli algoritmi; valutazione dell'efficienza di un algoritmo nel caso peggiore.

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
Sintassi ed Implementazione di concetti/costrutti di controllo; condizioni ed iterazioni. Sperimentazione
* SCP - Sviluppo e Correttezza dei Programmi
Introduzione agli ambienti operativi; Windows, Unix, Linguaggio C/C++, Compilatori
* P - Procedure
Realizzazione di procedure e funzioni; sperimentazione
* SDTD - Strutture Dati e Tipi di Dati astratti
Record e file di record; implementazione di strutture record.
* R - Ricorsione
Metodologie di progettazione: la ricorsione.
* PSA - Problem Solving e Algoritmi
Approccio ricorsivo al problem solving.
* R - Ricorsione
Utilizzo della ricorsione nei programmi : sintassi e sperimentazione; complessita' degli algoritmi ed approccio ricorsivo.
* SDTD - Strutture Dati e Tipi di Dati astratti
Puntatori e variabili dinamiche. Array di puntatori a variabili dinamiche.
* PSA - Problem Solving e Algoritmi
Liste legate, code e stack. Alberi e alberi binari. Attraversamento di alberi binari. Alberi binari di ricerca.
* SDTD - Strutture Dati e Tipi di Dati astratti
Concetto di tipo di dato astratto: costruttori primitivi, costruttori e selettori. Esempi: numeri complessi code, stack, liste, insiemi. Sperimentazione
* POO - Programmazione Orientata agli Oggetti
Introduzione alla programmazione ad oggetti: tipi di dato astratti, classi, costruttori, distruttori, overloading degli operatori.
* SCP - Sviluppo e Correttezza dei Programmi
La modularita' del software; sviluppo di un progetto; la documentazione del software

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• F - Sistemi operativi
* SCO - Struttura e Componenti di un sistema operativo
Introduzione al corso. Componenti, struttura ed evoluzione dei sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
I processi: creazione e gestione. Esempi in Unix. I thread e loro implementazione.
* GSP - Gestione e Sincronizzazione dei Processi
Scheduling e sincronizzazione dei processi e dei thread. Lo stallo dei processi
* GM - Gestione della Memoria
Memoria fisica e memoria virtuale. Allocazione dei processi,paginazione e segmentazione.
* FS - File System
File system: interfaccia e implementazione. Allocazione dei file e gestione dello spazio libero.
GP - Gestione delle Periferiche
I/O e memoria secondaria: interazione tra sistema operativo e dispositivi. Organizzazione della memoria secondaria, scheduling del disco.
V - Varie
Casi di studio: i Sistemi operativi Linux e Windows. Elementi di Security.
SAA - Sistemi operativi per Architetture Avanzate
Introduzione ai sistemi operativi distribuiti: architetture, coordinazione dei processi distribuita e file system distribuiti
SAA - Sistemi operativi per Architetture Avanzate
I sistemi Operativi per sistemi multimediali e Real-Time: scheduling dei processi, gestione della memoria e del file system

Sillabo dell'insegnamento

• C - Programmazione
PCC - Programmazione Concorrente
Programmazione multi-threaded in Java. Primitive di sincronizzazione.
* POO - Programmazione Orientata agli Oggetti
Relazioni di uguaglianza e di ordine tra oggetti. Clonazione. Riflessione.
* POO - Programmazione Orientata agli Oggetti
Programmare con le collezioni: insiemi, liste, mappe associative
* POO - Programmazione Orientata agli Oggetti
Il sistema dei tipi e il type-checking di Java. Algoritmo di risoluzione dell'overloading e dell'overriding.
* POO - Programmazione Orientata agli Oggetti
Classi e metodi con parametri di tipo
• I - Ingegneria del software
* PSC - Progettazione del Software e Codifica
Design Pattern e loro implementazione in Java

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Insegnamento a scelta

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Programmazione Web, servizi Web, mobile, CMS
PASR - Programmazione di Applicazioni e Servizi di Rete
XML, XHTML, CSS, DOM, Namespaces, XSL
PASR - Programmazione di Applicazioni e Servizi di Rete
PHP, JavaScript, Ajax
PASR - Programmazione di Applicazioni e Servizi di Rete
Web, HTTP, CGI, session tracking
PASR - Programmazione di Applicazioni e Servizi di Rete
Java per applicazioni Web
• I - Ingegneria del software
* LMS - Linguaggi di Modellazione del Software
Web Engineering e architetture web

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Insegnamento a scelta