Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
Notazione asintotica e ricorrenze
• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
Alberi, Grafi
* SDF - Strutture di Dati Fondamentali
Liste, pile, code, insiemi, alberi, grafi
* A - Algoritmi fondamentali
Algoritmi fondamentali su alberi e grafi
TAA - Tecniche Algoritmiche Avanzate
Paradigma generativo e selettivo: tecnica enumerativa, greedy, di backtracking e divide et impera
SDA - Strutture di Dati Avanzate
Code con priorità, Heap, di zionari e tabelle di hash
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Specifiche algebriche di strutture dati
• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
Introduzione all'orientata agli oggetti e al linguaggio C++
* SDTD - Strutture Dati e Tipi di Dati astratti
Realizzazione di strutture Dati Astratti

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Sistema dei numeri reali. Funzioni reali di variabile reale.
MAT/05 - Analisi Matematica
Successioni numeriche.
MAT/05 - Analisi Matematica
Limiti di funzioni. Comportamenti asintotici. Continuità.
MAT/05 - Analisi Matematica
Serie numeriche.
MAT/05 - Analisi Matematica
Derivate e relative proprietà locali.
MAT/05 - Analisi Matematica
Applicazioni delle derivate nello studio di funzioni.
MAT/05 - Analisi Matematica
Polinomi di Taylor e loro applicazioni.
MAT/05 - Analisi Matematica
Integrazione indefinita.
MAT/05 - Analisi Matematica
Integrazione secondo Riemann. Teorema fondamentale del calcolo. Integrali impropri.

Sillabo dell'insegnamento

• E - Architetture
* CCS - Circuiti combinatori e sequenziali
Algebra di Boole Porte logiche Esempi di circuiti combinatori e sequenziali
* AC - Aritmetica dei calcolatori
Aritmetica reale e aritmetica finita Sistemi di numerazione Rappresentazione binaria dei numeri naturali, interi, reali Codifica dell'informazione numerica e non numerica
* LII - Livello Instruction Set
Caratteristiche delle istruzioni macchina Tipi di operandi, dati, istruzioni Formati di istruzioni Metodi di indirizzamento
* LMP - Livello di Microprogrammazione
Struttura interna della CPU, Data Path Ciclo di istruzione Implementazione dell'unità di controllo
* ASS - Linguaggio Assembler
Livello del linguaggio Assembly La programmazione Assembly nell'8086 Utilizzo dell'ambiente EMU8086
• F - Sistemi operativi
* SCO - Struttura e Componenti di un sistema operativo
Diverse tipologie di Sistemi Operativi Principali componenti dei Sistemi Operativi Principali modelli strutturali
* GSP - Gestione e Sincronizzazione dei Processi
Definizione di processo e stati di un processo Gestione e schedulazione dei processi Sincronizzazione e concorrenza di processi
* GM - Gestione della Memoria
Concetto di memoria virtuale Tecniche di rilocazione Tecniche di gestione della memoria (partizionamento, segmentazione, paginazione)
* FS - File System
Organizzazione logica e fisica del file system Metodi di accesso ai file Metodi di allocazione

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
Architettura dei DBMS
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Il modello relazionale
LP - Linguaggi di Programmazione di Basi di Dati
Il modello relazionale
* LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggi di interrogazione
* LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggi di interrogazione
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Linguaggi di interrogazione
* ML - Modelli logici
Progettazione di basi di dati
* PL - Progettazione Logica
Progettazione di basi di dati
NBD - Normalizzazione di Basi di Dati
Normalizzazione di Basi di Dati

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Lambda calcolo, combinatori, sostituzione, teorema del punto fisso
COM - Complessita'
Complessità
* CAL - Calcolabilita'
Determinismo e non determinismo, Problema dell'alt, Classe P e NP.
* CAL - Calcolabilita'
Funzioni ricorsive, ricorsive prinitive, minimalizzazione, funzioni ricorsive parziali
* CAL - Calcolabilita'
Sisyema dei sequenti di Gentzen, coerenza, completezza e decidibilità
SLP - Semantica dei Linguaggi di Programmazione
Le macchine URM. sintassi e semantica del Jump. sintassi e semantica di un programma URM

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Spazi di probabilità
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie
MAT/06 - Probabilita' e Statistica Matematica
Teoremi limite
MAT/06 - Probabilita' e Statistica Matematica
Introduzione alla Statistica inferenziale
MAT/06 - Probabilita' e Statistica Matematica
Stimatori e loro proprietà
MAT/06 - Probabilita' e Statistica Matematica
Verifiche di ipotesi e intervalli di confidenza

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Numeri macchina. Errori di arrotondamento e troncamento. Condizionamento. Analisi della stabilita' degli algoritmi.
MAT/08 - Analisi Numerica
Metodi iterativi per la risoluzione di equazioni non-lineari.
MAT/08 - Analisi Numerica
Spazi e sottospazi vettoriali. Calcolo matriciale. Sistemi lineari.
MAT/08 - Analisi Numerica
Norme su spazi lineari. Condizionamento dei sistemi lineari. Algoritmo di fattorizzazione LU.
MAT/08 - Analisi Numerica
Algoritmo di eliminazione di Gauss con tecnica del pivot. Riduzione a scalini di una matrice e applicazioni.
MAT/08 - Analisi Numerica
Interpolazione polinomiale. Sistemi lineari sovradimensionati. Approssimazione ai minimi quadrati. Approssimazione polinomiale.

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
concetti generali di ingegneria del software
AS - Ambienti di Sviluppo
Generalità su ambienti di sviluppo per l'ingegneria del software
* AR - Analisi dei Requisiti
analisi dei requisiti software
* AR - Analisi dei Requisiti
specifica dei requisiti software
* ASW - Architetture Software
stili architetturali, strati, object oriented
* LMS - Linguaggi di Modellazione del Software
linguaggio UML per la modellazione del software
* PSC - Progettazione del Software e Codifica
progettazione/modellazione dei dati
* PSC - Progettazione del Software e Codifica
progettazione e sviluppo di un applicazione/componente software
* TVV - Testing, Verifica e Validazione
Progettazione e realizzazione

Sillabo dell'insegnamento

• C - Programmazione
PP - Paradigmi di Programmazione
Il modello di calcolo dei sistemi a produzione. Linguaggi a regole: CLIPS e Jess
• M - Rappresentazione della conoscenza
RA - Ragionamento Automatico
Ragionamento in condizioni di incertezza
AI - Agenti Intelligenti
I modelli di agente. Agenti per la soluzione di problemi e per la pianificazione
* RP - Risoluzione di Problemi
Risolvere i problemi attraverso ricerca nello spazio degli stati
* SBC - Sistemi Basati su Conoscenza
Agenti basati su conoscenza. Agenti che imparano
AIA - Applicazioni della Intelligenza Artificiale
Sistemi esperti in classificazione, diagnosi, configurazione e pianificazione: casi di studio

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
Programmazione per il Web :HTML5, fogli di stile, introduzione a Javascript e a PhP, CMS
• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Metriche per l'usabilità, accessibilità dei sistemi interattivi
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
generazione dei prototipi, metodi di ispezione per la valutazione dell'usabilità di sistemi interattivi
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Progettazione centrata sull'utente, fattori umani, linee guida per la comunicazione tra utente e calcolatore
TMI - Teorie e Modelli per l'Interazione
Modelli a metafore, modello di Norman, la comunicazione visuale
TMI - Teorie e Modelli per l'Interazione
Principi per il progetto di interfacce utente

Sillabo dell'insegnamento

• C - Programmazione
* P - Procedure
procedure e funzioni, tecniche di passaggio dei parametri, funzioni ricorsive
PP - Paradigmi di Programmazione
principi di programmazione imperativa
* PSA - Problem Solving e Algoritmi
problem solving, realizzazione e prova di algoritmi fondamentali
• D - Linguaggi
MP - Metodologie di Programmazione
principi di programmazione strutturata, la modularità
PLN - Paradigmi Linguistici
esercitazioni in linguaggi imperativi
• E - Architetture
GIO - Gestione dell'Input/Output
gestione input/output
GM - Gestione della Memoria
gestione memoria
• F - Sistemi operativi
MA - Modelli e Architetture di sistemi operativi
uso di sistemi operativi diversi
* FS - File System
file system

Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Linguaggi di programmazione. Gerarchia di linguaggi di programmazione e di macchine astratte: linguaggi macchina, libguaggi assembler, linguaggi di alto livello
* LF - Linguaggi Formali
Linguaggi: Definizioni preliminari (alfabto, parola, stringa, uguaglianza tra parole, concatenazione di parole, potenza di parole, sottostringa, prefisso, suffisso, monoide libero generato da un insieme) Linguaggi formali. Inquadramento della teoria dei linguaggi formali nell'informatica teorica
* LF - Linguaggi Formali
Classificazione di Chomsky. Operazioni sui linguaggi (unione, concatenazione, iterazione, complemento, intersezione, potenza e riflessione) e proprietà di chiusura delle classi di linguaggi rispetto alle oparazioni
* LF - Linguaggi Formali
Generazione di Linguaggi: un'introduzione alle grammatiche. Carte sintattiche e Backaus-Naur Form, grammatiche generative o a struttura di frase, derivazione diretta, derivazione, linguaggio generato da una grammatica, forma di frase, frase, equivalenza tra grammatiche, relazione tra grammatiche e linguaggi, non determinismo, correttezza di una grammatica: indecidibilità del problema
* LF - Linguaggi Formali
Linguaggi liberi dal contasto e dipendenti dal contesto. Linguaggi regolari, espressioni regolari, automi e linguaggi a stati finiti. Teorema di equivalenza delle classi di linguaggi riconosciuti da automi a stati finiti deterministici e non deterministici, teorema di equivalenza delle classi di linguaggi regolari, a stati finiti e lineari destri (teorema di Kleene)
* S - Semantica
Semantica denotazionale, semantica operazionale e cenni di semantica assiomatica. Analisi di programmi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Compilazione e interpretazione: Il modello di un compilatore: analizzatore lessicale, analizzatore sintattico, analizzatore semantico, generazione e ottimizzazione del codice
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi lessicale e realizzazione di uno scanner. Tabella dei simboli: costruzione ed interazione, contenuti, operazioni, organizzazione per linguaggi a blocchi e non, rappresentazione. Analisi sintattica (parsing): alberi sintattici o di derivazione.
MP - Metodologie di Programmazione
Paradigmi di programmazione ed evoluzione dei linguaggi di programmazione

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
Algebra
MAT/03 - Geometria
Geometria
MAT/03 - Geometria
Geometria
MAT/02 - Algebra
Algebra
MAT/02 - Algebra
Algebra
MAT/02 - Algebra
Algebra
MAT/03 - Geometria
Geometria
MAT/02 - Algebra
Algebra
MAT/03 - Geometria
Geometria

Sillabo dell'insegnamento

• C - Programmazione
PP - Paradigmi di Programmazione
Introduzione ai paradigmi di programmazione: operazionale, definizionale e dimostrazionale.
* POO - Programmazione Orientata agli Oggetti
Oggetti, classi concrete, classi astratte, metaclassi, ereditarietà singola ed ereditarietà multipla, polimorfismo, gerarchia di classi e gerarchia di interfacce. Composizione di classi. Confronto tra ereditarietà e composizione nel riuso del software.
* POO - Programmazione Orientata agli Oggetti
Caratteristiche generali del linguaggio Java; Java e Internet; Java vs. C++. Ambienti di sviluppo Java. Oggetti in Java: costruttori; distruttori; metodi, argomenti e valori di ritorno. Controllare il flusso di esecuzione in Java: uso degli operatori Java; il controllo di esecuzione; l'inizializzazione.
* POO - Programmazione Orientata agli Oggetti
Nascondere le implementazioni in Java: i package; i modificatori di accesso; le interfacce. Il riuso delle classi in Java: ereditarietà, derivazione protetta; polimorfismo. I contenitori: array; collezioni; le nuove collezioni.
* POO - Programmazione Orientata agli Oggetti
Approfondimenti su Java: il trattamento delle eccezioni; identificazione di tipo al run-time; programmazione generica in Java; il sistema I/O di Java. Connessione con le Basi di Dati: JDBC.
* POO - Programmazione Orientata agli Oggetti
Approfondimenti su Java: Creazione di interfacce per applicazioni: il package SWING. Programmazione in rete: socket, invocazione di metodi remoti, applet. Il multithreading: creazione di classi attive; sincronizzazione nell'accesso dei metodi.
* POO - Programmazione Orientata agli Oggetti
Esercitazioni in laboratorio sulla definizione singole classi; definizione di più classi organizzate gerarchicamente e in package; definizione di classi astratte e uso del polimorfismo; definizione di classi conn contenitori e trattamento delle eccezioni.
* POO - Programmazione Orientata agli Oggetti
Esercitazioni in laboratorio sulla definizione di classi con I/O da file; definizione di classi per la connessione a database; definizione di classi per la realizzazione di GUI mediante con SWING; definizione di classi per la realizzazione di applicazioni client-server e multithreading, definizione di applet.
• D - Linguaggi
MP - Metodologie di Programmazione
Principi di programmazione con linguaggi orientati ad oggetti. Astrazione, ereditarietà e polimorfismo.

Sillabo dell'insegnamento

• G - Basi di dati
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Gestire informazione non strutturata, Information Retrieval (IR), modelli e metriche per la valutazione di sistemi IR
• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Programmazione di applicazioni e servizi di rete. Motori di ricerca
• M - Rappresentazione della conoscenza
AIA - Applicazioni della Intelligenza Artificiale
Content-based Recommender Systems, Collaborative Filtering
AIA - Applicazioni della Intelligenza Artificiale
Framework per lo sviluppo e la valutazione di sistemi di ritrovamento ed il filtraggio dell'informazione
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento automatico per categorizzazione di testi
BC - Basi di Conoscenza
Integrazione di conoscenza lessicale ed enciclopedia
RA - Ragionamento Automatico
Tecnologie semantiche nel ritrovamento e filtraggio dell'informazione
ARC - Acquisizione e Rappresentazione della Conoscenza
Modelli di rappresentazione della conoscenza
* SBC - Sistemi Basati su Conoscenza
Sistemi per il ritrovamento ed il filtraggio dell'informazione

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
Algoritmi elementari. Algoritmi di ricerca. Algoritmi di ordinamento.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Progettazione di algoritmi. Programmazione strutturata.
• C - Programmazione
* PSA - Problem Solving e Algoritmi
Fasi per la soluzione di un problema
* CB - Costrutti di Base
Sequenza, selezione e iterazione
* P - Procedure
Procedure e funzioni come astrazione di istruzioni e operatori. Parametri.
* R - Ricorsione
Funzioni Ricorsive
* SDTD - Strutture Dati e Tipi di Dati astratti
Array, Record, Puntatori, File
* SCP - Sviluppo e Correttezza dei Programmi
Compilatori e interpreti. Documentazione.
• D - Linguaggi
MP - Metodologie di Programmazione
Programmazione con linguaggi imperativi

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Stratificazione. Modello ISO/OSI. Interconnessione di reti. Architettura di Internet.
* FCD - Fondamenti del Calcolo Distribuito
Introduzione alle reti di calcolatori. Commutazione e multiplicazione. Prestazioni.
* MIR - Modelli di Interazione in Rete
Modelli client-server e peer to peer
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Socket API. Scelta del tipo di servizio
* PT - Protocolli
Livello applicazione:HTTP. DNS
* PT - Protocolli
Livello trasporto: UDP eTCP
* PT - Protocolli
Livello di rete:Algoritmi di instradamento.IPv4 e IPv6.DHCP.NAT
* SR - Sicurezza delle Reti
Attacchi alla sicurezz. Firewall e IDS. Principi di crittografia e applicazione nelle reti
PASR - Programmazione di Applicazioni e Servizi di Rete
Programmazione di applicazioni di rete con socket API. Collaudo di applicazioni di rete

Sillabo dell'insegnamento

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