Sillabo dell'insegnamento

• B - Algoritmi
SDA - Strutture di Dati Avanzate
Tecniche di hashing per la gestione di tabelle, Tecniche di bilanciamento di alberi.
* SDF - Strutture di Dati Fondamentali
Strutture dati fondamentali: pile e code. Algoritmi per la loro manipolazione: inserimento, cancellazione.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi asintotica.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche di progetto (divide-et-impera, golosa, ...).
* A - Algoritmi fondamentali
Algoritmi fondamentali (ricerca, ordinamento, ...).
* SDF - Strutture di Dati Fondamentali
Grafi: rappresentazione, algoritmi di visita. Alberi: visite, alberi binari di ricerca.
* ASC - Algoritmi su Strutture Combinatorie
Algoritmi su grafi (cammini minimi, minimo albero ricoprente, ...).
* ASC - Algoritmi su Strutture Combinatorie
Algoritmi approssimati. Fondamenti ed esempi (minimum vertex cover).
* SDF - Strutture di Dati Fondamentali
Strutture dati elementari: vettori, matrici, liste. Algoritmi per la loro manipolazione: ricerca, inserimento, cancellazione
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche di base per l'analisi della complessità computazionale.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche di progettazione algoritmi.
TAA - Tecniche Algoritmiche Avanzate
Programmazione di strutture dati e confronto critico dei risultati teorici e sperimentali.

Sillabo dell'insegnamento

• E - Architetture
V - Varie
Sviluppo di microprogrammi e di programmi assembler.
GIO - Gestione dell'Input/Output
Architettura dell'unità centrale e di ingresso-uscita.
* LII - Livello Instruction Set
Strutturazione firmware e comunicazioni.
* LII - Livello Instruction Set
Processori, gerarchie di memorie, comunicazioni, dispositivi.
* AC - Aritmetica dei calcolatori
Reti combinatorie, Sistemi a livelli.
VMP - Valutazione e Miglioramento delle Prestazioni
Principi di parallelismo e cooperazione (validi a tutti i livelli), prestazioni
* LII - Livello Instruction Set
Processi, spazi di indirizzamento, primi elementi di nucleo minimo.
* ASS - Linguaggio Assembler
Caratteristiche dei linguaggi di programmazione assembler con riferimento ad uno specifico caso di studio.
* CCS - Circuiti combinatori e sequenziali
Funzionamento dell'elaboratore e delle sue parti hardware.
* LMP - Livello di Microprogrammazione
Caratteristiche dei linguaggi di microprogrammazione con riferimento ad uno specifico caso di studio.
AA - Architetture Avanzate
Multiprocessori e multicalcolatori.
AA - Architetture Avanzate
Memoria a più livelli e parallelismo a livello di istruzioni.

Sillabo dell'insegnamento

• G - Basi di dati
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Tecniche di progettazione e gestione di sistemi di basi di dati con riferimento a SQL.
* LI - Linguaggi di Interrogazione di Basi di Dati
Il linguaggio SQL.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Architettura funzionale dei DBMS.
* DBMS - Sistemi di Gestione di Basi di Dati
Gestione ed evoluzione di basi di dati.
* PC - Progettazione concettuale
Progettazione concettuale di basi di dati.
* LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggi di interrogazione di basi di dati.
* ML - Modelli logici
Modelli di dati.
* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi per basi di dati
* PC - Progettazione concettuale
Metodi relativi.
* PL - Progettazione Logica
Progettazione logica di basi di dati.
V - Varie
Principi per la definizione, interrogazione, gestione ed evoluzione delle basi di dati.
V - Varie
Realizzazione di basi di dati.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Introduzione alla Statistica inferenziale: popolazione e campione casuale, intervalli fiduciari, tests di ipotesi.
MAT/06 - Probabilita' e Statistica Matematica
Catene di Markov.
MAT/06 - Probabilita' e Statistica Matematica
Teoremi limite. Approssimazione di modelli finiti con la distribuzione di Gauss.
MAT/06 - Probabilita' e Statistica Matematica
Regressione lineare e non lineare, correlazione tra variabili.Utilizzo di software statistici
MAT/06 - Probabilita' e Statistica Matematica
Elementi di Calcolo delle Probabilità. Probabilità classica. Probabilità condizionata. Variabili aleatorie. Principali leggi di probabilità discrete e continue.
MAT/06 - Probabilita' e Statistica Matematica
Statistica descrittiva con applicazioni al computer.

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
* ALF - Automi e Linguaggi Formali
Modelli di calcolo (Macchine di Turing).
* CAL - Calcolabilita'
Equivalenza Versioni Macchine di Turing e Tesi di Church.
* CAL - Calcolabilita'
Risultati fondamentali di teoria della calcolabilità.
* CAL - Calcolabilita'
Risultati fondamentali di teoria della calcolabilità.
* ALF - Automi e Linguaggi Formali
Gerarchia di Chomsky.
* ALF - Automi e Linguaggi Formali
Relazioni tra Insiemi Ricorsivi-Ricors. Enumerabili e Linguaggi generati da grammatiche.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
Partizioni e relazioni di equivalenza. Calcolo combinatorio.
MAT/02 - Algebra
Aritmetica: divisione. MCD, mcm, primi, classi resto, polinomi.
MAT/02 - Algebra
Tecniche di induzione.
MAT/02 - Algebra
Sistemi di equazioni lineari, matrici, determinanti.
MAT/02 - Algebra
Gruppi, anelli, omomorfismi.
MAT/05 - Analisi Matematica
Limiti di successioni e di funzioni in una variabile reale.
MAT/05 - Analisi Matematica
Alcuni limiti notevoli.
MAT/05 - Analisi Matematica
Funzioni continue.
MAT/05 - Analisi Matematica
Derivate ed integrali (definiti ed indefiniti).
MAT/05 - Analisi Matematica
Studio di funzione.
MAT/05 - Analisi Matematica
Polinomi di Taylor, Serie numeriche.
MAT/02 - Algebra
Spazi vettoriali.

Sillabo dell'insegnamento

• I - Ingegneria del software
* LMS - Linguaggi di Modellazione del Software
Principali diagrammi UML.
* TVV - Testing, Verifica e Validazione
Validazione.
MES - Manutenzione ed Evoluzione del Software
Processi di supporto (gestione e controllo, documentazione, ...).
* TVV - Testing, Verifica e Validazione
Verifica.
* ASW - Architetture Software
Realizzazione di sistema software.
* PSS - Processi di Sviluppo del Software
Specifica dei requisiti.
* PSC - Progettazione del Software e Codifica
Progettazione di sistema software.
* ASW - Architetture Software
Architetture software .
* AR - Analisi dei Requisiti
Analisi dei requisiti.
* PSS - Processi di Sviluppo del Software
Metodologie di sviluppo del software.
* LMS - Linguaggi di Modellazione del Software
Modelli di sistema.
* LMS - Linguaggi di Modellazione del Software
Progettazione di un sistema software in UML.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Modelli e teorie.
MAT/01 - Logica Matematica
Elementi di logica.
MAT/01 - Logica Matematica
Logica predicativa, logica proposizionale.
MAT/01 - Logica Matematica
Calcoli logici.
MAT/01 - Logica Matematica
Deduzione naturale.
MAT/01 - Logica Matematica
Rappresentabilità logica.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Calcolo di radici di equazioni non lineari.
MAT/08 - Analisi Numerica
Soluzioni numeriche di sistemi di equazioni lineari.
MAT/08 - Analisi Numerica
Stabilità numerica e numero di condizionamento di un problema.
MAT/08 - Analisi Numerica
Rappresentazione dei numeri in un computer.
MAT/08 - Analisi Numerica
Sorgenti di errore ed errore di propagazione.
MAT/09 - Ricerca Operativa
Teoria della PL. Richiami di algebra lineare.
MAT/09 - Ricerca Operativa
Il metodo del Simplesso.
MAT/09 - Ricerca Operativa
Dualità e analisi della sensitività. Ottimalità nella Programmazione Lineare. Analisi della sensitività.
MAT/09 - Ricerca Operativa
PLI e Ottimizzazione su Reti.
MAT/09 - Ricerca Operativa
Il metodo di Branch & Bound. Problemi di trasporto: definizione, formulazione del problema e proprietà.
MAT/09 - Ricerca Operativa
Problemi di cammino minimo: definizione, formulazione del problema e proprietà.
MAT/08 - Analisi Numerica
Interpolazione numerica ed introduzione all'integrazione numerica.

Sillabo dell'insegnamento

• C - Programmazione
* PSA - Problem Solving e Algoritmi
Algoritmi e problem-solving.
* SS - Sintassi e Semantica
Sintassi dei linguaggi di programmazione.
* SS - Sintassi e Semantica
Semantica dei linguaggi di programmazione.
* CB - Costrutti di Base
Costrutti di base della programmazione.
* SDTD - Strutture Dati e Tipi di Dati astratti
Tipi di dati.
* P - Procedure
Funzioni e procedure.
* R - Ricorsione
Ricorsione.
* SCP - Sviluppo e Correttezza dei Programmi
Correttezza dei programmi.
* POO - Programmazione Orientata agli Oggetti
Elementi di programmazione a oggetti: Classi, oggetti, ereditarietà, polimorfismo.
* POO - Programmazione Orientata agli Oggetti
Il linguaggio Java.
V - Varie
Relativi ambienti di sviluppo.
* POO - Programmazione Orientata agli Oggetti
Sviluppo di un progetto software in Java.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• H - Computazione su rete
DR - Dispositivi di Rete
Supporti di trasmissione.
* PT - Protocolli
Protocolli di basso livello.
* PT - Protocolli
Protocolli di comunicazione, TCP/IP, instradamento e trasporto.
* PT - Protocolli
Protocolli e servizi per applicazioni di rete.
GRC - Gestione di Reti di Calcolatori
Monitor del traffico di rete.
* SR - Sicurezza delle Reti
Sicurezza delle Reti.
GRC - Gestione di Reti di Calcolatori
Analisi del traffico di rete tramite uno sniffer - wireshark.
* PT - Protocolli
Il protocollo TCP/IP: analisi formato dei pacchetti e dei datagrammi.
* PT - Protocolli
Il protocollo TCP/IP: analisi dei protocolli applicativi e utility.
DR - Dispositivi di Rete
Il protocollo TCP/IP: analisi dei socket, porte, aprire e chiudere una connessione, controllo di flusso e congestione.
* SR - Sicurezza delle Reti
Sicurezza informatica (laboratorio).
* SR - Sicurezza delle Reti
Firewall (laboratorio).

Sillabo dell'insegnamento

• F - Sistemi operativi
* SCO - Struttura e Componenti di un sistema operativo
Struttura di un sistema operativo.
MA - Modelli e Architetture di sistemi operativi
Sviluppo dei moderni sistemi (e scelte progettuali che lo guidano).
MA - Modelli e Architetture di sistemi operativi
Tassonomia dei Sistemi Operativi (Utente, Architettura, Dominio).
* GSP - Gestione e Sincronizzazione dei Processi
Gestione dei processi: scheduling, sincronizzazione e deadlock problem.
* GM - Gestione della Memoria
Gestione memoria e dispositivi.
* FS - File System
Gestione file in ambiente centralizzato e distribuito.
MA - Modelli e Architetture di sistemi operativi
Modello client/server.
* AMM - Amministrazione di sistema
Interfaccia utente Unix-Linux.
* SCO - Struttura e Componenti di un sistema operativo
Strutture dati di Unix-Linux.
PS - Programmazione di Sistema
System calls Unix-Linux.
PS - Programmazione di Sistema
Programmazione in ambiente Unix -Linux.
PS - Programmazione di Sistema
Programmazione di rete in ambiente Unix-Linux.