Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
Congruenze
MAT/02 - Algebra
Autovalori e autovettori
MAT/02 - Algebra
Matrici
MAT/02 - Algebra
Sistemi lineari
MAT/02 - Algebra
Spazi vettoriali e sottospazi
MAT/02 - Algebra
Applicazioni lineari

Sillabo dell'insegnamento

• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
Sequenze, vettori, liste, pile, code
* SDF - Strutture di Dati Fondamentali
Alberi liberi, alberi binari, alberi di ricerca
* SDF - Strutture di Dati Fondamentali
Dizionari, tabelle hash
* SDF - Strutture di Dati Fondamentali
Code con priorità, heap, heapsort
* SDF - Strutture di Dati Fondamentali
Insiemi, union-find
* SDF - Strutture di Dati Fondamentali
Grafi, visite DFS e BFS
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Divide et impera, mergesort, ricerca binaria
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Programmazione dinamica
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Greedy, Ricerca locale
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Backtracking
* A - Algoritmi fondamentali
Quicksort, Shellsort, Counting sort
* ASC - Algoritmi su Strutture Combinatorie
Algoritmi per minimo albero di copertura e cammini minimi

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Limiti di funzioni di una variabile reale
MAT/05 - Analisi Matematica
I numeri: N,Z,Q,R. Il principio di induzione.
MAT/05 - Analisi Matematica
Successioni e serie.
MAT/05 - Analisi Matematica
Infinitesimi ed infiniti. Formula di Taylor.
MAT/05 - Analisi Matematica
Continuita' (proprieta' locali e globali).
MAT/05 - Analisi Matematica
Derivate di di funzioni di una variabile reale
MAT/05 - Analisi Matematica
Monotonia. Massimi e minimi locali.
MAT/05 - Analisi Matematica
Studio di una funzione di una variabile reale.
MAT/05 - Analisi Matematica
Calcolo integrale per funzioni di una variabile : primitive e integrale.
MAT/05 - Analisi Matematica
Calcolo integrale per funzioni di due variabili.
MAT/05 - Analisi Matematica
Integrale generalizzato.
MAT/05 - Analisi Matematica
Introduzione al calcolo differenziale per funzioni di piu' variabili reali. Continuita' e derivabilita' di una funzione di due variabili reali.

Sillabo dell'insegnamento

• E - Architetture
V - Varie
Organizzazione generale a livelli dei computer, Rappresentazione dell'informazione, Componenti hardware e software di un computer, BIOS e boot, Sistema Operativo, Mappaggio del linguaggio ANSI C sull'assembly.
* LMP - Livello di Microprogrammazione
Data Path, Operazioni in memoria, Segnali di controllo per il Data Path e temporizzazione, Un esempio di micro-architettura, Formato delle micro-istruzioni, Il micro-programma.
* ASS - Linguaggio Assembler
Architettura 8088 (8086), Organizzazione della memoria e segmenti, Operazioni in memoria, Formato delle istruzioni assembly, Indirizzamento, Istruzioni, Cicli, Salti, Chiamate a procedure, Interrupt, System Calls.
* LII - Livello Instruction Set
Registri, Indirizzamento in memoria, Interrupt ed eccezioni, I/O, Modelli di I/O. Caso di Studio: Architettura Intel IA-32
* CCS - Circuiti combinatori e sequenziali
Fondamenti su Reti logiche, algebra di Boole, reti combinatorie, reti sequenziali, Memorie, CPU e bus.
* AC - Aritmetica dei calcolatori
Rappresentazione dei numeri interi e floating point, Operazioni aritmetiche, Operazioni Logiche, La ALU

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
Funzionalità dei sistemi per la gestione di basi di dati (DBMS) vs altri sistemi di archiviazione.
* PC - Progettazione concettuale
I meccanismi di astrazione dei modelli dei dati. Progettazione concettuale delle basi di dati.
* PC - Progettazione concettuale
Modello ER e ristrutturazione di schemi ER.
* PL - Progettazione Logica
Le dipendenze fra i dati. Decomposizioni di schemi relazionali. Forme normali.
* ML - Modelli logici
La teoria relazionale delle basi di dati.
* ML - Modelli logici
Il calcolo su tuple
* LI - Linguaggi di Interrogazione di Basi di Dati
Il linguaggio SQL per creare e usare basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
Il linguaggio SQL per creare e usare basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
Il linguaggio Datalog ed i trigger in SQL
* DBMS - Sistemi di Gestione di Basi di Dati
Architettuta di un DBMS, componenti di un DBMS
NBD - Normalizzazione di Basi di Dati
Analisi delle ridondanze, dipendenze funzionali, forme normali e tecniche di normalizzazione
TCR - Transazioni, Concorrenza e Recovery
La nozione di transazione e le proprietà acide, concorrenza, recovery, cenni di ottimizzazione

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Eventi e numeri aleatori
MAT/06 - Probabilita' e Statistica Matematica
Probabilità e previsione, probabilità e previsioni subordinate
MAT/06 - Probabilita' e Statistica Matematica
Varianza, covarianza, coefficiente di correlazione, diseguaglianza di Chebichev, legge debole dei grandi numeri
MAT/06 - Probabilita' e Statistica Matematica
Distribuzioni discrete e assolutamente continue
MAT/06 - Probabilita' e Statistica Matematica
Elementi di catene di Markov
MAT/06 - Probabilita' e Statistica Matematica
Inferenza statistica

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Numeri Finitio
MAT/08 - Analisi Numerica
Funzioni Polinomiali
MAT/08 - Analisi Numerica
Interpolazione
MAT/08 - Analisi Numerica
Integrazione Numerica
MAT/08 - Analisi Numerica
Equazioni non Lineari
MAT/08 - Analisi Numerica
Algebra Lineare Numerica

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'
Linguaggi subricorsivi: ricorsione primitiva, sistema T;incompletezza dei formalismi totali;
* CAL - Calcolabilita'
Macchine di Turing e altri formalismi equivalenti; la tesi di Church.
* CAL - Calcolabilita'
Il problema della terminazione, altri problemi indecidibili; il teorema di Rice.
* CAL - Calcolabilita'
Insiemi ricorsivi e ricorsivamente enumerabili; il teorema di Rice-Shapiro.
* CAL - Calcolabilita'
Il teorema del punto fisso di Kleene.
* CAL - Calcolabilita'
Riducibilita'; insiemi produttivi, creativi, immuni, semplici. Calcolabilita' e (in)completezza.
COM - Complessita'
Problemi computazionali;
COM - Complessita'
Modelli di Computazione e misure di Complessita';
COM - Complessita'
Classi e gerarchie di complessita'
COM - Complessita'
classi notevoli; riduzione
COM - Complessita'
P vs NP, Problemi NP-completi
COM - Complessita'
Complessita' con oracoli

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
Processi strutturati e processi agili
* AR - Analisi dei Requisiti
Il modello di analisi
* PSC - Progettazione del Software e Codifica
Raffinamento di modelli Dominio del problema e dominio della soluzione I design pattern
* TVV - Testing, Verifica e Validazione
Il testing nei processi software
MSQ - Misure del Software e Qualita'
Misure di qualità del software Principi di progettazione object-oriented
* LMS - Linguaggi di Modellazione del Software
Linguaggi di Modellazione del Software UML

Sillabo dell'insegnamento

• C - Programmazione
PP - Paradigmi di Programmazione
Cenni di programmazione concorrente.
PCC - Programmazione Concorrente
Il paradigma funzionale, logico e imperativo a confronto.
* POO - Programmazione Orientata agli Oggetti
Il paradigma object-oriented, nozioni generali e cenni impolementativi.
• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Tipi e controllo di tipo.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Controllo di sequenza, procedure, ricorsione. Parametri e modalità di passaggio.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Cenni alla struttura di un compilatore.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Ambiente, regole di scoping, gestione della memoria.
* LF - Linguaggi Formali
Sintassi e grammatiche generative.
* LF - Linguaggi Formali
Grammatiche regolari, automi regolari, espressioni regolari.
* LF - Linguaggi Formali
Grammatiche libere da contesto, automi a pila
* LF - Linguaggi Formali
Grammatiche LL(1), LR(0), SLR, LR(1), LALR
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Macchine astratte, interpreti, compilatori.

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Interpretazioni. Semantica per un linguaggio predicativo. Soddisfacibilità e equivalenze semantiche. Forma normale prenessa e algoritmo di Skolem. Deduzione naturale. Teorema di correttezza. Teorema di completezza. Teorema di compattezza.
L - Logica
Linguaggi del prim'ordine. Predicati, termini, quantificatori. Sintassi. Variabili libere e vincolate.
L - Logica
Ricorsione e induzione strutturale.
L - Logica
Linguaggi proposizionali: sintassi e semantica. Soddisfacibilità; equivalenze semantiche.
L - Logica
Forme normali congiuntive e disgiuntive. Compattezza. Deduzione Naturale. Correttezza e completezza.
L - Logica
Riduzione ad enunciati universali teorema di Herbrand-Skolem. Risoluzione proposizionale. Unificazione. Risoluzione al prim'ordine.

Sillabo dell'insegnamento

• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
Problemi di assegnamento
TAA - Tecniche Algoritmiche Avanzate
Programmazione lineare
TAA - Tecniche Algoritmiche Avanzate
L'algoritmo del simplesso
TAA - Tecniche Algoritmiche Avanzate
Programmazione lineare intera
TAA - Tecniche Algoritmiche Avanzate
Problemi di flusso
TAA - Tecniche Algoritmiche Avanzate
Problemi di ottimizzazione

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Grammatiche BNF
• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
Alberi
* SDF - Strutture di Dati Fondamentali
Alberi binari
• C - Programmazione
* P - Procedure
Funzioni
* R - Ricorsione
Funzioni ricorsive
* CB - Costrutti di Base
Comandi condizionali e cicli
* SS - Sintassi e Semantica
Identificatori, dichiarazioni, tipi di dato
* POO - Programmazione Orientata agli Oggetti
Sottoclassi e ereditarietà
* POO - Programmazione Orientata agli Oggetti
Classi
* SDTD - Strutture Dati e Tipi di Dati astratti
Strutture dati dinamiche
* SDTD - Strutture Dati e Tipi di Dati astratti
Strutture
* SDTD - Strutture Dati e Tipi di Dati astratti
Array

Sillabo dell'insegnamento

• H - Computazione su rete
* FCD - Fondamenti del Calcolo Distribuito
Applicazioni distribuite e loro requisiti, integrazione di calcolo e comunicazioni, prestazioni, affidabilità, standard, protocolli di comunicazione (sintassi e semantica).
* ARTC - Architettura delle Reti di Calcolatori
Strutturazione delle architetture di rete in gerarchie di protocolli, Open System Interconnection Reference Model
* ARTC - Architettura delle Reti di Calcolatori
Tecniche di codifica del segnale, individuazione di errori, trasmissione affidabile, gli standard 802.3, 802.5, 802.11 e i relativi protocolli di accesso (protocolli MAC).
* ARTC - Architettura delle Reti di Calcolatori
Commutazione di pacchetto, datagrams, circuiti virtuali, switching, forwarding e routing, reti ATM, interconnessione di reti, modelli di servizio, indirizzamento globale, routing globale.
* PT - Protocolli
Protocolli IP, ARP, DHCP, ICMP, RIP, OSPF, IPV6, multicasting e il Protocol Independent Multicast (PIM).
* PT - Protocolli
Protocolli end-to-end, UDP, TCP.
* PT - Protocolli
Controllo di congestione e allocazione di risorse in TCP, meccanismi di prevenzione della congestione di rete, qualità del servizio.
* MIR - Modelli di Interazione in Rete
il modello client-server, i protocolli di chiamate di procedure remote.
PASR - Programmazione di Applicazioni e Servizi di Rete
Il Domain Name System, l'applicazione di posta elettronica (SMTP, MIME, IMAP), il World Wide Web (HTTP).
PASR - Programmazione di Applicazioni e Servizi di Rete
L'interfaccia socket TCP/IP. Implementazione di Applicazioni a base UDP e TCP.
PASR - Programmazione di Applicazioni e Servizi di Rete
Applicazioni con thread Posix, server multiprocesso e I/O multiplexing.
PASR - Programmazione di Applicazioni e Servizi di Rete
Monitoraggio della rete: ricezione avvisi ICMP, DNS. API per gestione di memoria condivisa. Comunicazione tra processi e pthread con socket Unix. Cenni su netfilter/iptables.

Sillabo dell'insegnamento

• B - Algoritmi
V - Varie
History of cryptography, Secret-key techniques, one-time pad, The DES algorithm
V - Varie
Public-key techniques, The RSA algorithm, Correctness and efficiency of RSA, Primality testing, Authentication, Digital signatures, Message integrity, Digest algorithms, Key escrow, Secret Sharing
• F - Sistemi operativi
V - Varie
User Authentication, Passwords, Spoofing, Dictionary attacks, Discretionary Access Control, Mandatory Access Control, Capabilities
• H - Computazione su rete
* SR - Sicurezza delle Reti
Trustworthiness, Security policies, Trust models, PGP, Technologies for secure channels, SSL
* SR - Sicurezza delle Reti
Phishing, Keylogger, Sniffing attacks, Smart Cards, Biometrics
* SR - Sicurezza delle Reti
Firewalls, Packet Filters, Proxy Servers, IPSec, Auditing, Intrusion Detection Systems

Sillabo dell'insegnamento

• C - Programmazione
PCC - Programmazione Concorrente
programmazione concorrente
• F - Sistemi operativi
* SCO - Struttura e Componenti di un sistema operativo
Struttura dei sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
semafori spinlock
* GSP - Gestione e Sincronizzazione dei Processi
monitor scheduler
GP - Gestione delle Periferiche
device driver e gestione memoria secondaria
* FS - File System
interfaccia e implementazione dei FS
* GM - Gestione della Memoria
segmentazione paginazione mem. virtuale
* AMM - Amministrazione di sistema
installazione configurazione e manutenzione dei SO
GCA - Gestione e Controllo degli Accessi
sicurezza dei SO
PS - Programmazione di Sistema
interfaccia POSIX
MA - Modelli e Architetture di sistemi operativi
microkernel macchine virtuali
V - Varie
implementazione di sistmei sperimentali

Sillabo dell'insegnamento

• H - Computazione su rete
* PT - Protocolli
Protocolli di VII livello: SMTP, NNTP, HTTP, codifica caratteri, URI
• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialità e WWW
Linguaggi di markup per il Web (HTML, XHTML, CSS)
* IMW - Ipertesti, Multimedialità e WWW
XML e linguaggi associati (namespace, XPath, XSLT, XML Schema)
* IMW - Ipertesti, Multimedialità e WWW
Programmazione per il Web server-side (PHP, Perl, Python)
* IMW - Ipertesti, Multimedialità e WWW
Markup e metalinguaggi di markup (SGML, XML, TeX, ecc.)
* IMW - Ipertesti, Multimedialità e WWW
Programmazione per il Web client-side (Javascript, AJAX framework)