Riepilogo dell'insegnamento: A scelta dello studente
Nome
A scelta dello studente
CFU
12
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
--libero--
12 cfu così ripartiti nelle aree:
12 CFU nell'area NC - Crediti Non Classificabili a priori
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Algoritmi e strutture dati con laboratorio
Nome
Algoritmi e strutture dati con laboratorio
CFU
15
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
INF/01
15 cfu così ripartiti nelle aree:
3 CFU nell'area A - Fondamenti
12 CFU nell'area B - Algoritmi
Sillabo dell'insegnamento
A - Fondamenti
COM - Complessita'
Ordine di grandezza. Limite superiore ed inferiore. Strumenti matematici: principio di induzione,
COM - Complessita'
Complessità intrinseca di un problema.
*
CAL - Calcolabilita'
Cenni sui problemi decisionali. La classe P e NP. Soluzioni enumerative.
B - Algoritmi
*
A - Algoritmi fondamentali
InsertionSort: analisi della complessità in tempo e spazio nel caso pessimo e nel caso medio.
*
A - Algoritmi fondamentali
Quicksort con analisi della complessita' in tempo nel caso pessimo e nel caso medio.
*
A - Algoritmi fondamentali
Visite dei grafi: visita in ampiezza (BFS), visita in profondità (DFS) e loro proprietà (classificazione degli archi).
*
SDF - Strutture di Dati Fondamentali
Code, Pile: operazioni di base
*
SDF - Strutture di Dati Fondamentali
Generalità sugli alberi ordinati, realizzazione.C omplessità 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
Divide-et-Impera: Mergesort, Ricerca Binaria, Selezione. Mediana e statistiche d'ordine.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Greedy: Alberi di copertura di costo minimo: algoritmo di Kruskal, algoritmo di Prim,
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Programmazione dinamica: moltiplicazione di matrici con il minimo numero di prodotti, problema dello zaino intero con/senza
SDA - Strutture di Dati Avanzate
Cenni su heap binomiali, heap di Fibonacci e strutture dati per UnionFind.
*
ASC - Algoritmi su Strutture Combinatorie
Grafi aciclici e ordine topologico (algoritmo con la cancellazione di sorgenti, algoritmo con i tempi di fine-visita DFS).
*
ASC - Algoritmi su Strutture Combinatorie
Cammini minimi da sorgente singola: Bellman Ford, metodo anologo alla moltiplicazione matrice-vettore
*
ASC - Algoritmi su Strutture Combinatorie
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.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Analisi matematica
Nome
Analisi matematica
CFU
12
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
MAT/05
12 cfu così ripartiti nelle aree:
12 CFU nell'area MAT - Crediti di MATEMATICA
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.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Architettura degli elaboratori con laboratorio
Nome
Architettura degli elaboratori con laboratorio
CFU
12
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
INF/01
12 cfu così ripartiti nelle aree:
3 CFU nell'area A - Fondamenti
9 CFU nell'area E - Architetture
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 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 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.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Architettura Reti
Nome
Architettura Reti
CFU
6
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
INF/01
6 cfu così ripartiti nelle aree:
6 CFU nell'area H - Computazione su rete
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).
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Basi di Dati e Sistemi Informativi con laboratorio
Nome
Basi di Dati e Sistemi Informativi con laboratorio
CFU
9
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
INF/01
9 cfu così ripartiti nelle aree:
9 CFU nell'area G - Basi di dati
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
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Calcolo delle probabilita' e statistica matematica
Nome
Calcolo delle probabilita' e statistica matematica
CFU
6
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
MAT/06
6 cfu così ripartiti nelle aree:
6 CFU nell'area MAT - Crediti di MATEMATICA
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.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Calcolo numerico
Nome
Calcolo numerico
CFU
6
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
MAT/08
6 cfu così ripartiti nelle aree:
6 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Introduzione all'analisi numerica. Aritmetica finita, analisi dell'errore e condizionamento di un problema.
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
Metodi diretti per la soluzione dei sistemi lineari. Metodo di Gauss. Fattorizzazione LU.
MAT/08 - Analisi Numerica
Matrici ortogonali e isometrie. Matrici di Householder e rotazioni. Fattorizzazione QR.
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
Approssimazione tramite spline cubica interpolante. Curve di Bézier. Trasformata veloce di Fourier.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Diritto dell'informatica e delle comunicazioni
Nome
Diritto dell'informatica e delle comunicazioni
CFU
6
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
IUS/nn
6 cfu così ripartiti nelle aree:
6 CFU nell'area altro - Crediti NON dell'INFORMATICA nè della MATEMATICA
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: due insegnamenti a scelta
Nome
due insegnamenti a scelta
CFU
12
Ore di didattica frontale per CFU
N/A
Settore Scientifico Disciplinare
INF/01
12 cfu così ripartiti nelle aree:
12 CFU nell'area INF - Crediti di INFORMATICA non classificabili a priori
Insegnamenti "a scelta" che possono essere selezionati
6 CFU nell'area altro - Crediti NON dell'INFORMATICA nè della MATEMATICA
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Ingegneria del software
Nome
Ingegneria del software
CFU
6
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
INF/01
6 cfu così ripartiti nelle aree:
6 CFU nell'area I - Ingegneria del software
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.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Insegnamento affine-integrativo a scelta
Nome
Insegnamento affine-integrativo a scelta
CFU
6
Ore di didattica frontale per CFU
N/A
Settore Scientifico Disciplinare
ING-INF/03
6 cfu così ripartiti nelle aree:
6 CFU nell'area altro - Crediti NON dell'INFORMATICA nè della MATEMATICA
Insegnamenti "a scelta" che possono essere selezionati
Riepilogo dell'insegnamento: Linguaggi formali e compilatori
Nome
Linguaggi formali e compilatori
CFU
6
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
INF/01
6 cfu così ripartiti nelle aree:
6 CFU nell'area D - Linguaggi
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 .
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Matematica discreta
Nome
Matematica discreta
CFU
12
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
MAT/02
12 cfu così ripartiti nelle aree:
12 CFU nell'area MAT - Crediti di MATEMATICA
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 Bezout. 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 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
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 Rouché- 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
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Programmazione II con laboratorio
Nome
Programmazione II con laboratorio
CFU
9
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
INF/01
9 cfu così ripartiti nelle aree:
6 CFU nell'area C - Programmazione
3 CFU nell'area D - Linguaggi
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.
MP - Metodologie di Programmazione
Approfondimento del linguaggio JAVA; - Esempi di applicazioni
PLN - Paradigmi Linguistici
Programmazione mirata all'ambiente di rete Socket
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Programmazione I con laboratorio
Nome
Programmazione I con laboratorio
CFU
9
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
INF/01
9 cfu così ripartiti nelle aree:
7 CFU nell'area C - Programmazione
2 CFU nell'area D - Linguaggi
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
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Sistemi aperti e distribuiti
Nome
Sistemi aperti e distribuiti
CFU
6
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
INF/01
6 cfu così ripartiti nelle aree:
6 CFU nell'area H - Computazione su rete
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.;
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Sistemi operativi con laboratorio
Nome
Sistemi operativi con laboratorio
CFU
9
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
INF/01
9 cfu così ripartiti nelle aree:
9 CFU nell'area F - Sistemi operativi
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.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Linguaggi di realtà virtuale
Nome
Linguaggi di realtà virtuale
CFU
6
Ore di didattica frontale per CFU
7
Settore Scientifico Disciplinare
INF/01
6 cfu così ripartiti nelle aree:
6 CFU nell'area L - Interazione, grafica e multimedialità
Sillabo dell'insegnamento
L - Interazione, grafica e multimedialità
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Strumenti e standard per l'implementazione di mondi virtuali
PIRV - Paradigmi di Interazione e Realtà Virtuale
Interazione con l'utente, sensori, gestione degli eventi, animazioni
MG - Modellazione Geometrica
Rappresentazione di forme geometriche semplici e complesse
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Texture mapping, elaborazione di immagini, suoni e video
*
MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Fondamenti dell'interazione uomo-macchina
*
PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Progettazione, implementazione e valutazione di interfacce
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto
V - Varie
Architettura di Android. Sviluppo di applicazioni in Android.
V - Varie
Creazione di interfacce utente per Android. Utlizzo di dispositivi (GPS, sensori)
*
POO - Programmazione Orientata agli Oggetti
Aspetti avanzati della programmazione orientata agli oggetti in C# e Objective-C
PP - Paradigmi di Programmazione
Programmazione orientata agli eventi. Aspetti di programmazione funzionale in C#
PCC - Programmazione Concorrente
Gestione della concorrenza in Java. Esempi di programmazione concorrente.
*
POO - Programmazione Orientata agli Oggetti
Aspetti avanzati della programmazione orientata agli oggetti in Java.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto
6 CFU nell'area L - Interazione, grafica e multimedialità
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).
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto