Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
Analisi della comlessit? di un algoritmo
* A - Algoritmi fondamentali
Algoritmo di ordinamento (selection-sort, merge-sort).
* A - Algoritmi fondamentali
Code di priorit?. L'heap ed il suo uso per l'ordinamento (heap-sort).
* A - Algoritmi fondamentali
Il problema del dizionario: ricerca, inserimento, cancellazione. Gestione di dizionari mediante tavole ad indirizzamento diretto, alberi di ricerca.
* A - Algoritmi fondamentali
Grafi: rappresentazioni, algoritmi di visita e connessione.
* A - Algoritmi fondamentali
Algoritmi elementari su grafi: cammino minimo, minimo albero ricoprente.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Introduzione al linguaggio C
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Strutture dati elementari: vettori, matrici, liste. Algoritmi per la loro manipolazione: ricerca, inserimento, cancellazione
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Mantenimento dell'unione di insiemi disgiunti
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Strutture dati fondamentali: pile, code, alberi. Algoritmi per la loro manipolazione: ricerca, inserimento e cancellazione
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Gestione di dizionari: tabelle hash, alberi binari di ricerca bilanciati
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Grafi: rappresentazioni, algoritmi di visita e connessione

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Successioni, limiti di successioni, proprieta' ed esempi, confronto. Successioni monotone, progressioni geometriche
MAT/05 - Analisi Matematica
Ordini di infiniti e infinitesimi, limiti notevoli e loro applicazioni. Il numero
MAT/05 - Analisi Matematica
Limiti di funzioni, proprieta' dei limiti, permanenza del segno, confronti, limiti notevoli. Asintoti
MAT/05 - Analisi Matematica
Funzioni continue, principali funzioni continue. Teoremi sulle funzioni continue.
MAT/05 - Analisi Matematica
Definizione di derivata, proprieta' delle funzioni derivabili, regole di derivazione, derivate funzione inversa e composta. Derivate di ordine superiore
MAT/05 - Analisi Matematica
Teorema di Lagrange e applicazioni. Criterio di monotonia. Massimi e minimi relativi e assoluti, flessi. Grafici di funzioni. Teorema dell'Hopital

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Formula di Taylor
MAT/05 - Analisi Matematica
Successioni definite per ricorrenza
MAT/05 - Analisi Matematica
Serie numeriche
MAT/05 - Analisi Matematica
Integrali
MAT/05 - Analisi Matematica
Integrali impropri. Funzioni integrali
MAT/05 - Analisi Matematica
Cenni di funzioni in più variabili

Sillabo dell'insegnamento

• E - Architetture
* ASS - Linguaggio Assembler
Carateristiche dei linguaggi di programmazione assembler, con riferimento a uno specifico caso di studio
* ASS - Linguaggio Assembler
Tecniche di programmazione assembler. (Calcoli su numeri, indicizzazione nel trattamento di array, modulazione del codice, impieghi dello stack, interrupt)
VMP - Valutazione e Miglioramento delle Prestazioni
CPU: organizzazione; registri; set di istruzioni; formato istruzioni; tecniche di indirizzamento.
AA - Architetture Avanzate
CPU: scomposizione parte operativa e parte di controllo. Microprogrammazione. Controllo microprogrammato. Architetture pipeline e superscalari. Architetture parallele: classificazione di Flynn.
* LII - Livello Instruction Set
Istruzioni e tecniche di indirizzamento. Codifica delle istruzioni
VMP - Valutazione e Miglioramento delle Prestazioni
Sistemi di numerazione. Rappresentazione dei numeri interi ed in virgola mobile. ALU. Aritmetica intera ed in virgola mobile.
AA - Architetture Avanzate
Algebra di Boole. Funzioni ed espressioni booleane. Minimizzazione di funzioni booleane a mappe di Karnaugh. Analisi e Sintesi di reti combinatorie. Esempi di reti combinatorie.
AA - Architetture Avanzate
Flip-Flop. Analisi e Sintesi di Reti Sequenziali Sincrone. Esempi di Reti Sequenziali (contatori e riconoscitori di sequenza).
VMP - Valutazione e Miglioramento delle Prestazioni
Macchina di Von Neumann. Macchine Virtuali. Sistemi di Interconnessione. Memorie Interne ed Esterne. I/O. Gestione delle Interruzioni.

Sillabo dell'insegnamento

• G - Basi di dati
* ML - Modelli logici
Introduzione alle basi di dati e modelli dei dati
* ML - Modelli logici
Algebra e calcolo relazionale.
* PC - Progettazione concettuale
Progettazione concettuale e schemi ER.
NBD - Normalizzazione di Basi di Dati
Normalizzazione di schemi
TCR - Transazioni, Concorrenza e Recovery
Transazioni e controllo di concorrenza, cenni sul controllo di affidabilit? e gestione degli accessi
BDA - Basi di Dati Avanzate
Basi di dati e WEB: cenni su architettura a due e tre livelli
* PC - Progettazione concettuale
Analisi dei requisiti e progettazione concettuale delle basi di dati
* PL - Progettazione Logica
Progettazione logica delle basi di dati.
* DBMS - Sistemi di Gestione di Basi di Dati
Definizione dei dati in SQL. Vincoli di integrita'.
LP - Linguaggi di Programmazione di Basi di Dati
Inserimento, cancellazione e modifica dei dati in SQL.
* LI - Linguaggi di Interrogazione di Basi di Dati
Interrogazioni di base in SQL. Interrogazioni avanzate: subquery, join interno ed esterno tra tabelle,
BDA - Basi di Dati Avanzate
Concetti avanzati di SQL: viste, procedure, trigger. Interfacciamento con i linguaggi di programmazione.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Logica proposizionale: sintassi semantica
MAT/01 - Logica Matematica
Sistemi deduttivi: deduzione naturale, sistemi alla Hilbert, calcolo dei seguenti
MAT/01 - Logica Matematica
Correttezza e completezza
MAT/06 - Probabilita' e Statistica Matematica
Concetti di base: eventi, variabili aleatorie, probabilità. Esempi
MAT/06 - Probabilita' e Statistica Matematica
Elementi d calcolo combinatorio. Indipendenza e probabilità . Condizionata: indipendenza di eventi e di variabili aleatorie, regola di Bayes
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie discrete: la legge di Bernoulli, la legge binomiale, la legge di Poisson

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
Il problema del dizionario: ricerca, inserimento, cancellazione. Gestione di dizionari mediante tavole ad indirizzamento diretto, alberi di ricerca
* A - Algoritmi fondamentali
Grafi: rappresentazioni, algoritmi di visita e connessione
* A - Algoritmi fondamentali
Algoritmi elementari su grafi: cammino minimo, minimo albero ricoprente.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Introduzione al linguaggio C
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Strutture dati elementari: vettori, matrici, liste. Algoritmi per la loro manipolazione: ricerca, inserimento, cancellazione.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Mantenimento dell'unione di insiemi disgiunti
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Strutture dati fondamentali: pile, code, alberi. Algoritmi per la loro manipolazione: ricerca, inserimento e cancellazione
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Gestione di dizionari: tabelle hash, alberi binari di ricerca bilanciati
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Grafi: rappresentazioni, algoritmi di visita e connessione
* A - Algoritmi fondamentali
Analisi della comlessità di un algoritmo
* A - Algoritmi fondamentali
Algoritmo di ordinamento (selection-sort, merge-sort).
* A - Algoritmi fondamentali
Code di priorit?. L'heap ed il suo uso per l'ordinamento (heap-sort).

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
Ciclo di vita del software e suoi modelli. Gestione di progetti complessi. Pianificazione delle attivit? e risorse
* PSS - Processi di Sviluppo del Software
Metodi e tecniche di analisi e specifica dei requisiti: analisi, definizione, specifica
* PSS - Processi di Sviluppo del Software
Utilizzo di UML su di un caso di studio
* LMS - Linguaggi di Modellazione del Software
Linguaggio UML come formalismo per sostenere l'intero ciclo di vita del software
* PSC - Progettazione del Software e Codifica
UML per analisi e specifica dei requisiti, per la progettazione, prototipazione, gestione, sviluppo e documentazione di un progetto
* PSS - Processi di Sviluppo del Software
Analisi quantitativa dei sistemi software: attributi rilevanti e metriche. Qualit? del software
* PSS - Processi di Sviluppo del Software
Validazione dei sistemi software: Testing di difetto e testing operazionale
* PSS - Processi di Sviluppo del Software
Gestione dei sistemi software: configurazione, manutenzione, riuso
* PSS - Processi di Sviluppo del Software
Metodi e tecniche per la progettazione architetturale e di dettaglio: funzionali, relazionali, orientate agli oggetti, statiche e dinamiche

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
Modularita', astrazione e Programmazione orientata agli oggetti
PCC - Programmazione Concorrente
Concorrenza
PCC - Programmazione Concorrente
Programmazione Logica
* SS - Sintassi e Semantica
Fondamenti
* P - Procedure
Funzioni
* P - Procedure
Procedure, Tipi, Gestione della memoria e controllo

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
Introduzione al linguaggio C, struttura dei programmi. Introduzione alle tecnologie di sviluppo di programmi in C.
* P - Procedure
Tipi di dato base, costanti, variabili, espressioni. Istruzione di assegnamento. Primitive di Input/Output. Strutture di controllo:sequenzializzazione, if-then-else, iterazione e ciclo
* SDTD - Strutture Dati e Tipi di Dati astratti
Tipi di dato strutturati: array, stringhe. Puntatori
* SCP - Sviluppo e Correttezza dei Programmi
Funzioni. Struttura a blocchi e regole di scoping. Meccanismi di passaggio dei parametri ed effetti collaterali. Ricorsione e funzioni ricorsive
* SCP - Sviluppo e Correttezza dei Programmi
Analisi di programmi C non banali
PP - Paradigmi di Programmazione
Introduzione alla progettazione e sviluppo di programmi avanzati in C

Sillabo dell'insegnamento

• B - Algoritmi
* ASC - Algoritmi su Strutture Combinatorie
Generazione automatica di compilatori. Il compilatore YACC
* SDF - Strutture di Dati Fondamentali
Traduzione guidata dalla sintassi: definizioni dirette dalla sintassi, schemi di traslazione
* SDF - Strutture di Dati Fondamentali
Analisi semantica e type checking. Codice intermedio. Un caso di studio: compilazione di linguaggi multidimensionali
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Linguaggi formali e compilatori. Grammatiche e automi. Fasi della compilaizone. Analisi lessicale: token, pattern, lessemi
* SDF - Strutture di Dati Fondamentali
Il compilatore LEX. Analisi sintattica: parsing top-down e bottom-up
* SDF - Strutture di Dati Fondamentali
Parsing predittivo non ricorsivo. Parsing LR: tecniche SLR, LALR, LR canonica

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
Matrici e sistemi lineari
MAT/02 - Algebra
Determinanti
MAT/02 - Algebra
Spazi vettoriali
MAT/02 - Algebra
Applicazioni dell'algebra delle matrici alla geometria analitica nel piano e nello spazio
MAT/02 - Algebra
Spazi euclidei
MAT/02 - Algebra
Trasformazioni lineari e diagonalizzazione
MAT/03 - Geometria
Aritmetica degli interi e prime nozioni di Teoria dei numeri: congruenze e funzione di Eulero
MAT/03 - Geometria
Gruppo di permutazioni. Gruppi e omomorfismi, azione di un gruppo
MAT/03 - Geometria
Aritmetica dei polinomi. Anelli e omomorfismi. Calcolo dei quozienti, introduzione ai campi.

Sillabo dell'insegnamento

• H - Computazione su rete
GRC - Gestione di Reti di Calcolatori
Strato di rete. Routing, routing gerarchico. IP, IPv6, multicast.
* MIR - Modelli di Interazione in Rete
Strato di link e LAN. Rivelazione e Correzione degli errori. Protocolli MAC. Reti LAN. Cenni di ATM.
* SR - Sicurezza delle Reti
Cenni sulle applicazioni multimediali e la sicurezza nelle reti di calcolatori.
* ARTC - Architettura delle Reti di Calcolatori
Introduzione alle reti di Calcolatori ed Internet. Architettura a livelli.
PASR - Programmazione di Applicazioni e Servizi di Rete
Strato di applicazione. HTTP, FTP, SMTP, DNS. Programmazione socket
GRC - Gestione di Reti di Calcolatori
Strato di trasporto. TCP, UDP. Controllo di congestione.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
Applicazioni ed esempi
MAT/09 - Ricerca Operativa
Teoria delle dualità
MAT/09 - Ricerca Operativa
Relazioni min-max nei problemi di ottimizzazione combinatoria. Matching e insieme stabile su grafi
MAT/09 - Ricerca Operativa
Programmazione Lineare Intera: Knapsack binario, Covering, Packing e Partitioning
MAT/09 - Ricerca Operativa
Formulazioni e piani di taglio per i problemi di Programmazione Lineare Intera
MAT/09 - Ricerca Operativa
Metodi di enumerazione: Branch-and-bound, Programmazione Dinamica
MAT/09 - Ricerca Operativa
Metaeuristiche: Ricerca Locale, Tabu Search, Greedy Randomized Adaptive Search Procedure (GRASP), Simulated Annealing
MAT/09 - Ricerca Operativa
Applicazioni: problemi di pianificazione degli investimenti, problemi di localizzazione di impianti, problemi di distribuzione
MAT/09 - Ricerca Operativa
Problemi di decisione: decisioni e loro codifica, variabili di decisione, vincoli e obiettivi; decisioni qualitative e quantitative, modelli lineari, non lineari, interi/booleani. Formulazione di prob
MAT/09 - Ricerca Operativa
Relazioni duali e loro interpretazione. Proprieta' algebriche e geometriche. Esempi: giochi, data fitting, etc
MAT/09 - Ricerca Operativa
Uso di EXCEL per la risoluzione di modelli lineari.
MAT/09 - Ricerca Operativa
Algoritmi per la programmazione lineare, principi di funzionamento del metodo del simplesso

Sillabo dell'insegnamento

• F - Sistemi operativi
* SCO - Struttura e Componenti di un sistema operativo
Concetti generali, strutture dei sistemi di calcolo e dei sistemi operativi
* SCO - Struttura e Componenti di un sistema operativo
I processi e lo scheduling della CPU
* GSP - Gestione e Sincronizzazione dei Processi
Sincronizzazione tra processi e la gestione del deadlock
* GM - Gestione della Memoria
Gestione della memoria principale
* GM - Gestione della Memoria
La memoria virtuale
* FS - File System
Il file system
* GM - Gestione della Memoria
Programmazione di sistema in ambiente UNIX: gestione dei files
* FS - File System
Programmazione di sistema in ambiente UNIX - gestione dei processi, segnali, pipes
PS - Programmazione di Sistema
Programmazione di sistema in ambiente UNIX: sockets

Sillabo dell'insegnamento

• C - Programmazione
* SS - Sintassi e Semantica
Introduzione, Cenni storici. Architetture di Applicazioni Web: CGI, Scripting, Architettura Three-Tier.
* SS - Sintassi e Semantica
Sistemi Client-Side, Linguaggi : HTML/CSS, DHTML, JavaScript/ECMAScript. Document Object Model. Applicazioni Server-Side, Linguaggi : PHP4, ANSI SQL
* SDTD - Strutture Dati e Tipi di Dati astratti
Modellazione di Applicazioni Web: Logiche di Business, Dati e Presentazione. Modellazione di Sistemi Data-Intensive. Progettazione e realizzazione
V - Varie
Sistemi di Commercio Elettronico. Sistemi di Pagamento mediante Carta di Credito.
* PSA - Problem Solving e Algoritmi
Sessioni e Autenticazione. Aspetti di Sicurezza per la trasmissione di dati. Cenni sulla Firma Digitale
V - Varie
Casi di Studio: Commercio Elettronico, News Portal

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
Funzioni Calcolabili e non calcolabili, problema della fermata, insiemi ricorsivi e ricorsivamente enumerabili
SLP - Semantica dei Linguaggi di Programmazione
Linguaggi e problemi, accettabilit? e decidibilit? di linguaggi, calcolo non deterministico.
TIC - Teoria dell'Informazione e Codici
Elementi di teoria della complessit?: misure statiche e dinamiche, classi di complessit? spaziali e temporali, le classi di problemi P e di NP
TIC - Teoria dell'Informazione e Codici
La congettura P=NP? NP- completezza. Schema di Dimostrazione di NP- completezza. Enunciato del Teorema di Cook
SLP - Semantica dei Linguaggi di Programmazione
Elementi di Logica: calcolo delle proposizioni, calcolo dei predicati, sistemi formali
* CAL - Calcolabilita'
Elementi di Teoria della Calcolabilità: numerabilità, concetti di algoritmo e modello di calcolo, tesi di Church, macchina Turing e macchina a registri.