Elenco
CORSI FONDAMENTALI
Basi di Dati Multimediali
Docente
Danilo
Montesi
E-mail
danilo.montesi@unicam.it
Orario di ricevimento
2
ore settimanali da concordare con gli studenti
Obiettivi dell’attività formativa
Sequenza delle diverse fasi
dell’attività formativa
1. Dati strutturati, semi
strutturati, non strutturati (o multimediali)
2. Modelli e metodi per l'information retrieval
3. Linguaggio di interrogazione e di ricerca
4. Sofware per l'information retrieval
5. XML per esprimere dati semistrutturati
6. Linguaggio di interrogazione per XML: XQUERY
7. XML e le basi di dati relazionali, archiviare e reperire dati XML
8. Software per dati gestire dati XML
Esame finale
Testi consigliati
Orario delle lezioni
III
periodo didattico, I anno
Calendario esami
Appelli
fissati ad ogni periodo di sospensione della didattica e nel periodo estivo,
Dipartimento di Matematica e Informatica
Calcolo Distribuito e di Coordinazione
Docente
E-mail
emanuela.merelli@unicam.it
Orario di ricevimento
2
ore settimanali da concordare con gli studenti
Obiettivi dell’attività formativa
Progettare
applicazioni software in moderni ambienti distribuiti. Utilizzare i concetti
fondamentali che caratterizzano i vari modelli di calcolo distribuito e di
coordinazione. Classificare, valutare e applicare alcuni linguaggi per la
coordinazione. Affrontare in modo autonomo la progettazione di sistemi
distribuiti.
Sequenza delle diverse fasi
dell’attività formativa
Sistemi distribuiti
Modelli di calcolo distribuito e di
coordinazione
Architetture software e coordinazione
Linguaggi di coordinazione
Middleware per applicazioni distribuite
Tecnologie ad Agenti software per il
coordinamento
Esame finale
Sviluppo
di un progetto e prova orale
Testi
consigliati
Andrew Tanenbaum,
Distributed Systems, Prentice Hall, 2002
Wolfgang Emmerich,
Engineering Distributed Objects, Wiley, 2000
Orario delle lezioni
I
periodo didattico, I anno
Calendario esami
Appelli
fissati ad ogni periodo di sospensione della didattica e nel periodo estiov,
Dipartimento di Matematica e Informatica
Codici e crittografia
Carlo Toffalori
e-mail
carlo.toffalori@unicam.it
Orario di
ricevimento
Da fissare in ragione dell'orario delle lezioni
·
Applicare le basi
teoriche elementari di teoria dei numeri alla crittografia e ai metodi di
transazione sicura in rete
Sequenza delle diverse fasi
dell’attività formativa
Esame
finale
La prova finale consiste di un unico colloquio
orale
Testi consigliati
N. Koblitz, A
course in Number Theory and Cryptography, Springer
Le dispense del corso sono disponibili presso il Dipartimento
di Matematica e Informatica dell'Università
Orario
delle lezioni
II periodo didattico, II anno
Un
appello dopo ogni periodo di lezione, un appello a metà luglio, un appello a
metà settembre
Computazione Quantistica
Docente
Stefano
Mancini
E-mail
stefano.mancini@unicam.it
Orario di ricevimento
2
ore settimanali da concordare con gli studenti
·
Fornire un nuovo
paradigma per la computazione basato sulla rivisitazione in termini “fisici”
del principio di Church-Turing
·
Presentare i
principali algoritmi quantistici
·
Valutare la
potenzialità dell’approccio quantistico alla computazione rispetto a quello
classico
·
Introduzione e cenni
storici:
·
Cenni di meccanica
quantistica: meccanica classica e sistemi probabilistici, spazi di Hilbert,
postulati
della meccanica quantistica, sovrapposizione e separabilità degli stati,
matrici di Pauli.
·
Cenni sulla teoria
classica della computazione:
macchine di Turing deterministiche e non, modelli
circuitali, complessità computazionale, reversibilità.
·
Teoria quantistica
della computazione:
Macchine di Turing quantistiche, classi di
complessità quantistiche, circuiti quantistici, universalità di porte logiche,
operazioni logiche quantistiche e valutazione di funzioni, generazione di
numeri random.
·
Trasformata di
Fourier Quantistica e sue applicazioni:
trasformata di Fourier quantistica, probelma
dell'order-finding, problema del period-finding, algoritmo di Shor, il problema
generale dell’hidden subgroup.
·
Algoritmi di ricerca:
algoritmo
di Deutsch, algoritmo di Grover, ricerca e simulazione quantistica, conteggio
quantistico, ricerca e problemi NP-complete, limiti della quantum computation.
·
Possibili implementazioni
di processori quantistici e limiti fisici alla computazione:
dispositivi fotonici, trappole ioniche, risonanza
magnetico-nucleare, dispositivi a stato solido, il limite di Bekenstein.
Prova
scritta e/o orale
C. P. Williams and S. H.
Clearwater, Explorations in Quantum Computing, (Springer, New York, 1998);
M. A. Nielsen and I. L.
Chuang, Quantum Computation and Quantum Information (Cambridge University
Press, Cambridge, 2000);
M.
Hirvensalo, Quantum Computing (Springer, Berlin, 2001);
Orario delle lezioni
II
periodo didattico, I anno
Calendario esami
Appelli
fissati ad ogni periodo di sospensione della didattica e nel periodo estivo,
Dipartimento di Matematica e Informatica
Fisica della Tecnologia dell’Informazione
Docente
David
Neilson
E-mail
david.neilson@unicam.it
Orario di ricevimento
2
ore settimanali da concordare con gli studenti
Obiettivi dell’attività formativa
Illustrare
la Tecnologia dell’Informazione e i processi fisici che ne regolano il flusso.
Sequenza delle diverse fasi
dell’attività formativa
-
Fisica del trattamento
dell’informazione (transistors, convertitori, giunzioni PN)
-
Fisica dell’accumulazione
dell’informazione (magnetismo, lettori CD, memoria MOS)
-
Fisica della comunicazione
dell’informazione (strumentazione, schermatura, rivelatori ed emettitori di
luce, display, stampanti)
Esame finale
Modalità
da concordare con gli studenti
Testi consigliati
Appunti
del docente
Orario delle lezioni
III
periodo didattico, I anno
Calendario esami
Appelli
fissati ad ogni periodo di sospensione della didattica e nel periodo estivo,
Dipartimento di Matematica e Informatica
Geometria computazionale
Docente
Riccardo Piergallini
E-mail
riccardo.piergallini@unicam.it
Orario di ricevimento
da
fissare in ragione dell’orario delle lezioni
Obiettivi dell’attività formativa
·
Applicare le
conoscenze geometriche di base a problemi di tipo applicativo
·
Definire e analizzare
e implementare algoritmi di carattere geometrico
Sequenza delle diverse fasi dell’attività formativa
Il corso è finalizzato a fornire una panoramica
delle principali tecniche di geometria computazionale caratterizzate da un
ampio spettro di applicazioni, partendo da quelle combinatorie “classiche” ma
spaziando anche tra quelle più innovative di tipo analitico o digitale,
coinvolgendo gli studenti in attività “sperimentali” al computer. Gli argomenti
specifici, scelti anche in base degli interessi degli studenti, possono
includere:
·
Algoritmi classici
(involucri convessi, triangolazioni, diagrammi di Voronoi);
·
Interpolazione
geometrica (parametrizzazioni polinomiali e spline, curve e superfici di Bezier
e B-spline);
·
Modellazione
geometrica (rappresentazione e manipolazione di curve, superfici, solidi);
·
Generazione di mesh
(strutturate e non strutturate, per regioni piane e superfici nello spazio);
·
Ottimizzazione di
configurazioni (distribuzioni di punti, grafi, curve, superfici, mesh).
Realizzazione
di un progetto e una prova orale.
Testi consigliati
M. de Berg, M. van
Kreveld, M. Overmars, O. Schwarzkopf, Computational
Geometry, Springer 2000
F.P. Preparata, M.I.
Shamos, Computational Geometry: An
introduction, Springer 1985
J. O'Rourke, Computational
Geometry in C, Cambridge University Press 1998
J.D. Foley, A. van Dan, S.K. Feiner, J.F. Hughes, Computer graphics, principles and practice,
Addison-Wesley 1997
Orario delle lezioni
II
periodo didattico, II anno
Calendario esami
Appelli
al termine di ogni periodo di lezione ed estivi.
Il materiale didattico è disponibile al seguente
link
http://dmi.unicam.it/~pierg/home/corsi/geom_comp/
Informatica Teorica
Docente
Carlo
Toffalori
E-mail
carlo.toffalori@unicam.it
Orario di ricevimento
2
ore settimanali da concordare con gli studenti
Obiettivi dell’attività formativa
· Introdurre la trattazione teorica dei concetti di
algoritmo e di efficienza; discuterne le varie applicazioni
Sequenza delle diverse fasi
dell’attività formativa
· Problemi, codifiche, linguaggi; complessità di un
problema e sue possibili misure (statiche e dinamiche)
· Classi
di complessità temporali: P, NP, oltre NP
· Classi
di complessità spaziali
· Relativizzazione
· Algoritmi
probabilistici, classi di complessità probabilistiche
Esame finale
Prova
orale
Testi consigliati
D.
Bovet-P. Crescenzi, Teoria della
Complessità Computazionale, Franco Angeli, 1991
Orario delle lezioni
I
periodo didattico, I anno
Calendario esami
Appelli
fissati ad ogni periodo di sospensione della didattica e nel periodo estivo,
Dipartimento di Matematica e Informatica
Informazione Quantistica
Docente
Stefano
Mancini
E-mail
stefano.mancini@unicam.it
Orario di ricevimento
2
ore settimanali da concordare con gli studenti
Obiettivi dell’attività formativa
·
Presentare un
approccio “fisico” al concetto di informazione
·
Fornire le conoscenze
di base, sia nell’ambito della teoria classica che nell’ambito della teoria
quantistica, in merito alla manipolazione di informazione
·
Comprendere
potenzialità e limiti dei processi di informazione legati alle attuali teorie
·
Introduzione e cenni
storici:
·
Cenni di meccanica
quantistica:
spazi di Hilbert, rappresentazione degli stati come
operatori, postulati della meccanica quantistica, matrici di Pauli,
sovrapposizione e separabilità, decomposizione di Schmidt e purificazione.
·
Teoria del rumore
quantistico:
superoperatori e mappe quantistiche, mappe per i
diversi tipi di canali rumorosi, relazione con altri approcci.
·
Cenni sulla teoria
della correzione degli errori:
la ridondanza, cenni di teoria classica di
correzione degli errori, misure di distanza, condizioni per la correzione degli
errori, codici lineari, discretizzazione degli errori quantistici, teoria degli
stabilizzatori, cenni alla fault-tolerance.
·
Entropia ed
informazione:
entropia
di Shannon e sue proprietà, entropia di von Neumann e sue proprietà,
distinguibilità di stati quantistici ed informazione accessibile, compressione
di dati e teoremi di Shannon, teorema di Schumacher, teorema di
Holevo-Schumacher-Westmoreland, codifica densa, teletrasporto.
·
Trasformazioni di
entanglement:
distillazione
e diluizione di entanglement, quantificazione di entanglement.
·
Criptografia:
cenni
storici, chiavi private e chiavi pubbliche, Vernam cipher e sistema RSA,
distribuzione quantistica delle chiavi, amplificazione privata, riconciliazione
dell’informazione e relazione con codici di correzione degli errori, sicurezza
dei protocolli.
Prova
scritta e/o orale
M.
A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information
(Cambridge University Press, Cambridge, 2000);
Dispense
del docente
Orario delle lezioni
III
periodo didattico, I anno
Calendario esami
Appelli
fissati ad ogni periodo di sospensione della didattica e nel periodo estivo,
Dipartimento di Matematica e Informatica
Ingegneria del Software 2
Docente
Flavio
Corradini
E-mail
flavio.corradini@unicam.it
2
ore settimanali da concordare con gli studenti
Obiettivi dell’attività formativa
Studiare
le principali metodologie per la progettazione dei “Sistemi Embedded” hardware
e software e i loro principali domini applicativi.
Sequenza delle diverse fasi
dell’attività formativa
Esame finale
Sviluppo
di un progetto e prova orale
Testi consigliati
Titolo:
Embedded System Design: A Unified Hardware/Software Introduction
Autori:
Frank Vahid, Tony Givargis
Casa
Editrice: John Wiley & Sons, Inc.
Orario delle lezioni
I
periodo didattico, II anno
Calendario esami
Appelli
fissati ad ogni periodo di sospensione della didattica e nel periodo estivo,
Dipartimento di Matematica e Informatica
Ottimizzazione combinatoria
Docente
Daniele
Pretolani
E-mail
daniele.pretolani@unicam.it
Orario di ricevimento
2
ore settimanali da concordare con gli studenti
Obiettivi dell’attività formativa
l Progettare e realizzare algoritmi di tipo
esatto o euristico per la soluzione di problemi di ottimizzazione
Sequenza delle diverse fasi
dell’attività formativa
l Ottimalità ed algoritmi
l Algoritmi euristici
l Tecniche di rilassamento
l Algoritmi enumerativi
Esame finale
Prova
scritta e/o orale
Testi consigliati
non indicato
Orario delle lezioni
I
periodo didattico, II anno
Calendario esami
Appelli
fissati ad ogni periodo di sospensione della didattica, Dipartimento di
Matematica e Informatica
Reti degli Elaboratori 2
Docente
Alberto
Polzonetti
E-mail
alberto.polzonetti@unicam.it
Orario di ricevimento
Sempre
previo appuntamento per e-mail
Obiettivi dell’attività formativa
Il
corso riprende i concetti generali delle reti degli elaboratori presentati
durante la laurea triennale approfondendo alcuni argomenti attraverso esercizi
di programmazione e proposte di ricerca
Sequenza delle diverse fasi
dell’attività formativa
-
Strato
dell’applicazione : HTTP, FTP, SMTP
-
Programmazione dei
socket e costruzione di un server WEB
-
Strato di trasporto:
principi dell’affidabile trasporto dei dati e del controllo della congestione
-
Strato della rete ed
instradamento: algoritmi di instradamento, instradamento in Internet (sistemi
autonomi), IPv6
-
Strato del link e
reti di area locale: ricerca e correzione di errore, protocolli di accesso
multiplo, trasferimento asincrono(ATM), X.25 e frame relay
-
Funzionamento delle
reti con applicazioni multimediali
-
Gestione della rete
Esame finale
Prova
scritta e valutazione lavori di ricerca e programmazione effettuati durante
l’anno
Testi consigliati
J.F.
Kurose – K.W. Ross, Internet e Reti di Calcolatori, McGraw-Hill 2001
Orario delle lezioni
II
periodo didattico, I anno
Calendario esami
Appelli
fissati ad ogni periodo di sospensione della didattica e nel periodo estivo,
Dipartimento di Matematica e Informatica
Valutazione di Performance di Sistemi Complessi
Docente
Leonardo
Pasini
E-mail
leonardo.pasini@unicam.it
Orario di ricevimento
2
ore settimanali da concordare con gli studenti
Obiettivi dell’attività formativa
Acquisire
la capacità di modellizzare sistemi complessi mediante reti di code estese e di
costruirne i relativi simulatori
Sequenza delle diverse fasi
dell’attività formativa
-
An overview of queueing network modelling
-
Conducting a network study
-
Leggi Fondamentali
-
Queueing network model input and output
-
Bounds on Performance
-
Models with one job class
-
Models with multiple job classes
-
Flow equivalence and hierarchical modelling
Esame finale
Realizzazione
e discussione di un progetto specifico
Testi consigliati
E.
D. Lazowska, Quantitative system performance – Computer system analysis using
queueing network models, Prentice-Hall Inc.
Qnap2
V9.4, Queueing network analysis package: manuali d’uso
Orario delle lezioni
III
periodo didattico, I anno
Calendario esami
Appelli
fissati ad ogni periodo di sospensione della didattica e nel periodo estivo,
Dipartimento di Matematica e Informatica