Università degli Studi di Parma Corsi di Laurea in Informatica (classe L31) Co rsi di insegnament o : Risult at i della ricerca Algebra e Geomet ria Anno accade mico: 2011/2012 CdL: L31 Informatica Doce nte : Do t t . Laura Bert ani (T it o lare del co rso ) Re capito: 0521906948 [[email protected]] Tipologia: Di bas e Anno: 1° anno Cre diti/Vale nz a: 9 SSD: Da de finire 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 PROGRAMMA Strutture Alge briche :Gruppi,Ane lli,Polinomi Spaz i Ve ttoriali : 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<> ; Matrici,De te rminanti, Sis te mi line ari, Autove ttori, autovalori, diagonaliz z az ione ; Spaz i ve ttoriali e uclide i , diagonaliz z az ione ortonormale . Ge ome tria ne l piano e ne llo s paz io. Alcuni acce nni di ge ome tria computaz ionale . T EST I Luciano A. Lomonaco, Un'introduz ione all'alge bra line are , ARACNE.e ditrice S.Lips chutz ,M.Lips on, Alge bra Line are , McGraw-Hill ORARIO LEZIONI Gio rni Ore Aula Lune dì 10:30 - 12:30 Aula C Dipartime nto di Mate matica Marte dì 14:30 - 16:30 Aula A Dipartime nto di Mate matica Giove dì 10:30 - 12:30 Aula A Dipartime nto di Mate matica Lezio ni: dal 01/03/2012 al 08/06/2012 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 Anno accade mico: 2011/2012 CdL: L31 Informatica 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 Cre diti/Vale nz a: 9 SSD: INF/01 - informatica 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 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. Corme n, C. Le is e rs on, R. Rive s t, C. Ste in, Introduction to Algorithms , McGraw-Hill, 2005 C. De me tre s cu, I. Finocchi, G.F. Italiano, Algoritmi e s trutture dati, McGraw-Hill, 2008 R. Se dge wick. Algorithms in C++, Addis on-We s le y, 2003. NOT A Collaboratore didattico: dott. Luca Chiarabini ORARIO LEZIONI Gio rni Ore Aula Marte dì 12:30 - 13:30 Aula C Dipartime nto di Mate matica Me rcole dì 10:30 - 13:30 Aula A Dipartime nto di Mate matica Giove dì 8:30 - 10:30 Aula A Dipartime nto di Mate matica Giove dì 12:30 - 13:30 Aula A Dipartime nto di Mate matica Lezio ni: dal 01/03/2012 al 08/06/2012 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 Anno accade mico: 2011/2012 Codice : 16827 CdL: L31 Informatica Doce nte : Grazia Lo t t i (T it o lare del co rso ) Re capito: [[email protected]] Tipologia: Caratte riz z ante Anno: 2° anno Cre diti/Vale nz a: 6 SSD: INF/01 - informatica 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 : Orale PROGRAMMA Algoritmi gre e dy: activity s e le ction, z aino fraz ionario, s che duling di job. Programmaz ione dinamica: z aino inte ro, pare nte s iz z az ione ottima, s ottos e que nz a comune di lunghe z z a mas s ima. Algoritmi alge brici: algoritmo di Stras s e n. Polinomi, inte ri e d FFT. String matching e s atto e appros s imato: algoritmi di Knuth-Morris e Pratt, Rabin e Karp, Boye r e Moore . Suffix tre e s e applicaz ioni, algoritmo di Se lle rs , algoritmo di Landau e Vis hkin, algoritmo di Chang e Lawle r. Algoritmi di te oria de i nume ri (ce nni): crittografia a chiave pubblica. RSA. Proble mi computaz ionalme nte difficili: la clas s e P, la clas s e NP, riducibilità polinomiale , proble mi NP-comple ti, il te ore ma di Cook. Algoritmi di appros s imaz ione . Algoritmi probabilis tici: te s t di primalità di Rabin, moltiplicaz ione di matrici. T EST I T. H. Corme n, C. E. Le is e rs on, R. L. Rive s t. Introduction to Algorithms 2nd e dition, MIT Pre s s , 2001. A. Be rtos s i. Algoritmi e s trutture dati, UTET, 2000. A. Be rnas coni, B. Code notti. Introduz ione alla comple s s ità computaz ionale , Springe r Ve rlag, 1998. P. Fe rragina, F. Luccio. Crittografia: Principi, Algoritmi, Applicaz ioni, Bollati Boringhie ri, 2001. D. Gus fie ld. Algorithms on Strings , Tre e s and Se que nce s , Cambridge Unive rs ity Pre s s , 1997. V. V. Vaz irani. Approximation Algorithms , Springe r Ve rlag, 2001. R. Motwani, P. Raghavan. Randomiz e d algorithms , Cambridge Unive rs ity Pre s s , 1995. Appunti de lle le z ioni a cura de l doce nte . ORARIO LEZIONI Gio rni Ore Aula Marte dì 14:30 - 17:30 Aula B Dipartime nto di Mate matica Me rcole dì 8:30 - 9:30 Aula F Dipartime nto di Mate matica Me rcole dì 14:30 - 16:30 Aula B Dipartime nto di Mate matica Lezio ni: dal 01/03/2012 al 08/06/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=174a Analisi Mat emat ica Anno accade mico: 2011/2012 CdL: L31 Informatica Doce nte : Do t t . Chiara Guardaso ni (T it o lare del co rso ) Re capito: 0521906969 [[email protected]] Tipologia: Di bas e Anno: 1° anno Cre diti/Vale nz a: 9 SSD: MAT/05 - analis i mate matica 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 Fornire le noz ioni fondame ntali de ll'analis i mate matica re lativa alle funz ioni re ali. 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. Iniz io : me rcole dì 19/10/2011 Luogo : Aula "Ne wton", ple s s o di Fis ica Orario: me rcole dì 8.30-10.30 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 urge ttive , biunivoche , 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 . 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 . Rapporti incre me ntali, de rivate , 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. Succe s s ioni e s e rie . Ce nni s ulle s ucce s s ioni, limiti di s ucce s s ioni, s ucce s s ioni monotone e loro limiti. Se rie nume riche e crite ri pe r la loro conve rge nz a (confronto, rapporto, radice , Le ibniz ). T EST I M. Bramanti, C.D. Pagani, S. Sals a: Mate matica (Calcolo Infinite s imale e Alge bra Line are ), Zaniche lli Editore , Bologna Te s ti di utile cons ultaz ione : 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 Lune dì 10:30 - 13:30 Aula "Ne wton" Ple s s o di Fis ica Marte dì 8:30 - 10:30 Aula "Ne wton" Ple s s o di Fis ica Ve ne rdì 11:30 - 13:30 Aula "Ne wton" Ple s s o di Fis ica Lezio ni: dal 10/10/2011 al 20/01/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=0650 Archit et t ura degli Elaborat ori Anno accade mico: 2011/2012 Codice : 13598 CdL: L31 Informatica Doce nte : Do t t . Federico Bergent i (T it o lare del co rso ) Re capito: [[email protected]] Tipologia: Caratte riz z ante Anno: 1° anno Cre diti/Vale nz a: 6 SSD: INF/01 - informatica 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. 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 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 David A. Patte rs on, John L. He nne s s y. Struttura e Proge tto de i Calcolatori, Zaniche lli, 2006. Giacomo Bucci. Archite ttura e organiz z az ione de i calcolatori e le ttronici - Fondame nti, McGraw-Hill, 2004. 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 (lucidi pre s e ntati a le z ione , e s e rciz i, s trume nti) ve de re la s e z ione "Mate riale Didattico". ORARIO LEZIONI Gio rni Ore Aula Lune dì 8:30 - 10:30 Aula C Dipartime nto di Mate matica Me rcole dì 10:30 - 13:30 Aula C Dipartime nto di Mate matica Lezio ni: dal 03/10/2011 al 20/01/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=d3b2 Basi di Dat i Anno accade mico: 2011/2012 CdL: L31 Informatica Doce nte : Pro f . Enea Zaf f anella (T it o lare del co rso ) Re capito: 0521 906963 [[email protected]] Tipologia: Caratte riz z ante Anno: 2° anno Cre diti/Vale nz a: 9 SSD: INF/01 - informatica 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 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. 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-Hill, 2002. ORARIO LEZIONI Gio rni Ore Aula Lune dì 14:30 - 16:30 Aula C Dipartime nto di Mate matica Marte dì 9:30 - 11:30 Aula A Dipartime nto di Mate matica Giove dì 9:30 - 12:30 Aula C Dipartime nto di Mate matica Lezio ni: dal 01/03/2012 al 08/06/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=9a2a Calcolo Numerico Anno accade mico: 2011/2012 CdL: L31 Informatica Doce nte : Pro f . Mauro Diligent i (T it o lare del co rso ) Re capito: 0521-906918 [[email protected]] Tipologia: Affine o inte grativo Anno: 2° anno Cre diti/Vale nz a: 12 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 : Orale 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 Lune dì 11:30 - 13:30 Aula A Dipartime nto di Mate matica Marte dì 11:30 - 13:30 Aula A Dipartime nto di Mate matica Ve ne rdì 11:30 - 13:30 Aula A Dipartime nto di Mate matica Lezio ni: dal 01/03/2012 al 08/06/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=0dd9 Calcolo Probabilit à e St at ist ica Anno accade mico: 2011/2012 Codice : 04642 CdL: L31 Informatica Doce nte : Do t t . Francesco Mo randin (T it o lare del co rso ) Re capito: 334 6575699 [[email protected]] Tipologia: Affine o inte grativo Anno: 2° anno Cre diti/Vale nz a: 9 SSD: MAT/06 - probabilita' e s tatis tica mate matica 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 : Orale Avvale nz a: Ele me nti di Probabilità (CdL in Mate matica) NOT A Il cors o non è attivato pe r l'anno accade mico 2010-2011. http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=f795 Chimica Anno accade mico: 2011/2012 Codice : 13103 CdL: L31 Informatica Doce nte : Piet ro Co zzini (T it o lare del co rso ) Re capito: [[email protected]] Tipologia: Affine o inte grativo Anno: 2° anno 3° anno Cre diti/Vale nz a: 9 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 : Orale PROGRAMMA Introduz ione . Nome nclatura de i compos ti inorganici. Conce tto di mole . Ste chiome tria chimica. Struttura atomica de lla mate ria. Orbitali atomici. Configuraz ione e le ttronica de gli e le me nti de i blocchi s e p. Tavola pe riodica e proprie tà pe riodiche . Le game chimico. Conce tto di le game . Formalis mo di Le wis . Formule di s truttura. Le game ionico. Le game covale nte . Le game me tallico. Pre vis ione de lla ge ome tria mole colare . Orbitali ibridi. Stati di aggre gaz ione de lla mate ria. Proprie tà de i gas . Proprie tà de i liquidi. Proprie tà de i s olidi. Soluz ioni. Modi di e s prime re le conce ntraz ioni Te rmochimica e te rmodinamica chimica. Ene rge tica e re az ioni chimiche . Entalpia. I principi de lla te rmodinamica. Entropia. Spontane ità de lle re az ioni. Ene rgia libe ra di Gibbs . Equilibrio chimico. Le gge d'az ione de lle mas s e . Cos tanti d'e quilibrio. Equilibri di s cambio protonico. Acidi e bas i. Prodotto ionico de ll'acqua. pH. Idrolis i. Chimica organica. Gli idrocarburi. Gruppi funz ionali. Biomole cole T EST I P. W. Atkins . Fondame nti di Chimica, e d. Zaniche lli. ORARIO LEZIONI Gio rni Ore Aula Lune dì 9:30 - 11:30 Aula B Dipartime nto di Mate matica Marte dì 8:30 - 9:30 Aula D Dipartime nto di Mate matica Giove dì 8:30 - 10:30 Aula D Dipartime nto di Mate matica Lezio ni: dal 03/10/2011 al 19/01/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=daba Element i di Bioinf ormat ica Anno accade mico: 2011/2012 CdL: L31 Informatica Doce nte : Pro f . Riccardo Percudani (T it o lare del co rso ) Re capito: 0521-905140 [[email protected]] Tipologia: A s ce lta de llo s tude nte Anno: 3° anno Cre diti/Vale nz a: 6 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 : Orale 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 Anno accade mico: 2011/2012 CdL: L31 Informatica Doce nte : Pro f . Marisa Bo nini (T it o lare del co rso ) Re capito: 0521-905226 [[email protected]] Tipologia: Di bas e Anno: 1° anno Cre diti/Vale nz a: 9 SSD: FIS/02 - fis ica te orica, mode lli e me todi mate matici 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 : Orale OBIET T IVI Il cors o s i propone di fornire una conos ce nz a organica de lle le ggi fondame ntali de lla me ccanica clas s ica de l punto mate riale e de i s is te mi, una conos ce nz e di bas e de lla te rmologia, te rmodinamica e proprie tà de i gas . Si propone inoltre di fornire le conos ce nz e di bas e de i fe nome ni e le ttrici e magne tici. PROGRAMMA 1) Introduz ione . Le grande z z e fis iche . Sis te mi di unità di mis ura. Scalari e ve ttori. Ope raz ioni con i ve ttori: s omma, prodotto s calare e prodotto ve ttoriale . Analis i dime ns ionale . 2) Cine matica de l punto mate riale . Le gge oraria, ve locità, acce le raz ione . Moto re ttiline o uniforme . Moto uniforme me nte acce le rato. Moto in due dime ns ioni e moto di un proie ttile . Moto circolare uniforme . Acce le raz ione tange nz iale e radiale . 3) 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 . La forz a gravitaz ionale e il pe s o. Forz e di attrito. 4) Applicaz ioni de lle le ggi de lla me ccanica. Piano inclinato e re az ioni vincolari. Moto armonico. Pe ndolo s e mplice . 5) Lavoro e d e ne rgia. Lavoro de lle forz e . Ene rgia cine tica. Campi di forz a cons e rvativi. Ene rgia pote nz iale . Cons e rvaz ione de ll'e ne rgia me ccanica. Alcune forz e cons e rvative e l'e ne rgia pote nz iale ad e s s e as s ociata. 6) 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 . Impuls o e quantità di moto. Urti. Proble mi d'urto e las tico e d ine las tico. 7) Te oria cine tica de i gas e te rmodinamica. De s criz ione macros copica di un gas pe rfe ttto. 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. Entropia e il s e condo principio de lla te rmodinamica. Macchine te rmiche 8) 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. 9) 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 10) Corre nte e circuiti a 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 11) 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 . 12) 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. Auto e mutua induz ione . Corre nte di s pos tame nto. Equaz ioni di Maxwe ll. NOTA: pe r gli s tude nti is critti al cors o di laure a in Informatica de lla clas s e 26 (pre riforma) l'e s ame vale 6cfu e i gli argome nti 9-12 non fanno parte de l programma d'e s ame . T EST I J.S. Walke r, Fondame nti di Fis ica, Pe ars on Education Italia (oppure la ve cchia e diz ione J.S. Walke r, Fondame nti di Fis ica, vol. 1, Ed. Zaniche lli.) 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. NOT A Modalità d'e s ame : l'e s ame pre ve de una prova s critta inte grata con una prova orale . Durante il cors o s ono pre vis te de lle prove in itine re che contribuiranno, s e pos itive , alla valutaz ione de lla prova s critta finale . ORARIO LEZIONI Gio rni Ore Aula Marte dì 8:30 - 10:30 Aula C Dipartime nto di Mate matica Me rcole dì 8:30 - 10:30 Aula A Dipartime nto di Mate matica Ve ne rdì 8:30 - 10:30 Aula C Dipartime nto di Mate matica Lezio ni: dal 01/03/2012 al 08/06/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=a71a Fondament i dell'Inf ormat ica Anno accade mico: 2011/2012 Codice : 07581 CdL: L31 Informatica Doce nte : Pro f . Ro bert o Bagnara (T it o lare del co rso ) Re capito: 0521 906917 [[email protected]] Tipologia: Caratte riz z ante Anno: 2° anno Cre diti/Vale nz a: 9 SSD: INF/01 - informatica 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 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 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 de ll'informaz ione , e 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. 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-0889-X. A. Pe ttoros s i. Ele me nts of Computability, De cidability, and Comple xity, Aracne Editrice , 2006. ISBN: 88-5480682-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 Me rcole dì 11:30 - 13:30 Aula A Dipartime nto di Mate matica Me rcole dì 14:30 - 16:30 Aula A Dipartime nto di Mate matica Me rcole dì 16:30 - 18:30 Aula C Dipartime nto di Mate matica Giove dì 11:30 - 13:30 Aula C Dipartime nto di Mate matica Ve ne rdì 8:30 - 9:30 Aula A Dipartime nto di Mate matica Lezio ni: dal 05/10/2011 al 20/01/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=8ad8 Fondament i di Programmazione A Anno accade mico: 2011/2012 CdL: L31 Informatica 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 Cre diti/Vale nz a: 6 SSD: INF/01 - informatica 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 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 e di que lla "orie ntata agli ogge tti", utiliz z ando come linguaggio di rife rime nto il linguaggio di programmaz ione C++. PROGRAMMA Si ve da la pagina de l cors o all'indiriz z o http://www.math.unipr.it/~gianfr/Te aching/FondProgr/ T EST I Si ve da la pagina de l cors o all'indiriz z o http://www.math.unipr.it/~gianfr/Te aching/FondProgr/ NOT A Es ame inte grato con Fondame nti di Programmaz ione B. ORARIO LEZIONI Gio rni Ore Aula Marte dì 10:30 - 12:30 Aula A Pode re "La Grande " Marte dì 14:30 - 17:00 Aula Informatica Ple s s o Polifunz ionale Me rcole dì 14:30 - 17:00 Aula Informatica Ple s s o Polifunz ionale Ve ne rdì 9:30 - 11:30 Aula A Pode re "La Grande " Lezio ni: dal 04/10/2011 al 20/01/2012 No t a: Il Laboratorio pe r gli s tude nti di Informatica s i te rrà pe r il primo gruppo il marte dì pome riggio, il s e condo gruppo il me rcole dì pome riggio. Si fa pre s e nte che pe r gli s tude nti de l CdL di Mate matica il laboratorio s i te rrà il marte dì pome riggio pre s s o l'aula attre z z ata de l Dipartime nto, me ntre pe r gli s tude nti di Fis ica, il laboratorio s i s volge rà s e mpre il marte dì pome riggio pre s s o l'Aula Informatica de l Polifunz ionale . http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=51fe Fondament i di Programmazione B Anno accade mico: 2011/2012 CdL: L31 Informatica 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 Cre diti/Vale nz a: 6 SSD: INF/01 - informatica 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 : Orale PROGRAMMA Si ve da il programma di Fondame nti di Programmaz ione A. NOT A Es ame inte grato con Fondame nti di Programmaz ione A. ORARIO LEZIONI Gio rni Ore Aula Marte dì 10:30 - 12:30 Aula C Dipartime nto di Mate matica Me rcole dì 14:30 - 17:30 Aula attre z z ata Dipartime nto di Mate matica Me rcole dì 14:30 - 17:30 Aula Informatica Ple s s o Polifunz ionale Ve ne rdì 10:30 - 12:30 Aula C Dipartime nto di Mate matica Lezio ni: dal 01/03/2012 al 08/06/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=3b86 Ingegneria del Sof t ware Anno accade mico: 2011/2012 Codice : 06015 CdL: L31 Informatica Doce nte : Do t t . Federico Bergent i (T it o lare del co rso ) Re capito: [[email protected]] Tipologia: Caratte riz z ante Anno: 3° anno Cre diti/Vale nz a: 9 SSD: INF/01 - informatica 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 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 on-We s le y ORARIO LEZIONI Gio rni Ore Aula Marte dì 8:30 - 10:30 Aula F Dipartime nto di Mate matica Giove dì 8:30 - 10:30 Aula F Dipartime nto di Mate matica Ve ne rdì 8:30 - 11:30 Aula F Dipartime nto di Mate matica Ve ne rdì 8:30 - 11:30 Aula attre z z ata Dipartime nto di Mate matica Lezio ni: dal 01/03/2012 al 08/06/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=cd14 Lingua Inglese Anno accade mico: 2011/2012 Codice : 13259 CdL: L31 Informatica Doce nte : Do t t . Anila Sco t t -Mo nkho use Re capito: 0521/905508 [[email protected]] Tipologia: Pe r la prova finale e pe r la conos ce nz a de lla lingua s tranie ra Anno: 1° anno Cre diti/Vale nz a: 3 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 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 Lezio ni ed esame di ido neit à: 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 . Rico no sciment o t it o li in po ssesso dello st udent e: 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 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 ``idone 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 . Mat eriale per miglio rare le pro prie capacit à di let t ura e asco lt o è 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 sit i int eressant i: 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 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=1b14 Met odologie di Programmazione Anno accade mico: 2011/2012 Codice : 16433 CdL: L31 Informatica Doce nte : Pro f . Enea Zaf f anella (T it o lare del co rso ) Re capito: 0521 906963 [[email protected]] Tipologia: Di bas e Anno: 2° anno Cre diti/Vale nz a: 6 SSD: INF/01 - informatica 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 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. 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 on-We 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 Marte dì 9:30 - 11:30 Aula C Dipartime nto di Mate matica Giove dì 10:30 - 11:30 Aula C Dipartime nto di Mate matica Ve ne rdì 9:30 - 11:30 Aula C Dipartime nto di Mate matica Lezio ni: dal 03/10/2011 al 20/01/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=fcb6 Modellazione e Simulazioni Numeriche Anno accade mico: 2011/2012 Codice : 18339 CdL: L31 Informatica Doce nte : Do t t . Francesco Di Renzo (T it o lare del co rso ) Re capito: 0521 905491 [[email protected]] Tipologia: Affine o inte grativo Anno: 2° anno Cre diti/Vale nz a: 6 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 : Orale 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 ). Proprio pe r que s to, 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. 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. La dis tribuz ione 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 . Il linguaggio de lla analis i de gli e rrori. Analis i di campioni s pe rime ntali. Il me todo di boots trap. Ce nni al proble ma de l cos idde tto data mining. 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. Cate ne di Markov e me todo Monte carlo dinamico. Simulaz ioni di me ccanica s tatis tica. Pos s ibili ce nni alla dinamica mole colare e s ue applicaz ioni. 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 . ORARIO LEZIONI Gio rni Ore Aula Me rcole dì 9:30 - 12:30 Aula attre z z ata Dipartime nto di Mate matica Ve ne rdì 8:30 - 10:30 Aula D Dipartime nto di Mate matica Lezio ni: dal 01/03/2012 al 08/06/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=1fe 8 Modellist ica Molecolare Anno accade mico: 2011/2012 Codice : 18340 CdL: L31 Informatica Doce nte : Piet ro Co zzini (T it o lare del co rso ) Re capito: [[email protected]] Tipologia: Affine o inte grativo Anno: 3° anno Cre diti/Vale nz a: 6 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 : Orale 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 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 Lune dì 11:30 - 13:30 Aula D Dipartime nto di Mate matica Marte dì 9:30 - 11:30 Aula D Dipartime nto di Mate matica Lezio ni: dal 03/10/2011 al 20/01/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=de 08 Ret i di Calcolat ori Anno accade mico: 2011/2012 Codice : 14832 CdL: L31 Informatica Doce nte : Do t t . Ro bert o Alf ieri (T it o lare del co rso ) Re capito: 0521 906214 [[email protected]] Tipologia: Caratte riz z ante Anno: 3° anno Cre diti/Vale nz a: 12 SSD: INF/01 - informatica 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 Il cors o introduce le 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. PROGRAMMA Il cors o e ' organiz z ato in 2 parti: Parte A. 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. Parte B. 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 . Pe r i de ttagli ve di la pagina Moodle (in fondo a que s ta pagina) T EST I "Re ti di Calcolatori" - A. Tane nbaum - Pre ntice Hall "Re ti di Calcolatori" - L. Pe te rs on, B. Davie - Apoge o ORARIO LEZIONI Gio rni Ore Aula Marte dì 10:30 - 12:30 Aula D Dipartime nto di Mate matica Me rcole dì 9:30 - 10:30 Aula D Dipartime nto di Mate matica Giove dì 10:30 - 13:30 Aula Informatica Ple s s o Polifunz ionale Lezio ni: dal 07/03/2012 al 08/06/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=6008 Ricerca Operat iva Anno accade mico: 2011/2012 CdL: L31 Informatica Doce nte : Re capito: [] Tipologia: Affine o inte grativo Anno: 2° anno 3° anno Cre diti/Vale nz a: 9 SSD: MAT/09 - rice rca ope rativa 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 : Orale NOT A Il cors o s i avvale de l cors o omonimo attivato pre s s o la Facoltà di Inge gne ria al I anno de lla Laure a Magis trale in Informatica. Pe r tutte le informaz ioni re lative al cors o (programma, te s ti cons igliati, modalità di e s ame , cale ndario de lle le z ioni, orari e d aule de lle le z ioni, date de gli appe lli), s i invitano gli s tude nti a fare rife rime nto alle informaz ioni pubblicate s ul s ito we b de lla Facoltà di Inge gne ria. In particolare , è pos s ibile re gis trars i al cors o (e d ave re acce s s o al mate riale didattico) utiliz z ando il link le a.unipr.it, me ntre le informaz ioni s u orario e d aule s ono dis ponibili a que s to indiriz z o. http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=05ac Semant ica dei Linguaggi di Programmazione Anno accade mico: 2011/2012 CdL: L31 Informatica Doce nte : Pro f . Ro bert o Bagnara (T it o lare del co rso ) Re capito: 0521 906917 [[email protected]] Tipologia: Caratte riz z ante Anno: 3° anno Cre diti/Vale nz a: 6 SSD: INF/01 - informatica 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 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 . RISULT AT I DELL'APPRENDIMENT O 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. 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 Marte dì 11:30 - 13:30 Aula F Dipartime nto di Mate matica Me rcole dì 10:30 - 12:30 Aula D Dipartime nto di Mate matica Me rcole dì 14:30 - 16:30 Aula D Dipartime nto di Mate matica Lezio ni: dal 01/03/2012 al 08/06/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=af44 Sist emi Operat ivi Anno accade mico: 2011/2012 Codice : 16593 CdL: L31 Informatica Doce nte : Pro f . Alessandro Dal Palu' (T it o lare del co rso ) Re capito: 0521 906962 [[email protected]] Tipologia: Caratte riz z ante Anno: 2° anno 3° anno Cre diti/Vale nz a: 9 SSD: INF/01 - informatica 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 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. Ge s tione de lla me moria. 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 Marte dì 14:30 - 16:30 Aula C Dipartime nto di Mate matica Me rcole dì 8:30 - 10:30 Aula C Dipartime nto di Mate matica Giove dì 14:30 - 17:30 Aula Informatica Ple s s o Polifunz ionale Lezio ni: dal 04/10/2011 al 19/01/2012 http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=ff3a Sist emi Orient at i ad Int ernet Anno accade mico: 2011/2012 CdL: L31 Informatica Doce nte : Pao la T urci (T it o lare del co rso ) Re capito: [[email protected]] Tipologia: Affine o inte grativo Anno: 3° anno Cre diti/Vale nz a: 6 SSD: ING-INF/05 - s is te mi di e laboraz ione de lle informaz ioni 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 : Orale NOT A Si avvale de ll'omonimo cors o attivato pre s s o la Laure a Magis trale in Inge gne ria Informatica. http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=9b4f T eoria dei Segnali Anno accade mico: 2011/2012 CdL: L31 Informatica Doce nte : Re capito: [] Tipologia: Di bas e Anno: 2° anno 3° anno Cre diti/Vale nz a: 6 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 : Orale NOT A Il cors o s i avvale de l cors o omonimo attivato pre s s o la Facoltà di Inge gne ria al II anno de lla Laure a trie nnale in Informatica. Pe r tutte le informaz ioni re lative al cors o (programma, te s ti cons igliati, modalità di e s ame , cale ndario de lle le z ioni, orari e d aule de lle le z ioni, date de gli appe lli), s i invitano gli s tude nti a fare rife rime nto alle informaz ioni pubblicate s ul s ito we b de lla Facoltà di Inge gne ria. In particolare , le informaz ioni s u orario e d aule s ono dis ponibili a que s to indiriz z o. http://informatica.unipr.it/cgi-bin/campus ne t/cors i.pl/Show?_id=4a84 Aggiornato il 12/07/2012 09:12 - by CampusNet