Campusnet - Corsi di Laurea in Informatica

Transcription

Campusnet
Brochure dei corsi
Indice
Indice
Co rsi di insegnamento : 0 5 luglio 20 15
Algebra e Geo metria
Algo ritmi e Strutture Dati 1
Algo ritmi e Strutture Dati 2
Analisi e Verifica del So ftware
Analisi Matematica
Analisi Matematica A
Analisi Matematica B
Architettura degli Elabo rato ri
Basi di Dati
Bio lo gia per Bio info rmatica
Calco lo Numerico
Chimica
Co mpilato ri
Critto grafia
Elementi di Bio info rmatica
Fisica
Fo ndamenti dell'Info rmatica
Fo ndamenti di Pro grammazio ne A
Fo ndamenti di Pro grammazio ne B
Gestio ne delle Co nfigurazio ni del So ftware
Ingegneria del So ftware
Intelligenza Artificiale
Labo rato rio di Algo ritmi e Strutture Dati
Labo rato rio di Basi di Dati
Labo rato rio di Pro grammazio ne di Rete
Labo rato rio di Sistemi Distribuiti
Labo rato rio di Sistemi Operativi
Lingua Inglese
Linguaggi di Pro grammazio ne
Linguaggi Dichiarativi
Meto do lo gie di Pro grammazio ne
Mo dellazio ne e Simulazio ni Numeriche
Mo dellistica Mo leco lare
Reti di Calco lato ri
Semantica dei Linguaggi di Pro grammazio ne
Sistemi Distribuiti
Sistemi Info rmativi 1
Sistemi Info rmativi 2
Sistemi Operativi
Teo ria dei Numeri e Critto grafia
Teo ria dell'Info rmazio ne
Tuto rato di Matematica
1
2
2
2
4
5
6
7
8
9
11
12
13
13
16
16
17
17
20
21
22
23
24
26
26
27
27
27
27
28
30
30
31
32
33
34
36
37
37
39
41
41
42
43
-1-
Università degli Studi di Parma
Corsi di Laurea in Informatica (classe L31)
Co rsi di insegnament o : 0 5 luglio 20 15
Algebra e Geomet ria
Anno accade mico: 2014/2015
CdL: L31 Informatica
Doce nte : Pro f . Lucia Alessandrini (T it o lare del co rso )
Re capito: 0521-906934 [[email protected]]
Tipologia: Di bas e
Anno: 1° anno
Cre diti/Vale nz a: 9
SSD: MAT/03 - ge ome tria
Modalità di e rogaz ione : Tradiz ionale
Lingua di ins e gname nto: Italiano
Modalità di fre que nz a: Obbligatoria
Modalità di valutaz ione : Scritto e d orale
OBIET T IVI
Dare allo s tude nte le noz ioni fondame ntali di Ge ome tria line are ne llo s paz io, Alge bra line are , Te oria de i
gruppi in Alge bra, e me tte rlo in grado, tramite nume ros i e s e mpi, di applicare tali noz ioni.
PROGRAMMA
Prima parte : Ge ome tria line are ne llo s paz io. Ve ttori, re tte , piani. Ce nni alle s upe rfici quadriche .
Se conda parte : Alge bra line are . Lo s paz io R^n come s paz io e uclide o. Matrici, de te rminanti, s is te mi
line ari. Dipe nde nz a e indipe nde nz a line are , bas i e dime ns ione , s ottos paz i. Applicaz ioni line ari;
autove ttori, autovalori, diagonaliz z az ione .
Te rz a parte : Alge bra. Nume ri inte ri. Te oria de i gruppi.
T EST I
L. ALESSANDRINI, L. NICOLODI: Ge ome tria A, e d. UNINOVA
oppure L. ALESSANDRINI, L. NICOLODI: Ge ome tria e Alge bra Line are , e d. UNINOVA
Pe r la parte di Alge bra: dis pe ns e de l cors o.
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=e ad6
Algorit mi e St rut t ure Dat i 1
Doce nte : Grazia Lo t t i (T it o lare del co rso )
Re capito: [[email protected]]
Tipologia: Di bas e
Anno: 1° anno
SSD: INF/01 - informatica
OBIET T IVI
Il cors o pre s e nta un'introduz ione alle più importanti s trutture dati e alle te cniche di bas e pe r la
proge ttaz ione e l'analis i de gli algoritmi.
Scopo de l cors o è familiariz z are gli s tude nti con gli algoritmi, le s trutture dati e con le te cniche pe r
-2-
analiz z are la loro e fficie nz a.
RISULT AT I DELL'APPRENDIMENT O
Conos ce nz a e capacità di compre ns ione :
Acquis iz ione de gli s trume nti di bas e pe r l'analis i e la s inte s i di s oluz ioni algoritmiche a proble mi
e le me ntari de l mondo re ale . Lo s tude nte alla fine de l cors o acquis irà una buona conos ce nz a de i
principali algoritmi e de lle più importanti s trutture dati, us ati pe r s viluppare s oftware s trutturato,
e fficie nte , rius abile e pratico.
Capacità di applicare conos ce nz a e compre ns ione :
Sarà in grado di confrontare algoritmi dive rs i pe r uno s te s s o proble ma, di pre dire o garantire le
pre s taz ioni di un algoritmo pe r ris olve re proble mi di grandi dime ns ioni. Sarà in grado di s tudiare le
limitaz ioni ine re nti de i proble mi da ris olve re , organiz z are e s trutturare i dati da e laborare ne l modo più
opportuno, individuare e /o proge ttare algoritmi corre tti e d e fficie nti.
PROGRAMMA
Analis i di algoritmi e comple s s ità.
Dime ns ione de i dati di un proble ma. Ordini di grande z z a de lle funz ioni. Cas o pe s s imo e me dio.
Limiti s upe riori e d infe riori alla comple s s ità di un proble ma. Te cniche pe r la dimos traz ione di
limiti infe riori. Comple s s ità polinomiale e s upe rpolinomiale . Re laz ioni di ricorre nz a: me todi di
s oluz ione e te ore ma fondame ntale .
Mode lli di calcolo s e que nz iale .
Macchina ad acce s s o cas uale (RAM). Ris ors e in s paz io e te mpo. Crite ri di cos to uniforme e
logaritmico. Altri mode lli di calcolo.
Strutture dati e le me ntari.
Strutture e le me ntari: lis te , pile , code , he ap e re lative ope raz ioni fondame ntali. Es e cuz ione
ite rativa de lle chiamate ricors ive : re cord di attivaz ione de lle chiamate , loro ge s tione me diante
una pila e analis i de llo s paz io di me moria utiliz z ato. Algoritmi e s trutture dati pe r la ge s tione e
manipolaz ione di ins ie mi: tabe lle has h, albe ri binari di rice rca, bilanciame nto, s kip-lis ts e B-albe ri.
Algoritmi e s trutture dati pe r il proble ma Union-Find. Code con priorità, he ap.
Proge tto di algoritmi.
Te cniche di proge ttaz ione di algoritmi e d e s e mpi di applicaz ione : te cnica divide e t impe ra,
backtrack, gre e dy, programmaz ione dinamica. Algoritmo di Karatz uba-Hoffman pe r il prodotto di
inte ri. Prodotto di una s e que nz a di matrici. Codici di Huffman.
Algoritmi di rice rca e ordiname nto.
Ge ne ralità s ul proble ma de ll'ordiname nto. Ordiname nto inte rno pe r confronti: nume ro minimo di
confronti ne ce s s ari pe r ordinare n e le me nti. Algoritmi primitivi di ordiname nto: s e le ction-s ort,
ins e rtion-s ort, bubble -s ort. L'algoritmo he aps ort. Algoritmi ricors ivi: me rge s ort, quicks ort. Analis i
de l quicks ort ne l cas o me dio. Imple me ntaz ione ite rativa di quicks ort e ottimiz z az ione de llo
s paz io di me moria. Algoritmi line ari non bas ati s ul confronto: counting-s ort, radix-s ort, bucke t-s ort.
De te rminaz ione de ll'e le me nto me dio.
Algoritmi e le me ntari s ui grafi.
Te cniche di rappre s e ntaz ione di grafi orie ntati e non orie ntati. Algoritmi di vis ita in ampie z z a e
profondità, albe ri di cope rtura. Algoritmi di vis ita s u albe ri. Calcolo de lle compone nti forte me nte
conne s s e . Cammini minimi s u grafi. Algoritmi pe r la de te rminaz ione di ordiname nti topologici,
albe ri di cope rtura minimi, cammino minimo da una s orge nte , cammini minimi da s orge nti
multiple .
T EST I
T. H. Corme n, C. E. Le is e rs on, R. L. Rive s t, C. Ste in. Introduction to algorithms , MIT Pre s s , third
e dition, 2011.
C. De me s tre s cu, I. Finocchi, G. F. Italiano, Algoritmi e s trutture dati, McGraw Hill, s e conda e diz ione ,
2008.
P. Cre s ce nz i, G. Gambos i, R. Gros s i. Strutture di Dati e Algoritmi, Pe ars on, prima e diz ione , 2006
NOT A
Le z ioni frontali con e s e rcitaz ioni. L'ins e gname nto vie ne s volto ne llo s te s s o s e me s te re di
"Fondame nti di Programmaz ione B", ne lle cui ore di laboratorio ve ngono imple me ntate alcuni de lle
più s ignificative s trutture dati utiliz z ando il linguaggio C++.
L'e s ame compre nde una prova s critta e un colloquio orale . La prova s critta cons is te di un ce rto
nume ro di e s e rciz i, da s volge rs i s e nz a pote r cons ultare libri o appunti. Gli e s e rciz i pos s ono
comportare la ris oluz ione di proble mi che s ono minime varianti di que s tioni vis te a le z ione ,
o richie de re la ris oluz ione di proble mi che non coincidono con ne s s uno de i proble mi vis ti a
-3-
le z ione , ma che pos s ono e s s e re ris olti con le te cniche s viluppate in
può e s s e re raggiunta ris olve ndo corre ttame nte gli e s e rciz i de l primo tipo.
ORARIO LEZIONI
Gio rni
Ore
clas s e . La s ufficie nz a
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=34ce
Algorit mi e St rut t ure Dat i 2
Codice : 16827
Tipologia: Caratte riz z ante
Anno: 2° anno
Modalità di valutaz ione : Orale
OBIET T IVI
Ve ngono s tudiati, proge ttati e analiz z ati algoritmi e s trutture dati pe r la s oluz ione e fficie nte di
proble mi di varia natura, me tte ndo in e vide nz a i conte s ti applicativi in cui tali algoritmi e s trutture dati
pos s ono e s s e re applicati con s ucce s s o. Que s to cors o pros e gue e approfondis ce gli argome nti trattati
ne l cors o di Algoritmi e Strutture dati 1.
Lo s tude nte alla fine de l cors o avra' migliorato la conos ce nz a de ll'utiliz z o, de ll'imple me ntaz ione e
de lle pre s taz ioni de i principali algoritmi e de lle più importanti s trutture dati.
lo s tude nte s arà in grado s ia di e ffe ttuare l'analis i di un proble ma di me dia difficoltà, che di proge ttare ,
analiz z are e valutare le s oluz ioni s oftware .
Autonomia di giudiz io:
Sarà in grado di valutare la qualità di una s oluz ione s oftware in te rmini di e fficie nz a e pos s ibilità di
riutiliz z o. Sarà in grado di valutare le implicaz ioni de i s uoi ris ultati algoritmici.
Abilità comunicative :
lo s tude nte acquis irà la capacità di comunicare e d e s prime re proble matiche ine re nti gli s tudi
algoritmici, anche a un pubblico non e s pe rto. Sarà in grado di e vide nz iare le ricadute te cnologiche de lle
te orie s tudiate .
Capacità di appre ndime nto:
lo s tude nte avrà la capacità di aggiornars i, con la cons ultaz ione di pubblicaz ioni s cie ntifiche e te s ti
avanz ati propri de l s e ttore de ll'algoritmica. Le conos ce nz e acquis ite ne l cors o pe rme tte ranno allo
s tude nte di s e guire cors i di mas te r di primo live llo e /o di laure a magis trale .
Lo s tude nte alla fine de l cors o avra' migliorato la conos ce nz a de ll'utiliz z o, de ll'imple me ntaz ione e
de lle pre s taz ioni de i principali algoritmi e de lle più importanti s trutture dati.
lo s tude nte s arà in grado s ia di e ffe ttuare l'analis i di un proble ma di me dia difficoltà, che di proge ttare ,
analiz z are e valutare le s oluz ioni s oftware .
Autonomia di giudiz io:
Sarà in grado di valutare la qualità di una s oluz ione s oftware in te rmini di e fficie nz a e pos s ibilità di
riutiliz z o. Sarà in grado di valutare le implicaz ioni de i s uoi ris ultati algoritmici.
Abilità comunicative :
-4-
lo s tude nte acquis irà la capacità di comunicare e d e s prime re proble matiche ine re nti gli s tudi
algoritmici, anche a un pubblico non e s pe rto. Sarà in grado di e vide nz iare le ricadute te cnologiche de lle
te orie s tudiate .
Capacità di appre ndime nto:
lo s tude nte avrà la capacità di aggiornars i, con la cons ultaz ione di pubblicaz ioni s cie ntifiche e te s ti
avanz ati propri de l s e ttore de ll'algoritmica. Le conos ce nz e acquis ite ne l cors o pe rme tte ranno allo
s tude nte di s e guire cors i di mas te r di primo live llo e /o di laure a magis trale
PROGRAMMA
• te cnica gre e dy e programmaz ione dinamica: ulte riori applicaz ioni;
• algoritmi randomiz z ati, algoritmo di Mille r-Rabin;
• calcolo paralle lo, PRAM, algoritmi e le me ntari, te ore ma di Bre nt;
• e xte rnal me mory mode l, k-way me rge s ort, dis tribution s orting;
• cache oblivious mode l, algoritmi e le me ntari;
• algoritmi online , analis i compe titiva; paging: LRU, Random, Marking; we b caching: gre e dy dual, gre e dy
dual s iz e ;
• ge ome tria computaz ionale : inviluppo conve s s o, algoritmo s we e ping;
• DFT-IDFT: algoritmo FFT, algoritmo di Coole y-Tucke y, prodotto di polinomi, FFT in s trutture finite ,
algoritmo di Schonhage -Stras s e n pe r il prodotto di inte ri (ce nni);
• s tring matching e s atto: algoritmo Knuth-Morris -Pratt, algoritmo Boye r-Moore , s uffix tre e , s uffix array;
• clas s i di comple s s ita P, NP, NPC e loro re laz ioni, riduz ioni polinomiali, algoritmi di appros s imaz ione .
T EST I
F.P.Pre parata, M.I.Shamos , Computational Ge ome try, Springe r-Ve rlag, 1985.
J.Kle inbe rg, E.Tardos , Algorithm de s ign, Addis on We s le y,2006.
C. H. Papadimitriou, Computational Comple xity, Addis on We s le y, 1994
D.Gus fie ld, Algorithms on String, Tre e s , and Se que nce s : Compute r s cie nce and Computational
Biology, Cambridge Unive rs ity Pre s s , 1997.
T. H. Corme n, C. E. Le is e rs on, R. L. Rive s t, C. Ste in. Introduction to algorithms , MIT Pre s s , third
e dition, 2011.
C. De me s tre s cu, I. Finocchi, G. F. Italiano, Algoritmi e s trutture dati, McGraw Hill, s e conda e diz ione ,
2008.
P. Cre s ce nz i, G. Gambos i, R. Gros s i. Strutture di Dati e Algoritmi, Pe ars on, prima e diz ione , 2006.
NOT A
La ve rifica finale de ll'appre ndime nto vie ne e ffe ttuata tramite e s ame orale s ugli argome nti dis cus s i a
le z ione . In itine re è richie s to lo s viluppo di proge tti e /o la pre s e ntaz ione di s e minari s u argome nti ne l
campo de ll'algoritmica. Si inte nde in que s to modo ve rificare l'abilità de llo s tude nte ne lla proge ttaz ione
e valutaz ione de lle s oluz ioni s oftware .
La s ufficie nz a può e s s e re raggiunta dimos trando una conos ce nz a non s upe rficiale de gli s trume nti di
analis i e di s inte s i di algoritmi vis ti a le z ione .
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=174a
Analisi e Verif ica del Sof t ware
Codice : 16434
CdL: S23 Informatica (s pe cialis tica pre -riforma)
Doce nte : Pro f . Ro bert o Bagnara (T it o lare del co rso )
Re capito: 0521 906917 [[email protected]]
Anno: 1° anno
OBIET T IVI
La cre s ce nte dipe nde nz a de lla s ocie tà dalle applicaz ioni informatiche fa s í che l'analis i e la ve rifica de lla
corre tte z z a de i s is te mi comple s s i rappre s e nti s e mpre di più un fattore critico de l proce s s o di s viluppo.
-5-
Il malfunz ioname nto de i s is te mi, s iano e s s i hardware , s oftware o protocolli di comunicaz ione , può
comportare danni rile vanti di ogni ge ne re : dalla pe rdita finanz iaria alla pe rdita di vite umane . Inoltre ,
quando i dife tti non s ono rile vati prima de ll'impie go de l s is te ma, l'applicaz ione di e ve ntuali mis ure
corre ttive è , quando pos s ibile , be n più difficile e cos tos a. Es e mpi dal re ce nte pas s ato includono il
mille nnium bug, gli e rrori di alcune ve rs ioni de l proce s s ore Pe ntium, lo s cope rto da 32 miliardi di dollari
alla N.Y. Bank, il fallime nto iniz iale de l ve ttore Ariane 5, e gli incide nti mortali de l The rac-25. Il cors o
inte nde fornire una prima introduz ione alle te cniche che s tanno alla bas e de ll'analis i automatica de l
s oftware e de lla ve rifica formale as s is tita dal calcolatore .
PROGRAMMA
Introduz ione all'analis i e alla ve rifica de l s oftware .
Spe cifiche e proprie tà di programmi.
Logica di Hoare e ve rifica di programmi s e que nz iali.
Se mantica ope raz ionale s trutturata.
Inte rpre taz ione as tratta.
Analis i s tatica di programmi.
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=b723
Analisi Mat emat ica
Doce nte : Pro f . Alessandro Zaccagnini (T it o lare del co rso )
Tipologia: Di bas e
Anno: 1° anno
SSD: MAT/05 - analis i mate matica
OBIET T IVI
Fornire le noz ioni fondame ntali de ll'analis i mate matica re lativa alle funz ioni re ali di una variabile re ale .
Analiz z are il conce tto di limite (pe r s ucce s s ioni e funz ioni).
AT T IVIT À DI SUPPORT O
Cors o di re cupe ro de i pre re quis iti de l cors o a fre que nz a obbligatoria pe r coloro che non hanno s upe rato
o non hanno s volto il te s t di ingre s s o.
PROGRAMMA
Ins ie mi e nume ri. Ele me nti di te oria de gli ins ie mi, ope raz ioni tra ins ie mi. Ins ie mi nume rici: N, Z, Q, R, C.
Rappre s e ntaz ione de i nume ri re ali s u una re tta; mas s imo, minimo, e s tre mo s upe riore e infe riore ; parte
inte ra e modulo de i nume ri re ali; pote nz e , radici, radici n-e s ime de i nume ri non ne gativi. Forma
alge brica, trigonome trica e d e s pone nz iale de i nume ri comple s s i; radici n-e s ime di un nume ro
comple s s o.
Funz ioni. Funz ioni inie ttive , s urie ttive , biie ttive , funz ioni compos te , funz ione inve rs a; grafici; funz ioni re ali
di variabile re ale , funz ioni monotone ; pote nz e con e s pone nte re ale , funz ioni e s pone nz iali e
logaritmiche ; angoli, funz ioni trigonome triche . Ce nni alla cardinalita` (anche infinita).
Succe s s ioni e s e rie nume riche . Limiti di s ucce s s ioni. Ce nni alle s e rie nume riche e ai crite ri di
conve rge nz a.
Limiti e continuita`. Limiti di funz ioni re ali di variabile re ale ; limite de lla s omma, prodotto, quoz ie nte di
due funz ioni; limite de s tro e s inis tro. Continuita` di funz ioni re ali di variabile re ale , proprie ta` note voli
de lle funz ioni continue .
Calcolo diffe re nz iale . Rapporto incre me ntale , de rivata, s ignificato ge ome trico de lla de rivata; re gole di
de rivaz ione : de rivate de lla s omma, prodotto, quoz ie nte di due funz ioni; de rivate di funz ioni compos te e
di funz ioni inve rs e ; de rivate de lle funz ioni e le me ntari; mas s imi e minimi re lativi; punti s taz ionari;
re laz ione fra monotonia e s e gno de lla de rivata; te ore mi di Fe rmat, Rolle , Lagrange , De l'Hopital;
de rivate di ordine s upe riore ; s viluppo in s e rie di Taylor. Studio de i grafici di funz ioni de rivabili.
Inte grali. Primitive di funz ioni in un inte rvallo e inte grali inde finiti; inte rpre taz ione ge ome trica
de ll'inte grale ; proprie tà de gli inte grali; te ore ma fondame ntale de l calcolo inte grale ; inte graz ione pe r
parti e pe r s os tituz ione ; calcolo e s plicito di inte grali di funz ioni e le me ntari.
-6-
T EST I
M. Be rts ch, R. Dal Pas s o, L. Giacome lli, Analis i Mate matica, Mc Graw-Hill
Altri te s ti utili
F. Conti, P. Acquis tapace , A. Savojni, Analis i Mate matica, Mc Graw-Hill
M. Be rts ch: Is tituz ioni di Mate matica, Bollati Boringhie ri, Torino.
G. De Marco: Analis i Ze ro, Zaniche lli, Bologna (pe r la mate matica di bas e )
G. Prodi: Is tituz ioni di mate matica, McGraw-Hill, Milano.
Es e rciz iari:
S. Sals a, A. Sque llati: Es e rciz i di mate matica 1. Calcolo infinite s imale e alge bra line are , Zaniche lli,
Bologna
S. Sals a, A. Sque llati: Es e rciz i di mate matica 2. Calcolo infinite s imale , Zaniche lli, Bologna
A. Zaccagnini, M.G. Rinaldi: Es e rciz i pe r i cors i di is tituz ioni di mate matica, Az z ali, Parma.
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=0650
Analisi Mat emat ica A
Doce nte : Crist ina Reggiani (T it o lare del co rso )
Tipologia: Di bas e
Anno: 1° anno
PROGRAMMA
Conce tti ins ie mis tici e le me ntari:
• ins ie mi, ope raz ioni s ugli ins ie mi (inte rs e z ione , unione , comple me ntaz ione , pote nz a, prodotto
carte s iano);
• inte rs e z ione e unione di una famiglia di ins ie mi;
• re laz ioni, re laz ioni d'ordine , re laz ioni di e quivale nz a e quoz ie nti, re laz ioni be n fondate ;
• funz ioni, funz ioni inie ttive , funz ioni s urie ttive (s u), compos iz ione di funz ioni, funz ioni inve rtibili;
• ope raz ioni, ope raz ioni parz iali.
Il campo ordinato de i nume ri re ali:
• una pre s e ntaz ione as s iomatica;
• Proprie tà di Archime de e de ns ità di Q in R;
• il Principio di Induz ione : dimos traz ioni pe r induz ione e de finiz ioni pe r ricorre nz a;
• ce nni s ull'incomple te z z a de l s is te ma de i nume ri raz ionali;
• ce nni s ul confrontodi nume ros ità de gli ins ie mi N, Z , Q e d R.
-7-
Funz ioni re ali di una variabile :
• grafici;
• funz ioni monotòne , pe riodiche , pari, dis pari;
• minimi e mas s imi;
• funz ioni e le me ntari;
• alge bra de lle funz ioni.
Limiti di funz ioni:
• e s te ns ione di R con i punti all'infinito, e s te ns ione de ll'ordine ;
• topologia de lla re tta re ale e de lla re tta re ale e s te s a;
• Tore ma di Bolz ano-We ie rtras s ;
• limite di una funz ione e primi te ore mi s ui limiti, tra i quali: Te ore ma di pe rmane nz a de l s e gno e
Te ore ma de l confronto;
• forme inde te rminate ;
• alcuni limiti note voli;
• infinite s imi e d infiniti: ordine e confronto.
-*-
Ve rranno me s s e a dis pos iz ione de gli Stude nti de lle dis pe ns e de l Cors o.
Sono di utile cons ultaz ione i s e gue nti te s ti:
[1] P.J. ECCLES, An Introduction to mathe matical re as oning: numbe rs , s e ts and functions , Cambridge Univ.
Pre s s , 2006
[2] C.D. PAGANI, A. SALSA, Analis i Mate matica Vol. 1, Zaniche lli
[3] G. PRODI, Analis i Mate matica, Boringhie ri
[4] M. SERVI, Ins ie mi, re laz ionie funz ioni: appunti pe r il pre cors o di Mate matica a.a. 2002-2003, Libre ria
S. Croce 2002
[5] I. STEWART, D. TALL, The Foundations of Mathe matics , Oxford Unive rs ity Pre s s , 1977
NOT A
Gli Stude nti immatricolati prima de ll'A.A. 2008-2009 pos s ono s upe rare l'e s ame inte grato di LMM+Analis i
Mate matica 1 me diante due prove parz iali - una pe r cias cun cors o - s os te nute in appe lli dive rs i, anche
di s e s s ioni dive rs e . Gli Stude nti immatricolati prima de l corre nte A.A. 2009-2010, all'atto de ll'is criz ione
all'e s ame , de vono pre cis are l'A.A. de l programma s u cui inte ndono e s s e re e s aminati. In mancanz a di
indicaz ioni, s aranno e s aminati s ul programma di que s t'anno.
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=f5a3
Analisi Mat emat ica B
Doce nte : Do t t . Daniela Medici (T it o lare del co rso )
Re capito: 0521- 906958 [[email protected]]
Tipologia: Di bas e
Anno: 1° anno
-8-
PROGRAMMA
Funz ioni as intotiche . Applicaz ione al calcolo di limiti
Continuità. Proprie tà de lle funz ioni continue . Altri limiti note voli. Limiti di funz ioni compos te . Ris oluz ione di
limiti pe r s os tituz ione .
Succe s ioni e s e rie nume riche . Limiti di s ucce s ioni e te ore mi re lativi. s ucce s s ioni e s e rie note voli. Il
nume ro e e altri limiti note voli. Crite ri di conve rge nz a.
Calcolo diffe re nz iale . De finiz ione e inte rpre taz ione ge ome trica de l conce tto di de rivata. Punti di non
de rivabilità. De rivata de lle funz ioni e le me ntari. Diffe re nz iale di una funz ione . Funz ione de rivata prima e
de rivate s ucce s s ive . Punti critici. Te ore mi di Rolle , Cauchy e Lagrange . Te ore mi di De L'Hos pital. Studio
comple to di una funz ione . La formula di Taylor.
Calcolo inte grale . primitive e inte grale inde finito. Proprie tà fondame ntali e re gole di inte graz ione .
Inte grale di Rie mann. Alcune clas s i di funz ioni inte grabili. Il te ore ma fondame ntale de l calcolo inte grale .
Funz ioni in più variabili. ce nni s ui limiti e continuità di funz ioni in due variabili. Primi e le me nti de l calcolo
diffe re nz iale .
T EST I
C.D. Pagani, S. Sals a, Analis i Mate matica Volume 1, Ed. Mas s on M.Conti, D.L. Fe rrario, S.Te rracini,
G.Ve rz ini, Analis i mate matica. Dal calcolo all'analis i,Volume 1,Ed.Apoge o, 2006. V.Barute llo, M.Conti,
D.L.Fe rrario, S.Te rracini, G.Ve rz ini Analis i Mate matica,Volume 2, Ed.Apoge o, 2006 G. Gilardi, Analis i uno,
Ed. McGraw-Hill, Milano, 1991 E. Gius ti, Analis i Mate matica 1, Bollati Boringhie ri, 1983. P. Marce llini, C.
Sbordone : Analis i Mate matica 1, Liguori e d., 1998. ESERCIZIARI G. Cinquini, P. Colli: Analis i Mate matica,
que s tionari di ve rifica, e d. Mcgraw-Hill libri Italia, 1991 E. Gius ti: Es e rciz i e comple me nti di Analis i
Mate matica – Vol. 1, e d. Bollati Boringhie ri, Torino 1991. S. Marchi, G. Olivie ri: Te mi d'e s ame di Analis i 1
(con s volgime nto), e d. CUSL A. Ruble v, Parma 1990.
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=b625
Archit et t ura degli Elaborat ori
Codice : 13598
Doce nte : Pro f . Alessandro Dal Palu' (T it o lare del co rso )
Anno: 1° anno
OBIET T IVI
Proporre un pe rcors o che , parte ndo dalla rappre s e ntaz ione de ll'informaz ione e pas s ando pe r lo s tudio
de lle re ti logiche , arrivi a de finire i fondame ntali as pe tti archite tturali de i calcolatori e le ttronici.
Il cors o pre ve de , oltre a le z ioni te oriche , una s e rie di e s e rcitaz ioni in aula s ulla parte di re ti logiche e in
laboratorio s ulla parte di as s e mbly IA-32.
Con rife rime nto agli Indicatori di Dublino:
Conos ce nz a e capacità di compre ns ione
Il cors o introduce i primi conce tti re lativi all'archite ttura de gli e laboratori. Particolare e nfas i è data alla
compre ns ione de lle archite tture clas s iche bas ate s ul Mode llo di Von Ne umann. Il te s to di rife rime nto è
in italiano, ma vie ne altre s ì utiliz z ata durante le le z ioni la te rminologia in lingua ingle s e come
avviame nto alla cons ultaz ione di le tte ratura s cie ntifica inte rnaz ionale .
Capacità di applicare conos ce nz a e compre ns ione
Le conos ce nz e te oriche pre s e ntate ve ngono s e mpre applicate alla ris oluz ione di proble mi s pe cifici. Le
e s e rcitaz ioni che affiancano il cors o s ono ince ntrate s ulla ris oluz ione di e s e rciz i e proble mi, con
particolare rife rime nto all'inte rfaccia tra hardware e s oftware . Spe s s o i me todi ris olutivi ve ngono
pre s e ntati s otto forma algoritmica, s viluppando ne gli s tude nti la capacità di s trutturare proce dure utili in
nume ros e parti de ll'informatica e non s olo ne llo s tudio de ll'archite ttura de gli e laboratori.
-9-
Autonomia di giudiz io
Gli e s e rciz i, che ve ngono propos ti re lativame nte alla parte te orica s volta a le z ione , pos s ono ve nire
ris olti individualme nte o in gruppo. Il confronto con i compagni di cors o, ne l lavoro a cas a o durante gli
s volgime nti in aula, favoris ce lo s viluppo di capacità s pe cifiche pe r pote r a chiarire ai compagni o ai
doce nti le proprie argome ntaz ioni. Spe s s o gli e s e rciz i propos ti pos s ono ve nire ris olti in modi molto
dive rs i e l'as colto de lle s oluz ioni propos te da altri pe rme tte di s viluppare la capacità di individuare
s trutture comuni, al di là de lle appare nti diffe re nz e s upe rficiali.
Abilità comunicative
Le nume ros e dis cus s ioni s ui dive rs i me todi pe r ris olve re i proble mi propos ti cons e ntono di migliorare
le capacità di comunicaz ione . Ve ngono inoltre abitualme nte utiliz z ate durante le s pie gaz ioni (e d
e s plicitame nte
e vide nz iate in clas s e ) alcune modalità di comunicaz ione s pe cifiche de lla te cnologia informatica.
Capacità di appre ndime nto
Lo s tudio de lle origini de lle s oluz ioni te cnologiche e la loro introduz ione motivata da cons ide raz ioni
quantitative contribuis ce a re aliz z are ne gli s tude nti la capacità di appre nde re in modo profondo e non
s oltanto s upe rficiale e ripe titivo. Le conos ce nz e cos ì acquis ite non s ono mai rigide e de finitive , ma s ono
pe rfe ttame nte adattabili ad ogni e voluz ione e cambiame nto di pros pe ttiva e di conte s to.
Ris ultati de ll'appre ndime nto e modalità di ve rifica
Sape r compre nde re e utiliz z are in modo appropriato le te cniche re lative alla rappre s e ntaz ione
de ll'informaz ione . Sape r lavorare a live llo logico ne lla proge ttaz ione di s e mplici re ti combinatorie e
s e que nz iali s incrone . Conos ce re l'archite ttura di bas e de gli e laboratori s e condo il Mode llo di Von
Ne umann s ia a live llo funz ionale che di micro-archite ttura. Conos ce re e s ape r utiliz z are le principali
te cniche di programmaz ione in linguaggio as s e mbly pe r archite tture clas s iche .
Modalità di ve rifica/e s ame
L'e s ame cons is te in una prova s critta e un colloquio orale a cui s i acce de s olo al s upe rame nto de lla
prova s critta. E' pos s ibile s os te ne re più volte la prova s critta ma ogni s critto cons e gnato annulla lo
s critto pre ce de nte .
PROGRAMMA
I parte – Introduz ione ai s is te mi di e laboraz ione
Sis te mi di e laboraz ione
Evoluz ione s torica e te cnologica
Archite ttura e organiz z az ione de i calcolatori e le ttronici
Mode lli di s is te ma e live lli di as traz ione
Sis te mi di nume raz ione binario, e s ade cimale e ottale
Rappre s e ntaz ione binaria de i nume ri re ali
Informaz ioni di caratte re alfanume rico
Rappre s e ntaz ione di s uoni, immagini e vide o
II parte – Live llo logico
Alge bra de lle re ti
Circuiti logici e le me ntari
Forme canoniche e tras formaz ioni
Minimiz z az ione logica
Re ti combinatorie
Re ti s e que nz iali
III parte – Live llo funz ionale
Re laz ione tra live llo funz ionale e live llo micro-archite ttura
Organiz z az ione di un calcolatore mode rno
Il re pe rtorio de lle is truz ioni
La CPU
I s is te mi di me moria
Il s ottos is te ma di I/O
IV parte – Archite ttura e linguaggio as s e mbly IA-32
Archite ttura IA-32
Le CPU IA-32: ge s tione de lla me moria, re gis tri, flag
Is truz ioni de ll'as s e mbly IA-32
Se t di is truz ioni aggiuntive de i mode rni microproce s s ori: MMX, 3DNow!, SSE, SSE2
Programmaz ione as s e mbly e d inte rfaccia con il linguaggio C
V parte – Live llo s oftware
- 10 -
Ce nni al s is te ma ope rativo
Ce nni alla s truttura de i compilatori di linguaggi tipo-C
Ce nni alla ge ne raz ione di codice as s e mbly pe r un s otto-ins ie me de l C
VI parte – Live llo micro-archite ttura
La microarchite ttura: proge ttaz ione hardwire d e micro-programmata
Approfondime nti s ulle archite tture micro-programmate
Ce nni alla s truttura di una archite ttura micro-programmata compatibile con le CPU tipo NMOS
6502
Ge s tione de l I/O a live llo micro-archite ttura: inte rrupt e DMA
Inte raz ione con il live llo s oftware
T EST I
Giacomo Bucci. Archite ttura e organiz z az ione de i calcolatori e le ttronici - Fondame nti, McGraw-Hill, 2004
David A. Patte rs on, John L. He nne s s y. Struttura e Proge tto de i Calcolatori, Zaniche lli, 2006.
William Stallings . Archite ttura e organiz z az ione de i calcolatori - Proge tto e pre s taz ioni, Addis on
We s le y, 2004.
Andre w S. Tane nbaum. Archite ttura de i Calcolatori, 5a e diz ione , Pre ntice Hall, 2006.
Randall Hyde . The Art of As s e mbly Programming, dis ponibile online .
NOT A
Pe r il mate riale didattico e il programma de ttagliato s e guito a le z ione cliccare qui:
http://www2.unipr.it/~dalpalu/cors i/arch/arch1415.html
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=d3b2
Basi di Dat i
Doce nte : Pro f . Enea Zaf f anella (T it o lare del co rso )
Anno: 2° anno
OBIET T IVI
Ne lla prima parte de l cors o ve rrà fornita un'introduz ione all'utiliz z o de i s is te mi di ge s tione di bas i di
dati, con particolare rife rime nto ai s is te mi che adottano il mode llo re laz ionale . Argome nto de lla s e conda
parte de l cors o s aranno le me todologie e te cniche di proge ttaz ione di una bas e di dati re laz ionale . Il
cors o pre ve de l'introduz ione ad uno s pe cifico s is te ma di ge s tione di bas i di dati, con e s e rcitaz ioni
pratiche e pre paraz ione di un proge tto da dis cute re in s e de di e s ame .
PROGRAMMA
Introduz ione ai s is te mi di ge s tione di bas i di dati.
Il mode llo re laz ionale de i dati.
Alge bra e calcolo re laz ionale .
Il linguaggio SQL.
Utiliz z o di SQL ne i linguaggi di programmaz ione .
Ge s tione de lle trans az ioni.
Sicure z z a e ge s tione de i diritti di acce s s o.
Bas i di dati attive .
Me todologie pe r il proge tto di bas i di dati: proge ttaz ione conce ttuale , logica e fis ica.
Il mode llo Entità-Re laz ione .
Normaliz z az ione di s che mi di bas i di dati.
T EST I
P. Atz e ni, S. Ce ri, S. Parabos chi, R. Torlone . Bas i di dati: mode lli e linguaggi di inte rrogaz ione , McGraw-
- 11 -
Hill, 2002.
The Pos tgre SQL Global De ve lopme nt Group, Pos tgre SQL 9.1.9 Docume ntation
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=9a2a
Biologia per Bioinf ormat ica
Codice : 19171
CdL: C26 Informatica (trie nnale pre -riforma)
Doce nte : Pro f . Riccardo Percudani (T it o lare del co rso )
Tipologia: Affine o inte grativo
Anno: 2° anno
SSD: Da de finire
PROGRAMMA
I compone nti de lla mate ria vive nte
Le macromole cole : as pe tti chimici e biologici.
Zucche ri
Lipidi
Acidi nucle ici e prote ine come de pos itari de lla dive rs ità biologica.
La ce llula
Le me mbrane ce llulari e le prote ine di me mbrana.
Ce llule procariotiche e ce llule e ucariotiche . Organiz z az ione s trutturale e funz ionale de lla
ce llula e ucariotica: gli organe lli.
Il nucle o: cons e rvaz ione e tras mis s ione de lle informaz ioni ge ne tiche .
Ribos omi, re ticolo e ndoplas mico, apparato di Golgi: bios inte s i e s mis tame nto de lle
prote ine .
Mitocondri e cloroplas ti: tras formaz ioni e ne rge tiche .
Cromos omi, ciclo ce llulare , divis ione ce llulare .
Mitos i e me ios i
Acidi nucle ici, informaz ione e d e re ditarie tà
Gli e s pe rime nti di Me nde l e le le ggi de lla tras mis s ione de i caratte ri
Gli e s pe rime nti di Morgan e la mappatura ge ne tica.
Struttura e nome nclatura de lle bas i az otate e de i nucle otidi. Lo s che le tro covale nte de gli
acidi nucle ici.
La doppia e lica de l DNA.
De naturaz ione , rinaturaz ione e ibridaz ione de l DNA. Analis i de gli acidi nucle ici me diante
e le ttrofore s i.
La re plicaz ione de l DNA: caratte ris tiche fondame ntali e bas i chimiche . Le DNA polime ras i e
le altre prote ine re plicative . Me ccanis mi di re plicaz ione .
Il s e que nz iame nto de l DNA. La re az ione polime ras ica a cate na (PCR). Ricombinaz ione e
riparaz ione de l DNA (ce nni).
L'RNA: s truttura e funz ioni. La s inte s i DNA-dipe nde nte di RNA (tras criz ione ). RNA polime ras i
e promotori. I fattori di tras criz ione . Modificaz ioni de ll'RNA dopo la tras criz ione .
Il codice ge ne tico. La s inte s i prote ica.
I live lli di re golaz ione de ll'e s pre s s ione ge nica.
Sinte s i RNA-dipe nde nte di DNA (tras crittas i inve rs a).
Ge ni e ge nomi. Organiz z az ione de l DNA ne i virus , ne i batte ri e ne gli e ucarioti.
Evoluz ione mole colare .
Le prote ine
I ve nti amminoacidi pre s e nti ne lle prote ine . Il le game pe ptidico.
I live lli di s truttura de lle prote ine : s truttura primaria, s e condaria, te rz iaria e quate rnaria.
De naturaz ione e ripie game nto (folding) de lle cate ne polipe ptidiche . Modificaz ioni covale nti
de lle prote ine : fos forilaz ione , glicos ilaz ione , prote olis i.
Re laz ioni fra la s truttura de lle prote ine e la loro funz ione .
Prote ine di me mbrana, prote ine fibros e , prote ine globulari
Enz imi, catalis i e nz imatica e me tabolis mo
Principi te rmodinamici de lle re az ioni e nz imatiche
Caratte ris tiche ge ne rali e nome nclatura de gli e nz imi
Caratte ris tiche de lla catalis i e nz imatica
Inibitori de gli e nz imi
- 12 -
Glicolis i
Me tabolis mo e ne rge tico ae robico e anae robico
Significato e ne rge tico de ll'ATP e de l NADH
Ciclo de ll'acido citrico
Cate na re s piratoria
T EST I
Purve s , Sadawa, Orians , He lle r. Ele me nti di Biologia e Ge ne tica, te rz a e diz ione . Zaniche lli, Bologna,
2005.
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=146e
Calcolo Numerico
Doce nte : Pro f . Mauro Diligent i (T it o lare del co rso )
Anno: 2° anno
SSD: MAT/08 - analis i nume rica
Avvale nz a: Analis i Nume rica (CdL in Mate matica)
PROGRAMMA
Stabilità, condiz ioname nto e analis i de ll'e rrore .
Buona pos iz ione e nume ro di condiz ioname nto di un proble ma. Stabilità di me todi nume rici.
Re laz ioni tra s tabilità e conve rge nz a. Analis i a priori e d a pos te riori. Sorge nti di e rrori ne i mode lli
computaz ionali. Rappre s e ntaz ione de i nume ri. Il s is te ma pos iz ionale e il s is te ma de i nume ri
floating-point. Arrotondame nto di un nume ro re ale ne lla s ua rappre s e ntaz ione macchina.
Ope raz ioni di macchina e ffe ttuate in virgola mobile .
Inte rpolaz ione polinomiale di funz ioni e dati.
Il proble ma de ll'inte rpolaz ione polinomiale . Forma di Lagrange e di Ne wton de l polinomio
inte rpolatore . Inte rpolaz ione line are ite rata. L'e rrore di inte rpolaz ione . Limiti de ll'inte rpolaz ione
polinomiale s u nodi e quidis tanti e controe s e mpio di Runge . Stabilità de ll'inte rpolaz ione
polinomiale . Inte rpolaz ione di He rmite . Spline line ari e cubiche inte rpolatorie . Conve rge nz a.
Inte graz ione nume rica.
Formule di quadratura inte rpolatorie . Formule di Ne wton-Cote s s e mplici e compos ite . Stime
de ll'e rrore . Inte grali ge ne raliz z ati. Inte graz ione automatica.
Alge bra line are Nume rica 1.
Analis i di s tabilità pe r s is te mi line ari. Il nume ro di condiz ioname nto di una matrice . Ris oluz ione di
s is te mi triangolari. Il me todo di e liminaz ione gaus s iana. L'e ffe tto de gli e rrori di arrotondame nto.
Pivoting. Fattoriz z az ione LU. Matrici s imme triche e de finite pos itive : fattoriz z az ione di Chole s ky.
Calcolo de ll'inve rs a di una matrice . Matrici tridiagonali. Sis te mi tridiagonali a blocchi. Scaling.
Rice rca di radici di e quaz ioni non line ari.
Condiz ioname nto di una e quaz ione non line are . Il me todo di bis e z ione . I me todi de lle corde ,
s e canti, Re gula Fals i. Te ore mi di conve rge nz a. Crite ri di arre s to. Il me todo Ne wton. Conve rge nz a
locale . Il me todo de lle ite raz ioni di punto fis s o. Ris ultati di conve rge nz a. Radici di polinomi
alge brici. Il me todo di Ne wton-Horne r. Il me todo di Bairs tow. Il me todo di Ne wton pe r s is te mi.
T EST I
V. Comincioli. Analis i nume rica, Springe r.
G. Naldi, L. Pare s chi, G. Rus s o. Introduz ione al Calcolo Scie ntifico. Me todi e d applicaz ioni con Matlab,
McGraw-Hill.
A. Quarte roni, R. Sacco, F. Sale ri. Mate matica nume rica, Springe r.
J. Stoe r. Introduz ione all'analis i nume rica, Vol. I, Zaniche lli.
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=0dd9
Chimica
Codice : 13103
- 13 -
Doce nte : Do t t . Luciano Marchiò (T it o lare del co rso )
Anno: 2° anno
SSD: CHIM/03 - chimica ge ne rale e inorganica
OBIET T IVI
Conos ce nz e e compre ns ione : Il Cors o di Chimica ha lo s copo di fornire i conce tti fondame ntali
indis pe ns abili pe r intrapre nde re lo s tudio de lla Chimica. In particolare il cors o s i propone di s ottoline are
i principi fondame ntali che , a partire dalla s truttura e le ttronica de ll'atomo, conducono alla s truttura de lle
mole cole , alle aggre gaz ioni s upramole colari fino ai s olidi e s te s i (re ticolati covale nti, me tallici e ionici) e
ai s is te mi comple s s i, nonché l'as pe tto e ne rge tico che attrave rs o i principi de lla te rmodinamica
cons e nte la raz ionaliz z az ione de lla re attività chimica.
Conos ce nz e e compre ns ione applicate : il cors o fornis ce gli s trume nti pe r re inte rpre tare in modo
formale le conos ce nz e acquis ite ne ll'ambito de lla chimica di bas e , pe rme tte ndo di le gare la re attività
chimica alla s truttura de lla mate ria e ai fondame nti de lla te rmodinamica.
Capacità di appre nde re : oltre agli s trume nti me todologici, il cors o fornis ce allo s tude nte la capacità di
le gge re e analiz z are la re attività chimica di bas e , re nde ndo lo s tude nte in grado di le gge re e
compre nde re te s ti di bas e .
& nbs p;
Capacità di comunicare : il cors o s i propone di pe rme tte re l'acquis iz ione di un linguaggio formalme nte
corre tto, s timolando la capacità di e s prime re i conte nuti in modo chiaro e line are .
Autonomia di giudiz io: Elaboraz ione di colle game nti con conce tti de lla chimica di bas e e rie laboraz ione in
chiave formale de lle conos ce nz e acquis ite .
Le conos ce nz e acquis ite e la capacità di compre ns ione de i conce tti trattati s ono ve rificati attrave rs o un
e s ame s critto e orale . L'e s ame s critto vie ne condotto pe r ve rificare l'acquis iz ione e la compre ns ione
formale de i conce tti de lla chimica di bas e , nonchè la capacità di s volge re corre ttame nte calcoli
s te chiome trici.
Il s upe rame nto de ll'e s ame s critto è condiz ione ne ce s s aria pe r acce de re allo s volgime nto de ll'e s ame
orale , volto a ve rificare la capacità de llo s tude nte di e s porre conce tti anche comple s s i in modo chiaro,
us ando ade guatame nte il linguaggio te cnico-s cie ntifico, e di utiliz z are le conos ce nz e acquis ite pe r
colle gare as pe tti dive rs i de lla chimica di bas e .
Sono dis ponibili s ul s ito we b de l cors o le s lide s utiliz z ate pe r le le z ioni,
una s e rie di e s e rciz i mode llo s volti e da s volge re , nonché una s e rie di
domande pre paratorie pe r la prova s critta finale e le prove s critte
utiliz z ate ne gli anni pre ce de nti.Il doce nte rice ve gli s tude nti pe r chiarime nti e dis cus s ioni, pre vio
appuntame nto
PROGRAMMA
INTRODUZIONE:radici s toriche de lla Chimica. Mate ria e d e ne rgia. Grande z z e fis iche e loro unità di
mis ura. Caratte ris tiche de lla mate ria. La mas s a. Le forz e fondame ntali de lla natura. Sos tanz e e loro
proprie tà. Sis te mi fis ici; fas i e compone nti, mis ce le e s oluz ioni.
FONDAMENTI DELLA TEORIA ATOMICA DELLA MATERIA
Mode lli atomici di Thoms on e di Ruthe rford. Protone , ne utrone , e le ttrone . Nume ro atomico e pe s o
atomico. Is otopi. Radiaz ione e le ttromagne tica. Te oria quantis tica. Atomo di Bohr. Dualis mo ondapartice lla, re laz ione di de Broglie . Principio di inde te rminaz ione di He is e nbe rg. Equaz ione d'onda di
Schroe dinge r. Orbitali atomici e nume ri quantici pe r l'atomo di idroge no. Atomi polie le ttronici. Principio di
"aufbau" (principio di Pauli, re gola di Hund). Configuraz ione e le ttronica de gli e le me nti. Sis te ma pe riodico.
- 14 -
Principali proprie tà pe riodiche .
LEGAME CHIMICO: DALL' ATOMO ALLA MOLECOLA
Tipi di le game chimico. Le game ionico. Introduz ione al le game covale nte . Strutture di Le wis .
Ele ttrone gatività, le game covale nte omo- e d e te ropolare . Le gami s e mplici e le gami multipli. Ge ome tria
mole colare , te oria VSEPR. Te oria de l le game di vale nz a (principi ge ne rali, ris onanz a, ibridiz z az ione ).
L'ibridiz z az ione ne ll'atomo di carbonio. Ce nni re lativi alla te oria de ll'orbitale mole colare (mole cola
de ll'os s ige no). Le game me tallico. Polarità de lle mole cole . Inte raz ioni di van de r Waals , le game a
idroge no.
TERMODINAMICA
Te rminologia. Tipi di tras formaz ioni. Funz ioni di s tato. Primo principio. Lavoro e calore . Entalpia.
Te rmochimica. De gradaz ione de ll'e ne rgia, dis ordine . Entropia. Se condo principio. Te rz o principio. Ene rgia
libe ra di Gibbs . Condiz ioni di s pontane ità di un proce s s o chimico.
EQUILIBRIO CHIMICO
Re az ioni chimiche e d e quilibrio. Le gge d'az ione di mas s a. Cos tante di e quilibrio. Ene rgia libe ra di Gibbs
e cos tante di e quilibrio. Influe nz a e s te rna s ull'e quilibrio (principio di Le Chate lie r). Dipe nde nz a de lla
cos tante di e quilibrio dalla te mpe ratura.
STATO GASSOSO
Proprie tà de i gas . Gas ide ale . Le ggi di Boyle e di Charle s . Te mpe ratura as s oluta. Equaz ione di s tato de i
gas ide ali. Gas re ali. Lique faz ione de i gas .
STATO LIQUIDO
Struttura e proprie tà de i liquidi Evaporaz ione . Te ns ione di vapore . Ebolliz ione , punto di e bolliz ione .
CAMBIAMENTI ED EQUILIBRI DI FASE
Pas s aggi di s tato. Diagrammi di s tato.
SOLUZIONI
Tipi e d e s e mpi. Compos iz ione de lle s oluz ioni, la conce ntraz ione . Forz e inte rmole colari e d e ntalpia di
s oluz ione . Soluz ioni ide ali. Solubilità. Le gge di Raoult e re lative de viaz ioni. Dis s oluz ione di un s ale in
acqua. Solvataz ione . Proprie tà colligative . Innalz ame nto de l punto di e bolliz ione e d abbas s ame nto de l
punto di conge lame nto. Pre s s ione os motica, os mos i, os mos i inve rs a.
STATO SOLIDO
Struttura e proprie tà de i s olidi. Solidi cris tallini e s olidi amorfi. Clas s ificaz ione de i s olidi cris tallini
(me tallici, ionici, covale nti, mole colari). Polimorfis mo, allotropia.
EQUILIBRI IN SOLUZIONE
Acidi e bas i. Te oria di Brons te d-Lowry. Forz a de gli acidi e de lle bas i. Cos tanti di dis s ociaz ione . Acidi
poliprotici. Re laz ione tra proprie tà acido-bas iche e s truttura. Acidi e bas i di Le wis . Prodotto ionico
de ll'acqua. pH, indicatori di pH. Idrolis i di un s ale . Soluz ioni tampone . Anfoliti. Sali poco s olubili: prodotto di
s olubilità, e ffe tto de llo ione comune . Titolaz ioni acido-bas e .
CHIMICA ORGANICA
Gli idrocarburi. Gruppi funz ionali. Biomole cole .
STECHIOMETRIA Dagli e le me nti ai compos ti: tavola pe riodica, nume ro di os s idaz ione , nome nclatura de i
compos ti inorganici; formula minima, mole colare , di s truttura. La re attività: re az ioni di s alificaz ione ,
re az ioni di s cambio, re az ioni di os s idoriduz ione (dis mutaz ioni) in forma mole colare e in forma ionica.I
calcoli s te chiome trici: mole , pe s o e quivale nte , re age nte in e cce s s o/dife tto.
T EST I
P.ATKINS, L.JONES: "Principi di chimica", III e diz ione , 2012, Zaniche lli, Bologna.
ORARIO LEZIONI
- 15 -
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=daba
Compilat ori
Anno: 2° anno
OBIET T IVI
Ne llo s tudio de l proce s s o di compilaz ione di un linguaggio di programmaz ione s i affrontano proble mi di
analis i, proge tto e d imple me ntaz ione la cui s oluz ione è s pe s s o paradigmatica pe r proble matiche che
ricorrono fre que nte me nte ne llo s viluppo di s is te mi s oftware di una ce rta comple s s ità. Il cors o s i
pre figge di fornire un'introduz ione comple s s iva agli argome nti caratte ris tici de lla mate ria, con
l'approfondime nto di alcuni as pe tti rite nuti s ignificativi.
PROGRAMMA
(Boz z a)
Introduz ione al cors o.
Macchine as tratte , inte rpre ti e compilatori.
Suddivis ione de l compilatore in front-e nd, middle -e nd e back-e nd.
Strutture di s upporto alla compilaz ione e d all'e s e cuz ione .
Il front-e nd.
Analis i le s s icale : automi, e s pre s s ioni re golari e s canne r.
Analis i s intattica: grammatiche libe re da conte s to e pars e r.
Analis i dipe nde nte dal conte s to: i controlli di s e mantica s tatica.
Strutture di s upporto alla compilaz ione .
Tabe lle de i s imboli e s che mi di allocaz ione de lla me moria.
As traz ione proce durale : frame di attivaz ione e conve nz ioni di chiamata.
Ge ne raz ione de l codice inte rme dio: tipologie e s che mi di traduz ione .
Il back-e nd.
Se le z ione e s che dulaz ione di is truz ioni macchina.
Allocaz ione de i re gis tri.
Il middle -e nd.
Introduz ione ai proble mi di ottimiz z az ione de l codice .
Analis i data-flow e control-flow.
Alcuni e s e mpi di ottimiz z az ione .
T EST I
Uno a s ce lta de i s e gue nti te s ti. In lingua italiana: Compilatori: Principi, te cniche e s trume nti (s e conda
e diz ione ) A.V. Aho, M.S. Lam, R. Se thi, J.D. Ullman Pe ars on - Addis on We s le y, 2009. In lingua ingle s e :
Engine e ring a Compile r Ke ith D. Coope r and Linda Torcz on Morgan Kaufmann, 2003 Compile rs :
Principle s , Te chnique s and Tools (2nd e dition) Alfre d V. Aho, Ravi Se thi, Je ffre y D. Ullman and Monica S.
Lam Pe ars on Education, 2006.
NOT A
Pre re quis iti: è ne ce s s ario ave re dime s tiche z z a con gli argome nti trattati ne i cors i di Fondame nti di
Programmaz ione , Algoritmi e Strutture Dati, Fondame nti de ll'Informatica, nonché alme no uno tra
Me todologie di Programmaz ione o Linguaggi Dichiarativi. E` cons igliato ave re s e guito il cors o di
Linguaggi di Programmaz ione . Modalità d'e s ame : da s tabilire (pre fe ribilme nte , s volgime nto di un
proge tto).
Crit t ograf ia
Tipologia: A s ce lta de llo s tude nte
Anno: 3° anno
- 16 -
Anno: 3° anno
Avvale nz a: http://mate matica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=0f60
NOT A
Pe r cale ndario, orari e d aule de lle le z ioni, nonché programma de l cors o, modalità di e s ame , date de gli
appe lli, e cc., gli s tude nti s ono pre gati di fare rife rime nto alla pagina we b de l cors o in avvale nz a.
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=2a6a
Element i di Bioinf ormat ica
Doce nte : Pro f . Riccardo Percudani (T it o lare del co rso )
Anno: 3° anno
Avvale nz a: http://s cie nz e biologiche .unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=d4f1
NOT A
Pe r cale ndario, orari e d aule de lle le z ioni, nonché programma de l cors o, modalità di e s ame , date de gli
appe lli, e cc., gli s tude nti s ono pre gati di fare rife rime nto alla pagina we b de l cors o in avvale nz a.
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=0b16
Fisica
Doce nte : Pro f . Luciano T arrico ne (T it o lare del co rso )
Re capito: +39-0521-905269 [[email protected]]
Tipologia: Di bas e
Anno: 1° anno
SSD: FIS/01 - fis ica s pe rime ntale
OBIET T IVI
Mile s tone de l cors o è il cons olidame nto di buone bas i fis iche atte a s viluppare una buona cultura
s cie ntifica utile a fornire allo s tude nte gli s trume nti pe r appre z z are le pote nz ialità applicative
de ll'informatica age volandone in futuro la capacità di di muove rs i in ambie nti multidis ciplinari. Que s ta
condiz ione è oggi s e mpre più richie s ta pe r e s s e re in grado di proge ttare , mode lliiz z are e s viluppare
s oluz ioni innovative . A que s ti fini, i conte nuti e le modalità di s volgime nto de l cors o s ono orie ntati all'
acquis iz ione di una conos ce nz a ge ne rale de i principi e de lle le ggi fondame ntali de lla fis ica clas s ica:
a)Me ccanica de l punto e de i s is te mi;
b) Te rmome tria,calorime tria e te rmodinamica; c) Fe nome ni
e le ttrici e Magne tici.
Te nuto conto de lla durata s e me s trale de l cors o (9 CFU) piuttos to che una improbabile te ntativo di
e s aminare in modo comple to e d e s aus tivo le ggi e fe nome ni de lla fis ica clas s ica, il cors o mira a
de s crive re , anche quantitativame nte , un nume ro s ce lto di e s e mpi s ignificativi. Si ritie ne infatti che tale
approccio s ia il più e fficace ad introdurre lo s tude nte ad un me todo di lavoro (me todo s cie ntifico), cioè
s ape re os s e rvare e de s crive re l'e voluz ione de i fe nome ni naturali compre nde ndo il s ignificato e le
- 17 -
corre laz ioni tra le grande z z e fis iche che ne pe rme ttono una rappre s e ntaz ione quantitativa.
Es e rcitaz ioni in clas s e e colloqui indivuduali.
PROGRAMMA
1) Introduz ione . Il mondo fis ico: dal micro al macrocos mo. Fis ica e informatica: il ruolo de lle nuove
te cnologie ne lla rice rca e ne llo s viluppo di applicaz ioni innovative .
2) Gli s trume nti di bas e : richiami di e le me nti di mate matica di bas e . Le grande z z e fis iche . Il conce tto
Galile iano di mis ura e di me todo s cie ntifico. Sis te mi di unità di mis ura. Scalari e ve ttori. Alge bra
ve ttoriale .. L'ince rte z z a ne lle mis ure : ce nni all'approccio s tatis tico. Rappre s e ntaz ione de i dati
s pe rime ntali.
3) Cine matica de l punto mate riale .
Le gge oraria, pos iz ione , ve locità, acce le raz ione . Moto 1D con acce le raz ione nulla o cos tante . Moto in 2D:
moto di un proie ttile , moto circolare . Acce le raz ione tange nz iale e radiale .
4) Dinamica de l punto mate riale .
Il conce tto di forz a e prima le gge di Ne wton, mas s a ine rz iale ; s e conda le gge di Ne wton e la le gge di
az ione e re az ione . Es e mpi di forz e : forz a gravitaz ionale e pe s o, forz e di attrito.
5) Applicaz ioni de lle le ggi di Ne wton..
Piano inclinato e re az ioni vincolari. Forz e di richiamo e moto armonico: forz a e las tica e os cillaz ioni di una
molla, pe ndolo s e mplice . Moto circolare e moto armonico.
6) Lavoro e d e ne rgia.
Lavoro de lle forz e . Ene rgia cine tica e e ne rgia pote nz iale . Forz e cons e rvative e non cons e rvative .
Te ore ma de ll'e ne rgia cine tica. Cons e rvaz ione de ll'e ne rgia me ccanica.
7) Dinamica de i s is te mi.
Sis te mi a molte partice lle . Ce ntro di mas s a. Quantità di moto e s ua cons e rvaz ione . Mome nto me ccanico
e mome nto angolare di corpi rigidi in rotaz ione intorni ad un as s e fis s o. Cons e rvaz ione de l mome nto
angolare in cas i s e mplici. Forz e impuls ive e te ore ma de ll'impuls o. Urti. Proble mi d'urto e las tico e d non
e las tico.
8) Ele me nti di te rmologia, calorime tria e principi de lla e te rmodinamica.
De s criz ione macros copica di un gas pe rfe tto. Conce tto di te mpe ratura e principio z e ro de lla
te rmodinamica. Funz ioni di s tato. Calore e d e ne rgia inte rna. Calore s pe cifico. Lavoro ne lle
tras formaz ioni te rmodinamiche . Cons e rvaz ione de ll'e ne rgia e primo principio de lla te rmodinamica. Il
s e condo principio de lla te rmodinamica. Re ndime nto de lle macchine te rmiche e macchine frigorife re
ide ali. Il conce tto di e ntropia.
9) Ele me nti di Ele ttros tatica.
Cariche e le ttriche e le gge di Coulomb. De finiz ione de l campo e le ttrico. La le gge di Gaus s pe r i campi
e le ttrici. Applicaz ioni. Il pote nz iale e le ttrico. Ene rgia pote nz iale e le ttros tatica.
10) Conduttori in e quilibrio e le ttros tatico.
Pote nz iale di un conduttore . Capacità e le ttrica. Conde ns atori. Conde ns atori in s e rie e in paralle lo.
Ene rgia accumulata in un conde ns atore
11) Corre nte e le ttrica. Circuiti in corre nte continua.
Corre nte e le ttrica e de ns ità di corre nte . Re s is te nz a e le ttrica e le gge di Ohm. Forz a e le ttromotrice .
Le gge di Joule . Re s is te nz e in s e rie e in paralle lo. Circuiti RC
12) Fe nome ni magne tici s taz ionari ne l vuoto.
Forz a di Lore ntz e de finiz ione de l campo magne tico. Forz a e s e rcitata da un campo magne tico s u una
corre nte e le ttrica. Campo magne tico ge ne rato da corre nti. Il campo magne tico di un filo re ttiline o
inde finito. La forz a tra due corre nti paralle le . As s e nz a di cariche magne tiche is olate . Le gge di Ampe re
e te ore ma de lla circuitaz ione . Il campo magne tico di un s ole noide .
13) Campi e le ttrici e magne tici variabili ne l te mpo.
Induz ione magne tica. Le gge di Faraday-Ne uman. Alcuni e s e mpi e applicaz ioni Ce nni alle
Maxwe ll.
e quaz ioni di
NOTA: pe r gli s tude nti fuori cors o de l ve cchio ordiname nto (is critti al cors o di laure a in Informatica de lla
clas s e 26) l'e s ame vale 6 CFU e i gli argome nti 9-13 non fanno parte de l programma d'e s ame .
Vice ve rs a, gli s tude nti che abbiano già s os te nuto l'e s ame de l ve cchio ordiname nto e che de cidano di
pas s are all'ordiname nnto in vigore , gli argome nti 9-13 cos tituis cono il te ma de l colloquio inte grativo che
de vono s os te ne re pe r otte ne re la convalida de ll 'e s ame da 9 CFU ove il CdL non valuti dive rs ame nte
pe r il re cupe ro de i CFU mancanti.
- 18 -
T EST I
D. Halliday, R. Re s nick, J. Walke r. Fondame nti di Fis ica. Me ccanica, Te rmiologia, Ele ttrologia, Magne tis mo,
Ottica. e d. Ambros iana, Milano.
J.S. Walke r, Fondame nti di Fis ica, Pe ars on Education Italia
NOT A
Re gis traz ione al cors o: Tutti gli s tude nti is crittis i al primo anno de l CdL in Informatica ne l pre s e nte A.A.
2014-15, s ono pre gati di REGISTRARSI prima de ll'iniz io de l cors o, s e condo modalità indicate ne iia
piatagorma ESSE.3. Rimane tuttavia te mpotane ame nte attivo e acce s s ibile il s ito campus ne t de l cors o:
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=a71a;s o
rt=DEFAULT;s e arch=%7bdoce nte %7d%20%3d%7e %20%2f%5cbtarricone %5cb%2f;hits =1campus ne t.
La re gis traz ione al cors i (ESSE-3) pe rme tte l'acce s s o all'is criz ione agli appe lli d'e s ame e cons e nte di
rice ve re dire ttame nte dal doce nte in te mpo re ale tutte le informaz ioni, pe r acce de re al te s t in itine re
e d us ufruire de l mate riale didattico me s s o a loro dis pos iz ione .
Pre re quis iti: Se bbe ne l'approccio pre vale nte me nte fe nome nologico utiliz z ato ne l cors o cons e nta di
limitare , pe r il formalis mo mate matico, al live llo indis pe ns abile ad una inte rpre taz ione quantitativa di
principi e le ggi e alla ris oluz ione di e s e rciz i, s i raccomanda una conos ce nz a, alme no ope rativa, de gli
s trume nti di calcolo e de i conce tti di bas e de lla mate matica ampiame nte s viluppati ne l I s e me s tre
ne ll'ambito de l cors o di Analis i Mate matica e comple tati ne ll'ambito de l cors o di Alge bra e Ge ome tria
de l II s e me s tre .
In particolare s i raccomanda una s ufficie nte conos ce nz a de i s e gue nti argome nti:
Ele me nti di Alge bra e Ge ome tria analitica : e quaz ioni di II grado; coordinate carte s iane ne l piano
e ne llo s paz io; e quaz ioni di curve note voli e loro rappre s e ntaz ione grafica (re tta, parabola,
circonfe re nz a, ipe rbole , e llis s e ). Are e volumi di figure note voli; te ore ma di Pitagora.
Ele me nti di trigonome tria: il ce rchio trigonome trico; mis ura di angoli in gradi e radianti;
ris oluz ione de l triangolo re ttangolo.
Nume ri comple s s i: forma alge brica, trigonome trica e d e s pone nz iale ;.
Funz ioni: funz ioni re ali di variabile re ale , funz ioni monotone ; pote nz e con e s pone nte re ale ,
funz ioni e s pone nz iali e logaritmiche ; angoli, funz ioni trigonome triche ; rappre s e ntaz ione grafica.
Limiti: limiti di funz ioni re ali di variabile re ale .
De rivate : rapporto incre me ntale , de rivata, s ignificato ge ome trico; re gole di de rivaz ione (s omma,
prodotto, quoz ie nte di due funz ioni).
Se rie : Sviluppo in s e rie di Taylor.
Inte grali: inte grali inde finiti; inte rpre taz ione ge ome trica, inte graz ione pe r parti e pe r
s os tituz ione ; calcolo di inte grali di funz ioni e le me ntari.
Note organiz z ative :
a) Fre que nz a de l cors o, (b) modalità d'e s ame , (c) crite ri di valutaz ione , (d) cale ndario de gli appe lli
(a) Fre que nz a: Una fre que nz a attiva e , pe r quanto pos s ibile , continua cons e nte allo s tude nte di
parte cipare al lavoro in clas s e , inclus e le occas ioni di te s t e ve rificadurante le e s e rcitaz ioni. A prova
de ll'utilità di una fre que nz a atte nta e continua valga la cons ide raz ione s tatis tica cons olidata
dall'e s pe rie nz a de l doce nte : il 70-80 % de gli s tude nti in cors o e fre que ntanti s upe ra l'e s ame prima
de ll'iniz io de ll'A.A. s ucce s s ivo. Anche pe r que s te ragioni, la fre que nz a è monitorata pe r cias cuna
le z ione a cura de l doce nte e cos tituis ce e le me nto inte grativo de lla valutaz ione finale .
Tuttavia, una fre que nz a s altuaria (ad e s e mpio s tude nti lavoratori) non impe dis ce a s tude nti di
pre s e ntars i alla prova di me tà cors o (prova in itine re ) e all'e s ame finale s e condo le re gole di s e guito
indicate ,
(b) Modalità d'e s ame : l'e s ame pre ve de una prova s critta s e guita da una prova orale . Tutti gli s tude nti (in
cors o o fuori cors o) inte re s s ati a pre s e ntars i alle prove d'e s ame pos s ono is crive rs i on-line agli appe lli
s e condo te mpi e modalità riportate ne lla piattaforma ESSE-3 e ne l s ito de . Gli s tude nti che fre que ntano
il cors o 2014-15 pos s ono us ufruire di 1 prova in itine re (prova di me tà cors o) che ins ie me agli altri
e le me nti di valutaz ione raccolti dal doce nte durante il cors o ( fre que nz a, e s e rcitaz ioni innclas s e )
contribuirà alla valutaz ione comple s s iva finale .
Ne l cas i di una valutaz ione parz iale molto pos itiva lo s tude nte potrà abbe de re dire ttame nte alla prova
finale orale . In ogni cas o, rimane facoltà de llo s tude nte is crive rs i comunque all'e s ame s critto ove e gli
de s ide ri migliorare la valutaz ione propos ta.
(d) Crite ri di valutaz ione
Allo s copo di incoragguiare una parte cipaz ione as s idua e attiva alle le z ioni, e s e rcitaz ioni, e s e rciz i in
clas s e e , dis cus s ioni colle ttive e /o individuali s ui te mi pre s e ntati ne lle le z ioni frontali, la valutaz ione
finale s i forme rà pe s ando, a ins indacabile pare re de lla commis s ione d'e s ame , s ulla bas e de i s e gue nti
pe s i as s e gnati a cias cun e le me nto di valuitaz ione raccolto:
- 19 -
Fre que nnz a alle le z ioni
0 - 15 %
Lavto in clas s e (clas s w
0 - 35 %
Es ame s critto (finale
0 - 50 %
Es ame orale
&nb s p;
;
50 %
(c) APPELLI 2015
1) Giove dì 05/02/15 (I appe llo) SCRITTO Aula Ne wton (ple s s o Fis ico) 9:30
Ve ne rdì 06/02/15 ORALE Aula D (Dip. Mat.)9:00
2) Ve ne rdì 20/02/15 (II ppe llo) SCRITTO Aula Ne wton(ple s s o Fis ico 9:30
Lune dì 23/02/15 ORALE Aula F (Dip. Mat.) 9:00
ORARIO LEZIONI
3) Giove dì 18/06/15 I(pre \appe llo)SCRITTO Aula Ne wton(ple s s o Fis ico)9:30
Lune d 22/06/15 ORALE Aula D (Dip. Mat.)9:00
4 ) Me rcole dì 01/07/15 I(I ppe llo)SCRITTO Aula Ne wton(ple s s o Fis ico)9:30
Giove d 02/07/15 ORALE Aula D (Dip. Mat.) 9:00
5) Me rcole dì 15/07/15 I(II ppe llo)SCRITTO Aula Ne wton(ple s s o Fis ico) 9:30
Giove dì 16/07/15 ORALE Aula D (Dip. Mat.) 9:00
6) Giove d
03/09/15 (I ppe llo) SCRITTO Aula Ne wton (ple s s o Fis ico)9:30
Ve ne rdì 04/09/15 ORALE Aula B (Dip. Mat.)9:00
7 ) Giove dì 24/09/15 II(I ppe llo)SCRITTO Aula Ne wton(ple s s o Fis ico)9:30
Ve ne rd 25/09/15 ORALE Aula M (Dip. Mat.) 9:00
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=a71a
Fondament i dell'Inf ormat ica
Codice : 07581
Anno: 2° anno
OBIET T IVI
Il cors o compre nde due parti dis tinte e comple me ntari: una parte s ui fondame nti mate matici
de ll'informatica, l'altra s ui principi e paradigmi de i linguaggi di programmaz ione .
Fondame nti mate matici de ll'informatica:
Il cors o fornis ce gli s trume nti formali e le noz ioni fondame ntali pe r s tudiare proble mi trattabili e non
me diante calcolatore . Vie ne pre s e ntata la te oria de gli automi e de i linguaggi formali, te oria a
fondame nto de lla de s criz ione e de ll'imple me ntaz ione de i linguaggi di programmaz ione . Ve ngono poi
illus trati i conce tti e la natura de i proble mi che amme ttono s oluz ione e ffe ttiva, ovve ro de i proble mi
ris olvibili me diante calcolatore .
Principi e paradigmi de i inguaggi di programmaz ione :
L'inte raz ione con i compute r avvie ne in molti modi: quando il comportame nto che s i de s ide ra otte ne re è
s e mplice o già codificato, s i pos s ono us are formalis mi pove ri e d intuitivi. Pe r comunicaz ioni più
s ofis ticate non s i può pre s cinde re dall'impie go di formalis mi dall'e le vato pote re e s pre s s ivo. I linguaggi
di programmaz ione offrono una vas tis s ima gamma di notaz ioni pe r la s pe cifica de i comportame nti che
s i richie dono ad un compute r. Lo s tudio de i linguaggi di programmaz ione è affas cinante e d importante .
In primo luogo pe rché lo s tudio de i principi fondame ntali (valori, le gami, controllo, as traz ione ,
incaps ulaz ione , ogge tti, moduli, nonde te rminis mo, tipi, ...) e de lla loro re aliz z az ione ne i vari linguaggi (C,
C++, Fortran, Pas cal, OCaml, Java, Python, ...) aiuta a capire ciò che ve rame nte conta ne lla s ce lta di un
linguaggio di programmaz ione , be n al di là de lla "moda" de l mome nto. In s e condo luogo, pe rché lo s tudio
comparato de i linguaggi conduce ad affinare l'abilità e lo s tile di programmaz ione quali che s iano i
- 20 -
comparato de i linguaggi conduce ad affinare l'abilità e lo s tile di programmaz ione quali che s iano i
linguaggi che , in un dato mome nto de lla propria vita profe s s ionale , s i us ano maggiorme nte . Infine , più
s pe s s o di quanto non s i cre da la s oluz ione di un proble ma informatico pas s a pe r la de finiz ione di un
linguaggio e dalla re aliz z az ione di una "macchina" che lo inte rpre ta.
PROGRAMMA
Fondame nti mate matici de ll'informatica:
Ce nni introduttivi s ul conce tto di algoritmo, s ulla rappre s e ntaz ione
s ull'archite ttura de l calcolatore .
Linguaggi formali.
Es pre s s ioni re golari.
Automi a s tati finiti.
Grammatiche ge ne rative .
Linguaggi libe ri dal conte s to.
Macchine di Turing.
Funz ioni calcolabili e non.
Calcolabilità e linguaggi di programmaz ione .
Ce nni s u ins ie mi ricors ivi e ricors ivame nte e nume rabili.
de ll'informaz ione , e
Linguaggi di programmaz ione :
De s criz ione de i linguaggi di programmaz ione .
Nomi e ambie nte .
Ge s tione de lla me moria.
Strutture e as traz ioni de l controllo.
Strutture e as traz ioni de i dati.
T EST I
A. Dovie r, R. Giacobaz z i. Fondame nti de ll'Informatica: Linguaggi Formali e Calcolabilità.
A. M. Pitts . Re gular Language s and Finite Automata.
I. Mas troe ni. Es e rciz iario pe r il cors o ``Fondame nti de ll'Informatica: Linguaggi Formali e
Calcolabilità''.
U. Solitro. Linguaggi Formali, Computabilità e Comple s s ità: Es e rciz i ris olti, 2006.
A. Pe ttoros s i. Automata The ory and Formal Language s , Aracne Editrice , 2006. ISBN: 88-548-0889X.
A. Pe ttoros s i. Ele me nts of Computability, De cidability, and Comple xity, Aracne Editrice , 2006.
ISBN: 88-548-0682-X.
M. Gabbrie lli e S. Martini. Linguaggi di programmaz ione : principi e paradigmi, Se conda e diz ione .
McGraw-Hill Italia, 2011. ISBN 88-386-6573-8.
NOT A
Pre re quis iti: Fondame nti di programmaz ione .
Sine rgie : Me todologie di programmaz ione .
Mailing lis t de l cors o: Fondame nti-Informatica.
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=8ad8
Fondament i di Programmazione A
Doce nte : Pro f . Gianf ranco Ro ssi (T it o lare del co rso )
Re capito: 0521906909 [[email protected]]
Tipologia: Di bas e
Anno: 1° anno
OBIET T IVI
Il cors o (inte grato con que llo di "Fondame nti di Programmaz ione B") s i propone di fornire le bas i de lla
programmaz ione impe rativa, utiliz z ando come linguaggio di rife rime nto il linguaggio di programmaz ione
C++.
- 21 -
Acquis iz ione de lle conos ce nz e di bas e pe r la proge ttaz ione e la re aliz z az ione di s e mplici programmi
s critti in un linguaggio di programmaz ione conve nz ionale . In particolare , acquis iz ione di
buone conos ce nz e de gli s trume nti di programmaz ione me s s i a dis pos iz ione dal s ottoins ie me de l
linguaggio C++ re lativo alla programmaz ione impe rativa.
Acquis iz ione de lle capacità di utiliz z are le te cniche di analis i de i proble mi e le conos ce nz e s ugli
s trume nti di programmaz ione acquis ite , pe r ris olve re in modo algoritmico s e mplici proble mi pratici
(quali, ad e s e mpio, proble mi di calcolo mate matico, di ordiname nto di dati, di ge s tione di archivi) e quindi
tradurre tali s oluz ioni in programmi e s e guibili tramite calcolatore .
Sviluppo di capacità di analis i, di as traz ione (inte s a principalme nte come capacità di de s crive re e
compre nde re un'e ntità in te rmini de lle funz ioni offe rte piuttos to che de i de ttagli de lla s ua
imple me ntaz ione ), di s compos iz ione di proble mi in s ottoproble mi, e di s viluppo di s oluz ioni "dall'alto al
bas s o" ("top.down") e pe r raffiname nti s ucce s s ivi.
Es e rcitaz ioni ge s tite me diante la piattaforma di e -le arning di Ate ne o LEA
(http://le a.unipr.it/cours e /vie w.php?id=324 ).
PROGRAMMA
Si
ve da
la
pagina
We b
http://pe ople .math.unipr.it/gianfranco.ros s i/Te aching/FondProgr/programmaA.html< /p>
all'indiriz z o
T EST I
Si ve da la pagina de l cors o all'indiriz z o http://pe ople .math.unipr.it/gianfranco.ros s i/Te aching/FondPro
gr/programmaA.html
NOT A
Pe r que s te e d altre informaz ioni s i ve da la pagina We b de l cors o
all'indiriz z o http://www.math.unipr.it/~gianfr/Te aching/FondProgr/.
Es ame inte grato con Fondame nti di Programmaz ione B.
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=51fe
Fondament i di Programmazione B
Tipologia: Di bas e
Anno: 1° anno
OBIET T IVI
Il cors o (inte grato con que llo di "Fondame nti di Programmaz ione A") s i propone di fornire le bas i de lla
programmaz ione "orie ntata agli ogge tti", utiliz z ando come linguaggi di rife rime nto i linguaggi di
programmaz ione C++ e Java.
- 22 -
Acquis iz ione de lle conos ce nz e di bas e pe r la proge ttaz ione e la re aliz z az ione di programmi "obje ctorie nte d", con particolare rife rime nto agli s trume nti di programmaz ione me s s i a dis pos iz ione dal C++
e da Java.
Acquis iz ione de lle capacità di utiliz z are le te cniche di analis i de i proble mi e le conos ce nz e s ugli
s trume nti di programmaz ione acquis ite pe r re aliz z are programmi C++ e Java concre ti, e s e guibili
tramite calcolatore .
Es e rcitaz ioni ge s tite me diante la piattaforma di e -le arning di Ate ne o LEA
(http://le a.unipr.it/cours e /vie w.php?id=324 ).
PROGRAMMA
Si ve da la pagina
gr/programmaB.html
We b
all'indiriz z o
http://pe ople .math.unipr.it/gianfranco.ros s i/Te aching/FondPro
T EST I
Si ve da la pagina de l cors o all'indiriz z o http://pe ople .math.unipr.it/gianfranco.ros s i/Te aching/FondPro
gr/programmaB.html
NOT A
Pe r que s te e d altre informaz ioni s i ve da la pagina We b de l cors o
all'indiriz z o http://www.math.unipr.it/~gianfr/Te aching/FondProgr/.
Es ame inte grato con Fondame nti di Programmaz ione A.
ORARIO LEZIONI
Gio rni
Ore
Aula
Gest ione delle Conf igurazioni del Sof t ware
Doce nte : Lars Bendix (T it o lare del co rso )
Anno: 1° anno
OBIET T IVI
The cours e e xplains the ge ne ral conce pts and principle s of SCM. It will give an unde rs tanding of how an
SCM s ys te m is compos e d from proce s s e s , tools and pe ople - and s how how SCM can s e rvice and
s upport othe r parts of the s oftware de ve lopme nt organiz ation.
Afte r s ucce s s ful comple tion of the cours e the s tude nt will be able to: - ide ntify and e xplain proble ms
caus e d by mis s ing or bad SCM - de s cribe and motivate traditional SCM and its activitie s - de s cribe and
motivate principle s for de ve lope r-orie nte d SCM - cre ate and de fine proce s s e s for diffe re nt SCM tas ks s e le ct and adapt ge ne ral SCM principle s to s pe cific conte xts - s tructure and write an SCM plan
PROGRAMMA
Introduction, motivation and ove rvie w
Cons truction s ite :
Co-ordination, communication, bas e line s , dis tribute d de ve lopme nt
The s tudy:
- 23 -
works pace , re producibility, long trans actions , compos iton mode , change s e ts
The library:
Ide ntification, re pos itory s tructure , trace ability, s trate gie s for branching and me rging
Traditional configuration manage me nt:
Configuration Ide ntification, Configuration Control, Configuration Status Accounting, Configuration Audit,
SCM plans , SCM role s
SCM and more :
Agile de ve lopme nt me thods , Product Data Manage me nt, Ope n Source Software , Software Product
Familie s
Compute r labs :
CVS, Pe rforce
T EST I
Compilation of various te xts provide d by the le cture r.
NOT A
Language s us e d on the cours e : - writte n communication: Englis h - oral communication: Italian The firs t
part of the cours e (foundation) will be in the pe riod from March 12 to April 10. The s e cond part of the
cours e (s pe cializ ation) will be in the pe riod from April 27 to April 30. The e xam date s will be fixe d in
accordance with s tude nt re que s ts .
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=e 638
Ingegneria del Sof t ware
Codice : 06015
Doce nte : Do t t . Federico Bergent i (T it o lare del co rso )
Anno: 3° anno
OBIET T IVI
Proporre un pe rcors o che , parte ndo dall'analis i de lla Software Cris is e pas s ando pe r lo s tudio de i
tradiz ionali mode lli di s viluppo, arrivi a de finire i fondame ntali as pe tti archite tturali de i mode rni s is te mi
s oftware .
Il cors o pre ve de , oltre a le z ioni te oriche , una s e rie di e s e rcitaz ioni in aula e in laboratorio s ulla parte
re lativa al linguaggio Java.
Con rife rime nto agli Indicatori di Dublino:
Conos ce nz a e capacità di compre ns ione
Il cors o introduce i primi conce tti re lativi all'inge gne ria de l s oftware . Particolare e nfas i è data alla
compre ns ione de lle me todologie clas s iche . Il te s to di rife rime nto è in italiano, ma vie ne altre s ì utiliz z ata
durante le le z ioni la te rminologia in lingua ingle s e come avviame nto alla cons ultaz ione di le tte ratura
s cie ntifica inte rnaz ionale .
Capacità di applicare conos ce nz a e compre ns ione
Le conos ce nz e te oriche pre s e ntate ve ngono s e mpre applicate alla ris oluz ione di proble mi s pe cifici. Le
e s e rcitaz ioni che affiancano il cors o s ono ince ntrate s ulla ris oluz ione di e s e rciz i e proble mi, con
particolare rife rime nto alla re aliz z az ione di applicaz ioni We b in Java. Spe s s o i me todi ris olutivi ve ngono
pre s e ntati s otto forma algoritmica, s viluppando ne gli s tude nti la capacità di s trutturare proce dure utili in
nume ros e parti
de ll'informatica e non s olo ne llo s tudio de ll'inge gne ria de l s oftware .
Autonomia di giudiz io
Gli e s e rciz i, che ve ngono propos ti re lativame nte alla parte te orica s volta a le z ione , pos s ono ve nire
- 24 -
ris olti individualme nte o in gruppo. Il confronto con i compagni di cors o, ne l lavoro a cas a o durante gli
s volgime nti in aula, favoris ce lo s viluppo di capacità s pe cifiche pe r pote r a chiarire ai compagni o ai
doce nti le proprie argome ntaz ioni. Spe s s o gli e s e rciz i propos ti pos s ono ve nire ris olti in modi molto
dive rs i e l'as colto de lle
s oluz ioni propos te da altri pe rme tte di s viluppare la capacità di individuare s trutture comuni, al di là
de lle appare nti diffe re nz e s upe rficiali.
Abilità comunicative
Le nume ros e dis cus s ioni s ui dive rs i me todi pe r ris olve re i proble mi propos ti cons e ntono di migliorare
le capacità di comunicaz ione . Ve ngono inoltre abitualme nte utiliz z ate durante le s pie gaz ioni (e d
e s plicitame nte
e vide nz iate in clas s e ) alcune modalità di comunicaz ione s pe cifiche de lla te cnologia informatica.
Capacità di appre ndime nto
Lo s tudio de lle origini de lle s oluz ioni te cnologiche e la loro introduz ione motivata da cons ide raz ioni
qualitative e quantitative contribuis ce a re aliz z are ne gli s tude nti la capacità di appre nde re in modo
profondo e non s oltanto s upe rficiale e ripe titivo. Le conos ce nz e cos ì acquis ite non s ono mai rigide e
de finitive , ma s ono pe rfe ttame nte adattabili ad ogni e voluz ione e cambiame nto di pros pe ttiva e di
conte s to.
Ris ultati de ll'appre ndime nto e modalità di ve rifica
Sape r compre nde re e utiliz z are in modo appropriato le te cniche re lative all'analis i, proge ttaz ione ,
re aliz z az ione , te s ting e validaz ione de l s oftware . Sape r lavorare in Java pe r la re aliz z az ione di
s e mplici archite tture s oftware . Conos ce re le bas i de l proje ct manage me nt. Conos ce re e s ape r
utiliz z are le principali te cniche pe r la re aliz z az ione di applicaz ioni We b in Java.
Modalità di ve rifica/e s ame
L'e s ame cons is te in una prova s critta e un proge tto a cui s i acce de s olo al s upe rame nto de lla prova
s critta. E' pos s ibile s os te ne re più volte la prova s critta ma ogni s critto cons e gnato annulla lo s critto
pre ce de nte .
PROGRAMMA
Proce s s i di Sviluppo de l Software
Il proce s s o di s viluppo de l s oftware : as pe tti e conomici, organiz z ativi e me todologici; il gruppo di
lavoro; prodotto s oftware e proce s s o; il ciclo di vita de i s is te mi s oftware ; mode lli di s viluppo
s oftware : mode llo tradiz ionale a cas cata; mode llo e volutivo e a fontana, altri mode lli.
Linguaggi di Mode llaz ione de l Software
Mode llaz ione de l s oftware : mode lli e linguaggi di s pe cifica; il linguaggio UML; us o di UML e ntro i
proge tti informatici; gli s trume nti CASE.
Analis i de i Re quis iti
Analis i e s pe cifica de i re quis iti:l'inte raz ione con il clie nte e la formaliz z az ione de i re quis iti; il
me todo de i cas i d'us o e le s ue applicaz ioni; ris ultati de l proce s s o di analis i.
Archite tture Software
Le archite tture s oftware : archite tture s oftware pe r piccoli s is te mi; archite tture clie nt-s e rve r,
multi-tie r e We b; il patte rn MVC e le s ue applicaz ioni; rius o de lle compone nti s e rve r e approccio
multicanale .
Ambie nti di Sviluppo
il linguaggio Java; l'archite ttura di Java2; Java e le proprie tà di ogge tti; s is te mi multi-tie r in Java;
s is te mi We b in Java; ce nni al linguaggio C# e all'archite ttura .NET.
Proge ttaz ione di Software e Codifica
Proge ttaz ione de i s is te mi s oftware : principi e me todi di proge ttaz ione ; principi di modularità e d
incaps ulame nto; la proge ttaz ione orie ntata agli ogge tti; i "de s ign patte rns " e d il loro us o; re gole
di s crittura de l codice .
Te s ting, Ve rifica e Validaz ione
La fas e di te s t, s viluppi parz iali e te s t parz iali (s catola bianca e s catola ne ra); te s t di
aggre gaz ione ; te s t s u dati re ali; te s t di re gre s s ione ; collaudo; e ntrata in produz ione e
manute nz ione ordinaria; cas e s tudy.
Me todologie di ge s tione de i proge tti s oftware : il proje ct manage me nt
La conduz ione ope rativa di un proge tto: impos taz ione e de finiz ione di obie ttivi; analis i de i vincoli;
s ce lta di s trume nti e archite tture ; il lavoro in te am; me triche e diagrammi utili (Gantt, PERT, ...); il
proble ma de lla docume ntaz ione ; comunicaz ione e ntro e fuori un te am; e voluz ione e
manute nibilità de i s is te mi, manute nz ione e volutiva.
T EST I
C. Ghe z z i, A. Fugge tta, S. Moras ca, A. Morz e nti, M. Pe z z e , Inge gne ria de l Software , Mondadori
Informatica, II e diz ione Simon Be nne tt, John Ske lton, Ke n Lunn, UML, Mc Graw-Hill Bruce Ecke l, Thinking in
Java, dis ponibile pre s s o http://www.mindvie w.ne t, II e diz ione Bruce Ecke l, Thinking in Patte rns , dis ponibile
pre s s o http://www.mindvie w.ne t E. Gamma, R. He lm, R. Johns on, J. Vlis s ide s , De s ign Patte rns , Addis onWe s le y
ORARIO LEZIONI
- 25 -
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=cd14
Int elligenza Art if iciale
Codice : 06149
Doce nte : Do t t . Federico Bergent i
Anno: 3° anno
Modalità di fre que nz a: Facoltativa
Modalità di valutaz ione : Prova pratica
PROGRAMMA
Inte llige nz a artificiale e age nti
Capitoli 1 e 2 de l te s to. Introduz ione all'inte llige nz a artificiale e alla me tafora di age nte raz ionale .
Soluz ione di proble mi me diante la rice rca
Capitoli 3 e 4 de l te s to. Soluz ione di proble mi bas ata s ulla rice rca ne llo s paz io de gli s tati. Rice rca
in ampie z z a e rice rca in profondità. Me todi di rice rca informata: algoritmo A*. Me todi di rice rca
locale : algoritmi ge ne tici e d e volutivi.
Giochi e s oluz ione di proble mi con avve rs ari
Capitolo 5 de l te s to. Ris oluz ione di giochi bas ata s ulla rice rca: algoritmo minimax e potatura alfabe ta.
Proble mi di s oddis facime nto di vincoli
Capitolo 6 de l te s to. Proble mi di s oddis facime nto di vincoli. Ris oluz ione me diante backtracking.
Tipi di cons is te nz a e algoritmi di arc-cons is te ncy. Forward che cking e algoritmi di mante nime nto
de lla cons is te nz a locale .
Age nti bas ati s u te orie logiche
Capitoli 7, 8 e 9 de l te s to. Logica propos iz ionale , claus ole e ris oluz ione . Logica de l prim'ordine e
ce nni alla ris oluz ione e alla programmaz ione logica.
La pianificaz ione .
Capitolo 11 de l te s to. Caratte ris tiche ge ne rali di un s is te ma di pianificaz ione . Il mondo de i blocchi.
STRIPS. Pianificaz ione ne l mondo re ale : pianificaz ione condiz ionale e controllo de ll'e s e cuz ione .
Rappre s e ntaz ione s trutturata de lla conos ce nz a
Logica de s crittiva e re ti ad e re ditarie tà s trutturata. Ontologie e applicaz ioni al We b s e mantico.
L'appre ndime nto.
Capitolo 18 de l te s to. Appre ndime nto induttivo: albe ri di de cis ione . Appre ndime nto pe r rinforz o.
Re ti ne urali.
Pe rce ttrone e re ti fe e d-forward. Appre ndime nto pe r rinforz o e algoritmo di back propagation.
Sis te mi multi-age nte
Age nti e i s is te mi multi-age nte coope ranti e concorre nti. Comunicaz ione fra age nti e atti
linguis tici. FIPA e il mode llo BDI (con ce nni alla logica modale ).
T EST I
Stuart Rus s e ll e Pe te r Norvig. Inte llige nz a artificiale : un approccio mode rno(traduz ione italiana de lla
s e conda e diz ione ). UTET Libre ria, 1998. A cura di Luigia Carlucci Aie llo.
Mate riale s caricabile dalla pagina http://www.ce .unipr.it/pe ople /be rge nti/te aching
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=1e e c
Laborat orio di Algorit mi e St rut t ure Dat i
Codice : 15397
Anno: 1° anno
PROGRAMMA
- 26 -
Si ve da il programma di Algoritmi e Strutture Dati 1.
NOT A
Es ame inte grato con Algoritmi e Strutture Dati 1.
Laborat orio di Basi di Dat i
Codice : 18531
Anno: 3° anno
PROGRAMMA
Si ve da il programma de l cors o Bas i di Dati.
NOT A
Es ame inte grato con Bas i di Dati.
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=e 874
Laborat orio di Programmazione di Ret e
Codice : 18532
CdL: C26 Informatica (pre -riforma)
Doce nte : Do t t . Ro bert o Alf ieri (T it o lare del co rso )
Anno: 3° anno
PROGRAMMA
Protocolli e applicativi di re te : Utiliz z o e configuraz ione de i principali protocolli di TCP/IP.
I Socke t: s ocke t TCP e s ocke t UDP, programmaz ione in C.
La s icure z z a de lle re ti. Tipi di attacchi e contromis ure , fire wall, principi di crittografia applicata,
aute nticaz ione , SSL e TLS.
Programmaz ione dis tribuita. Paradigmi pe r la programmaz ione di re te , Me s s age Pas s ing, RPC, We b
Se rvice s , Grid computing.
NOT A
Es ame inte grato con Re ti di Calcolatori.
Laborat orio di Sist emi Dist ribuit i
Anno: 1° anno
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=87f0
Laborat orio di Sist emi Operat ivi
- 27 -
Codice : 16594
Anno: 2° anno
PROGRAMMA
Il s is te ma ope rativo Unix/Linux. Storia, s truttura, inte rfaccia ute nte , ins tallaz ione e
amminis traz ione .
La s he ll di Unix. La s he ll Bas h, s he ll s cripting, i filtri.
Programmaz ione di Sis te ma in C. Chiamate e libre rie di s is te ma, controllo de i proce s s i,
comunicaz ioni tra proce s s i, thre ad e multithre ading, acce s s o al file -s ys te m e I/O.
Proge tto di imple me ntaz ione de i conce tti s tudiati ne l cors o
NOT A
Es ame inte grato con Sis te mi Ope rativi.
Lingua Inglese
Codice : 13259
Doce nte :
Re capito: []
Tipologia: Pe r la prova finale e pe r la conos ce nz a de lla lingua s tranie ra
Anno: 1° anno
OBIET T IVI
Portare gli s tude nti al live llo B1 di conos ce nz a de lla lingua ingle s e in bas e al Quadro di Rife rime nto
Europe o.
PROGRAMMA
Argome nti principali
Grammatica
gli articoli e i dimos trativi
i pos s e s s ivi e il ge nitivo s as s one
i pronomi pe rs onali
s ome / any e compos ti
i s os tantivi contabili e non-contabili
much / many / a little / a fe w
i comparativi e s upe rlativi
i pronomi re lativi
le principali pre pos iz ioni di te mpo e di luogo
le domande indire tte
le principali congiunz ioni
i principali ve rbi + pre pos iz ioni
Pre s e nt Simple e Continuous
Pas t Simple e Continuous
- 28 -
Pre s e nt Pe rfe ct Simple
il futuro (going to, will, Pre s e nt Simple , Pre s e nt Continuous )
il Condiz ionale 1 e le s ubordinate te mporali (whe n, afte r, e tc. + Pre s e nt Simple )
il Pas s ivo (Pre s e nt Simple , Pas t Simple , Pre s e nt Pe rfe ct)
i ve rbi modali (can, could, mus t, will, would, s hould)
Le s s ico
s pe lling
nume ri (pre z z i, quantità, date , e cc.)
te mpo libe ro
luoghi pubblici e ne goz i
lavori e profe s s ioni
cibi e be vande
te mpo atmos fe rico
abbigliame nto
parti de l corpo e proble mi di s alute
me z z i di tras porto
ogge tti d'us o quotidiano
Funz ioni
pre s e ntaz ioni e s aluti
comunicare al te le fono
de s crive re pe rs one (as pe tto e pe rs onalità)
e s prime re l'ora, date , appuntame nti, e cc.
de s crive re abitudini, routine e az ioni quotidiane
ordinare al ris torante o in albe rgo
compre nde re carte lli, avvis i, e tiche tte
fornire /compre nde re indicaz ioni s tradali
de s crive re viaggi, vacanz e , e cc.
de s crive re ogge tti (dime ns ioni, colore , forma, e cc.)
dare avve rtime nti o divie ti
e s prime re obbligo o as s e nz a d'obbligo
e s prime re accordo/dis accordo
fare critiche e re clami
e s prime re pre fe re nz e
de s crive re s e ns az ioni fis iche e e moz ioni
T EST I
Pe r ulte riori informaz ioni e de ttagli s i rimanda alla pagina pe rs onale
http://www.cla.unipr.it/cla/doce ntiPage .as p?ID=34
NOT A
Le z ioni e d e s ame di idone ità: le le z ioni e gli e s ami pe r il cors o di Lingua Ingle s e s ono te nuti pre s s o il
Campus dal pe rs onale de l Ce ntro Linguis tico di Ate ne o. La parte cipaz ione all'e s ame è pe rme s s a in
tutte le s e s s ioni di e s ame (pre via is criz ione all'appe llo da e ffe ttuars i utiliz z ando la proce dura
te le matica), indipe nde nte me nte dal fatto che il cors o s ia indicato come ins e gname nto de l s e condo
s e me s tre . Riconos cime nto titoli in pos s e s s o de llo s tude nte : s e condo il protocollo d'inte s a firmato dal
MIUR (Minis te ro de ll'Is truz ione , de ll'Unive rs ità e de lla Rice rca) e dalla CRUI (Confe re nz a de i Re ttori de lle
- 29 -
Unive rs ità Italiane ), e s ulla bas e de lle indicaz ioni de l Concilio d'Europa, il titolo di Pre liminary Englis h
Te s t (PET) è riconos ciuto come atte s tato di `ìdone ità'' pe r gli e s ami di primo live llo. Sono altre s í
riconos ciuti, e s s e ndo titoli di live llo s upe riore al s udde tto, i s e gue nti: Firs t Ce rtificate in Englis h (FCE),
Ce rtificate of Advance d Englis h (CAE), Ce rtificate of Proficie ncy in Englis h (CPE), IELTS e Te s t of Englis h
as a Fore ign Language (TOEFL). Gli s tude nti in pos s e s s o di uno de i titoli s udde tti pos s ono otte ne re
l'idone ità pre s e ntandos i al Ce ntro Linguis tico con il ce rtificato originale e il libre tto unive rs itario e
cons e gnando una fotocopia de llo s te s s o ce rtificato: in tal modo i loro nominativi ve rranno
automaticame nte ins e riti ne ll'e le nco de gli s tude nti idone i alla prima data di e s ame s ucce s s iva alla
cons e gna de lla docume ntaz ione . Mate riale pe r migliorare le proprie capacità di le ttura e as colto è
dis ponibile pre s s o: Laboratorio Se lf-Acce s s de l Ce ntro Linguis tico Parco Are a de lle Scie nz e , 45/A Campus www.unipr.it/arpa/cla in particolare le le tture graduate de lla collana Cide b Black Cat (live llo
e le me ntary/pre -inte rme diate ) Alcuni s iti inte re s s anti: www.unipr.it/arpa/cla/online -e nglis h.html
www.unipr.it/arpa/face con/we blingue /ne wactivitypage .htm http://s tre am.ce di.unipr.it/main/inde x.php
www.bbc.co.uk/worlds e rvice /le arninge nglis h http://www.le arne nglis h.org.uk/ www.oz z yne ws .it
Linguaggi di Programmazione
CdL: C26 Informatica (pre -riforma)
Anno: 3° anno
OBIET T IVI
L'inte raz ione con i compute r avvie ne in molti modi: quando il comportame nto che s i de s ide ra otte ne re è
s e mplice o già codificato, s i pos s ono us are formalis mi pove ri e d intuitivi. Pe r comunicaz ioni più
s ofis ticate non s i può pre s cinde re dall'impie go di formalis mi dall'e le vato pote re e s pre s s ivo. I linguaggi
di programmaz ione offrono una vas tis s ima gamma di notaz ioni pe r la s pe cifica de i comportame nti che
s i richie dono ad un compute r. Lo s tudio de i linguaggi di programmaz ione è affas cinante e d importante .
In primo luogo pe rché lo s tudio de i principi fondame ntali (valori, le gami, controllo, as traz ione ,
incaps ulaz ione , ogge tti, moduli, nonde te rminis mo, tipi, ...) e de lla loro re aliz z az ione ne i vari linguaggi (C,
C++, Fortran, Pas cal, OCaml, Java, Python, ...) aiuta a capire ciò che ve rame nte conta ne lla s ce lta di un
linguaggio di programmaz ione , be n al di là de lla ``moda'' de l mome nto. In s e condo luogo, pe rché lo
s tudio comparato de i linguaggi conduce ad affinare l'abilità e lo s tile di programmaz ione quali che s iano i
linguaggi che , in un dato mome nto de lla propria vita profe s s ionale , s i us ano maggiorme nte . Infine , più
s pe s s o di quanto non s i cre da la s oluz ione di un proble ma informatico pas s a pe r la de finiz ione di un
linguaggio e dalla re aliz z az ione di una "macchina" che lo inte rpre ta.
PROGRAMMA
De s criz ione de i linguaggi di programmaz ione .
Nomi e ambie nte .
Strutture e as traz ioni de l controllo.
Strutture e as traz ioni de i dati.
T EST I
M. Gabbrie lli e S. Martini. Linguaggi di programmaz ione : principi e paradigmi, Se conda e diz ione . McGrawHill Italia, 2011. ISBN 88-386-6573-8.
NOT A
Pre re quis iti: Fondame nti di programmaz ione , Fondame nti de ll'informatica.
Sine rgie : Me todologie di programmaz ione , Linguaggi dichiarativi, Analis i e ve rifica de l s oftware .
Mailing lis t de l cors o: Linguaggi-Programmaz ione
.
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=646f
Linguaggi Dichiarat ivi
- 30 -
Codice : 14830
Anno: 1° anno
OBIET T IVI
Il cors o inte nde fornire le noz ioni di bas e s ulla programmaz ione dichiarativa, illus trandone alcuni de gli
as pe tti fondame ntali tramite la pre s e ntaz ione e l'applicaz ione pratica de l linguaggio di programmaz ione
logica Prolog.
PROGRAMMA
Introduz ione alla programmaz ione dichiarativa.
De finiz ione , vantaggi, linguaggi di programmaz ione dichiarativa, forme di programmaz ione
dichiarativa - Principali caratte ris tiche de i linguaggi di programmaz ione dichiarativa.
Un linguaggio pe r la programmaz ione dichiarativa: il Prolog.
Ce nni allo s viluppo de l Prolog. - Variabili e tipi di dato (te rmini s e mplici e compos ti). Claus ole e
programmi (s intas s i). - Se mantica. Inte rpre taz ione logica. Inte rpre taz ione proce durale .
Inve rtibilita' pre dicati. - Unificaz ione e s os tituz ione . - Se mantica ope raz ionale . De rivaz ione .
Albe ro di de rivaz ione SLD. Ins ie me di s ucce s s o. - Nonde te rminis mo e s trate gie di rice rca.
Backtracking. Incomple te z z a. - Strutture dati: lis te . Rappre s e ntaz ione . Ope raz ioni s u lis te .
Stringhe . - Rappre s e ntaz ione e manipolaz ione nume ri. - Controllo backtracking ("cut"). Ne gaz ione
pe r fallime nto (ce nni). - Programmaz ione dichiarativa in Prolog. Variabili logiche e unificaz ione .
Strutture dati parz ialme nte s pe cificate . Nonde te rminis mo e ricors ione . - Pre dicati built-in (e xtralogici). Input-output: di te rmini, di caratte ri, s u file . Modifica dinamica de l programma (ce nni).
Manipolaz ione di te rmini (ce nni). Ins ie me de lle s oluz ioni ('s e tof').
Programmaz ione logica a vincoli.
Limitaz ioni de l Prolog (dichiarativita', e fficie nz a). - Noz ione di vincolo e di ris olutore . - Il CLP.
Programma, computaz ione CLP, ris oluz ione di vincoli (propagaz ione e controllo di cons is te nz a). Un e s e mpio di CLP: CLP(FD). Vincoli FD. Ris oluz ione vincoli FD ("arc-cons is te ncy"). CLP(FD) in SWIProlog.
Laboratorio.
L'ambie nte di programmaz ione SWI-Prolog. Sviluppo e d e s e cuz ione s e mplici programmi Prolog.
T EST I
L. CONSOLE, E. LAMMA, P. MELLO, M. MILANO: "Programmaz ione logica e Prolog" (II e diz ione ), UTET
Libre ria, 1997, Anno ris tampa 2006, pp. 432.
NOT A
Pre re quis iti. Le noz ioni e le te cniche di bas e de lla programmaz ione conve nz ionale (ad e s e mpio in C). Le
noz ioni di bas e riguardanti s trutture dati fondame ntali come lis te , albe ri e grafi. Le noz ioni di bas e s u
funz ioni e ins ie mi e s u conne ttivi e d e s pre s s ioni logiche . Familiarie tà ne ll'us o de l calcolatore .
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=7e b5
Met odologie di Programmazione
Codice : 16433
Tipologia: Di bas e
Anno: 2° anno
OBIET T IVI
La programmaz ione orie ntata agli ogge tti s i fonda s u alcuni principi (incaps ulame nto, e re ditarie tà,
polimorfis mo, e cc.) che l'e s pe rie nz a ha mos trato e s s e re fondame ntali pe r lo s viluppo di s oftware
chiaro, concis o, riutiliz z abile e di facile manute nz ione . I linguaggi di programmaz ione più diffus i re ndono
dis ponibili alcuni s trume nti e te cniche che portano allo s viluppo di codice ade re nte ai principi s udde tti. Il
cors o s i propone di pre s e ntare le caratte ris tiche avanz ate de l linguaggio di programmaz ione C++,
mos trando come un loro utiliz z o corre tto e cons ape vole porti al raggiungime nto de gli obie ttivi pre pos ti.
- 31 -
PROGRAMMA
Richiami s ul linguaggio C++: tipi di dato; e s pre s s ioni; is truz ioni; funz ioni; campo d'az ione e ciclo di
vita; funz ioni s ovraccaricate ; clas s i.
Ce nni s ulla programmaz ione pe r contratto: pre -condiz ioni, pos t-condiz ioni e d invarianti di clas s e .
Iniz ializ z az ione , as s e gname nto e dis truz ione .
Ecce z ioni e ge s tione de lle ris ors e ; te cniche pe r la ge s tione dinamica de lla me moria.
Ere ditarie tà s e mplice : diffe re nz e tra conte nime nto, e re ditarie tà privata e d e re ditarie tà pubblica.
Polimorfis mo dinamico: funz ioni virtuali; il principio di s os tituz ione di Lis kov.
Proge tto di inte rfacce s oftware : tipi concre ti, tipi as tratti, clas s i di inte rfaccia e clas s i
imple me ntative ; e re ditarie tà multipla e virtuale .
Polimorfis mo s tatico: te mplate di funz ione e te mplate di clas s e .
La libre ria s tandard STL: conte nitori, ite ratori e d algoritmi ge ne rici; ogge tti funz ione .
Ambie nte di s viluppo: il compilatore g++; il de bugge r gdb; automaz ione de l proce s s o di
compilaz ione : make ; controllo de lle ve rs ioni: cvs .
Docume ntaz ione di inte rfacce s oftware : doxyge n.
T EST I
B. Strous trup. C++: Linguaggio, libre ria s tandard, principi di programmaz ione , te rz a e diz ione , Addis onWe s le y, 2000.
S. Lippman, J. Lajoie . C++: Cors o di programmaz ione , te rz a e diz ione , Addis on-We s le y, 2000.
B. Ecke l. Thinking in C++, Volume s 1 and 2, s e conda e diz ione , 2003.
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=fcb6
Modellazione e Simulazioni Numeriche
Codice : 18339
Doce nte : Do t t . Francesco Di Renzo (T it o lare del co rso )
Anno: 2° anno
SSD: FIS/02 - fis ica te orica, mode lli e me todi mate matici
OBIET T IVI
Il cors o s i propone di fornire una introduz ione e le me ntare a te cniche di mode lliz z az ione e s imulaz ione
nume rica di utiliz z o corre nte in Fis ica Computaz ionale . Que s te te cniche , pe r quanto s pe s s o nate e
s viluppate ne ll'alve o di proble mi s cie ntifici, fornis cono in re altà un linguaggio ge ne rale , che non a cas o
ha trovato (anche in anni re ce nti) applicaz ioni a campi as s ai s variati, s cie ntifici e non (s olo pe r citarne
alcuni: e conomia e d analis i di me rcati finanz iari, re ti di calcolatori, biofis ica computaz ionale ).
Al te rmine de l cors o lo s tude nte dovrà e s s e re in grado di mane ggiare gli s trume nti di bas e di te oria
de lla probabilità (applicata in particolare a proce s s i s tocas tici markoviani) e le te cniche di bas e di analis i
s tatis tica di dati. Dovrà s ape rs i orie ntare in conte s ti in cui s ia ne ce s s ario s tudiare un mode llo pe r
me z z o di s imulaz ioni nume riche .
Ogni argome nto s arà affrontato pre fe re ndo uno s tile orie ntato al proble m-s olving e grande atte nz ione
s arà ris e rvata ad e s pe rime nti nume rici. In alcuni cas i, ris ultati fondame ntali di te oria de lla probabilità o
de i proce s s i s tocas tici s aranno e nunciati, ma non dimos trati; s i ce rche rà s e mpre di fornire e vide nz e
nume riche de lla rile vanz a di tali ris ultati in concre ti cas i di inte re s s e .
PROGRAMMA
Richiami di probabilità e s tatis tica. Variabili ale atorie con dis tribuz ione as s e gnata. Il cas o de lla
dis tribuz ione piatta e la ge ne raz ione di s ucce s s ioni di nume ri ps e udocas uali. Le dis tribuz ioni
binomiale , ipe rge ome trica, pois s oniana, gaus s iana. Te cniche ge ne rali pe r la ge ne raz ione di
s ucce s s ioni a fis s ata dis tribuz ione di probabilità. Il me todo Monte carlo s tatico come te cnica di
inte graz ione s u s paz i a dime ns ioni e le vate .
- 32 -
Il linguaggio de lla analis i de gli e rrori. Analis i di campioni s pe rime ntali. Ce nni al me todo di
boots trap.
Introduz ione alla te oria de lle cate ne di Markov. Es e mpi e le me ntari. Mode llaz ione di code .
Informale introduz ione al proble ma de lla pe rcolaz ione come e s e mpio di s e mplice mode llo valido
pe r una molte plicita' di proble mi. Algoritmi di clus te r-finding.
Stude nti di Mate matica e ve ntualme nte pre s e nti potre bbe ro e s s e re inte re s s ati ad una
introduz ione alle e quaz ioni diffe re nz iali s tocas tiche : il cas o de l moto browniano libe ro e
s ottopos to ad una forz a e s te rna; bre ve s toria de lla e quaz ione di Lange vin; ce nni ad applicaz ioni
de ll'e quaz ione di Lange vin a conte s ti dive rs i.
Stude nti di Fis ica e ve ntualme nte pre s e nti potre bbe ro e s s e re inte re s s ati ad una introduz ione alla
applicaz ione de lla te oria de lle Cate ne di Markov al me todo Monte carlo dinamico: s imulaz ioni di
me ccanica s tatis tica.
Sce lta di un proge tto di s imulaz ione (da concordare fra doce nte e s tude nti). Qualche pos s ibile
e s e mpio:
applicaz ione di proce s s i s tocas tici a conte s ti e conomici o affini (ad e s e mpio, il tre -cutting
proble m: quando convie ne tagliare un albe ro pe r ve nde rne la le gna? badate : s i può
formulare in altro conte s to: quando convie ne s me tte re di s tudiare e ce rcare di e ntrare ne l
mondo de l lavoro?);
il proble ma de lla pe rcolaz ione e s ue dive rs e applicaz ioni (ad e s e mpio, i mode lli
e pide miologici);
s imulaz ione di code (come organiz z are /dime ns ionare la e rogaz ione di un s e rviz io?).
Il cors o pre ve de di e s s e re in larga parte condotto in laboratorio. L'ambie nte privile giato pe r la
trattaz ione nume rica de i proble mi s arà Matlab.
T EST I
Appunti a cura de l doce nte .
NOT A
Il cors o s i propone di ave re un caratte re in larga parte s e minariale : oltre a fornire s trume nti conce ttuali
e te cnici, arrive rà ad un proge tto da concordare fra doce nte e s tude nti. La prova finale cons is te rà
appunto ne l comple tare la me s s a a punto di tale proge tto.
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=1fe 8
Modellist ica Molecolare
Codice : 18340
Doce nte : Piet ro Co zzini (T it o lare del co rso )
Anno: 3° anno
PROGRAMMA
Banche dati pe r i chimici (CSD, PDB, ICSD).
La chimica e i mode lli.
I me todi pe r il Drug De s ign.
Me todi di Me ccanica Mole colare :
minimiz z az ioni;
il proble ma de i force fie lds ;
analis i conformaz ionale ;
dinamica;
docking (manuale e automatico, funz ioni di s coring);
calcolo di proprie tà ge ome triche ;
s imulaz ione di proprie tà chimico fis iche .
Me todi Quantome ccanici:
me todi s e mie mpirici;
me todi ab initio;
me todi DFT.
Mode lli ne i tre s tati
- 33 -
L'us o di te cniche s pe rime ntali (XRD, Polve ri, NMR, IR) e mode lli mole colari in fe e d back.
L'imple me ntaz ione de i me todi in prodotti comme rciali e in s oftware pe r la rice rca s cie ntifica.
Il modulo pre ve de circa 30 ore di le z ione frontale e le rimane nti di le z ione frontale in laboratorio pe r la
pre paraz ione de l lavoro autonomo da s volge re con la s upe rvis ione di qualcuno.
Es e rcitaz ioni:
Mole cular building ``de novo'' e da banche dati s trutturali.
Il proble ma de ll'e ne rgia: minimiz z az ione di piccole mole cole organiche .
Analis i conformaz ionale di piccole mole cole organiche , organome talli e piccoli pe ptidi.
Calcolo di proprie tà mole colari.
Inte raz ioni hos t gue s t: docking manuale e guidato, il proble ma de lle funz ioni di s coring in dive rs e
clas s i di mole cole .
Le inte rfacce grafiche .
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=de 08
Ret i di Calcolat ori
Codice : 14832
Anno: 3° anno
OBIET T IVI
Il cors o inte nde fornire le conos ce nz e e la capacità di compre ns ione de lle proble matiche fondame ntali e
le re lative s oluz ioni te cnologiche e proge ttuali ne l s e ttore de lle re ti di calcolatori. Lo s tude nte s ara' in
grado di utiliz z are que s te conos ce nz e pe r formulare ris pos te a nuove proble matiche be n de finite e
intrapre nde re in modo autonomo s tudi più avanz ati ne ll'ambito de lle re ti.
PROGRAMMA
Introduz ione alle re ti di calcolatori, Live llo fis ico, Live llo data-link, Live llo re te , Live llo di Tras porto, Live llo
Applicaz ione , Sicure z z a de lle Re ti, il calcolo dis tribuito.
Programma de ttagliato
Il cors o e ' organiz z ato in due parti:
Parte A (primo s e me s tre ). Vie ne pre s e ntata la ge rarchia de i protocolli: live llo fis ico, colle game nto dati,
acce s s o al me z z o, re te e tras porto.
Introduz ione alle re ti di calcolatori
Utiliz z i de lla re te , tipi di s e rviz i e pre s taz ioni, archite tture di re te , commutaz ione di circuito
e di pacche tto, Protocolli, il mode llo ISO/OSI, Protocolli TCP/IP.
Live llo fis ico
La tras mis s ione de ll'informaz ione , lo s pe ttro e .m., me z z i tras mis s ivi e le ttrici, ottici e
wire le s s .
La codifica de i live llo fis ico.
Il s is te ma te le fonico. Multiple xing a divis ione di te mpo e di frque nz a, la codifica PCM, i
mode m, le re ti DSL, la te le fonia Mobile .
Live llo data-link
Scopi de l live llo Data-Link e s e rviz i offe rti al live llo re te .
Impacche ttame nto (conte ggio di byte , bit s tuffing), Controllo de gli e rrori (parità, CRC,
- 34 -
che cks um), controllo de l flus s o (Stop-and-wait, piggy-backing, s liding window).
Protocolli pe r colle game nti punto-punto (HDLC, PPP)
Protocolli pe r re ti locali: condivis one de l canale tras mis s ivo, protocolli s tatici e dinamici,
ALHOA, CSMA, CSMA/CD, protocolli LAN wire le s s
Il proge tto IEEE-802, il s ottolive lli LLC e MAC
Ethe rne t e 802.3: gli indiriz z i, la trama e l'archite ttura.
Te cnologie Ethe rne t, Fas t Ethe rne t e Gigabit Ethe rne t.
Hub, Bridge , Switch, Spannig tre e protocol.
LAN Virtuali, il protocollo 802.1Q.
Re ti locali Wire le s s : Bande ISM, i protocolli 802.11 e 802.16.
Live llo re te
Scopi de l live llo Re te e s e rviz i offe rti al live llo di Tras porto.
Commutaz ione di circuito, commutaz ione di pacche tto a circuito virtuale e a datagramma.
Commutaz ione di pacche tto a circuito virtuale : ATM e MPLS.
Inte rne t, Il protocollo IP, Indiriz z i IP, re ti e s ottore ti, CIDR, NAT.
Protocolli di controllo e di s e rviz io: ARP, DHCP e ICMP.
Il Route r, algoritmi e protocolli di routing non adattivi (routing s tatico, flooding) e adattivi
(Dis tance ve ctor, link s tate , routing ge rarchico), RIP, IGRP, OSPF e BGP
IPv6: motivaz ioni, formato de ll'inte s taz ione , e xte ns ion he ade r, tipologie di indiriz z i,
ICMPv6.
Live llo di Tras porto
Se rviz i forniti al live llo s upe riore , multiple xing, il mode llo clie nt-s e rve r.
I s ocke t di Be rke le y: la libre ria, le porte e le primitive .
UDP: il protocollo, la trama, la programmaz ione .
TCP: ape rtura e rilas cio de lla conne s s ione , ordiname nto de i dati, controllo di flus s o,
conge s tione , e rrori di tras mis s ione , la trama e la programmaz ione .
Laboratorio
Protocolli applicativi di re te : configuraz ione de i principali protocolli TCP/IP, utiliz z o de i principali
tools di re te .
I s ocke t TCP e UDP: programmaz ione in C, PHP e Python.
Parte B (s e condo s e me s tre ). Protocolli applicativi, s icure z z a de le re ti, s i intruducono la programmaz ione
concorre nte e dis tribuita in re te .
Live llo Applicaz ione
RPC e Tftp.
DNS: archite ttura, i Top Le ve l Domain, s ottodomini e z one , ris oluz ione dire tta e inve rs a, il
s e rve r DNS, i clie nt.
Te lne t
Pos ta e le ttronica: formato de i Me s s aggi (RFC822 e MIME), protocolli pe r il tras fe rime nto de i
Me s s aggi (SMTP, POP3 e IMAP), l'age nte ute nte .
World Wide We b:archite ttura, URL, We b Brows e r, HTML, We b s e rve r, HTTP, pagine s tatiche
e dinamiche , cookie .
Multime dia: Compre s s ione audio , audio s tre aming, radio inte rne t, VOIP, compre s s ione
vide o, JPEG e MPEG, vide o on de mand.
Sicure z z a de lle Re ti
Te cniche di attacco, s niffe r, s canne r, s poofing, DoS, Malware , Se curity Exploit. Te cniche di
dife s a, IDS, Fire wall e Proxy.
Ele me nti di Crittografia: algoritmi a chie ve s imme trica, DES, 3-DES e AES, argoritmi a
chiave pubblica, RSA, Me s s age Dige s t, firme digitali, MD5 e SHA-1, Ce rtificati X.509,
infras trutture a chiave pubblica (PKI), Ce rtification Authority, S/Mime , i protocolli SSL/TLS.
IPs e c, VPN, s icure z z a de lle re ti Wire le s s , protocolli di Aute nticaz ione , Ke rbe ros
Calcolo dis tribuito
Introduz ione ai s is te mi dis tribuiti.
Archite tture pe r il calcolo dis tribuito e paralle lo, pe rformance , re ti di inte rconne s s ione .
Paradigmi e mode lli pe r la programmaz ione paralle la.
Cloud computing.
Laboratorio
Programmaz ione de l We b, virtual hos t, We b dinamico, XML-RPC.
La s icure z z a de lle re ti: crittografia applicata, programmaz ione SSL.
Programmaz ione dis tribuita a me moria condivis a con ope nMP e a me moria dis tribuita con
MPI. Programmaz ione ibrida.
- 35 -
Pe r ulte riori de ttagli ve di la pagina Moodle (in fondo a que s ta pagina)
T EST I
"Re ti di calcolatori e Inte rne t"- B. Forouz an - Mc Graw Hill
"Re ti di Calcolatori" - A. Tane nbaum - Pre ntice Hall
"Re ti di Calcolatori" - L. Pe te rs on, B. Davie - Apoge o
NOT A
Modalità di ve rifica: prova s critta, prova orale , prova pratica e s viluppo di un proge tto.
Al te rmine di ogni parte s i te rra' una prova s critta/orale inte rme dia (cons igliata) utile pe r
l'e s one ro dalla prova s critta finale .
La prova pratica cons is te in una dimos traz ione pratica ine re nte le attivita' s volte in
laboratorio e una prova orale s ulle te matiche trattate . Lo s volgime nto e la cons e gna ne i
te mpi pre vis ti de lle attivita' trattate in laboratorio comporta una valutaz ione utile pe r
l'e s one ro de lla prova pratica.
Il proge tto vie ne concordato con lo s tude nte e de ve e s s e re pre s e ntato ne lla s te s s a
s e s s ione d'e s ame in cui s i s os tie ne la prova s critta (e s tiva, autunnale o inve rnale ).
ORARIO LEZIONI
Gio rni
Ore
Aula
Marte dì
8:30 - 10:30
Aula "Galile i" Ple s s o di Fis ica
Me rcole dì
10:30 - 13:30
Aula F Dipartime nto di Mate matica e Informatica
Lezio ni: dal 30/09/2014 al 21/01/2015
Semant ica dei Linguaggi di Programmazione
Anno: 3° anno
OBIET T IVI
Introdurre gli s tude nti ai me todi formali pe r la s pe cifica de lla s e mantica de i linguaggi di programmaz ione
e d alle te cniche formali pe r ve rificare l'ade re nz a de l comportame nto di un programma ad una s pe cifica
parz iale .
Al te rmine de l cors o gli s tude nti s aranno in grado di: de finire la s e mantica ope raz ionale e de notaz ionale
di s e mplici linguaggi impe rativi s e que nz iali; ragionare formalme nte circa il comportame nto di s e mplici
programmi; compre nde re varie noz ioni di e quivale nz a comportame ntale de i programmi.
PROGRAMMA
Sintas s i e s e mantica de i programmi. Se mantica ope raz ionale s trutturata big s te p e s mall s te p. Principi
di induz ione e de finiz ioni induttive . Se mantica de notaz ionale . Ordiname nti, domini e punti fis s i.
Se mantica as s iomatica. Ve rifica di corre tte z z a de i programmi. Ce nni s ull'analis i s tatica de i programmi.
- 36 -
T EST I
The Se mantics of Programming Language s : An Ele me ntary Introduction us ing Structural Ope rational
Se mantics . Matthe w He nne s s y, Wile y, 1990.
[http://www.cogs .s us x.ac.uk/us e rs /matthe wh/s e mnote s .ps .gz ]
La Se mantica Formale de i Linguaggi di Programmaz ione . Glynn Wins ke l. MIT Pre s s , 1993.
NOT A
La valutaz ione avve rrà con le s e gue nti modalità: as s e gnaz ione , durante il cors o, di e s e rciz i da s volge re
a cas a e da ricons e gnare la s e ttimana s ucce s s iva; s volgime nto di un proge tto finale ; e s ame orale
conclus ivo (un s e mplice , bre ve colloquio pe r chi abbia otte nuto ris ulati s oddis face nti [pe r il doce nte e
pe r lo s tude nte ] ne lle prove in itine re e ne l proge tto).
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=af44
Sist emi Dist ribuit i
Anno: 1° anno
PROGRAMMA
Obie ttivi e tipi di s is te mi dis tribuiti.
Archite tture .
Mode lli pe r le ris ors e : Proce s s i, thre ad, virtualiz z az ione , migraz ione de l codice .
Mode lli pe r la comunicaz ione : s tre am, chiamata re mota di proce dure , s cambio di me s s aggi.
Naming: s e mplice , s trutturato, bas ato s ugli attributi.
Sincroniz z az ione : clock, mutua e s clus ione , barrie re .
Cons is te nz a re pliche
Tolle ranz a ai guas ti.
Sicure z z a
T EST I
"Sis te mi Dis tribuiti" 2a e d., A. Tane nbaum e M. Van Ste e n, e d. Pre ntice Hall
NOT A
Marte di 21/10 alle ore 14:30 in aula Kirk de l Dip. di Fis ica s i te rra' un incontro organiz z ativo con gli
s tude nti de l cors o.
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=79dd
Sist emi Inf ormat ivi 1
Doce nte : Giulio Dest ri (T it o lare del co rso )
Anno: 3° anno
PROGRAMMA
1. INFORMAZIONE ED ORGANIZZAZIONI: IL SISTEMA INFORMATIVO
Introduz ione
- 37 -
La re altà: s is te mi e mode lli
Il s is te ma impre s a
I s is te mi informativi
Organiz z az ione az ie ndale e s is te ma informativo
2. I PROCESSI AZIENDALI
Un mode llo fondame ntale : il proce s s o az ie ndale o proce s s o bus ine s s
Il valore e d il s uo s ignificato pe r l'az ie nda
Il proce s s o orie ntato all'IT: il mode llo ITIL
L'inte rno di un'organiz z az ione : clas s ificaz ioni importanti de i proce s s i
L'inte rno di un'organiz z az ione : i proce s s i fondame ntali
Il s is te ma az ie nda: vis ione pe r funz ioni vs . vis ione pe r proce s s i
Scompos iz ione di proce s s i, proge tti e organiz z az ioni
La cate na de l valore di Porte r
La matrice RACI o RAM
Proce s s i e d organiz z az ione az ie ndale
Az ie nda e s is te ma informativo: archite ttura d'ins ie me
3. LA RISORSA INFORMAZIONE E LE SUE CARATTERISTICHE
La ris ors a informaz ione e le s ue caratte ris tiche
Il ciclo di cos truz ione de ll'informaz ione e de lla conos ce nz a
Rappre s e ntaz ione de ll'informaz ione
Rappre s e ntaz ione digitale de ll'informaz ione
Informaz ione e comunicaz ione
XML: l'"e s pe ranto" e le ttronico
Flus s i informativi e flus s i informatici
La comunicaz ione de ll'informaz ione
Le rappre s e ntaz ioni digitali de ll'informaz ione
La cre s cita incontrollata di informaz ione : information ove rload
4. ANALISI DI DETTAGLIO DEI PROCESSI AZIENDALI
La bus ine s s analys is
La vis ione de l proce s s o e i punti di vis ta
Analis i de l proce s s o come s ucce s s ione di attività
Analis i de l proce s s o come s ucce s s ione di cas i d'us o (di s trume nti)
Analis i de lle e ntità che pre ndono parte ai proce s s i
Analis i de lle inte raz ioni fra gli e le me nti ope ranti e ntro un proce s s o
Analis i de l proce s s o come s ucce s s ione di cambiame nti di s tato
Un e s e mpio comple to di analis i
Una vis ione d'ins ie me : il le game fra le vis te de l proce s s o
5. LE SOLUZIONI INFORMATICHE PER L'IMPRESA
Sis te ma informatico e d applicaz ioni
Re laz ioni fra i live lli di applicaz ioni
I s is te mi inte grati di ge s tione : gli ERP
Il Cus tome r Re lations hip Manage me nt (CRM)
La Supply Chain Manage me nt (SCM)
La bus ine s s inte llige nce
Il rapporto az ie nda-clie nti s ulla re te : e -comme rce e d e -bus ine s s
I s ocial me dia, de ntro e fuori l'az ie nda
ICT e bus ine s s : s ituaz ione corre nte e pos s ibili e voluz ioni future
6. IL SISTEMA INFORMATICO ENTRO IL SISTEMA INFORMATIVO
La s truttura di un'applicaz ione s oftware
Le re ti e ntro i s is te mi informatici
L'e voluz ione te cnologica: dal monolite al middle ware
Il mondo de l clie nt-s e rve r e le applicaz ioni multi-tie r
L'e voluz ione de l clie nt-s e rve r: il 3-tie r e il multitie r
Il proble ma de lle compatibilità fra compone nti e d inte ri applicativi
Controllare i s is te mi: TOGAF e ITIL e i configuration ite m
Panoramica s ui dis pos itivi di s torage
Panoramica s u s is te mi ope rativi maggiorme nte diffus i
Panoramica s ulle te cnologie corre nti pe r lo s viluppo di applicaz ioni
- 38 -
Le nuove s oluz ioni di inte graz ione : Se rvice Orie nte d Archite cture
Il grid computing
Virtual computing e macchine virtuali
Il cloud computing
7. LE PROFESSIONALITA' NEI SISTEMI INFORMATIVI
I conte s ti di ope ratività e tipologie di s is te mi informativi
Le ris ors e umane e d il loro ruolo
I de ttagli de i ruoli "canonici"
Alcuni e s e mpi di organiz z az ioni "re ali"
Il nuovo s tandard di compe te nz e e profe s s ionalità ne ll'IT
8. LA SICUREZZA INFORMATICA
Le proble matiche de lla s icure z z a informatica
La pre ve nz ione de i guas ti accide ntali e de gli e ve nti naturali
Le minacce umane alla s icure z z a
Il ruolo de i virus
La prote z ione de lle informaz ioni
L'ide ntità e le ttronica
Applicaz ioni ope rative di crittografia e d aute nticaz ione
La prote z ione de i s is te mi
Ge s tire la s icure z z a
Lo s tandard di rife rime nto de lla s icure z z a informatica: ISO 27000
La le gis laz ione italiana e d e urope a
9. LA GESTIONE E LA PIANIFICAZIONE
Sis te ma informativo e obie ttivi di bus ine s s : IT gove rnance
Strume nti pe r la pianificaz ione de lle attività
Uno s trume nto pe r valutare i ricavi: il Re turn Of Inve s tme nt (ROI)
Uno s trume nto pe r valutare i cos ti: il Total Cos t of Owne rs hip (TCO)
Altri s trume nti importanti pe r la ge s tione e pianificaz ione
Le politiche di ge s tione
Un'applicaz ione de lle politiche : la ge s tione de lla s icure z z a
Ge s tione corre nte e ge s tione de l cambiame nto
La ge s tione de l proge tto informatico
Vis ione di ins ie me de gli s tandard
ICT e bus ine s s : s ituaz ione corre nte e pos s ibili e voluz ioni future
10. CASE-STUDY
Uno s che ma pe r l'analis i parz iale e comple ta de i s is te mi
Studio as s ociato di profe s s ionis ti / SOHO
Age nz ia di lavoro inte rinale come mode llo di az ie nda di s e rviz i
Az ie nda vinicola come mode llo di az ie nda agroalime ntare
Az ie nda ve ndita CD e libri con s ito We b come mode llo di e comme rce
Az ie nda me talme ccanica
Unive rs ità, s cuole e d e nti di formaz ione
Gli e nti pubblici: il comune
Ne goz io di e le ttronica di cons umo
La banca
Az ie nda di te le comunicaz ioni
T EST I
G. De s tri "Sis te mi Informativi. Il pilas tro digitale di s is te mi e organiz z az ioni" ISBN: 9788820443115 Ed.
Franco Ange li, 2013
ORARIO LEZIONI
Gio rni
Ore
Aula
Sist emi Inf ormat ivi 2
- 39 -
Doce nte : Armando St ernieri (T it o lare del co rso )
Anno: 3° anno
Avvale nz a: http://
PROGRAMMA
te oria
il Sis te ma Informativo:bas i conce ttuali
Richiami di: Sis te mi informativi e loro ruolo ne ll'impre s a, Archite tture di s is te mi informativi.
il ruolo de ll'ict ne ll'organiz z az ione
s trutturaz ione de ll'organiz z az ione , oriz z onte te mporale ,confiniorganiz z ativi, analis i de l ruolo de ll'ICT
(matrice impatti funz ionali,il BPR di SAP,e -s upply chain)
il ruolo de ll'ict ne lla s trate gia
approcci all'us o de ll'ict(us o s trate gico, inte ns ità di informaz ione di Porte r Millar), impatti de ll'ict s ul
s e ttore , ict ne lle s trate gie compe titive (diffe re nz iaz ione ,cos to,focaliz z az ione )
te cnologie ,proce s s i, s trate gie
il grado di inte graz ione te cnologica de lle s oluz ioni ict, s is te mi informatici ope rativi, s is te mi informatici
dire z ionali, matrici te cnologie -proce s s i-attività e te cnologie -proce s s i-s trate gie
il proce s s o di ge s tione de l SI
pianificaz ione ,s viluppo,ge s tione corre nte , che ck-up. Outs ourcing de l SIA
moduli con e s e rcitaz ioni in laboratorio
L'az ie nda 2.0
2.0 de finiz ioni. s trume nti de l we b 2.0:s ocial bookmarking, forum,tagging,wiki,miniwiki, blog, microblog.
Impatti de l 2.0 s ulle funz ioni az ie ndali. Ris chi e opportunità pe r l'az ie nda. La piattaforma e -collab
Cus tome r Re lations hip Manage nt
CRM de finiz ioni e be ne fici. Il CRM ne ll'archite ttura IT az ie ndale . Le compone nti principali e la loro
de clinaz ione ope rativa. L'e voluz ione de l CRM. Attività di Bus ine s s Inte llige nce e il CRM. I prodotti
le ade r di me rcato.Es e rcitaz ioni in laboratorio
cas i re ali
1
re aliz z are e ge s tire un prodotto s oftware pe r il s e ttore de lle we btv
2
il s is te ma informativo di una te s tata online : cre az ione e ge s tione di conte nuti multime diali.
3
il s is te ma informativo pe r i nuovi obbie ttivi de l marke ting: ge s tione de lle informaz ioni s ul we b,
community on line , s ocial ne twork
4
Sis te mi pe r il monitoraggio e analis i de lle informaz ioni on line
T EST I
"Sis te mi pe r la ge s tione de ll'informaz ione " M. Tagliavini, A.Ravarini, D.Sciuto. Apoge o "Sis te mi
informativi e az ie nde in re te "G.Bracchi, C.Francalanci,G.Motta. McGraw-Hill
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=f543
- 40 -
Sist emi Operat ivi
Codice : 16593
Anno: 2° anno
OBIET T IVI
Il cors o introduce i principi e d i conce tti fondame ntali s u cui s i bas ano i s is te mi ope rativi. In particolare ,
ve ngono analiz z ate le te cniche che cons e ntono di coordinare e ge s tire le ris ors e di un s is te ma di
e laboraz ione e che pe rme ttono di tras formare la macchina fis ica in una macchina as tratta, dotata di
funz ionalità più conve nie nti pe r l'ute nte .
PROGRAMMA
Introduz ione .
Richiami s ulla s truttura de l calcolatore
Proce s s i e Thre ad.
Mode llo a proce s s i, s tato, ge ne raz ione e te rminaz ione . Il mode llo a thre ad, us o e
imple me ntaz ione . Paradigmi di inte raz ione : condivis ione , s incroniz z az ione , comunicaz ione .
Sche duling di thre ad e proce s s i.
Le Ris ors e .
Mode lli di ge s tione de lle ris ors e . Politiche e le me ntari di ge s tione . Il proble ma de llo s tallo:
caratte riz z az ione , me todi pe r e vitarlo, impe dirlo, riconos ce rlo e d e liminarlo. Atte s a inde finita.
Alcuni proble mi clas s ici.
Il proble ma di bas e . Swapping. Paginaz ione . Algoritmi di s os tituz ione . Ce nni s ulla te cnica di
s e gme ntaz ione e d s ulle proble matiche imple me ntative .
Ge s tione de i dis pos itivi di Ingre s s o/Us cita.
Dis pos itivi e proce s s i controlle r. Caratte ris tiche de l s oftware di I/O, vari live lli di ge s tione :
inte rruz ioni, drive r de i dis pos itivi, I/O s oftware indipe nde nte dai dis pos itivi. Ge s tione di alcuni
dis pos itivi: dis pos itivi a caratte ri, dis chi magne tici.
File Sys te m.
Mode llo logico de l s is te ma di archiviaz ione , file , dire ctory. Imple me ntaz ione di un file s ys te m.
Es e mpi di file s ys te m.
La s he ll di Unix. La s he ll Bas h, s he ll s cripting, i filtri.
Programmaz ione di Sis te ma in C. Chiamate e libre rie di s is te ma, controllo de i proce s s i,
comunicaz ioni tra proce s s i, thre ad e multithre ading, acce s s o al file -s ys te m e I/O.
T EST I
A. Silbe rs chatz . Sis te mi Ope rativi, (conce tti e d e s e mpi). Ottava Ediz ione . Pe ars on.
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=ff3a
T eoria dei Numeri e Crit t ograf ia
Codice : 14836
Anno: 1° anno
PROGRAMMA
Richiami alla te oria de i gruppi e de i campi finiti
Te ore mi di Fe rmat, Eule ro e Wils on, s truttura de ll'ane llo Z/pZ.
- 41 -
Te ore ma di Gaus s : e s is te nz a de lle radici primitive (ge ne ratori) de i gruppi (Z/pZ)*, p primo.
Condiz ioni ne ce s s arie e s ufficie nti pe r la primalità. Ps e udoprimi di Fe rmat, di Eule ro, ps e udoprimi
forti.
Ce nni al Te ore ma di Agrawal, Kayal, Saxe na.
Algoritmi fondame ntali
Algoritmo di Euclide , crive llo di Eratos te ne , crite ri di primalità.
Algoritmi di fattoriz z az ione e s pone nz iali: divis ione pe r te ntativi, me todo di Le hman, me todo rho di
Pollard, me todo p-1 di Pollard.
Algoritmi di fattoriz z az ione s ube s pone nz iali: crive llo quadratico.
Algoritmo di Gaus s pe r la de te rminaz ione de lle radici primitive .
Logaritmo dis cre to: algoritmo di Shanks .
Applicaz ioni alla crittografia
Ce nni alla crittografia clas s ica.
Crittografia a chiave pubblica: Diffie -He llman, RSA, Mas s e y-Omura, ElGamal, Rabin.
Firma digitale .
Protocolli crittografici (ce nni).
T EST I
R. Crandall, C. Pome rance . Prime numbe rs . A computational pe rs pe ctive , Springe r, Ne w York, 2001.
G. H. Hardy & E. M. Wright. An Introduction to the The ory of Numbe rs , quinta e diz ione , Oxford Scie nce
Publications , Oxford, 1979.
N. Koblitz . A Cours e in Numbe r The ory and Cryptography, s e conda e diz ione , Springe r, 1994.
A. Languas co, A. Zaccagnini. Introduz ione alla Crittografia, Ulrico Hoe pli Editore , Milano, 2004.
T eoria dell'Inf ormazione
Codice : 03551
Doce nte : Viviana Do ldi (T it o lare del co rso )
Anno: 1° anno
PROGRAMMA
Conte nuti de l cors o:
La tras mis s ione dati e il proble ma di mis urare l'informaz ione : la te oria di Shannon. Proprie tà
de ll'e ntropia di Shannon e te ore mi da caratte riz z az ione .
Le obie z ioni di tipo impos taz ionale : la te oria as s iomatica de ll'informaz ione e de ll'ince rte z z a di Forte Kampè de Fè rie t. Clas s i di mis ure d'informaz ione e d'ince rte z z a.
L'impe rfe z ione de ll'informaz ione dovuta all'impre cis ione : la te oria de gli ins ie mi s fumati. Ope raz ioni.
Partiz ioni s fumate .
L'ince rte z z a le gata alla re aliz z abilità de ll'e ve nto: te oria de lla ne ce s s ità/plaus ibilità di De mps te r Shafe r.
GIT(Ge ne raliz e d Information The ory): l'informaz ione di Shannon in ambie nte s fumato. Stato de lla
rice rca e proble mi ape rti.
T EST I
Ne lla s e z ione "Mate riale didattico" s ono a dis pos iz ione le dis pe ns e de l cors o.
NOT A
CALENDARIO DELLE LEZIONI: 1/3/2010 lune di dalle 14 alle 16 4/3/2010 giove di dalle 14 alle 16 8/3/2010
lune di dalle 14 alle 16 11/3/2010 giove di dalle 14 alle 16 15/3/2010 lune di dalle 14 alle 16 18/3/2010
giove di dalle 14 alle 16 22/3/2010 lune di dalle 14 alle 16 26/3/2010 ve ne rdi dalle 14 alle 16 29/3/2010
lune di dalle 14 alle 16 12/4/2010 lune di dalle 14 alle 16 15/4/2010 giove di dalle 14 alle 16 19/4/2010
giove di dalle 14 alle 16 3/5/2010 lune di dalle 14 alle 16 10/5/2010 lune di dalle 14 alle 16 13/5/2010
giove di dalle 14 alle 16 17/5/2010 lune di dalle 14 alle 16 20/5/2010 giove di dalle 14 alle 16 24/5/2010
giove di dalle 14 alle 16 Importante : gli e s ami de vono e s s e re s os te nuti e ntro e non oltre il 30
s e tte mbre 2010
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=e 7b7
- 42 -
T ut orat o di Mat emat ica
Doce nte :
Re capito: []
Tipologia: Altre attività
Anno: 1° anno
ORARIO LEZIONI
Gio rni
Ore
Aula
http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=158a
Aggiornato il 05/07/2015 05:48 - by CampusNet
- 43 -

Campusnet - Corsi di Laurea in Informatica

Transcription

Similar documents

Cesaroni Venanzi Antonio Cesaroni Venanzi Augusto Masetti

iIIIIII) MANUALE DI OFFICINA

Brochure dei corsi - UniversitÃ di Parma

moretti camerette

UN`OPERA SCONOSCIUTA DI JACOPO SANSOVINO IN ROMA.

Low back pain - Alternative Disc Therapy Medical Ozone Pain

ninth ai{i{ual canadian retai ler survey

terrazas - Unique Living Miami

biliardo titi

residenza ave roma

WSA_flyer_ENG_140627 EXE LD