Sillabo dell'insegnamento

• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
Grafi
* SDF - Strutture di Dati Fondamentali
Alberi: rappresentazione e visite.
* SDF - Strutture di Dati Fondamentali
Dizionari: Alberi bilanciati (AVL), Tabelle hash (liste di trabocco e indirizzamento aperto).
* A - Algoritmi fondamentali
Programmazione dinamica: LCS, Partizione e Zaino
* A - Algoritmi fondamentali
Complessità computazionale e modelli di calcolo
* A - Algoritmi fondamentali
Algoritmi per sequenze statiche e dinamiche: ricerca e ordinamento.
* A - Algoritmi fondamentali
Ordinamento basato su confronti: Insertion sort, Merge-sort, Quick-sort, Heap sort
* A - Algoritmi fondamentali
Ordinamento di interi: Counting sort, Radix Sort. Ordinamento di stringhe: qsort-based.
* A - Algoritmi fondamentali
Algoritmi randomizzati: Quicksort, Karp-Rabin.
• C - Programmazione
* PSA - Problem Solving e Algoritmi
Laboratorio di Algoritmica
* PSA - Problem Solving e Algoritmi
Laboratorio di Algoritmica
* PSA - Problem Solving e Algoritmi
Laboratorio di Algoritmica

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Limiti di funzioni.
MAT/05 - Analisi Matematica
Infinitesimi ed infiniti.
MAT/05 - Analisi Matematica
Funzioni continue e funzioni derivabili: principali proprietà
MAT/05 - Analisi Matematica
Studio di una funzione e del suo grafico.
MAT/05 - Analisi Matematica
Ricerca dei punti di massimo e di minimo.
MAT/05 - Analisi Matematica
L'integrale e le sue proprietà; teorema fondamentale del calcolo integrale.
MAT/05 - Analisi Matematica
Metodi di integrazione
MAT/05 - Analisi Matematica
Cenni su equazioni differenziali lineari del I e II ordine e a variabili separabili.
MAT/05 - Analisi Matematica
Successioni e serie numeriche.

Sillabo dell'insegnamento

• E - Architetture
GIO - Gestione dell'Input/Output
architettura base di un calcolatore general-purpose: ingresso-uscita
GM - Gestione della Memoria
Architettura base di un calcolatore general-purpose: gerarchie di memoria
AA - Architetture Avanzate
Architettura base di un calcolatore general-purpose:tecnologie esistenti di processori, evoluzioni e tendenze tecnologiche
* LII - Livello Instruction Set
Tecniche di compilazione di processi e supporto a tempo di esecuzione.
* ASS - Linguaggio Assembler
Il livello della macchina assembler;
* LMP - Livello di Microprogrammazione
Il livello firmware: progetto di unità di elaborazione e comunicazioni;
* LMP - Livello di Microprogrammazione
Il livello firmware: progetto di unità di elaborazione e comunicazioni;
* AC - Aritmetica dei calcolatori
Rappresentazione binaria e strutture di calcolo
* CCS - Circuiti combinatori e sequenziali
Il livello hardware: reti logiche combinatorie e sequenziali

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)
* PC - Progettazione concettuale
I meccanismi di astrazione dei modelli dei dati. Progettazione concettuale delle basi di dati.
* PL - Progettazione Logica
Le dipendenze fra i dati. Decomposizioni di schemi relazionali. Forme normali.
* ML - Modelli logici
La teoria relazionale delle 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 SQL per creare e usare basi di dati

Sillabo dell'insegnamento

• A - Fondamenti
* CAL - Calcolabilita'
Il modello delle machine di turing.
* CAL - Calcolabilita'
Linguaggi calcolabili, MdT universale
* CAL - Calcolabilita'
Funzioni ricorsive e linguaggi di programmazione, Totalità e diagonalizzazione
* CAL - Calcolabilita'
Riducibilità, problemi insolubili
* CAL - Calcolabilita'
Funzioni di misura di tempo e spazio
COM - Complessita'
Classi (tempo/spazio) deterministiche e non. P- e NP-completezza
* ALF - Automi e Linguaggi Formali
Automi a stati finiti e linguaggi regolari
* ALF - Automi e Linguaggi Formali
Grammatiche Libere e Push down automata
* ALF - Automi e Linguaggi Formali
Problemi di decisione e automi

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Spazi di probabilità, probabilità condizionata e indipendenza
MAT/06 - Probabilita' e Statistica Matematica
probabilità: formula di Bayes
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie discrete e con densità, valori attesi e momenti, indipendenza di variabili aleatorie
MAT/06 - Probabilita' e Statistica Matematica
principali esempi di variabili aleatorie
MAT/06 - Probabilita' e Statistica Matematica
statistica descrittiva
MAT/06 - Probabilita' e Statistica Matematica
Definizione di modello statistico: stime, intervalli di fiducia e test statistici

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Rappresentazione dei numeri reali e analisi dell'errore numerico
MAT/08 - Analisi Numerica
Condizionamento di un problema e complessità computazionale di un algoritmo numerico
MAT/08 - Analisi Numerica
Condizionamento di un problema e complessità computazionale di un algoritmo numerico
MAT/08 - Analisi Numerica
Metodi iterativi per le equazioni non lineari: i principali metodi e lo studio della loro convergenza.
MAT/08 - Analisi Numerica
Metodi numerici per l'algebra lineare: i principali metodi diretti e iterativi per la risoluzione di sistemi lineari.
MAT/08 - Analisi Numerica
Interpolazione e integrazione numerica: il polinomio di interpolazione, le formule di quadratura interpolatorie.

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
Standard per la modellazione: Unified Modelling Language (UML 2)
* AR - Analisi dei Requisiti
Analisi del domino e dei requisiti: modelli statici (classi, casi d'uso) e dinamici (attività, macchine a stati, narrazioni).
* ASW - Architetture Software
Architetture software: viste strutturali, comportamentali, logistiche. Stili architettonici.
* PSC - Progettazione del Software e Codifica
Progettazione architettonica: Realizzazione dei casi d'uso, specifica di componenti e connettori.
* PSC - Progettazione del Software e Codifica
Progettazione di dettaglio: Progettazione di componenti orientata agli oggetti.
* TVV - Testing, Verifica e Validazione
Verifica: Progettazione delle prove - criteri funzionali e strutturali.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
* LPD - Logica e Programmazione Dichiarativa
Risoluzione dei problemi con la ricerca: ricerca informata
* LPD - Logica e Programmazione Dichiarativa
Ricerca locale ed esplorazione
* RP - Risoluzione di Problemi
Problemi di soddisfacimento di vincoli
* RP - Risoluzione di Problemi
Problemi con avversario
* SBC - Sistemi Basati su Conoscenza
Logiche deduttive e descrittive
* SBC - Sistemi Basati su Conoscenza
Programmazione Logica e pianificazione
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento induttivo di concetti e alberi di decisione
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento statistico: Naive Bayes
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Introduzione alle reti neurali

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Calcolo preposizionale e le tecniche di dimostrazione
L - Logica
Calcolo dei predicati e le tecniche di dimostrazione
SLP - Semantica dei Linguaggi di Programmazione
La semantica assiomatica: le triple di Hoare
SLP - Semantica dei Linguaggi di Programmazione
Verifica di proprieta' di programmi con le triple di Hoare
SLP - Semantica dei Linguaggi di Programmazione
Verifica di invarianti
L - Logica
Logica e programmazione

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Prime nozioni di logica proposizionale e tecniche di dimostrazione
MAT/01 - Logica Matematica
Insiemi, relazioni, funzioni.
MAT/01 - Logica Matematica
Principio di induzione e definizioni per ricorrenza.
MAT/01 - Logica Matematica
Il concetto di cardinalita' e nozioni di calcolo combinatorio
MAT/01 - Logica Matematica
Calcolo dei Predicati
MAT/01 - Logica Matematica
Tecinche di dimostrazione per la logica del primo ordine
MAT/02 - Algebra
Aritmetica e congruenze. Numeri complessi.
MAT/02 - Algebra
Fattorizzazione negli anelli di polinomi sui numeri reali e complessi
MAT/02 - Algebra
Spazi vettoriali e basi
MAT/02 - Algebra
Sistemi lineari e loro intepretazione geometrica
MAT/02 - Algebra
Prodotti scalari. Operazioni su matrici e determinanti. Risoluzione di sistemi lineari.
MAT/02 - Algebra
Polinomio caratteristico e criteri di diagonalizzabilita' di operatori lineari.

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Sistemi grafici e Fondamenti di grafica
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Programmazione ad eventi
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Programmazione di interfacce grafiche
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Programmazione di GUI
* IMW - Ipertesti, Multimedialità e WWW
Interfacce Web
* IMW - Ipertesti, Multimedialità e WWW
Elementi di Grafica 3D

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Introduzione agli Automi a Stati Finiti
* ALF - Automi e Linguaggi Formali
Grammatiche e proprietà di base
SLP - Semantica dei Linguaggi di Programmazione
La Semantica Denotazionale dei Linguaggi di Programmazione: Definizioni Ricorsive
SLP - Semantica dei Linguaggi di Programmazione
La Semantica Denotazionale dei Linguaggi di Programmazione: Ambiente. Memoria e Puntatori
• C - Programmazione
* CB - Costrutti di Base
La Programmazione Funzionale in CAML
* R - Ricorsione
Progetto e realizzazioni di Funzioni Ricorsive in CAML
* R - Ricorsione
Progetto e realizzazioni di Funzioni Ricorsive in CAML
* CB - Costrutti di Base
La Programmazione Funzionale in CAML
* CB - Costrutti di Base
La Programmazione Funzionale: Introduzione
* SDTD - Strutture Dati e Tipi di Dati astratti
Il sistema di tipi di CAML
* SCP - Sviluppo e Correttezza dei Programmi
Laboratorio di Programmazione CAML e Verifica
* SCP - Sviluppo e Correttezza dei Programmi
Laboratorio di Programmazione CAML e Verifica

Sillabo dell'insegnamento

• C - Programmazione
* SS - Sintassi e Semantica
Semantica Operazionale e Progetto di Linguaggi
* POO - Programmazione Orientata agli Oggetti
Progetto e corretteza di programmi a oggetti
* POO - Programmazione Orientata agli Oggetti
La programmazione orientata agli oggetti: un esempio di linguaggio Java
• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Paradigma Funzionale
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Paradigma Imperativo
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Paradigma a Oggetto
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Progetto e Realizzazione Interprete Linguaggio Funzionale
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Progetto e Realizzazione Interprete Linguaggio Imperativo
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Progetto e Realizzazione Interprete Linguaggio Orientato a Oggetti

Sillabo dell'insegnamento

• H - Computazione su rete
* MIR - Modelli di Interazione in Rete
Modelli computazionali per la comunicazione.
* PT - Protocolli
La suite di protocolli TCP/IP: Il rrasporto
* PT - Protocolli
La suite di protocolli TCP/IP: Le applicazioni
* MIR - Modelli di Interazione in Rete
Laboratorio di progettazione e sviluppo di applicazioni di rete.
* MIR - Modelli di Interazione in Rete
Laboratorio di progettazione e sviluppo di applicazioni di rete.
* MIR - Modelli di Interazione in Rete
Laboratorio di progettazione e sviluppo di applicazioni di rete.
* SR - Sicurezza delle Reti
Autenticazione, segretezza e Integrità
* MIR - Modelli di Interazione in Rete
Laboratorio di progettazione e sviluppo di applicazioni di rete.
* MIR - Modelli di Interazione in Rete
Laboratorio di progettazione e sviluppo di applicazioni di rete.
* PT - Protocolli
La suite di protocolli TCP/IP: routing
* PT - Protocolli
La suite di protocolli TCP/IP: link
* MIR - Modelli di Interazione in Rete
Laboratorio di progettazione e sviluppo di applicazioni di rete.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
Grafi e Reti di flusso
MAT/09 - Ricerca Operativa
Grafi e Reti di flusso
MAT/09 - Ricerca Operativa
Programmazione Lineare
MAT/09 - Ricerca Operativa
Programmazione Lineare
MAT/09 - Ricerca Operativa
Modelli per problemi di ottimizzazione
MAT/09 - Ricerca Operativa
Modelli per problemi di ottimizzazione

Sillabo dell'insegnamento

• F - Sistemi operativi
PS - Programmazione di Sistema
Processi e Thread
PS - Programmazione di Sistema
Meccanismi di IPC: Pipe
PS - Programmazione di Sistema
Maccanismi di IPC : Socket
* AMM - Amministrazione di sistema
Configurazione e gestione in ambiente Linux
* AMM - Amministrazione di sistema
Configurazione e gestione in ambiente Linux
PS - Programmazione di Sistema
Unix: concetti di base, comandi/utility
* AMM - Amministrazione di sistema
Sistemi UNIX, Linux e Windows
* FS - File System
File system e sua realizzazione
GP - Gestione delle Periferiche
Dispositivi di I/O e la loro gestione: dischi e RAID
* GM - Gestione della Memoria
La gestione della memoria
* GSP - Gestione e Sincronizzazione dei Processi
Intrerazione tra processi
* SCO - Struttura e Componenti di un sistema operativo
Il sistema operativo: ruolo, funzionalità e struttura. I processi