TFA AA 2014-15 - Università degli Studi di Firenze

TFA A.A. 2014-15
CLASSE A042 – Informatica
Programmi delle prove
INSEGNAMENTO CONTENUTI e TESTI DI RIFERIMENTO
Contenuti:
Cos'è l'informatica, l'insegnamento dell'informatica. Il metodo algoritmico:
Algoritmica e
modellazione, progettazione, sviluppo. Classificazione dei problemi: indecidibili,
problem solving aperti, intrattabili, trattabili. Analisi di complessità degli algoritmi. Strutture dati
per
e complessità. Metodologie di progettazione: tecnica greedy, divide et impera,
l’insegnamento programmazione dinamica. Laboratorio: implementazione degli algoritmi visti
con laboratorio nelle lezioni.
prof. M.C. Verri,
A. Frosini
Testi di riferimento:
 Crescenzi, Gambosi, Grossi, Rossi, “Strutture di dati e algoritmi”, Pearson
 Risorse on-line e lucidi dei docenti
Contenuti:
Linguaggi e Paradigmi di Programmazione. Il pensiero computazionale.
Metodologie di costruzione del codice. Il linguaggio di programmazione Python.
Linguaggi di
programmazione Organizzazione del codice e modularità. Progettazione e tecniche di
programmazione funzionale. Progettazione e tecniche di programmazione con
per
l’insegnamento Classi e Oggetti. Verifica del codice mediante test. Organizzazione di
con laboratorio esercitazioni di programmazione. Organizzazione di esercitazioni di design e
progettazione concettuale. Framework di supporto all'introduzione dei concetti
prof. B. Venneri, di programmazione. Aspetti etici e valore didattico nell'uso di software ed
M. Loreti, A.
hardware libero.
Formiconi
Testi di riferimento:
 manuali on-line e lucidi dei docenti
Contenuti:
Concetti e architettura di un sistema di basi di dati: basi di dati e sistemi
informativi; architettura a tre livelli e indipendenza dei dati in un sistema di
gestione basi di dati (DBMS); linguaggi di basi di dati; vantaggi e svantaggi
Basi di dati per
dell’uso di un DBMS. Il modello relazionale: relazioni e tabelle; vincoli di
l’insegnamento
dominio; chiave di una relazione; vincoli di integrità referenziale e chiavi
con laboratorio
esterne; i principali operatori dell’algebra relazionale. Progettazione
concettuale: il modello Entity-Relationship; raccolta e analisi dei requisiti;
prof. E. Grazzini,
strategie di progettazione; schema concettuale. Progettazione logica:
D. Merlini
ristrutturazione dello schema concettuale; traduzione dello schema concettuale
in schema logico. Normalizzazione: ridondanze e anomalie; dipendenze
funzionali; decomposizioni dello schema; forma normale di Boyce-Codd; terza
forma normale.
Area Servizi alla Didattica
Segreteria Post Laurea
TFA A042 – A.A. 2014/15
1/3
TFA A.A. 2014-15
CLASSE A042 – Informatica
Programmi delle prove
Basi di dati per
l’insegnamento
con laboratorio
Contenuti:
Lo standard SQL per la definizione di una base di dati relazionale e per la
modifica e l'interrogazione dell'istanza di una base di dati. Confronto tra
espressioni dell'algebra relazionale e interrogazioni SQL. Il sistema MySQL Creazione di relazioni, vincoli intrarelazionali e interrelazionali, chiavi primarie e
chiavi esterne. Popolamento di una base di dati. Struttura base delle query.
Ordinamento, raggruppamenti, funzioni di aggregazione. Viste. I join. Query di
tipo insiemistico. Query nidificate. Cenni su procedure e funzioni.
prof. E. Grazzini, Testi di riferimento:
 Atzeni, Ceri, Paraboschi, Torlone, Basi di dati Modelli e linguaggi di
D. Merlini
interrogazione, McGraw-Hill, quarta edizione (2013)
 Albano, G. Ghelli, R. Orsini, Basi di dati relazionali e a oggetti, Zanichelli, 1997
 Ramakrishanan, Gehrke, Database Management Systems, Mc Graw-Hill, 200
 Elmashri, Navathe, Fundamentals of Data-base Systems, Addison-Wesley,
2000.
Contenuti:
Sistemi Operativi: Struttura e principali funzioni di un sistema operativo;
processi, thread e scheduling della CPU; caratterizzazione e gestione dello stallo;
gestione della memoria principale e virtuale; interfaccia e implementazione del
file system; struttura dei dispositivi di massa e gestione del sistema di I/O. Casi di
studio: implementazione di alcuni concetti in Windows e UNIX/Linux.
Architetture: Introduzione. Prestazioni metriche e misure. Algebra di
commutazione. Reti logiche combinatorie. Reti sequenziali sincrone ed elementi
Sistemi e reti di di memoria. L’aritmetica dei calcolatori. La costruzione di una ALU. Il Linguaggio
Assembly del MIPS. Laboratorio: programmazione in ambiente SPIM; Il
calcolatori per
l’insegnamento Processore: implementazione elementare, multi-ciclo e pipeline. Gerarchie di
Memoria, cache a mappa diretta e associativa. Cenni a memoria virtuale ed
interazione con i dispositivi
prof. A.
Reti di calcolatori: cosa è Internet. cosa è un protocollo. Architettura di
Bondavalli,
rete:network edge; hosts, access net, physical media. Network core:
R. Pugliese,
packet/circuit switching, Internet structure. performance: loss, delay,
P. Lollini
throughput. security. protocol layers. service models. history.
Testi di riferimento:
 Sistemi Operativi, P.Ancillotti & M. Boari & A. Ciampolini & G. Lipari, 2 ed.,
McGraw-Hill.
 Sistemi Operativi, A.Silberschatz & P.B.Galvin & G.Gagne, 9 ed., Pearson.
 C. Bolchini, C. Brandolese, F. Salice e D. Sciuto. Reti logiche, 2/e, Apogeo,
2009.
Area Servizi alla Didattica
Segreteria Post Laurea
TFA A042 – A.A. 2014/15
2/3
TFA A.A. 2014-15
CLASSE A042 – Informatica
Programmi delle prove
Sistemi e reti di
calcolatori per
l’insegnamento
prof. A.
Bondavalli,
R. Pugliese,
P. Lollini
Testi di riferimento:
 D. Patterson, J. Hennessy. Computer Organization and Design (The
Hardware/Software Interface), Morgan & Kaufmann, 4/e, 2009 (edizione
italiana dello stesso testo: Struttura e Progetto dei Calcolatori, 3/e, Zanichelli,
2010).
 Computer Networking: A Top Down Approach. - 6th edition - Jim Kurose,
Keith Ross - Addison-Wesley March 2012
Area Servizi alla Didattica
Segreteria Post Laurea
TFA A042 – A.A. 2014/15
3/3