Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
L'insieme delle n-uple di numeri reali e le matrici
MAT/03 - Geometria
Sistemi lineari
MAT/03 - Geometria
Spazi Vettoriali
MAT/03 - Geometria
Applicazioni lineari
MAT/03 - Geometria
Determinante, rango, spazi vettoriali generati dalle righe o colonne di una matrice
MAT/03 - Geometria
Autovettori e autovalori, diagonalizzabilita'

Sillabo dell'insegnamento

• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
Strutture dati interne: elementari, sequenziali e concatenate.
* SDF - Strutture di Dati Fondamentali
Strutture dati astratte (lista, pila, coda, albero).
* A - Algoritmi fondamentali
Algoritmi di ricerca: sequenziale, binaria, alberi binari di ricerca, alberi 2-3, alberi AVL.
* A - Algoritmi fondamentali
Ricerca digitale. Ricerca casuale (hashing).
* A - Algoritmi fondamentali
Algoritmi di ordinamento: per selezione, per inserzione, a bolle. Quicksort.
* A - Algoritmi fondamentali
Code con priorita' e Heapsort. Mergesort.
* SDF - Strutture di Dati Fondamentali
Grafi
* A - Algoritmi fondamentali
Visite di grafi in profondità ed in ampiezza
* SDF - Strutture di Dati Fondamentali
Grafi pesati
* A - Algoritmi fondamentali
Minimum Spanning Tree
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi di complessità degli algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Ricorsione, Divide et impera, Programmazione greedy.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Successioni
MAT/05 - Analisi Matematica
Derivate
MAT/05 - Analisi Matematica
Limiti di funzioni
MAT/05 - Analisi Matematica
Funzioni continue di una variabile reale
MAT/05 - Analisi Matematica
Formula di Taylor
MAT/05 - Analisi Matematica
Studio di funzioni di una variabile reale
MAT/05 - Analisi Matematica
Integrali indefiniti
MAT/05 - Analisi Matematica
Integrali definiti
MAT/05 - Analisi Matematica
Calcolo di aree e volumi
MAT/05 - Analisi Matematica
Serie numeriche
MAT/05 - Analisi Matematica
Integrali impropri
MAT/05 - Analisi Matematica
Equazioni differenziali

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Funzioni di più variabili: equazioni differenziali di semplice risoluzione
MAT/05 - Analisi Matematica
Funzioni di più variabili: forme differenziali
MAT/05 - Analisi Matematica
Funzioni di più variabili: integrale di Riemann
MAT/05 - Analisi Matematica
Funzioni di più variabili: massimi e minimi di una funzione
MAT/05 - Analisi Matematica
Funzioni di più variabili: continuità
MAT/05 - Analisi Matematica
Funzioni di più variabili: differenziabilità

Sillabo dell'insegnamento

• E - Architetture
* ASS - Linguaggio Assembler
I moderni elaboratori e l'evoluzione tecnologica. Introduzione ai linguaggi assembler
* ASS - Linguaggio Assembler
Il linguaggio MIPS
VMP - Valutazione e Miglioramento delle Prestazioni
Il ruolo delle prestazioni.
* LMP - Livello di Microprogrammazione
Progetto della CPU a cicli multipli. Eccezioni.
VMP - Valutazione e Miglioramento delle Prestazioni
Il pipelining.
* CCS - Circuiti combinatori e sequenziali
Il progetto di una ALU. Moltiplicazione e divisione.
* CCS - Circuiti combinatori e sequenziali
Progetto della CPU a ciclo singolo.
* AC - Aritmetica dei calcolatori
Rappresentazione dei numeri e aritmetica binaria.
* AC - Aritmetica dei calcolatori
Rappresentazione dei numeri in virgola mobile.
* CCS - Circuiti combinatori e sequenziali
Reti logiche combinatorie e sequenziali.
GM - Gestione della Memoria
Gerarchie di Memoria, Cache, Cenni sulla memoria virtuale
GIO - Gestione dell'Input/Output
Interazioni con Dispositivi, Bus e protocolli, Sistema gestione interruzioni, DMA

Sillabo dell'insegnamento

• G - Basi di dati
* ML - Modelli logici
Il modello Entità-Relazione; il modello relazionale.
* ML - Modelli logici
Gli operatori dell'algebra relazionale; interrogazioni ed espressioni relazionali.
* PC - Progettazione concettuale
Progettazione Entità-Relazione; schemi ER.
* PL - Progettazione Logica
Ristrutturazione di schemi ER e trasformazione in schemi relazionali.
* LI - Linguaggi di Interrogazione di Basi di Dati
Il linguaggio SQL: concetti base e caratteristiche evolute.
* DBMS - Sistemi di Gestione di Basi di Dati
Creazione, popolamento, interrogazione di una base di dati con MySQL.
* DBMS - Sistemi di Gestione di Basi di Dati
Transazioni, procedure e trigger in MySQL.
NBD - Normalizzazione di Basi di Dati
Dipendenze funzionali, forme normali, decomposizione di schemi.
TCR - Transazioni, Concorrenza e Recovery
Introduzione alla gestione della concorrenza, affidabilità e log.

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/08 - Analisi Numerica
Errori e aritmetica finita
MAT/08 - Analisi Numerica
Condizionamento di un problema
MAT/08 - Analisi Numerica
Zeri di funzioni di una variabile
MAT/08 - Analisi Numerica
Sistemi lineari: metodi diretti
MAT/08 - Analisi Numerica
Sistemi lineari: metodi iterativi
MAT/08 - Analisi Numerica
Approssimazione di funzioni
MAT/08 - Analisi Numerica
Approssimazione di integrali definiti
MAT/08 - Analisi Numerica
Ricerca degli autovalori di una matrice
MAT/08 - Analisi Numerica
Applicazioni: il pagerank di Google

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• A - Fondamenti
* CAL - Calcolabilita'
Teoria della calcolabilità: la tesi di Church-Turing (macchine di Turing e loro varianti, concetto di algoritmo)
* CAL - Calcolabilita'
Decidibilità (linguaggi decidibili, il problema dell'alt)
* CAL - Calcolabilita'
Riducibilità (esempi di problemi indecidibili)
COM - Complessita'
Teoria della complessità: complessità temporale (la classe P, la classe NP, NP-completezza)
COM - Complessita'
Complessità spaziale (teorema di Savitch, la classe PSPACE).
COM - Complessita'
La classe EXP. Algoritmi di approssimazione.

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Analisi sintattica: grammatiche libere da contesto e tecniche di analisi LL(k) e LR(k).
* ALF - Automi e Linguaggi Formali
Analisi lessicale: espressioni e grammatiche regolari, automi a stati finiti, realizzazione di analizzatori lessicali.
* ALF - Automi e Linguaggi Formali
Grammatiche e linguaggi: richiami dei concetti base.
• D - Linguaggi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Introduzione ai compilatori; fasi di compilazione.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Modalità di realizzazione dei linguaggi: compilazione, supporto a tempo di esecuzione.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Modalità di realizzazione dei linguaggi: interpretazione.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi semantica e generazione del codice.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Linguaggi e macchine astratte loro associate.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Cenni di ottimizzazione del codice.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
Elementi di teoria degli insiemi. Funzioni, relazioni e principio di induzione.
MAT/02 - Algebra
Elementi di calcolo combinatorio
MAT/02 - Algebra
Relazioni di ordine, reticoli ed algebre di Boole
MAT/02 - Algebra
Elementi di teoria dei numeri.
MAT/02 - Algebra
Aritmetica modulare ed applicazioni alla crittografia.
MAT/02 - Algebra
Elementi di teoria dei grafi.
MAT/01 - Logica Matematica
Formule, semantica. Teorema di forma normale.
MAT/01 - Logica Matematica
Metodo di risoluzione.
MAT/01 - Logica Matematica
Logica dei predicati.

Sillabo dell'insegnamento

• C - Programmazione
PP - Paradigmi di Programmazione
Design pattern e framework. Sviluppo di progetti di sistemi software con sistemi avanzati.
* POO - Programmazione Orientata agli Oggetti
Progettazione secondo la metodologia orientata agli oggetti. Le qualità del software. Relazioni tra classi. Il formalismo UML.
* POO - Programmazione Orientata agli Oggetti
Ereditarieta' e delegation: tecniche di riusabilita' del codice. La riscrittura dei metodi. I metodi binari e le problematiche di tipi. La clonazione e la persistenza degli oggetti.
* POO - Programmazione Orientata agli Oggetti
La programmazione generica in Java.
* SDTD - Strutture Dati e Tipi di Dati astratti
Dal tipo di dato astratto alla classe. Interfaccia e implementazione.
• D - Linguaggi
MP - Metodologie di Programmazione
Uso di classi strategiche per l'estendibilita' del software. Ereditarieta' mutipla: casi d'uso e aspetti implementativi. Classi parametriche. Composizione di oggetti.
MP - Metodologie di Programmazione
Programmazione orientata agli oggetti in Java. Controlli dell'accesso: il nascondimento dell'informazione. Il sistema dei tipi: polimorfismo per sottotipo. Overloading e binding dinamico.
MP - Metodologie di Programmazione
Uso dei package in Java. La programmazione per contratto. Invarianti di classi e pre/post condizioni dei metodi
• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
Programmazione test-driven.

Sillabo dell'insegnamento

• C - Programmazione
* SDTD - Strutture Dati e Tipi di Dati astratti
Informazioni strutturate
* SS - Sintassi e Semantica
Il linguaggio Java: controllo del flusso.
* SS - Sintassi e Semantica
Il linguaggio Java: metodi e ricorsione.
* POO - Programmazione Orientata agli Oggetti
Oggetti in Java
* SS - Sintassi e Semantica
Introduzione al linguaggio Java.
* SS - Sintassi e Semantica
Il linguaggio Java: tipi primitivi
* SS - Sintassi e Semantica
Breve rassegna di concetti matematici. Linguaggi formali: grammatiche context-free loro correttezza e completezza, rappresentazione dell'informazione. Alberi d'analisi e cenni al problema del ricoscimento/analisi di stringhe.
* CB - Costrutti di Base
Il paradigma della programmazione procedurale: il linguaggio alla Von Neumann VN: assegnazione, I/O, controlli, iterazione, variabili semplici e matriciali, sottoprogrammi funzione e procedura.
* PSA - Problem Solving e Algoritmi
Costruzione di programmi e sottoprogrammi JVN. Principali algoritmi di sorting di vettori.
* SCP - Sviluppo e Correttezza dei Programmi
Prove di correttezza di frammenti di programmi: proprieta' invarianti di cicli e prove induttive.
* R - Ricorsione
Il paradigma della programmazione dichiarativa: i termini e i sistemi di riscrittura ed uso della ricorsione. Il concetto di lista e sue manipolazioni.
* SS - Sintassi e Semantica
La semantica operazionale dei linguaggi di programmazione: definizione della semantica operazionale del linguaggio VN.

Sillabo dell'insegnamento

• C - Programmazione
PCC - Programmazione Concorrente
Introduzione alla concorrenza. Azioni atomiche. Il modello interleaving. Diagramma degli stati. Safety e liveness. La logica LTL.
PCC - Programmazione Concorrente
Meccanismi di sincronizzazione e comunicazione a memoria condivisa. Busy waiting, semafori e monitors. Il problema della mutua esclusione e della sincronizzazione condizionale.
PCC - Programmazione Concorrente
Risoluzione di problemi attraverso primitive linguistiche per la concorrenza: produttore-consumatore, lettori-scrittori, filosofi a cena.
PCC - Programmazione Concorrente
Progetto di semplici algoritmi concorrenti in Java: l'uso dei thread, dei metodi sincronizzati e dei monitor.
PCC - Programmazione Concorrente
Meccanismi di sincronizzazione a scambio di messaggi: sincronia e asincronia. Il linguaggio Promela.
• H - Computazione su rete
* MIR - Modelli di Interazione in Rete
RPC e RendezVous. Il modello Linda.

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Principi fondamentali. Applicazioni, Requisiti. Architettura e software di rete. Prestazioni.
* ARTC - Architettura delle Reti di Calcolatori
Reti a connessione diretta. Elementi hardware. Codifica. Tramatura. Rilevazione d'errore.
* PT - Protocolli
Trasmissione affidabile. Ethernet. Commutazione di pacchetto e inoltro.
* ARTC - Architettura delle Reti di Calcolatori
Commutatori per LAN e bridge. Interconnessione di reti. Il caso di IP.
* PT - Protocolli
Instradamento. Internet globale. Protocolli di trasporto. UDP e flusso affidabile (TCP).
* PT - Protocolli
Allocazione delle risorse. Gestione delle code. Controllo e prevenzione della congestione.

Sillabo dell'insegnamento

• C - Programmazione
* SS - Sintassi e Semantica
Il linguaggio di programmazione C. UNIX/Linux system call.
• F - Sistemi operativi
* FS - File System
Il file system. Directory. Metodi di accesso ai file. Allocazione dei file su disco. Interfaccia ed implementazione del file system.
* GM - Gestione della Memoria
Gestione della memoria centrale. Allocazione contigua. Paginazione. Segmentazione. Memoria virtuale. Tecniche di sostituzione delle pagine.
* GSP - Gestione e Sincronizzazione dei Processi
I processi. Descrittore di processo. Diagramma degli stati. Operazioni sui processi. Politiche di scheduling. Processi e thread.
* GSP - Gestione e Sincronizzazione dei Processi
Stallo: tecniche di prevenzione e rilevamento. Stato sicuro.
GP - Gestione delle Periferiche
Gestione delle periferiche di I/O: polling, interrupt, DMA. Multiprogrammazione e I/O overlapping. Politiche di scheduling delle richieste al disco.
* AMM - Amministrazione di sistema
Concetti di base di amministrazione dei sistemi UNIX/Linux.
PS - Programmazione di Sistema
Programmazione di sistema e comunicazione tra processi in ambiente UNIX/Linux.
* SCO - Struttura e Componenti di un sistema operativo
Funzioni di un sistema operativo. Eccezioni e interruzioni. Modalità di funzionamento. System Call.