Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
- Algoritmi: correttezza, terminazione, costo computazionale (caso pessimo, caso medio). Analisi di InsertionSort. Fondamenti di Matematica. Principio di Induzione (prova di terminazione e correttezza di programmi). Ordine di grandezza di funzioni: O, ??, ??, o, ??. Base, tetto, esponenziali, Logaritmi. Sommatorie e serie. Limitazioni di ordine di grandezza con l'uso degli integrali. Soluzioni di ricorrenze, verifiche di soluzioni. Il Teorema dell'esperto.
SLP - Semantica dei Linguaggi di Programmazione
Tipi di dati astratti. Rappresentazione dei tipi di dati astratti.
* CAL - Calcolabilita'
Problemi di decisione. Complessita' dei problemi. La classe P e la classe NP. La riduzione polinomiale. Enunciato del Teorema di Cook e i problemi NP-completi
• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Riconoscimento di pattern in un testo: la soluzione ingenua e l'algoritmo di Knuth-Morris-Pratt. (Inviluppo convesso: algoritmo di Graham).
* A - Algoritmi fondamentali
Problema del flusso massimo nelle reti. Capacita' minima di tagli, cammini aumentanti.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Soluzioni ottime e soluzioni esatte del problema dello zaino 0-1. Coefficienti binomiali. Ottimizzazione del prodotto di una sequenza di matrici. Cammini minimi tra tutte le coppie di vertici. Chiusura transitiva di grafi orientati
* ASC - Algoritmi su Strutture Combinatorie
Rappresentazione in memoria. Visite di grafi e algoritmi basati su visite. - Condizioni
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Stampa di stringhe e di insiemi. Il problema delle n regine. Accoppiamento stabile. Scelta ottima e metodo branch and bound per il problema dello zaino.
* ASC - Algoritmi su Strutture Combinatorie
Grafi - Generalita' e rappresentazione in memoria. Schema generale di visita di grafi. Alberi di copertura e componenti connesse.Visita in ampiezza (BFS), visita in profondit? (DFS) e loro proprieta' (classificazione degli archi). Grafi aciclici e ordine topologico (algoritmo con la cancellazione di sorgenti, algoritmo con i tempi di fine-visita DFS). Componenti fortemente connesse (algoritmo con i tempi di fine-visita DFS).
* SDF - Strutture di Dati Fondamentali
Strutture di dati: dati statici e dinamici. Il tipo di dato lista: realizzazione del tipo lista con puntatori e con cursori. Liste lineari, liste bidirezionali, liste circolari. Liste composite. Pile: realizzazione con puntatori e con arrays. Code: realizzazione con puntatori e con arrays. Memorizzazione su tabelle con indirizzamento diretto. Collisioni. Tabelle hash. Criteri per funzioni hash. Gestione delle collisioni. Scansione esterna (liste di trabocco). Scansione interna (lineare, quadratica, doppio hashing, pseudocasuale). Cancellazione di dati. Costo medio della scansione esterna ed interna senza agglomerati primari.
* SDF - Strutture di Dati Fondamentali
Generalita' sugli alberi ordinati, realizzazione. Alberi binari di ricerca. Ricerca di chiavi, minimo, massimo, successore e predecessore. Inserimento e cancellazione. Costo computazionale delle operazioni di ricerca e problema del bilanciamento. Alberi AVL (cenno alle operazioni di rotazione). Alberi Red-Black. B-alberi, ricerca di chiavi, inserimento, cancellazione. Costo computazionale delle operazioni sui B-alberi. Alberi bilanciati per realizzare insiemi disgiunti (union, find).
* SDF - Strutture di Dati Fondamentali
Rappresentazione con arrays. Heap: procedura di mantenimento dalla proprieta' di heap e calcolo del costo computazionale. Costruzione di un heap: metodo dal basso e dall'alto, calcolo dei costi computazionali. HeapSort e suo costo computazionale. Code di priorit?. Inserimento e cancellazione su un heap, confronto di efficienza tra le varie realizzazioni. Heaps d-ary.
* A - Algoritmi fondamentali
Metodi di progetto: Divide et Impera. Analisi di Ricerca binaria e MergeSort. Procedure di partizione (3 versioni). Analisi del costo di Partizione e di QuickSort (caso peggiore, caso migliore, caso medio medio). Limiti teorici della complessit? del problema di ordinamento per confronto. CountingSort.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Algoritmi Greedy: selezione delle attivita', colorazione di un grafo di intervalli, codici di Huffman.
* A - Algoritmi fondamentali
Calcolo del minimo e del massimo in una sequenza. La mediana e la selezione dell'i-esimo elemento: algoritmo di costo computazionale medio O(n); algoritmo di costo pessimo O(n).

Sillabo dell'insegnamento

• MAT - Crediti di 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
Teorema di Rolle . Teorema di Lagrange . Tteorema di Cauchy . Teorema di Darboux .
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
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
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
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
Equazioni differenziali di primo e secondo ordine. Problema di Cauchy
MAT/05 - Analisi Matematica
Formula di Taylor e sviluppo in serie di Taylor. Numeri complessi. Teorema fondamentale dell'algebra.
MAT/05 - Analisi Matematica
Funzioni di due variabili. Punti stazionari. Differenziale.
MAT/05 - Analisi Matematica
Integrale indefinito. Metodi di integrazione.
MAT/05 - Analisi Matematica
Integrale di Riemann . Teorema fondamentale del calcolo integrale.
MAT/05 - Analisi Matematica
Cenni su integrali multipli e integrali impropri.

Sillabo dell'insegnamento

• H - Computazione su rete
* FCD - Fondamenti del Calcolo Distribuito
Elementi architetturali e Modelli di concorrenza: Dalla sequenzialit? alla concorrenza. Necessit? del calcolo ad alte prestazioni. Verso la concorrenza su elaboratori a singola CPU. Elementi di concorrenza (architetturali e gestionali). Limiti del singolo processore. - Parallelismo sulle istruzioni: unit? funzionali, particolari set di istruzioni, array processor, data flow. - Piattaforme concorrenti a pi? processori: Tassonomia, organizzazione memoria e interconnessione. Paradigmi e modelli di parallelismo. - Soluzioni concorrenti: dai problemi regolari a quelli irregolari.
* FCD - Fondamenti del Calcolo Distribuito
Programmazione parallela e valutazione delle prestazioni: Hardware e software per il calcolo parallelo. Linguaggi e librerie parallele (PVM, MPI, MPL, HPF: cenni, esempi e confronti). Analisi metodologica sulla programmazione parallela (decomposizione, comunicazioni, raggruppamento ed assegnazione). - Analisi delle prestazioni di un programma parallelo: speedup ed efficienza, legge di Amdahl; bilanciamento del carico e algoritmi di assegnazione; I/O parallelo. - Introduzione al Calcolo Parallelo e Distribuito. - Elementi di Fortran per il calcolo scientifico.
PASR - Programmazione di Applicazioni e Servizi di Rete
Modelli di applicazioni parallele: Somma di vettori, quadrature integrali, ordinamento, ricerca radici, integrazione di equazioni differenziali. - Paradigmi e Applicazioni Scientifiche: Paradigmi di programmazione parallela (Message Passing, Data parallel) e tipi di parallelismo (funzionale, sui dati). - Modelli di parallelismo (farm, pipeline ed altri). Librerie parallele (MPI1, MPI2): nascita, evoluzione e implementazione. Primitive MPI: comunicazioni punto a punto, comunicazioni colletive, comunicatori, etc.
GRC - Gestione di Reti di Calcolatori
Distributed Queuing Systems High Performance Computing - Utilizzo di eXtensible Markup Language (XML) e tecniche di streaming per ambienti distribuiti in rete.
GRC - Gestione di Reti di Calcolatori
Metacomputing e Grid computing: Introduzione al Metacomputing: Cluster Beowulf, Cluster Mosix. - Ambiente Condor: Configurazione dell'ambiente Condor. Sottomissione di Job. Flocking. - Grid Computing: Introduzione a Grid, Globus Toolkit 2, descrizione dei 3 Pillar di Globus. Sottomissione di Job in ambiente Grid.
PASR - Programmazione di Applicazioni e Servizi di Rete
Sviluppo di applicazioni scientifiche parallele: approccio al codice seriale, strategie di decomposizione, implementazione con MPI di alcuni semplici applicativi precedentemente illustrati nel corso del primo modulo (quadratura di integrali, equazioni differenziali) - Architettura e compilatore parallelo del Cluster utilizzato per lo sviluppo dei progetti; esercitazioni in laboratorio.

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
La rappresentazione della informazione. Richiamo di elementi di teoria dei numeri. Rappresentazioni in base generica in notazione pesata
TIC - Teoria dell'Informazione e Codici
I numeri relativi e la loro rappresentazione in complemento. Le operazioni aritmetiche in complemento. La virgola mobile. Normalizzazione. Operazioni in virgola mobile
L - Logica
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
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
L'ingresso/uscita. Le interfacce ingresso/uscita. Interfaccia DMA. L'imput/output processor. Trasferimento di informazione.
* LII - Livello Instruction Set
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 &#61549 programmato. Formato delle istruzioni
* LII - Livello Instruction Set
Considerazioni generali sull'architettura di un sistema digitale. Il livello descrittivo dei registri. Il linguaggio RTL. Le micro-operazioni (op). op 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
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
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
Macchine non completamente spcificate. Copertura, compatibilit?, riduzione. Procedure sistematiche per la riduzione di macchine non completamente specificate. Sintesi.
* CCS - Circuiti combinatori e sequenziali
Moduli sequenziali. Contatori e registri.
* CCS - Circuiti combinatori e sequenziali
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
- 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
- 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
- Protocolli di Routing dinamici:
* SR - Sicurezza delle Reti
- 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
- 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
- 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
Linguaggi di Interrogazione di Basi di Dati
* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi di Gestione di Basi di Dati
LP - Linguaggi di Programmazione di Basi di Dati
Linguaggi di Programmazione di Basi di Dati
* PC - Progettazione concettuale
Modellazione concettuale E/R.
* PL - Progettazione Logica
Il modello relazionale. Conversione da E/R a relazionale.
* LI - Linguaggi di Interrogazione di Basi di Dati
Algebra relazionale. Cenni al calcolo relazionale delle tuple e dei domini. Cenni all'SQL. Cenni al Datalog.
NBD - Normalizzazione di Basi di Dati
Forme normali. Normalizzazione.
TCR - Transazioni, Concorrenza e Recovery
Architettura di un DBMS. Proprieta' ACID, gestione concorrenza, gestione affidabilita',
* DBMS - Sistemi di Gestione di Basi di Dati
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
Eventi. Operazioni fra eventi. La probabilit? come grado di fiducia. Coerenza e additivit
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
La valutazione frequentista. Eventi condizionati e probabilit? condizionata. Indipendenza stocastica. Distribuzione binomiale e ipergeometrica. Test di ipotesi.
MAT/06 - Probabilita' e Statistica Matematica
Numeri aleatori discreti e continui. Distribuzioni di Poisson, geometrica, uniforme, esponenziale, normale.
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
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
Metodi iterativi per la risoluzione di equazioni non-lineari. Metodo delle tangenti. Risoluzione di sistemi di equazioni non-lineari.
MAT/08 - Analisi Numerica
Condizionamento del problema del calcolo degli autovalori. Metodo delle potenze.
MAT/08 - Analisi Numerica
Condizionamento di un sistema lineare. Metodi diretti di risoluzione: Fattorizzazioni. Metodi iterativi di risoluzione.
MAT/08 - Analisi Numerica
L'algoritmo del gradiente coniugato.
MAT/08 - Analisi Numerica
Autovalori e autovettori. Norme matriciali e vettoriali.
MAT/08 - Analisi Numerica
Numeri macchina. Errori di arrotondamento e troncamento. Errore totale, inerente e algoritmico.

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

• I - Ingegneria del software
* AR - Analisi dei Requisiti
Modelli di Ciclo di Vita del Software e Tecniche di Analisi.
* PSS - Processi di Sviluppo del Software
Modelli di Ciclo di Vita del Software e Tecniche di Analisi.
* LMS - Linguaggi di Modellazione del Software
Linguaggi di modellazione: UML.
MES - Manutenzione ed Evoluzione del Software
Tecnologie di supporto al riuso.
MSQ - Misure del Software e Qualita'
Metriche di prodotto e di processo.
* TVV - Testing, Verifica e Validazione
Tecniche di Test e di verifica finale. Model Checking. Standard Valutazione del Software e della Sicurezza.

Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Grammatiche lineari destre, lemma di iterazione, analizzatori lessicali, proprietà di chiusura dei linguaggi regolari.
PLN - Paradigmi Linguistici
La gerarchia di Chomsky: linguaggi contestuali e monotoni, linguaggi ricorsivi e ricorsivamente enumerabili.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Compilatori e interpreti. Analisi lessicale, sintattica, semantica. Tecniche di parsing.
* S - Semantica
Analisi semantica
* LF - Linguaggi Formali
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
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
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
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 B?zout. Congruenze e classi di resto. Divisori dello 0. Inversi modulo n. Risoluzione di congruenze e sistemi di congruenze.
MAT/02 - Algebra
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
RELAZIONI D'EQUIVALENZA: Relazioni binarie in un insieme. Relazioni d'equivalenza e partizioni. Decomposizione canonica di un'applicazione.
MAT/02 - Algebra
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
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
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
ALGEBRA LINEARE: Forme lineari, bilineari, multilineari, prodotto scalare. Determinante: definizione e proprieta`. 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
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
Spazi vettoriali. Combinazioni lineari. Matrici e sistemi lineari: eliminazione di Gauss. Teorema di Rouche'- Capelli.
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
DIAGONALIZZAZIONE: Cambiamenti di base. Matrici coniugate. Autovalori e autovettori. Diagonalizzazione

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
Istruzioni strutturate; array; classi e metodi.
* POO - Programmazione Orientata agli Oggetti
Polimorfismo. Introduzione al linguaggio JAVA. Librerie JAVA.
PP - Paradigmi di Programmazione
Programmi stand-alone; Applet; Programmazione orientata agli eventi.
PCC - Programmazione Concorrente
Eccezioni; Multithreading; Input ed Output; Istruzioni, espressioni, operazioni.
* SDTD - Strutture Dati e Tipi di Dati astratti
Liste. Pile. Code. Strutture dati polimorfiche.
* POO - Programmazione Orientata agli Oggetti
- Programmazione orientata agli oggetti: Incapsulamento; Ereditarieta';
• D - Linguaggi
PLN - Paradigmi Linguistici
Applicazioni client-server
MP - Metodologie di Programmazione
Approfondimento del linguaggio JAVA; - Esempi di applicazioni
PLN - Paradigmi Linguistici
Programmazione mirata all'ambiente di rete Socket

Sillabo dell'insegnamento

• C - Programmazione
* PSA - Problem Solving e Algoritmi
Programmi e algoritmi. Proprieta' degli algoritmi.
* CB - Costrutti di Base
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
I tipi di dato strutturati (array, struct, union). Le operazioni sui file. Algoritmi di ricerca e di ordinamento.
* P - Procedure
Funzioni, procedure e parametri. I riferimenti.
* R - Ricorsione
La ricorsione.
* SDTD - Strutture Dati e Tipi di Dati astratti
I puntatori e le variabili dinamiche. Le liste lineari semplici. Cenni agli alberi binari.
* SS - Sintassi e Semantica
Sintassi dei linguaggi di programmazione. Semantica operazionale
• D - Linguaggi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Paradigmi e linguaggi di programmazione. Strumenti per la programmazione (compilatori, interpreti, debugger, editor, linker).
MP - Metodologie di Programmazione
Programmazione imperativa con il linguaggio C

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
PASR - Programmazione di Applicazioni e Servizi di Rete
- 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
- 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
- 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
- Il linguaggio WSDL: introduzione e struttura di documenti WSDL - Il Progetto UDDI: introduzione ed utilizzo
* ARTC - Architettura delle Reti di Calcolatori
- 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
- 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

• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialità e WWW
- Privacy: Web e societ?. Spie nel Web. Esempio d'uso di XML come soluzione ai problemi di privacy del Web. - Il Web del futuro: visione della famiglia di tecnologie fondanti XML; problemi di integrazione. Le nuove tecnologie. - Il linguaggio SMIL. Propriet?. Struttura di un file SMIL. Regioni e layout grafico. Esecuzione sequenziale e parallela di di media. Eventi. Interazione utente.
* IMW - Ipertesti, Multimedialità e WWW
- XML come mezzo di codifica dell'informazione. Strutturazione dell'informazione a vari livelli. Modeling dell'informazione in XML. Meta-livelli. Il passaggio dall'informazione al media in XML. Esprimere significati usando XML. Senso comune e Semantic Web. Ontologie e ragionamento.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
- Introduzione ai sistemi multimediali: Il paradigma ipertestuale. Struttura di un ipertesto. Tipi di collegamenti. Navigazione in un ipertesto. Strumenti per l'orientamento. Sistemi multimediali e ipermediali. - I modelli per la descrizione e per la progettazione di applicazioni ipermediali: I modelli di riferimento: Dexter Reference Model, Amsterdam Hypermedia Model. I modelli per la progettazione strutturata di presentazioni ipermediali.
TMI - Teorie e Modelli per l'Interazione
- I formati dei media. Media e modelli dei dati. Classificazione dei media. Audio, immagini statiche, video. Media statici, media continui, media temporizzati. - La compressione dei dati. Compressione reversibile e irreversibile. Compressione MP3 dei dati audio. Compressione JPEG delle immagini. Compressione MPEG dei dati video. - Aspetti sistemistici: Sistemi operativi per media continui. Qualit? di servizio. Protocolli di rete real-time.
* IMW - Ipertesti, Multimedialità e WWW
- Strumenti e Applicativi: Panoramica e confronti su tecnologie e strumenti. Software applicativi: ToolBook, Flash.
* IMW - Ipertesti, Multimedialità e WWW
- Linguaggi e tecniche per la progettazione multimediale in ambiente Web. - Il World Wide Web: Struttura attuale del World Wide Web. Principi architetturali fondamentali. Informazione nel Web attuale: Modelli di funzionamento. Trattamento dell'informazione. - Il linguaggio HTML e i fogli di stile (CSS).

Sillabo dell'insegnamento

• F - Sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
Processi e thread. Scheduling.
* SCO - Struttura e Componenti di un sistema operativo
-Servizi e funzioni dei Sistemi Operativi: Storia dei sistemi operativi. Architettura dei SO.
* AMM - Amministrazione di sistema
Chiamate di sistema UNIX: Chiamate relative ai file. Chiamate relative ai processi. Chiamate relative ai pipes
MA - Modelli e Architetture di sistemi operativi
Il sistema operativo UNIX: Interfaccia utente. La gestione dei file. La gestione dei processi
* GSP - Gestione e Sincronizzazione dei Processi
Sincronizzazione e comunicazione tra processi. Blocco critico. Problemi tipici di sincronizzazione.
* AMM - Amministrazione di sistema
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
File system. Cenni al sistema di I/O.
* GM - Gestione della Memoria
Gestione della memoria centrale. Paginazione. Segmentazione.Rimpiazzamento delle pagine.
* GM - Gestione della Memoria
Memoria virtuale. Gestione della memoria secondaria.