Sillabo dell'insegnamento

• B - Algoritmi
* 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.
* ASC - Algoritmi su Strutture Combinatorie
Algoritmi su grafi (cammini minimi, minimo albero ricoprente, ...).
SDA - Strutture di Dati Avanzate
Tecniche di hashing per la gestione di tabelle, Tecniche di bilanciamento di alberi.
TAA - Tecniche Algoritmiche Avanzate
Programmazione di strutture dati e confronto critico dei risultati teorici e sperimentali
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche di progettazione algoritmi.
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
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.
* SDF - Strutture di Dati Fondamentali
Strutture dati fondamentali: pile e code. Algoritmi per la loro manipolazione: inserimento, cancellazione.

Sillabo dell'insegnamento

• E - Architetture
V - Varie
Sviluppo di microprogrammi e di programmi assembler.
* ASS - Linguaggio Assembler
Caratteristiche dei linguaggi di programmazione assembler con riferimento ad uno specifico caso di studio.
* LMP - Livello di Microprogrammazione
Caratteristiche dei linguaggi di microprogrammazione con riferimento ad uno specifico caso di studio.
* CCS - Circuiti combinatori e sequenziali
Funzionamento dell'elaboratore e delle sue parti hardware.
* 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.
* LII - Livello Instruction Set
Processori, gerarchie di memorie, comunicazioni, dispositivi.
* LII - Livello Instruction Set
Strutturazione firmware e comunicazioni.
GIO - Gestione dell'Input/Output
Architettura dell'unità centrale e di ingresso-uscita.
AA - Architetture Avanzate
Memoria a più livelli e parallelismo a livello di istruzioni.
AA - Architetture Avanzate
Multiprocessori e multicalcolatori.

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi per basi di dati.
* ML - Modelli logici
Modelli di dati.
* LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggi di interrogazione di basi di dati.
* PC - Progettazione concettuale
Progettazione concettuale di basi di dati.
* PL - Progettazione Logica
Progettazione logica di basi di dati.
* LI - Linguaggi di Interrogazione di Basi di Dati
Il linguaggio SQL.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Gli insiemi numerici N, Q, R; estremo superiore ed inferiore, massimo e minimo di un sottoinsieme di R; Il principio di induzione; complementi: l'assioma di completezza e la definizione assiomatica di R.
MAT/05 - Analisi Matematica
Successioni numeriche: definizioni, teoremi ed operazioni generali sui limiti di successioni, limiti notevoli; successioni monotone e successioni definite per ricorsione; successioni di Cauchy e il teorema di Bolzano-Weierstrass.
MAT/05 - Analisi Matematica
Funzioni reali di variabile reale: definizioni, teoremi ed operazioni generali sui limiti di funzioni; proprietà delle funzioni continue e delle funzioni monotone; teorema di Weierstrass; teorema dell'esistenza degli zeri e dei valori intermedi; complementi: continuità uniforme.
MAT/05 - Analisi Matematica
Derivata di una funzione: definizione, esempi, proprietà; teoremi sulle funzioni derivabili. Criteri di monotonia e convessità, studio qualitativo del grafico di una funzione.
MAT/05 - Analisi Matematica
Infinitesimi ed infiniti; Formula di Taylor, e suo uso nel calcolo di limiti.
MAT/05 - Analisi Matematica
Integrale definito ed indefinito. Serie numeriche e loro proprietà.
MAT/02 - Algebra
Elementi di teoria dei gruppi. Esempi di gruppi. Proprietà elementari dei gruppi. Sottogruppi. Gruppi ciclici.
MAT/02 - Algebra
Laterali e teorema di Lagrange. Sottogruppi normali e gruppi quoziente. Morfismi. I teoremi di isomorfismo.
MAT/02 - Algebra
Elementi di teoria degli anelli. Anelli e campi. Ideali. Anelli quoziente. Morfismi. Teoremi di isomorfismo per gli anelli. Caratteristica di un anello.
MAT/02 - Algebra
Anelli di polinomi. Ideali primi e massimali. Fattorizzazione unica.
MAT/02 - Algebra
Domini ad ideali principali. Domini euclidei. Polinomi irriducibili.
MAT/02 - Algebra
Elementi di teoria dei campi. Estensioni di campi. Campi di spezzamento. Chiusura algebrica.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Successioni di funzioni: Limiti sotto il segno di integrale e di derivata. Serie di funzioni: Convergenza puntuale, uniforme e totale di serie di funzioni. Serie trigonometriche e serie di Fourier.
MAT/05 - Analisi Matematica
Calcolo infinitesimale per funzioni reali di due variabili reali: Massimi e minimi relativi. Funzioni implicite. Teorema di Dini. Massimi e minimi vincolati. Moltiplicatori di Lagrange. Cenni in piu' variabili.
MAT/05 - Analisi Matematica
Integrazione di funzioni in due variabili su domini normali: Cambio di variabile per integrali doppi. Cenni all'integrazione di funzioni di tre variabili. Equazioni differenziali ordinarie: Il problema di Cauchy. Esistenza e unicità locale.
MAT/05 - Analisi Matematica
Risultati di esistenza globale. Analisi qualitativa delle soluzioni. Lemma di Gromwall. Curve nel piano: Lunghezza di una curva. Cenni sugli integrali curvilinei in due variabili.
MAT/05 - Analisi Matematica
Forme differenziali lineari: Forme chiuse ed esatte. Integrale curvilineo di una forma differenziale lineare. Formule di Gauss-Green e Stokes in due variabili.
MAT/05 - Analisi Matematica
Cenni sul teorema sulle forme differenziali in un aperto semplicemente connesso in R^2. Campi irrotazionali.
MAT/08 - Analisi Numerica
Sorgenti di errore ed errore di propagazione.
MAT/08 - Analisi Numerica
Rappresentazione dei numeri in un computer
MAT/08 - Analisi Numerica
Stabilità numerica e numero di condizionamento di un problema.
MAT/08 - Analisi Numerica
Soluzioni numeriche di sistemi di equazioni lineari.
MAT/08 - Analisi Numerica
Calcolo di radici di equazioni non lineari.
MAT/08 - Analisi Numerica
Interpolazione numerica ed introduzione all'integrazione numerica.

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, Automi).
* ALF - Automi e Linguaggi Formali
Macchine di Turing e Tesi di Church.
* CAL - Calcolabilita'
Risultati fondamentali di teoria della calcolabilità.
* ALF - Automi e Linguaggi Formali
Gerarchia di Chomsky. Relazioni tra Insiemi Ricorsivi-Ric Enumerabili e Linguaggi.
COM - Complessita'
Efficienza di un algoritmo.
COM - Complessita'
Classi di complessità (P, NP, ...), P = NP?, problemi NP-completi.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

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

• 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 in Java: Classi, oggetti, ereditarietà, polimorfismo.
* POO - Programmazione Orientata agli Oggetti
Sviluppo di un progetto software in Java.
* POO - Programmazione Orientata agli Oggetti
Sviluppo di un progetto software in Java.
* POO - Programmazione Orientata agli Oggetti
Sviluppo di un progetto software in Java.

Sillabo dell'insegnamento

• F - Sistemi operativi
* 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
Programmazione in ambiente Unix -Linux.
MA - Modelli e Architetture di sistemi operativi
Modello client/server.
PS - Programmazione di Sistema
Programmazione di rete in ambiente Unix-Linux.
PS - Programmazione di Sistema
Programmazione avanzata di rete Unix-Linux
• H - Computazione su rete
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

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