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. Serie Numeriche.
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
MAT/05 - Analisi Matematica
Calcolo integrale per funzioni di più variabili
MAT/05 - Analisi Matematica
Limiti, continuità e calcolo differenziale per funzioni reali di più variabili
MAT/05 - Analisi Matematica
Calcolo integrale

Sillabo dell'insegnamento

• E - Architetture
V - Varie
Concetti di base: hardware, software, macchina di Von Neumann. Codifica caratteri, numeri interi e reali. Aritmetica interi e reali.
* CCS - Circuiti combinatori e sequenziali
Algebra di Boole. Funzioni ed espressioni booleane. Minimizzazione di funzioni booleane a mappe di Karnaugh. Analisi e sintesi di reti combinatorie. Operatori e moduli combinatori fondamentali.
* CCS - Circuiti combinatori e sequenziali
Flip-flop sincroni e asincroni. Registri e contatori. Reti sequenziali: diagrammi di stato e tabelle di flusso. Analisi e sintesi di reti sequenziali sincrone.
* ASS - Linguaggio Assembler
Linguaggio macchina e assembler. Repertorio delle istruzioni e modelli di architettura. Repertorio RISC e CISC. Indirizzamento dei dati e del controllo.
* LMP - Livello di Microprogrammazione
CPU: struttura interna e componenti. Fasi di fetch ed execute. Realizzazione unità di controllo a logica cablata e a logica multiprogrammata. Prestazioni della CPU. Bus di Sistema: caratteristiche meccaniche, elettriche e logico-funzionali. Allocazione del bus.
GM - Gestione della Memoria
Memoria: criteri di classificazione. Memoria principale, memoria cache e dischi magnetici. Principio di località e organizzazione gerarchica. Sottosistema di I/O: interfacce, porte di I/O e loro indirizzamento. Modalità di gestione delle periferiche: a controllo di programma, a controllo di interruzione e tramite accesso diretto alla memoria (DMA).

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/06 - Probabilita' e Statistica Matematica
Variabili aleatorie discrete: media, varianza, momenti, funzione generatrice dei momenti, disuguaglianza di Chebychev. Esempi
MAT/06 - Probabilita' e Statistica Matematica
Modelli di urna: estrazioni con e senza reimbussolamento. 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. Esempi. Variabili aleatorie discrete: la legge di Bernoulli, la legge binomiale, la legge di Poisson. Esempi
MAT/06 - Probabilita' e Statistica Matematica
Concetti di base: eventi, variabili aleatorie, probabilità. Esempi
MAT/06 - Probabilita' e Statistica Matematica
Convergenze: convergenza in distribuzione, convergenza in probabilità, convergenza quasi certa. Esempi. Legge dei grandi numeri. Esempi.
MAT/06 - Probabilita' e Statistica Matematica
Catene di Markov a tempo discreto ed omogenee: classificazione degli stati, probabilita' congiunte, distribuzioni statzionarie, teorema ergodico. Esempi. La legge gaussiana e il teorema centrale del limite. Esempi.

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
* LMS - Linguaggi di Modellazione del Software
Linguaggio UML come formalismo per sostenere l'intero ciclo di vita del software
* 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
* CB - Costrutti di Base
Organizzazione strutturata degli elaboratori, modelli computazionali, linguaggi di programmazione e loro standard
PP - Paradigmi di Programmazione
Programmazione imperativa con linguaggi ad alto livello orientati alla programmazione di sistema
* SDTD - Strutture Dati e Tipi di Dati astratti
Tipi di dato base e derivati; rappresentazione dei dati
V - Varie
Gestione della memoria; programmazione a basso livello
• E - Architetture
AA - Architetture Avanzate
I linguaggi macchina; i processi di assemblaggio e disasseblaggio
AA - Architetture Avanzate
Programmazione con linguaggi assembly; traduzione dei costrutti principali di un linguaggio di programmazione ad alto livello in un linguaggio assembly

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
Logica proposizionale: Senso e denotazione, Connettivi, Sintassi, Induzione, Semantica, Teorema di compattezza, Equivalenza semantica, Completezza funzionale, Forme Normali, Dualità
MAT/02 - Algebra
Sistemi Deduttivi: Proprietà intuitive dei sistemi deduttivi. La Deduzione Naturale, Sistemi Assiomatici, Formule e tipi.
MAT/02 - Algebra
Altri Sistemi Assiomatici, Relazione tra ND e H, Il Calcolo dei Sequenti, Eliminazione del taglio, Invertibilità delle regole logiche.
MAT/02 - Algebra
Correttezza e Completezza: Deduzione Naturale, Sistema Assiomatico, Calcolo dei Sequenti
MAT/02 - Algebra
Teoria degli insiemi: Nozioni e simboli basilari, insiemi, relazioni ordine, congruenze, permutazioni, combinazioni. Funzioni.
MAT/02 - Algebra
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.
MAT/03 - Geometria
Calcolo dei quozienti, introduzione ai campi.
MAT/03 - Geometria
Calcolo matriciale: Applicazioni lineari, rango. Riduzione di Gauss di una matrice, Determinante di una matrice
MAT/03 - Geometria
Struttura del gruppo delle permutazioni. Decomposizione in cicli e parità, Spazi vettoriali e sottospazi.
MAT/03 - Geometria
Fondamenti di teoria dei grafi e di teoria dei codici lineari

Sillabo dell'insegnamento

• A - Fondamenti
* CAL - Calcolabilita'
Introduzione, Principi e concetti di Calcolabilità
SLP - Semantica dei Linguaggi di Programmazione
Elementi fondamentali dei paradigmi di programmazione
• C - Programmazione
PP - Paradigmi di Programmazione
Lisp e Scheme: funzioni, ricorsione, liste
PP - Paradigmi di Programmazione
La famiglia dei linguaggi Algol e linguaggio ML.
* CB - Costrutti di Base
Il sistema dei tipi e inferenza di tipi. Scope, Funzioni e Gestione della memoria. Strutture di controllo in linguaggi sequenziali.
* POO - Programmazione Orientata agli Oggetti
Concetti base dei Linguaggi Object-Oriented con riferimento a C++ e Java.

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
* AMM - Amministrazione di sistema
Unix e Linux amministrazione
PS - Programmazione di Sistema
Sistema Linux utilizzi avanzati
* 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
PS - Programmazione di Sistema
Sistema Linux caratteristiche

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.