Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessità
+ AL-BA - Basic Analysis
Ordine di grandezza. Limite superiore ed inferiore. Strumenti matematici: principio di induzione,
COM - Complessità
+ AL-BA - Basic Analysis
Complessità  intrinseca di un problema.
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Cenni sui problemi decisionali. La classe P e NP. Soluzioni enumerative.
• B - Algoritmi
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
InsertionSort: analisi della complessità in tempo e spazio nel caso pessimo e nel caso medio.
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Quicksort con analisi della complessita' in tempo nel caso pessimo e nel caso medio.
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Visite dei grafi: visita in ampiezza (BFS), visita in profondità  (DFS) e loro proprietà  (classificazione degli archi).
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Code, Pile: operazioni di base
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Generalità  sugli alberi ordinati, realizzazione. Complessità  delle operazioni di visita e di ordinamento utilizzando alberi binari di ricerca. Grafi:generalità  e rappresentazione in memoria. Schema generale di visita di grafi. Alberi di copertura e componenti connesse.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Divide-et-Impera: Mergesort, Ricerca Binaria, Selezione. Mediana e statistiche d'ordine.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Greedy: Alberi di copertura di costo minimo: algoritmo di Kruskal, algoritmo di Prim,
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Programmazione dinamica: moltiplicazione di matrici con il minimo numero di prodotti, problema dello zaino intero con/senza
SDA - Strutture di Dati Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Cenni su heap binomiali, heap di Fibonacci e strutture dati per UnionFind.
* ASC - Algoritmi su Strutture Combinatorie
+ AL-FDA - Fundamental Data Structures and Algorithms
Grafi aciclici e ordine topologico (algoritmo con la cancellazione di sorgenti, algoritmo con i tempi di fine-visita DFS).
* ASC - Algoritmi su Strutture Combinatorie
+ AL-FDA - Fundamental Data Structures and Algorithms
Cammini minimi da sorgente singola: Bellman Ford, metodo anologo alla moltiplicazione matrice-vettore
* ASC - Algoritmi su Strutture Combinatorie
+ AL-FDA - Fundamental Data Structures and Algorithms
Cammini minimi fra tutte le coppie: algoritmo di Floyd-Warshall, algoritmo analogo alla moltiplicazione di matrici, algoritmo di Johnson per grafi sparsi. Longest Common Subsequence.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Successioni. Serie: convergenza, divergenza e indeterminatezza. Serie geometrica e serie armonica generalizzata . Una serie a termini positivi o converge o diverge. Criteri di convergenza,
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Teorema di Rolle . Teorema di Lagrange . Tteorema di Cauchy . Teorema di Darboux .
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Continuita' e punti di discontinuita'. Teoremi di Weierstrass, dei valori intermedi, degli zeri delle funzioni continue (senza dim.). Applicazioni. Definizione, significato geometrico e propriet? fondamentali della derivata (senza dim.). Derivabilit? implica continuit? (con dim.), ma non ? vero il viceversa. Esercizi sulle derivate e sulle derivate notevoli. Punti di massimo e minimo assoluti e relativi, teorema di Fermat (senza dim.). Continuit?, convessit?, flessi e asintoti. Studi di funzione ed esercizi.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Calcolo di domini di funzioni attraverso le disequazioni. Definizioni e proprieta' fondamentali dell'estremo superiore e inferiore. Successioni e funzioni monotone.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Definizione di limite. Significato geometrico del limite. Altre propriea' fondamentali dei limiti . Teoremi dell'unicita' del limite, della limitatezza locale, della permanenza del segno .
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni elementari: potenza, radice, esponenziale, logaritmo, funzioni trigonometriche e fondamentali proprieta'. Studio di vari tipi di disequazioni (di primo e secondo grado, esponenziali, logaritmiche, trigonometriche, razionali).
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Equazioni differenziali di primo e secondo ordine. Problema di Cauchy
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Formula di Taylor e sviluppo in serie di Taylor. Numeri complessi. Teorema fondamentale dell'algebra.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni di due variabili. Punti stazionari. Differenziale.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrale indefinito. Metodi di integrazione.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrale di Riemann . Teorema fondamentale del calcolo integrale.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Cenni su integrali multipli e integrali impropri.

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
+ DS-BC - Basics of Counting
La rappresentazione della informazione. Richiamo di elementi di teoria dei numeri. Rappresentazioni in base generica in notazione pesata
TIC - Teoria dell'Informazione e Codici
+ DS-BC - Basics of Counting
I numeri relativi e la loro rappresentazione in complemento. Le operazioni aritmetiche in complemento. La virgola mobile. Normalizzazione. Operazioni in virgola mobile
L - Logica
+ DS-BL - Basic Logics
L'algebra delle commutazioni. Definizione dell'algebra. Proprieta' e principali Teoremi. Espressioni tabellari e algebriche delle funzioni. Rappresentazione geometrica delle funzioni logiche. La rappresentazione di Karnaugh.
• E - Architetture
GM - Gestione della Memoria
+ AR-MSOA - Memory System Organization and Architecture
Architettura a livello dei processor. La CPU L,unita' aritmetico logica. Lo shifter e lo stack di memoria. La memoria. Caratteristiche dei dispositivi di memoria. RAM. ROM. HD. Memorie veloci. Memorie cache. Memorie modulari. Memorie CAM. La memoria virtuale
GIO - Gestione dell'Input/Output
+ AR-MLRD - Machine Level Representation of Data
L'ingresso/uscita. Le interfacce ingresso/uscita. Interfaccia DMA. L'imput/output processor. Trasferimento di informazione.
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Un calcolatore didattico a controllo cablato. l'architettura a livello di registri. Il bus di sistema. Tipi di istruzioni. Istruzioni che fanno riferimento alla memoria. Linguaggi a livello macchina. Assembly language. Programmazione assembly. Esempi di programmi. Cicli e subroutines. Un calcolatore didattico a controllo programmato. Formato delle istruzioni
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Considerazioni generali sull'architettura di un sistema digitale. Il livello descrittivo dei registri. Il linguaggio RTL. Le micro-operazioni di trasferimento ed aritmetico-logiche. Considerazioni generali sul controllo. Cicli di macchina. Formato istruzioni. Indirizzamento. Controllo cablato e programmato. Architetture RISC e CISC
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Funzioni non completamente specificate e funzioni a piu' uscite. I moduli combinatori. Addizionatori, codificatori e decodificatori, Multiplexer e Demultiplexer, PLA. ROM.
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Reti sequenziali. La macchina sequenziale. Gli elementi di memoria. Riduzione del numero di stati di una macchina sequenziale.La procedura di Moore e la Tabella di Unger. La macchina minima. Sintesi.
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Macchine non completamente spcificate. Copertura, compatibilità, riduzione. Procedure sistematiche per la riduzione di macchine non completamente specificate. Sintesi.
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Moduli sequenziali. Contatori e registri.
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Implicazione e copertura. Implicanti ed implicati. La ricerca degli implicanti. Espressioni irridondanti e minime. Procedure sistematiche per l?ottenimento delle forme minime. La tabella di copertura. Tabelle cicliche.

Sillabo dell'insegnamento

• H - Computazione su rete
GRC - Gestione di Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
- Introduzione alla gestione delle reti in ambienti Unix - Configurazione del TCP/IP:Come definire sottoreti, definizione delle interfacce - La configurazione del Routing: minimale, statico, dinamico (RIP, OSPF, BGP)
GRC - Gestione di Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
- Servizi di rete (definizione, configurazione ed uso): La gestione dei nomi. La Host table. Il DNS (Domain Name Service). - L'accesso a risorse in rete: comandi remoti, il servizio NIS (Network Information Service.Il sistema NFS (Network File System); - La posta elettronica: Gli aliases. Il servizio sendmail; - Protocolli di Routing (RIP, OSPF, BGP).
* PT - Protocolli
IAS-WS - Web Security
- Protocolli di Routing dinamici:
* SR - Sicurezza delle Reti
IAS-WS - Web Security
- Introduzione alle reti di computer: Reti Aziendali, Reti per le persone - La Rete Internet: Storia, Struttura della rete, Evoluzione, Architettura di Internet; - Servizi ed applicazioni emergenti: Intranet - Extranet -Sicurezza nelle reti telematiche - Firewall - Secure Socket Layer (SSL) - Privacy ed autenticazione nelle transazioni elettroniche (EDI) ? Encryption - PGP - Firma digitale - Accesso controllato alla rete Internet (PICS).
* ARTC - Architettura delle Reti di Calcolatori
+ NC-LAN - Local Area Networks
- Tecnologie per le reti locali, metropolitane e geografiche: Introduzione, ISO Open System Interconnection (OSI) Reference Model, Reti locali, Topologie, Metodi di accesso, Principali standard (de jure e de facto), Reti Metropolitane (MAN), Reti geografiche (WAN), Interconnessione di LAN su scala geografica, Reti a commutazione di pacchetto e loro evoluzione, X.25, Frame Relay, ATM, Tecnologia per DSL ? ADSL ? HDSL ? IDSL ? VDSL, Reti Wireless, Satellite Networks, Mobile Networks, Personal Area Networks. TCP/IP, Documenti Request For Comments (RFC);
* PT - Protocolli
+ NC-RF - Routing And Forwarding
- Principali standard e protocolli applicativi. - Insieme di protocolli e servizi del TCP/IP:Telnet - File Transfer Protocol (FTP) - Network File System (NFS) - Network Information System (NIS) - Domain Name System (DNS) - Simple Mail Transfer Protocol (SMTP) - Simple Network Management Protocol (SNMP) - Network News Transfer Protocol (NNTP) - Hyper Text Transfer Protocol (HTTP) - Lightweight Directory Access Protocol (LDAP) - Network Time Protocol (NTP) - Esempi applicativi in ambiente Unix (AIX, Linux).

Sillabo dell'insegnamento

• G - Basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Linguaggi di Interrogazione di Basi di Dati
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-IMC - Information Management Concepts
Sistemi di Gestione di Basi di Dati
LP - Linguaggi di Programmazione di Basi di Dati
+ IM-DS - Database Systems
Linguaggi di Programmazione di Basi di Dati
* PC - Progettazione concettuale
+ IM-DMo - Data Modeling
Modellazione concettuale E/R.
* PL - Progettazione Logica
+ IM-DMo - Data Modeling
Il modello relazionale. Conversione da E/R a relazionale.
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Algebra relazionale. Cenni al calcolo relazionale delle tuple e dei domini. Cenni all'SQL. Cenni al Datalog.
NBD - Normalizzazione di Basi di Dati
+ IM-DS - Database Systems
Forme normali. Normalizzazione.
TCR - Transazioni, Concorrenza e Recovery
* IM-TP - Transaction Processing
Architettura di un DBMS. Proprieta' ACID, gestione concorrenza, gestione affidabilita',
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-IMC - Information Management Concepts
Sistemi informativi e informatici. I database e i DBMS. Servizi ed utenti di un DBMS

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Eventi. Operazioni fra eventi. La probabilit? come grado di fiducia. Coerenza e additivit
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
La valutazione combinatoria. Numeri aleatori semplici. Previsione e varianza di numeri aleatori semplici.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
La valutazione frequentista. Eventi condizionati e probabilit? condizionata. Indipendenza stocastica. Distribuzione binomiale e ipergeometrica. Test di ipotesi.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Numeri aleatori discreti e continui. Distribuzioni di Poisson, geometrica, uniforme, esponenziale, normale.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Distribuzioni multiple. Il teorema centrale. Variabili statistiche discrete e continue. Media, moda, mediana.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Misure di dispersione. Correlazione di dati bidimensionali. Rette di regressione. Campionamento statistico e stima dei parametri. Intervalli di confidenza.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Introduzione all'analisi numerica. Aritmetica finita, analisi dell'errore e condizionamento di un problema.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Algoritmi di base dell'algebra lineare e dell'analisi. Accelerazione degli algoritmi. Strutture e loro utilizzo. Parallelismo.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Metodi diretti per la soluzione dei sistemi lineari. Metodo di Gauss. Fattorizzazione LU.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Introduzione alla modellistica matematica. Il modello del motore di ricerca. Modelli in grafica vettoriale
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Il problema lineare dei minimi quadrati. Retta dei minimi quadrati. Fitting lineare. Approssimazione mediante interpolazione polinomiale e polinomiale.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Approssimazione tramite spline cubica interpolante. Curve di Bézier. Trasformata veloce di Fourier.

Sillabo dell'insegnamento

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

Insegnamenti "a scelta" che possono essere selezionati

1. Sistemi multimediali
2. Programmazione III
3. Linguaggi di realtà virtuale

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
* AR - Analisi dei Requisiti
+ SE-SPRE - Software Processes and Requirement Engineering
Modelli di Ciclo di Vita del Software e Tecniche di Analisi.
* PSS - Processi di Sviluppo del Software
* SE-SPM - Software Project Management
Modelli di Ciclo di Vita del Software e Tecniche di Analisi.
* LMS - Linguaggi di Modellazione del Software
+ SE-TE - Tools and Environments
Linguaggi di modellazione: UML.
MES - Manutenzione ed Evoluzione del Software
* SE-SE - Software Evolution
Tecnologie di supporto al riuso.
MSQ - Misure del Software e Qualita'
SE-FM - Formal Methods
Metriche di prodotto e di processo.
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Tecniche di Test e di verifica finale. Model Checking. Standard Valutazione del Software e della Sicurezza.

Insegnamenti "a scelta" che possono essere selezionati

1. Reti di calcolatori: Protocolli
2. Tecniche di acquisizione dati

Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ AL-BACC - Basic Automata, Computability and Complexity
Grammatiche lineari destre, lemma di iterazione, analizzatori lessicali, proprietà di chiusura dei linguaggi regolari.
PLN - Paradigmi Linguistici
+ AL-BACC - Basic Automata, Computability and Complexity
La gerarchia di Chomsky: linguaggi contestuali e monotoni, linguaggi ricorsivi e ricorsivamente enumerabili.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Compilatori e interpreti. Analisi lessicale, sintattica, semantica. Tecniche di parsing.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
* PL-SyA - Syntax Analysis
Linguaggi non contestuali, automi a pila, parsing
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Generalità sui linguaggi di programmazione e compilatori. Alfabeto, parole, linguaggi, grammatiche, operazioni tra linguaggi.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ AL-BACC - Basic Automata, Computability and Complexity
Automi a stati finiti, modello deterministico e non deterministico linguaggi regolari e teorema di Kleene, automa minimo e teorema di Myhill-Nerode .

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
MAT/02 - Algebra
GRAFI: Definizione di grafo. Grado di un vertice. Grafi completi. Sottografi, grafo complementare, isomorfismi di grafi. Cammini e loro classificazione. Grafi connessi. Componenti connesse. Geodetiche, distanza, diametro. Alberi: definizione e proprietà. Cammini e circuiti euleriani. Grafi bipartiti, grafi bipartiti completi.
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
NUMERI INTERI RELATIVI E CONGRUENZE: Definizione di alcune strutture algebriche: semigruppi, monoidi, anelli, campi. Elementi invertibili, cancellabili. Relazioni d'equivalenza compatibili con le operazioni. Anello degli interi. Algoritmo delle divisioni successive, identità di Bezout. Congruenze e classi di resto. Divisori dello 0. Inversi modulo n. Risoluzione di congruenze e sistemi di congruenze.
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
RELAZIONI D'ORDINE E RETICOLI: Relazioni d'ordine: ordinamenti forti e deboli, totali e parziali. Massimo e minimo. Elementi massimali e minimali. Estremo superiore e inferiore. Isomorfismi di insiemi ordinati. Reticoli, distributivit?, complementi. Algebre booleane: proprietà fondamentali, legge di dualità; struttura e cardinalità delle algebre booleane finite.
MAT/02 - Algebra
+ DS-PT - Proof Techniques
RELAZIONI D'EQUIVALENZA: Relazioni binarie in un insieme. Relazioni d'equivalenza e partizioni. Principio d'induzione. Tipi di dimostrazione.
MAT/02 - Algebra
+ DS-PT - Proof Techniques
INSIEMI: Insiemi e sottoinsiemi. Operazioni tra insiemi: proprietà. Insieme delle parti, complementare, leggi di De Morgan. Prodotto cartesiano. APPLICAZIONI: Corrispondenze e applicazioni. Applicazioni iniettive, suriettive, biiettive. Composizione di applicazioni. Inversa di una applicazione biiettiva.
MAT/02 - Algebra
+ DS-BC - Basics of Counting
NUMERI NATURALI E CARDINALITA`: Numeri naturali, divisibilità, M.C.D. e m.c.m. Numeri primi; unica fattorizzazione. Principio d'induzione (due forme). Divisione con resto. Cardinalità di insiemi finiti. Formule fondamentali del calcolo combinatorio: disposizioni semplici e con ripetizione, combinazioni semplici, binomio di Newton.
MAT/02 - Algebra
MAT/02 - Algebra
POLINOMI: Anelli di polinomi in una variabile a coefficienti in un campo. Grado. Divisione con resto. Polinomi irriducibili. Decomposizione di polinomi.M.C.D e m.c.m. di polinomi. Radici, teorema di Ruffini. Radici multiple. Cenni a estensioni algebriche semplici. Il campo complesso. Decomposizione di polinomi sul campo reale.
MAT/02 - Algebra
MAT/02 - Algebra
ALGEBRA LINEARE: Forme lineari, bilineari, multilineari, prodotto scalare. Determinante: definizione e proprietà. Criteri per l'invertibilità di una matrice. Matrice trasposta. Vari metodi per il calcolo del determinante. Formule di Laplace e calcolo della matrice inversa mediante i cofattori. Teorema di Cramer. Definizioni equivalenti di rango di una matrice. Soluzione dei sistemi lineari con l'uso dei determinanti
MAT/02 - Algebra
MAT/02 - Algebra
ALGEBRA LINEARE: Somma e somma diretta di sottospazi. Dimensione della somma diretta. Formula di Grassmann. Applicazioni lineari: nucleo, immagine e loro dimensione. Matrice associata ad un'applicazione lineare rispetto a due basi fissate. Prodotto di matrici. Matrice della composizione di due applicazioni lineari. Matrice identica. Isomorfismi e matrici invertibili. Calcolo della matrice inversa mediante l'eliminazione di Gauss
MAT/02 - Algebra
MAT/02 - Algebra
Spazi vettoriali. Combinazioni lineari. Matrici e sistemi lineari: eliminazione di Gauss. Teorema di Rouché- Capelli.
MAT/02 - Algebra
MAT/02 - Algebra
GRUPPI: Gruppi e sottogruppi. Potenze e loro proprietà. Elementi periodici e aperiodici. Proprietà del periodo. Sottogruppi ciclici. Gruppi ciclici. Congruenze modulo un sottogruppo. Laterali, teorema di Lagrange e conseguenze. Gruppi di permutazioni. Decomposizione di una permutazione in cicli disgiunti. Inversi. Parit?. Coniugio in un gruppo; permutazioni coniugate. Sottogruppi normali, gruppi quozienti (cenni) . Omomorfismi: nucleo e immagine. Isomorfismi.
MAT/02 - Algebra
MAT/02 - Algebra
DIAGONALIZZAZIONE: Cambiamenti di base. Matrici coniugate. Autovalori e autovettori. Diagonalizzazione

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
+ PL-BTS - Basic Type Systems
Istruzioni strutturate; array; classi e metodi.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Polimorfismo. Introduzione al linguaggio JAVA. Librerie JAVA.
PP - Paradigmi di Programmazione
* PL-EDRP - Event-Driven and Reactive Programming
Programmi stand-alone; Applet; Programmazione orientata agli eventi.
PCC - Programmazione Concorrente
+ PL-OOP - Object-Oriented Programming
Eccezioni; Multithreading; Input ed Output; Istruzioni, espressioni, operazioni.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Liste. Pile. Code. Strutture dati polimorfiche.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
- Programmazione orientata agli oggetti: Incapsulamento; Ereditarieta';
• D - Linguaggi
PLN - Paradigmi Linguistici
+ PL-OOP - Object-Oriented Programming
Applicazioni client-server
MP - Metodologie di Programmazione
+ PL-OOP - Object-Oriented Programming
Approfondimento del linguaggio JAVA; - Esempi di applicazioni
PLN - Paradigmi Linguistici
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Programmazione mirata all'ambiente di rete Socket

Sillabo dell'insegnamento

• C - Programmazione
* PSA - Problem Solving e Algoritmi
+ AL-AS - Algorithmic Strategies
Programmi e algoritmi. Proprieta' degli algoritmi.
* CB - Costrutti di Base
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Introduzione ai linguaggi C e C++. Variabili e tipi di dati. Operatori ed espressioni. Assegnamento. Istruzioni di I/O. Le strutture di controllo di scelta (if, switch) e iterazione (while, do, for).
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
I tipi di dato strutturati (array, struct, union). Le operazioni sui file. Algoritmi di ricerca e di ordinamento.
* P - Procedure
+ AL-FDA - Fundamental Data Structures and Algorithms
Funzioni, procedure e parametri. I riferimenti.
* R - Ricorsione
PL-APC - Advanced Programming Constructs
La ricorsione.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
I puntatori e le variabili dinamiche. Le liste lineari semplici. Cenni agli alberi binari.
* SS - Sintassi e Semantica
* PL-SyA - Syntax Analysis
Sintassi dei linguaggi di programmazione. Semantica operazionale
• D - Linguaggi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Paradigmi e linguaggi di programmazione. Strumenti per la programmazione (compilatori, interpreti, debugger, editor, linker).
MP - Metodologie di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Programmazione imperativa con il linguaggio C

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
- J2EE e i servizi WEB: la metodologia SOAP-J2EE, JWS. - Sicurezza Nei Servizi WEB: sicurezza in XML, estensioni SOAP
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
* PBD-MP - Mobile Platforms
- JAVA RMI:Definizioni e applicazioni. - Wireless Computing: Tecnologie e configurazioni; Client/Server in ambienti mobili
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
* PBD-WP - Web Platforms
- Servizi Web: definizioni e stato dell'arte. - Il Protocollo SOAP, SOAP-RPC: fondamenti e applicazioni.
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
+ NC-NA - Networked Applications
- Il linguaggio WSDL: introduzione e struttura di documenti WSDL - Il Progetto UDDI: introduzione ed utilizzo
* ARTC - Architettura delle Reti di Calcolatori
PD-DS - Distributed Systems
- File System Distribuiti: Progettazione.Implementazione. Struttura. Caching. Replicazione.AFS. - Standard Corba:Definizioni. Componenti (ORB, BOA, POA, IDL, SII, DII, DSI) e applicazioni COM e DCOM; Definizioni e applicazioni
* FCD - Fondamenti del Calcolo Distribuito
PD-DS - Distributed Systems
- Introduzione ai Sistemi Distribuiti: Hardware e software. Classificazione di Flynn. Considerazioni di progetto; - Comunicazioni nei Sistemi Distribuiti: Protocolli a livelli. Modello Client/Server. Chiamata di procedura remota (RPC). Comunicazioni di gruppo. - Sincronizzazione: Clock. Mutua esclusione. Algoritmi di elezione. Transazioni atomiche. Stallo. - L?elaborazione nei Sistemi Distribuiti: Processi e thread. Package di thread. Thread e RPC. Modelli di sistema (workstation e pool di processori). Allocazione dei processori. Schedulazione nei s.d.;

Sillabo dell'insegnamento

• F - Sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Processi e thread. Scheduling.
* SCO - Struttura e Componenti di un sistema operativo
+ OS-O - Overview of Operating Systems and Principles
-Servizi e funzioni dei Sistemi Operativi: Storia dei sistemi operativi. Architettura dei SO.
* AMM - Amministrazione di sistema
+ OS-O - Overview of Operating Systems and Principles
Chiamate di sistema UNIX: Chiamate relative ai file. Chiamate relative ai processi. Chiamate relative ai pipes
MA - Modelli e Architetture di sistemi operativi
* OS-FS - File Systems
Il sistema operativo UNIX: Interfaccia utente. La gestione dei file. La gestione dei processi
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Sincronizzazione e comunicazione tra processi. Blocco critico. Problemi tipici di sincronizzazione.
* AMM - Amministrazione di sistema
+ OS-O - Overview of Operating Systems and Principles
Uso della shell: La shell Unix. Manipolazione testi. Linguaggi e strumenti di supporto alla programmazione. Gestione avanzata dei file. Il linguaggio della shell (C shell). Sviluppo di script di shell. Comunicazioni
* FS - File System
* OS-FS - File Systems
File system. Cenni al sistema di I/O.
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Gestione della memoria centrale. Paginazione. Segmentazione.Rimpiazzamento delle pagine.
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Memoria virtuale. Gestione della memoria secondaria.

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
+ HCI-DI - Designing Interaction
Strumenti e standard per l'implementazione di mondi virtuali
PIRV - Paradigmi di Interazione e Realta' Virtuale
HCI-MAVR - Mixed, Augmented and Virtual Reality
Interazione con l'utente, sensori, gestione degli eventi, animazioni
MG - Modellazione Geometrica
GV-GM - Geometric Modeling
Rappresentazione di forme geometriche semplici e complesse
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
GV-AR - Advanced Rendering
Texture mapping, elaborazione di immagini, suoni e video
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
+ HCI-DI - Designing Interaction
Fondamenti dell'interazione uomo-macchina
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
+ HCI-PIS - Programming Interactive Systems
Progettazione, implementazione e valutazione di interfacce

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. due insegnamenti a scelta

Sillabo dell'insegnamento

• C - Programmazione
V - Varie
* PBD-MP - Mobile Platforms
Architettura di Android. Sviluppo di applicazioni in Android.
V - Varie
* PBD-WP - Web Platforms
Creazione di interfacce utente per Android. Utlizzo di dispositivi (GPS, sensori)
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Aspetti avanzati della programmazione orientata agli oggetti in C# e Objective-C
PP - Paradigmi di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Programmazione orientata agli eventi. Aspetti di programmazione funzionale in C#
PCC - Programmazione Concorrente
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Gestione della concorrenza in Java. Esempi di programmazione concorrente.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Aspetti avanzati della programmazione orientata agli oggetti in Java.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. due insegnamenti a scelta

Sillabo dell'insegnamento

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

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Insegnamento affine-integrativo a scelta

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
+ PL-BTS - Basic Type Systems
Linguaggi di script. Introduzione al JavaScript. Concetti fondamentali. Oggetti HTML. Tipi di dati. Funzioni. Metodi. Proprietà. Gestori eventi. Introduzione al PHP. La programmazione lato client e lato server. Sintassi. PHP e HTML. I tipi di dati. Le variabili. I commenti. Gli operatori. Le variabile predefinite. Istruzione iterative e di controllo. Istruzione condizionali. I cicli. Gli array. Trattamento di stringhe. Funzioni per il trattamento delle variabili. Supporto in php per la manipolazione delle form HTML. Supporto in php per la variabili di sessione. Principali funzioni per accedere ad un database MySql
* SDTD - Strutture Dati e Tipi di Dati astratti
* PBD-WP - Web Platforms
Trattamento dell'informazione. I linguaggi di mark-up. XML come mezzo di codifica dell'informazione. Strutturazione dell'informazione a vari livelli. Modeling dell'informazione in XML. Meta-livelli. Il passaggio dall'informazione ai media in XML. DTD: interno, esterno e misto; elementi; separatori e operatori; attributi; entità interne ed esterne. Namespaces. I fogli di stile (CSS). Sintassi e regole
• D - Linguaggi
* S - Semantica
* PBD-WP - Web Platforms
Linguaggi e tecniche per la progettazione multimediale in ambiente Web. Il linguaggio HTML. Editor testuali e grafici. Sintassi e regole. Tag di intestazione; codifica del colore, dei diacritici e caratteri speciali; tag di impaginazione; tag di stile, tag di interruzione; ancore e link; tag script; tag link e base, implementazione dei moduli; struttura e tag per frame; struttura e tag per le tabelle. Aggiungere stili a un documento HTML. Ereditarieta. Elementi, proprietà, attributi, classi. Il box model. Compatibilità. Posizionamento CSS.
 L'evoluzione di HTML: XHTML e DTD. I linguaggi XSL, XPath, Xquery. Da HTML a HTML5. Sintassi e regole basi. Content model. Elementi strutturali e semantici. Form. Microdat
• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
* SE-SPM - Software Project Management
Ambiti correlati Concetti di accessibilità ed usabilità. Validazione. Aspetti formali e pratici. Tecniche e attività SEO. I software di tipo CMS e LMS. Semantic Web. Ontologie e ragionamento Il Web del futuro: visione della famiglia di tecnologie fondanti XML; problemi di integrazione
• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialita' e WWW
+ IM-DMo - Data Modeling
Introduzione ai sistemi multimediali. L'informazione. Il paradigma ipertestuale. Struttura di un ipertesto. Tipi di collegamenti. Navigazione in un ipertesto. Strumenti per l'orientamento. Sistemi multimediali e ipermediali. Il World Wide Web e la sua attuale struttura. Principi architetturali fondamentali. Modelli di funzionamento. Interazione uomo-macchina (IUM o IHM). Le interfacce.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
IM-MMS - MultiMedia Systems
Dai media naturali ai media digitali. I formati dei media. Media e modelli dei dati. Classificazione dei media. Media statici, media continui, media temporizzati. La codifica e la compressione dei dati. Compressione reversibile e irreversibile. Algoritmi di compressione. Compressione dei dati audio, delle immagini e dei dati video

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. due insegnamenti a scelta

Sillabo dell'insegnamento

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

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Insegnamento affine-integrativo a scelta