Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Elementi di logica e teoria degli insiemi
MAT/02 - Algebra
Numeri interi e divisibilita'
MAT/02 - Algebra
Elementi di teoria dei gruppi
MAT/02 - Algebra
Elementi di teoria degli anelli
MAT/02 - Algebra
Il campo dei numeri complessi
MAT/03 - Geometria
Spazi vettoriali
MAT/03 - Geometria
Algebra delle matrici
MAT/03 - Geometria
Sistemi lineari
MAT/03 - Geometria
Autovalori e autovettori

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
Modelli di Calcolo: macchina RAM RASP, simulazione, criteri di costo
• B - Algoritmi
* A - Algoritmi fondamentali
Algoritmi di ordinamento avanzati
* SDF - Strutture di Dati Fondamentali
Tabelle Hash, operazioni union find
* SDF - Strutture di Dati Fondamentali
Alberi binari di ricerca, alberi bilanciati
SDA - Strutture di Dati Avanzate
Alberi 2-3, 2-3-4, red-black
TAA - Tecniche Algoritmiche Avanzate
Programmazione dinamica, algoritmi greedy
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche di Progetto, divide et impera
* A - Algoritmi fondamentali
Algoritmi di ordinamento
* SDF - Strutture di Dati Fondamentali
Grafi e Alberi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Implementazione e analisi sperimentale algoritmi di ordinamento
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Successioni numeriche, equazioni di ricorrenza, funzioni generatrici
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi matematica degli algoritmi
* SDF - Strutture di Dati Fondamentali
Strutture dati elementari
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Implementazione e analisi sperimentale di strutture e algoritmi di ricerca
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Implementazione e analisi sperimentale di algoritmi union find

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Numeri reali
MAT/05 - Analisi Matematica
Liniti e successioni
MAT/01 - Logica Matematica
Esercitazioni (limiti, successioni, serie)
MAT/01 - Logica Matematica
Esercitazioni (studio di funzioni, calcolo integrale)
MAT/01 - Logica Matematica
Equazioni differenziali del primo ordine
MAT/05 - Analisi Matematica
Serie numeriche
MAT/05 - Analisi Matematica
Funzioni
MAT/05 - Analisi Matematica
Calcolo differenziale e studio di funzioni
MAT/05 - Analisi Matematica
Calcolo integrale

Sillabo dell'insegnamento

• H - Computazione su rete
* PT - Protocolli
World Wide Web
PASR - Programmazione di Applicazioni e Servizi di Rete
Architettura di applicazioni Web
PASR - Programmazione di Applicazioni e Servizi di Rete
Linguaggi per applicazioni Web

Sillabo dell'insegnamento

• E - Architetture
* CCS - Circuiti combinatori e sequenziali
Algebra di Boole, Porte logiche, elementi di progettazione
* AC - Aritmetica dei calcolatori
Rappresentazione binaria dei numeri interi, frazionari e reali. Operazioni di somma e di complemento a 2
* LII - Livello Instruction Set
L'Instruction Set Architecture della macchina MIPS. Datapath della macchina MIPS.
* LMP - Livello di Microprogrammazione
Principi di microprogrammazione. La microprogrammazione delle principali istruzioni della macchina MIPS.
GM - Gestione della Memoria
Organizzazione della memoria. Memorie cache.
GIO - Gestione dell'Input/Output
Istruzioni di I/O. I/O memory mapped. Interrupt. Il BUS.
VMP - Valutazione e Miglioramento delle Prestazioni
Cenni al calcolo del tempo di esecuzione delle istruzioni e al miglioramento delle prestazioni mediante riorganizzazione del datapath. Cenni al pipelining
* ASS - Linguaggio Assembler
Programmazione in Assembler della macchina MIPS
* ASS - Linguaggio Assembler
Programmazione in Assembler della macchina MIPS

Sillabo dell'insegnamento

• G - Basi di dati
* PC - Progettazione concettuale
Progettazione concettuale e normalizzazione
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Architettura interna di un DBMS
TCR - Transazioni, Concorrenza e Recovery
Transazioni
* LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggio di interrogazione SQL
* ML - Modelli logici
Modello Relazionale
* LI - Linguaggi di Interrogazione di Basi di Dati
Algebra relazionale
* PC - Progettazione concettuale
Modello concettuale E-R
LP - Linguaggi di Programmazione di Basi di Dati
SQL e altri linguaggi di programmazione (embedded SQL)
* DBMS - Sistemi di Gestione di Basi di Dati
Access, SQLServer, MySQL, PostgreSQL

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

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

Sillabo dell'insegnamento

• A - Fondamenti
V - Varie
Algoritmi, macchine e linguaggi
* CAL - Calcolabilita'
Macchina di Turing
• C - Programmazione
* CB - Costrutti di Base
Costrutti base
* SDTD - Strutture Dati e Tipi di Dati astratti
Tipi di dati astratti e ricorsione
• D - Linguaggi
* LF - Linguaggi Formali
Espressioni regolari e grammatiche
• E - Architetture
* AC - Aritmetica dei calcolatori
Rappresentazione binaria

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
Gestione I/O in C
* CB - Costrutti di Base
Introduzione al linguaggio C
* SDTD - Strutture Dati e Tipi di Dati astratti
Definizione di strutture dati ricorsive in C

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Rudimenti di probabilit
MAT/06 - Probabilita' e Statistica Matematica
Variabili casuali e distribuzioni
MAT/06 - Probabilita' e Statistica Matematica
Valori attesi e funzioni di variabili casuali
MAT/06 - Probabilita' e Statistica Matematica
Campionamento
MAT/06 - Probabilita' e Statistica Matematica
Stima puntuale
MAT/06 - Probabilita' e Statistica Matematica
Stima per intervalli

Sillabo dell'insegnamento

• H - Computazione su rete
* FCD - Fondamenti del Calcolo Distribuito
Programmazione in ambiente distribuito
V - Varie
Uso dei Socket in Java
V - Varie
Sistemi Client Server
• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
Ciclo di vita del Software e Principi di Ingegneria del Software
* ASW - Architetture Software
Architetture Software
* PSS - Processi di Sviluppo del Software
Tecniche di progettazione Object Oriented
* TVV - Testing, Verifica e Validazione
Pre-, post-condizioni e invarianti di classe
* LMS - Linguaggi di Modellazione del Software
UML: Diagrammi dei casi d'uso, delle classi e di sequenza
V - Varie
Design Patterns
• L - Interazione, grafica e multimedialità
V - Varie
Programmazione per eventi in Java
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Progetto di Interfacce Grafiche
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Modellazione dell'interazione Uomo Macchina
V - Varie
Librerie Swing
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Sviluppo di Interfacce Grafiche in Java (Base)
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Sviluppo di Interfacce Grafiche in Java (Avanzato)

Sillabo dell'insegnamento

• C - Programmazione
* PSA - Problem Solving e Algoritmi
Algoritmi e programmi.
* SS - Sintassi e Semantica
Linguaggi: sintassi e semantica.
* SS - Sintassi e Semantica
Linguaggi di programmazione: dall'assembler ai linguaggi di alto livello.
* CB - Costrutti di Base
Elementi di base del linguaggio Java: tipi primitivi, tipi riferimento ed espressioni.
* CB - Costrutti di Base
Strutture di controllo.
* POO - Programmazione Orientata agli Oggetti
Java: classi, metodi ed oggetti.
PP - Paradigmi di Programmazione
Implementazione delle classi, ereditariertà e polimorfismo.
* CB - Costrutti di Base
Eccezioni.
* SDTD - Strutture Dati e Tipi di Dati astratti
Liste e alberi.
* SCP - Sviluppo e Correttezza dei Programmi
Laboratorio: gli strumenti della programmazione java e sviluppo dei programmi.
* PSA - Problem Solving e Algoritmi
Laboratorio: dal problema alla sua implementazione in Java.
* CB - Costrutti di Base
Laboratorio: Implementazione delle classi.
* POO - Programmazione Orientata agli Oggetti
Laboratorio: uso ed implementazione dell'ereditarietà.
* POO - Programmazione Orientata agli Oggetti
Laboratorio: utilizzo delle interfacce e dei tipi generici.
* SDTD - Strutture Dati e Tipi di Dati astratti
Laboratorio: uso ed implementazione delle struttiure dati, algortimi di ricerca e di ordinamento.

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 ai S.O. Evoluzione storica dei S.O. Componenti di un S.O.
MA - Modelli e Architetture di sistemi operativi
La struttura a microkernel di Minix 3. I processi di sistema e la comunicazione mediante messaggi.
* GSP - Gestione e Sincronizzazione dei Processi
Processi e thread. Meccansimi di sincronizzazione: semafori e monitor.
* GSP - Gestione e Sincronizzazione dei Processi
Programmazione e sincronizzazione di processi e thread concorrenti. I processi classici di sincronizzazione (produttori-consumatori, 5 filosofi, ...)
* FS - File System
Operazioni su file e directory. Strutture dati del kernel relative a file aperti e processi. Pipe. Directory. Implementazione dei filesystem. Hard link e soft link.
* FS - File System
Network file system. Il Virtual File System di Linux. Controllo dell'integrità di un filesystem. Transazioni. Journaled file systems. ReiserFS.
* GM - Gestione della Memoria
Memoria virtuale paginata. Algoritmi di rimpiazzo. Località dei processi, working set. Memoria virtuale segmentata. Gestione della memoria nell'architettura x86.
* GM - Gestione della Memoria
Implementazione di malloc(3). VM in 4.3BSD. Memory-mapped files. Architetture moderne di memoria virtuale. Monitorare l'uso della memoria. Algoritmi VM-friendly.
GP - Gestione delle Periferiche
File speciali e device. La costruzione di un driver per Linux.
GCA - Gestione e Controllo degli Accessi
Crittografia simmetrica. Funzioni botola, digest. Autenticazione e autorizzazione.
GCA - Gestione e Controllo degli Accessi
Software nocivi: back door, logic bomb, Trojan horse, worm, virus. Il Morris Worm. La back door di Thompson. Buffer overflow.
PS - Programmazione di Sistema
Signal. Server programming. FIFOs.
PS - Programmazione di Sistema
Unix utente e programmazione di shell
GP - Gestione delle Periferiche
Esempi di gestione dei file e dei dispotivi fisici in ambiente Unix
* AMM - Amministrazione di sistema
Amministrazione di sistemi Unix