Académique Documents
Professionnel Documents
Culture Documents
I ANNO
CORSO INTRODUTTIVO
Lo sco o !e" Corso # $ue""o !i "i%e""are "a re arazio&e !e'"i stu!e&ti c(e si iscri%o&o a" rimo a&&o !e" Corso !i Laurea i& I&formatica) rime!ia&!o a""e "acu&e c(e essi osso&o a%ere sui co&cetti !i base e "e &ozio&i esse&zia"i er affro&tare i Corsi !i A&a"isi Matematica e !i Matematica Discreta.
AR*OMENTI
TRATTATI
I&siemi) e"eme&ti e sottoi&siemi. Re"azio&i !i e$ui%a"e&za e !+or!i&e. A "icazio&i. Numeri &atura"i) i&teri) razio&a"i) rea"i. E$uazio&i e !ise$uazio&i. Fu&zio&i e"eme&tari: fu&zio&i razio&a"i) 'o&iometri,c(e) es o&e&zia"i e "o'aritmic(e. E"eme&ti !i 'eometria a&a"itica e !i 'eometria euc"i!ea.
ANALISI MATEMATICA
CREDITI: 51
FINALIT DEL CORSO: Fi&a"it6 !e" corso: for&ire i co&cetti e "e tec&ic(e !i base !e" ca"co"o i&fi&itesima"e e i&te'ra"e i& mo!o co&ciso e a!atto a""e a "icazio&i. La teoria %ie&e rese&tata co& u& buo& "i%e""o !i ri'ore forma"e &e'"i e&u&ciati e i& $ue""e !imostrazio&i c(e si !eci!e !i s%o"'ere i& !etta'"io. Si a!!estra&o '"i stu!e&ti a" ca"co"o) i&&a&zi tutto co& carta e e&&a) ma a&c(e se ossibi"e usa&!o i" com uter. /&+e&fasi !e" corso # &e" fami"iarizzare '"i stu!e&ti co" si'&ificato i&tuiti%o 'eometrico o !i&amico !ei co&cetti !i "imite) !eri%ata e i&te'ra"e) i& mo!o c(e %e&'a "oro s o&ta&eo a "icare ta"i strume&ti a&c(e a rob"emi c(e &o& si rese&ti&o matematicame&te 'ia+ forma"izzati .
PRO*RAMMA: &umeri rea"i) fu&zio&i) "imiti e co&ti&uit6) !eri%ate) i&te'ra"i) serie) a "icazio&i.
MODALIT DI ESAME: ci so&o !ue mo!i ac$uisire i cre!iti: i" mo!o ri&ci a"e co&siste i& 7 com iti&i scritti !ura&te "+a&&o) ti icame&te se&za ora"e8 "+a"tro mo!o co&siste i& u& si&'o"o scritto iu+ u& ora"e &e'"i a e""i fra 'iu'&o e settembre8 i !etta'"i !e" re'o"ame&to so&o !is o&ibi"i i& rete.
CREDITI: 52
FINALIT DEL CORSO I" corso (a "o sco o !i i""ustrare "a struttura e i" fu&zio&ame&to !i u& com uter e !e""e sue !i%erse arti (ar!:are. I" ercorso !i!attico se'uito (a i&izio co& "o stu!io !e""e arti i; icco"e !i cui si com o&e u& ca"co"atore e si muo%e %erso "+a"to fi&o a! arri%are a""o stu!io !i arc(itetture com "ete !i ca"co"atori. Per me'"io e%i!e&ziare i "e'ami fra i" "i%e""o (ar!:are e $ue""o soft:are) i" corso tratta "a ro'rammazio&e i& "i&'ua''io Assemb"er.
PRO*RAMMA I&tro!uzio&e: Pros etti%a storica su""e arc(itetture !e'"i e"aboratori. Ti o"o'ie !i com uter !is o&ibi"i. Settori !i a "icazio&e !ei sistemi !i e"aborazio&e) embe!!e! s<stem. Li%e""i !i astrazio&e &e""+a&a"isi !i u&+arc(itettura.
Reti Lo'ic(e: Porte "o'ic(e e"eme&tari. A"'ebre .oo"ea&e. Ra rese&tazio&e !i fu&zio&i boo"ea&e. Forme ca&o&ic(e e co erture SP e PS. Circuiti combi&atori !+uso i; fre$ue&te. F"i ,f"o . C"oc=. Circuiti se$ue&zia"i si&cro&i e asi&cro&i. C(i !i memoria: DRAM) SRAM) ROM) F"as(. SIMM>DIMM.
Ra rese&tazio&e !e""e I&formazio&i: Sistemi !i &umerazio&e bi&ario) otta"e) !ecima"e) esa!ecima"e. Co&%ersio&e tra basi. Ra rese&tazio&i i& mo!u"o e se'&o) com "eme&to a 1. A!!izio&e) sottrazio&e) mo"ti "icazio&e. O%erf"o:. Sta&!ar! IEEE er &umeri i& %ir'o"a mobi"e. Ra rese&tazio&e !i caratteri: ASCII) /NICODE. Co!ici !i ri"e%ame&to errori. Memorizzazio&e: a roccio bi' e&!ia& %s. "itt"e e&!ia&.
Struttura !i u& Com uter a" "i%e""o Microarc(itettura": L+arc(itettura !i ?o& Neuma&&. Arc(itetture CISC %s. RISC. .us. Re'istri. AL/. Data Pat(. Cic"o !i fetc(,!eco!e,e@ecute. /&ita+ !i co&tro""o. Microo erazio&i. Pi e"i&e) rocessori su ersca"ari. Memorie cac(e. Pre!izio&e !i sa"to) esecuzio&e fuori or!i&e. Pe&tium II.
Li&'ua''io macc(i&a: Ti i !i !ati. I&!irizzame&to. Ti i !i istruzio&i. Formati istruzio&i. Pro'ramme! I>O) I&terru t) DMA.
I& ut>Out ut: Dis ositi%i eriferici. Co""e'ame&ti me!ia&te bus. Trasferime&ti !i !ati su bus si&cro&i e! asi&cro&i. O erazio&i su" bus. Mecca&ismi !i arbitra''io: !ais<,c(ai&i&') arbitra''io !ece&tra"izzato. Arc(itettura !i u& ti ico PC. .us ISA) PCI) SCSI) /S.. Aar! !is=. RAID. Disc(i Ottici.
*erarc(ie !i Memoria: Memoria ce&tra"e) !i massa) cac(e. Cac(e a ma atura !iretta) cac(e set,associati%e. Memoria %irtua"e. Pa'i&azio&e e se'me&tazio&e. MM/.
Arc(itetture a! e"aborazio&e ara""e"a: Ti o"o'ie !i ca"co"atori ara""e"i. La c"assificazio&e !i F"<&&. Mu"ti rocessori e Mu"ticom uter. I&terco&&essio&e fra rocessori: bus) rete. Cac(e co(ere&ce) s&oo i&'. Arc(itetture /MA e N/MA. Arc(itetture COB 0C"usters of Bor=statio&s4 e! MPP 0Massi%e"< Para""e" Processor4.
Pro'rammazio&e Assemb"er: Arc(itettura !e" Motoro"a CD222. Assemb"er CD222: formato istruzio&i) !iretti%e a""+assemb"atore. Mo!a"ita+ !i i&!irizzame&to. Istruzio&i !i asse'&ame&to e co&fro&to) effetti sui co&!itio& co!es. Istruzio&i !i sa"to co&!izio&ato e! i&co&!izio&ato. Subrouti&e. Istruzio&i aritmetic(e) "o'ic(e) !i scorrime&to) !i ma&i o"azio&e bit. *estio&e !e""e eccezio&i.
MODALIT D+ESAME L+esame !i Arc(itettura !e'"i E"aboratori si com o&e !i u&a ro%a scritta) !i u&a ro%a !i "aboratorio) e !i u&a ro%a ora"e. La ro%a scritta ric(ie!e !i s%o"'ere !e'"i esercizi a&a"o'(i a $ue""i rese&tati &e""e esercitazio&i) e !i ris o&!ere a! a"cu&e !oma&!e su'"i ar'ome&ti trattati a "ezio&e. Dura&te i" corso) %erra&&o s%o"ti tre com iti&i. *"i stu!e&ti c(e su era&o ositi%ame&te i com iti&i %e&'o&o eso&erati !a""a ro%a scritta.
TESTO ADOTTATO A&!re: S. Ta&e&baum. Arc(itettura !ei com uter) u& a /TET Libreria) 1222. roccio strutturato.
CREDITI: 3
FINALIT
DEL CORSO
I" "aboratorio (a "o sco o !i far s erime&tare co&cretame&te a""o stu!e&te) me!ia&te "a rea"izzazio&e !i bre%i ro'etti a" ca"co"atore) a"cu&i !ei temi !i ri"ie%o trattati &e" corso !i Sistemi !i E"aborazio&e>Arc(itettura !e'"i E"aboratori.
TIPI
DI PRO*ETTO
Reti Lo'ic(e: Pro'etto e simu"azio&e !i reti combi&atorie e se$ue&zia"i i& ambie&te Maci&tos(. Rea"izzazio&e !i "ibrerie !i com o&e&ti !i'ita"i !i base) e "oro uso er "a costruzio&e mo!u"are !i sistemi !i'ita"i i; com "essi. Ra rese&tazio&i &umeric(e: A"'oritmi co&cer&e&ti "a ra rese&tazio&e e "+e"aborazio&e !i &umeri i&teri se&za se'&o) co& se'&o) rea"i i& %ir'o"a fissa e i& %ir'o"a mobi"e. Pro'rammazio&e Assemb"er: S%i"u o !i ro'rammi mirato a! es "orare "e !i%erse caratteristic(e !e""+Assemb"er Motoro"a CD222: !iretti%e a""+assemb"atore) istruzio&i !i asse'&ame&to e co&fro&to) "e %arie mo!a"it6 !i i&!irizzame&to) sfruttame&to !ei co&!itio& co!es) strutture !i co&tro""o) istruzio&i aritmetico,"o'ic(e) ma&i o"azio&e si&'o"i bit) subrouti&e) a""ocazio&e>!ea""ocazio&e !i memoria su""o stac=. O"tre a""e tec&ic(e !i ro'rammazio&e Assemb"er !i base) %erra&&o affro&tate a&c(e a"cu&e tec&ic(e a%a&zate) i& artico"are er "+im "eme&tazio&e e trattame&to i& assemb"er !i strutture !ati 0%ettori) stri&'(e) matrici) i&siemi) "iste4) e er "a 'estio&e !e""e eccezio&i.
MODALIT D+ESAME L+esame co&siste &e""a re arazio&e !a arte !e""o stu!e&te !i u&a bre%e re"azio&e scritta su u& ro'etto %o"to a riassumere "e !i%erse tematic(e affro&tate i& "aboratorio. I" ro'etto !a s%o"'ere %a ric(iesto a" !oce&te e "a re"ati%a re"azio&e %a co&se'&ata rima !e""o s%o"'ime&to !e""+esame ora"e !i Sistemi !i E"aborazio&e>Arc(itettura !e'"i E"aboratori.
FISICA
CREDITI: C
FINALIT DEL CORSO I" corso for&isce "e co&osce&ze !i base !e""a Fisica. Fuesto com re&!e &ozio&i !i Mecca&ica) !i Termo!i&amica e !i E"ettroma'&etismo. L+im ostazio&e !e" corso # esse&zia"me&te o erati%a) &e" se&so c(e "a ca acit6 !i riso"%ere rob"emi # co&si!erata !etermi&a&te.
AR*OMENTI I&tro!uzio&e a""a Fisica) or!i&i !i 'ra&!ezza) u&it6 !i misura. Ci&ematica. Forze e ri&ci i !e""a Di&amica. E&er'ia ci&etica e ote&zia"e. Forza 'ra%itazio&a"e e ote&zia"e 'ra%itazio&a"e) "e''i !i Ge "ero. /rti) co&ser%azio&e !e""a $ua&tit6 !i moto. Termo!i&amica. Forze e"ettric(e e ma'&etic(e. I&tro!uzio&e ai circuiti e"ettrici. I&tro!uzio&e e"eme&tare a""e o&!e e"ettroma'&etic(e.
.I.LIO*RAFIA Ti "er: I&tro!uzio&e a""a Fisica) 9a&ic(e""i Dis e&se !e" corso.
MATEMATICA DISCRETA
CREDITI: H
FINALIT
DEL CORSO:
I&tro!urre '"i strume&ti fo&!ame&ta"i !i Matematica Discreta) A"'ebra e *eometria co& artico"are atte&zio&e a""e "oro a "icazio&i i& I&formatica.
PRO*RAMMA: I&siemi e! a "icazio&i. Aritmetica: &umeri i&teri) !i%isori e mu"ti "i) a"'oritmo !i Euc"i!e) ce&&i su""e e$uazio&i "i&eari !iofa&tee) &umeri rimi) fattorizzazio&e) co&'rue&ze) ra rese&tazio&e n,a!ica !ei &umeri i&teri8 &umeri com "essi). Strutture a"'ebric(e: 'ru i) sotto'ru i) c"assi "atera"i) sotto'ru i &orma"i) $uozie&ti) omomorfismi8 a&e""i) i!ea"i. A"'ebra Li&eare: s azi %ettoria"i) !i e&!e&za "i&eare) basi) a "icazio&i "i&eari) matrici) !etermi&a&te) auto%a"ori e! auto%ettori.
LI.RO
DI TESTO:
PROGRAMMAZIONE
CREDITI: 52 FINALIT DEL CORSO: I" corso si ro o&e !i s%i"u are "e com ete&ze cu"tura"i e meto!o"o'ic(e !i base er affro&tare i rob"emi c(e ammetto&o so"uzio&i a"'oritmic(e) stimo"a&!o "-a&a"isi critica !e'"i strume&ti a !is osizio&e !e""-i&formatico. A" termi&e !e" corso "o stu!e&te !o%rebbe a%er ac$uisito "e ca acit6 o erati%e &ecessarie a ro'ettare e forma"izzare sem "ici ro'rammi) a "ica&!o i ara!i'mi fu&zio&a"e e object-oriented) e a! a&a"izzare a"me&o a "i%e""o i&tuiti%o '"i e"eme&ti critici er i" corretto com ortame&to i& re"azio&e a""e s ecific(e . PREREF/ISITI: Co&osce&ze matematic(e !i base) !e" "i%e""o for&ito &e""a scuo"a su eriore. PRO*RAMMA: Parte I , Astrazio&e roce!ura"e 0"i&'ua''io fu&zio&a"e Scheme4
A"'oritmi basati su" ca"co"o !i es ressio&i &umeric(e e &o& &umeric(e. Proce!ure come astrazio&e !i es ressio&i. Costrutti !i sce"ta e %a"ori !i %erit6. Defi&izio&i ricorsi%e. Mo!e""o !i %a"utazio&e er sostituzio&e e ri!uzio&e. Ricorsio&e 'e&era"e e ricorsio&e !i co!a 0 tail recursion4. A roccio iterati%o come ricorsio&e !i co!a. Dimostrazio&i !i correttezza er i&!uzio&e e co&cetto !i i&%aria&te &e""a ricorsio&e !i co!a. Costrutto let. Parte II , Astrazio&e sui !ati 0"i&'ua''io Scheme4 I&tro!uzio&e a""-astrazio&e sui !ati attra%erso sem "ici !ati strutturati. S ecifica astratta !i u&a struttura !ati e !i%ersit6 !e""e sce"te rea"izzati%e. Dati !i !ime&sio&e %ariabi"e: "iste. Strutture !ati !a" u&to !i %ista !e""-uti"izzatore e !a" u&to !i %ista !e""-im "eme&tatore. Pi"e e co!e. A"beri e a"beri !i %a"utazio&e !e""e es ressio&i. Esem i &ote%o"i. Parte III , Astrazio&e re"ati%a a""o stato 0"i&'ua''i Scheme e Java a co&fro&to4 Co&cetto !i stato e ara!i'ma im erati%o>se$ue&zia"e. ?ettori e o erazio&i re"ati%e. Ri%isitazio&e !e""e strutture !i !ati e"eme&tari attra%erso i" ara!i'ma im erati%o. Matrici. Costi com utazio&a"i !i u& a"'oritmo. Tec&ic(e !i memoization e ro'rammazio&e !i&amica. Pri&ci a"i coma&!i e costrutti !e" "i&'ua''io Java. Pro'rammi iterati%i. I&%aria&ti e correttezza !ei ro'rammi iterati%i8 rob"ema !e""a termi&azio&e. Mo!e""o fu&zio&a"e come sema&tica !i u& ro'ramma im erati%o. E"eme&ti !i ro'rammazio&e object-oriented i& Java: c"assi e o''etti8 cam i) costruttori e meto!i. Co&cetto !i i&%aria&te !i c"asse e "i&'ua''i er "a forma"izzazio&e e er "a %erifica runtime !i asserzio&i. Esem i &ote%o"i. Concetti ricorrenti: A roccio im erati%o e a roccio ricorsi%o8 i&%aria&ti8 "i%e""i !i astrazio&e8 forme !i astrazio&e8 stato e tra&sizio&e !i stato8 a roccio object-oriented. /"teriori i&formazio&i su" corso e su""e "ezio&i) i& artico"are '"i esem i !iscussi i& c"asse e i temi !-esame) so&o resi !is o&ibi"i attra%erso "e a'i&e !e" corso a""-i&!irizzo: (tt :>>:::.!imi.u&iu!.it>c"au!io>teac(i&'> ro'rammazio&e> MATERIALE
DI ST/DIO CONIS*LIATO:
Ma@ Aai" eri&) .arbara Gaiser) Gar" G&i'(t Concrete Abstractions: An Introduction to Computer Science sing Scheme
.roo=s>Co"e Pub"is(i&' Com a&<) 5HHH 0IS.N: 2,I73,HI155,H4 Jo(& Le:is) Bi""iam Loftus Java - !ondamenti di progettazione so"t#are A!!iso&,Bes"e<) 1222 0E!izio&e ita"ia&a 12258 IS.N: DD,K5H1,2H1,H4 A u&ti tratti !a""e "ezio&i8 esem i e! esercizi corso. ubb"icati su""e a'i&e :eb !e"
MODALIT D-ESAME: L-esame !i Pro'rammazio&e re%e!e tre ro%e !i accertame&to) c(e si s%o"'o&o a" termi&e !ei tre erio!i !i!attici i& cui # artico"ato i" corso) u&a ro%a !i Laboratorio 0corso affia&cato !i Laboratorio !i Pro'rammazio&e4 e u&a ro%a ora"e. A""-ora"e so&o ammessi '"i stu!e&ti c(e (a&&o co&se'uito u&a %a"utazio&e com "essi%a !i a"me&o 5I u&ti su 72 &e""e tre ro%e !i accertame&to e c(e (a&&o i&o"tre su erato "a ro%a !i Laboratorio. La !iscussio&e ora"e # o zio&a"e er %a"utazio&i !e""e ro%e !i accertame&to com rese fra 12 e 1D u&ti. La ro%a !i Laboratorio e "a ro%a ora"e) &e" caso $uest-u"tima %e&'a soste&uta) co&corro&o a""a %a"utazio&e fi&a"e &ei termi&i !i u&a me!ia esata. La %a"utazio&e !i u&a si&'o"a ro%a !i accertame&to %ie&e es ressa &ei se'ue&ti "i%e""i: ottimo) buo&o) !iscreto) sufficie&te) $uasi sufficie&te) i&sufficie&te. La %a"utazio&e com "essi%a !e""e ro%e !i accertame&to o !ei recu eri c(e %erto&o su""-i&tero ro'ramma %ie&e es ressa co& u& u&te''io !a 5D a 72) se sufficie&te8 !a 5I a 5K) se co&se&te !i soste&ere "a ro%a ora"e8 i&sufficie&te a"trime&ti. I&fi&e) "a %a"utazio&e !e""a ro%a !i "aboratorio %ie&e es resse i& u&a sca"a A , . , C $ua&!o "a ro%a # su erata. I" rimo a e""o scritto !i Pro'rammazio&e co&siste &orma"me&te &e""o s%o"'ime&to !e""a terza ro%a !i accertame&to. A artire !a" seco&!o a e""o so&o i&%ece re%iste 0u&icame&te4 ro%e scritte !i recu ero) c(e %erto&o su""-i&tero ro'ramma !e" corso) ri%o"te a co"oro c(e &o& abbia&o otuto arteci are a""e ro%e !i accertame&to o abbia&o co&se'uito u&a %a"utazio&e i&sufficie&te er "-ammissio&e a""-ora"e. I&!i e&!e&teme&te !a""a %a"utazio&e) "e ro%e scritte !i recu ero &o& co&se&to&o "-eso&ero !a""a !iscussio&e ora"e.
CREDITI: 3 O.IETTI?I
DEL CORSO
L Co&osce&za !ei costrutti !i base !i u& "i&'ua''io !i ca acit6 !i uti"izzar"o er forma"izzare sem "ici ro'rammi. L
ro'rammazio&e e
Co&sa e%o"ezza !e""e %arie fasi !i s%i"u o !i u& ro'ramma) i& artico"are com i"azio&e) caricame&to>co""e'ame&to e !ebu''i&'. i; s ecificame&te) co&
SAPER
FARE
ro'rammazio&e
er forma"izzare
ro'rammi
o !i ro'rammi.
L /ti"izzare '"i strume&ti sta&!ar! !i i&terfaccia er "a comu&icazio&e !ei !ati i& i&'resso e i& uscita !ura&te "-esecuzio&e !i u& ro'ramma 0'estio&e !i tastiera) accesso a" fi"e s<stem4. L Or'a&izzare i
CORSO
ro'rammi
i; com "essi i& forma mo!u"are. ri&ci a"i trattati !ura&te i" corso so&o i ri&ci a"i costrutti !ei "i&'ua''i !i
- *"i ar'ome&ti
L Rea"izzazio&e !i u& ro'etto c(e uti"izzi '"i strume&ti !is o&ibi"i &e""-ambie&te !i s%i"u o: "o sco o # !i rea"izzare u&a sem "ice ista&za !e" rocesso c(e orta !a""a formu"azio&e !i u& rob"ema a""-im "eme&tazio&e !i u& ro'ramma c(e "o riso"%e. L ?erifica com "essi%o. se arata !e""e si&'o"e com o&e&ti e !e" ro'ramma
L Stesura !i u&a re"azio&e co& s ecific(e) a&a"isi !e" tec&ica a!ottata e !iscussio&e !ei risu"tati.
rob"ema) so"uzio&e
II ANNO
CREDITI: 52
FINALIT
DEL CORSO
I" corso si ro o&e !i i&tro!urre ai fo&!ame&ti !e""a teoria !e'"i a"'oritmi) !e""e strutture !ati e a""-a&a"isi !e""a com "essit6 com utazio&a"e !i ro'rammi. I" ri&ci a"e obietti%o !e" corso # fami"iarizzare "o stu!e&te co& "e ri&ci a"i rob"ematic(e e tec&ic(e re"ati%e a" !ise'&o e a""a ro'ettazio&e !i a"'oritmi. Ci si ro o&e i&o"tre !i i&tro!urre i meto!i !i base uti"izzati er stabi"ire "a com "essit6 !i ro'rammi e i criteri uti"izzati er sce'"iere e ro'ettare strutture !ati. Do o a%er su erato "-esame si ritie&e c(e "o stu!e&te sia i& 'ra!o !i riso"%ere a"'oritmicame&te rob"emi c"assici e sce'"iere moti%atame&te "e strutture !ati a!atte a! otte&ere so"uzio&i com utazio&a"me&te efficie&ti. Sia i& 'ra!o !i orre "imiti su eriori sufficie&teme&te recisi e i&!i e&!e&ti !a""-arc(itettura a""a com "essit6 com utazio&a"e !i ro'rammi !i me!ia !iffico"t6. Co&osca i i; im orta&ti rob"emi e a"'oritmi Mc"assiciN !e" cam o &o&c(O "e i; im orta&ti e uti"izzate tec&ic(e !i a&a"isi !e""a com "essit6 e !i strutturazio&e !ei !ati.
AR*OMENTI $% Introduzione e nozioni preliminari I&tro!uzio&e. E"eme&ti !i "o'ica e teoria !e'"i i&siemi. A"beri e 'rafi. Matematica !iscreta e a&a"isi asi&totica. Mo!e""i !i ca"co"o er "a !etermi&azio&e !e""a com "essit6 !e'"i a"'oritmi. Prob"emi ricorsi%i e as etti a"'oritmici. &% Algoritmi di ricerca e ordinamento A"'oritmi rimiti%i !i or!i&ame&to e ricerca: se"ectio&,sort) i&sertio&,sort) bubb"e,sort) (ea ,sort. A"'oritmi ricorsi%i: $uic=,sort) mer'e,sort. A&a"isi !e""a com "essit6 e "imiti i&feriori. A"'oritmi "i&eari &o& basati su" co&fro&to: cou&ti&',sort) ra!i@,sort) buc=et,sort. Determi&azio&e !e""+e"eme&to me!io.
'% Strutture dati Strutture !ati rimiti%e: "iste) i"e) co!e) (ea . A"'oritmi e strutture !ati er "a 'estio&e e ma&i o"azio&e !i i&siemi: tabe""e (as() a"beri !i ricerca) bi"a&ciame&to) re!,b"ac= a"beri e .,a"beri. A"'oritmi e strutture !ati er i" rob"ema /&io&,Fi&!. Ce&&i a""e strutture !ati se"f,a!Pusti&'. (% Algoritmi sui gra"i Tec&ic(e !i ra rese&tazio&e !i 'rafi orie&tati e e &o& orie&tati. A"'oritmi !i %isita i& am iezza e rofo&!it6. A"'oritmi !i %isita su a"beri. Ca"co"o !e""e com o&e&ti forteme&te co&&esse. A"'oritmi er "a !etermi&azio&e !i to o"o'ica",sort) mi&imum s a&&i&' tree 0Prim e Grus=a"4) cammi&o mi&imo !a u&a sor'e&te 0DiP=stra) .e""ma&&,For!4 cammi&i mi&imi !a sor'e&ti mu"ti "e 0F"o<!,Bars(a"") Jo(&so&4.
.I.LIO*RAFIA
,A
, Corme& T.A.) Leiserso& C.E.) Ri%est R.L) Introduction to Algorithms, MIT Press) Seco&! e!itio&) 1225. 0A&c(e i& ita"ia&o4. A"tri testi uti"i: , A(o A.?.) Ao croft J.E.) /""ma& J.D.) Data Structures and Algorithms, A!!iso&,Bes"e<) 5HD7. , A(o A.?.) Ao croft J.E.) /""ma& J.D.) )he Design and Anal*sis o" Computer Algorithms, A!!iso&,Bes"e<) 5HK3. , D. E. G&ut() Selected +apers in Computer Science Cambri!'e) /&i%ersit< Press) 5HHC. , TarPa& R.E.) Data Structures and ,et#or- Algorithms, SIAM) 5HD7.
CREDITI: 3
O.IETTI?I DEL CORSO Sco o !e" corso # "a rea"izzazio&e !i a"'oritmi !i u&a certa com "essit6) c(e o era&o su strutture !ati artico"ate) e "a !etermi&azio&e s erime&ta"e !e""e re"ati%e restazio&i. I& $uesto mo!o) si i&te&!e !are u& su orto co&creto ai fi&i !i u&a mi'"iore com re&sio&e !e""e i!ee e !ei co&cetti !iscussi &e" corso teorico !i A"'oritmi e Strutture Dati. Si assume u&a co&osce&za &o& su erficia"e !e" "i&'ua''io !i ro'rammazio&e Pasca") a&c(e se i ro'etti otra&&o essere rea"izzati a&c(e i& C) CQQ) Ja%a) e! a"tri "i&'ua''i.
PRO*RAMMA R Misura !ei tem i !i ca"co"o e co&fro&to fra !i%ersi or!i&i !i com "essit6. Stime teoric(e !ei tem i !i ca"co"o &e" caso !i sem "ici a"'oritmi) &otazio&e O, 'ra&!e. Misure !ei tem i) errore re"ati%o) !iscussio&e !ei risu"tati s erime&ta"i. Limiti !e""+a&a"isi asi&totica e ruo"o !e""e costa&ti mo"ti "icati%e.
R Stima !e" tem o me!io. *e&eratori !i &umeri casua"i) tem o me!io) %aria&za) i&ter%a""i !i co&fi!e&za.
R Co!e tu&i&' La re'o"a !e" D2,12. Tec&ic(e er mi'"iorare "+effice&za !i a"cu&i ro'rammi. E"imi&azio&e !e""e c(iamate !i roce!ura) macroes a&sio&e. ?a"utazio&e s erime&ta"e.
S erime&tazio&e !i a"'oritmi e strutture !ati s%i"u ati &e" corso teorico. A"'oritmi !i or!i&ame&to8 rea"izzazio&e !i a"tre strutture !ati e a"'oritmi 0!a !etermi&are4.
MODALIT D+ESAME L+esame # i&te'rato co& i" corso !i A"'oritmi e Strutture Dati. La ro%a !i "aboratorio !6 "uo'o a! u& 'iu!izio es resso &e""+i&ter%a""o A0ottimo4 , . 0buo&o4 , C 0sufficie&te4 , D 0i&sufficie&te) ro%a &o& su erata4. La ro%a co&siste &e""a riso"uzio&e !i a"cu&i esercizi !ura&te "+a&&o e &e""a re!azio&e !i tre re"azio&i) i& cui !e%o&o essere !escritti i risu"tati !e'"i es erime&ti asse'&ati c(e sara&&o asse'&ati. Le re"azio&i) c(e !e%o&o essere ro!otte usa&!o strume&ti i&formatici !i scrittura e ro!uzio&e !i tabe""e e 'rafici) sara&&o %a"utate a&c(e re"ati%ame&te a""+efficacia !e""a rese&tazio&e !ei !ati s erime&ta"i. Re"azio&i e! esercizi so&o !a co&se'&arsi i& !ate fissate !ura&te "+a&&o. A"ter&ati%ame&te) # ermessa 0a&c(e se sco&si'"iata4 "a co&se'&a cumu"ati%a !i tutti '"i e"aborati i&sieme co& "+u"tima re"azio&e.
MATERIALE DI ST/DIO CONSI*LIATO S. Marti&i: a u&ti !is o&ibi"i su""a a'i&a :eb
CREDITI: 7
*"i obietti%i ri&ci a"i !e" corso so&o: re&!ere "o stu!e&te co&sa e%o"e !e" co&testo socia"e e !e""e im "icazio&i sico"o'ic(e) socia"i e! etic(e co&se'ue&ti a""e i&&o%azio&i tec&o"o'ic(e &e" cam o !e""-i&formatica e a" re"ati%o uti"izzo8 re&!ere "o stu!e&te co&sa e%o"e !e""e im "icazio&i !eo&to"o'ic(e !e""a ro ria atti%it6 rofessio&a"e) &ei co&fro&ti !ei c"ie&ti e ute&ti) e res o&sabi"izzar"o su""e co&se'ue&ze a tutti i "i%e""i !e" ro rio o erato. I& artico"are i" corso re%e!e "a trattazio&e !e""-i&formatica 'iuri!ica co& artico"are atte&zio&e a""e i&&o%azio&i a ortate !a i&ter&et. ?erra&&o trattate "e se'ue&ti tematic(e: "ibera"izzazio&e !e""e &e""-or!i&ame&to ita"ia&o te"ecomu&icazio&i a "i%e""o i&ter&azio&a"e e
La PRI?ACS E LA SIC/RE99A8 &ozio&e e s%i"u o !i ri%ac<: !a""e "i&ee 'ui!a !e""-OCSE !e" 5HD2 a""a !iretti%a euro ea) "a &ormati%a ita"ia&a i&
materia !i !ati erso&a"i) "e !is osizio&i a "icabi"i a""a rete) '"i obb"i'(i er '"i I&ter&et Ser%ice Pro%i!er) "a 'estio&e !e""a sicurezza) "e fi'ure *iuri!ic(e re%iste !a" re'o"ame&to. La tute"a !e""a se'retezza !e""a ita"ia&o e &e'"i a"tri or!i&ame&ti. osta e"ettro&ica &e""-or!i&ame&to
La PROPRIETA- INTELLETT/ALE e IL DIRITTO D-A/TORE8 !a""e ori'i&i !e" !iritto !-autore a""a ro riet6 i&te""ettua"e &e""a societ6 !e""-i&formazio&e8 "a &ormati%a i&ter&azio&a"e) euro ea e! ita"ia&a i& materia. La tute"a 'iuri!ica !e" SOFTBARE: I" !iritto !-autore su" soft:are e "a sua bre%ettabi"it68 "a !urata !e" !iritto) i be&i o''etto !e" !iritto i& artico"are i" soft:are e "e ba&c(e !ati. La !isci "i&a !e""a .ANCAE DATI &e""-or!i&ame&to ita"ia&o) &e""e &ormati%e euro ee e &e""e co&%e&zio&i i&ter&azio&a"i. Le o ere mu"time!ia"i e '"i as etti 'iuri!ici. I DOMAIN NAMES !i i&ter&et e '"i as etti 'iuri!ici8 "e roce!ure !i re'istrazio&e e! i" 'rabbi&'. I" DN e! i" marc(io) a&a"isi !i a"cu&i casi !i rotezio&e 'iuri!ica e! a"cu&e !ecisio&i !ei tribu&a"i ita"ia&i8 Le autorit6 re oste a""a re'istrazio&e e! a" co&tro""o !e'"i accessi8 "a riso"uzio&e !ei co&f"itti. L-uti"izzo !ei LING &ei Beb e! a"cu&i casi 'iuri!ici. La M/SICA DI*ITALE i& rete8 "a a&a"isi !i a"cu&e %ice&!e 'iu!iziarie La M/SICA DI*ITALE i& rete8 "a a&a"isi !i a"cu&e %ice&!e 'iu!iziarie. ro riet6 i&te""ettua"e &e""a musica) ro riet6 i&te""ettua"e &e""a musica)
LA FIRMA DI*ITALE E LA CARTA D-IDENTITA- ELETTRONICA8 i" !ocume&to e"ettro&ico e "a sua %a"i!it6 'iuri!ica &e""-or!i&ame&to ita"ia&o8 "a critto'rafia: storia) e%o"uzio&e) tec&ic(e !i sicurezza su""a rete8 La riser%atezza) "-i&te'rit6) "-aute&ticazio&e e! i" &o& ri u!io8 "e certificatio& autorit< rico&osciute !a""-AIPA e! i certificati e"ettro&ici8 "e &ormati%e ita"ia&e e! Euro ee su""a firma e"ettro&ica8 firma auto'rafa e !i'ita"e a co&fro&to8 Acce&&i su""a Carta !-I!e&tit6 e"ettro&ica. L-I&formatica &e""a Pubb"ica Ammi&istrazio&e: "a Rete u&itaria !e""a PA) a"cu&i ro'etti i&tersettoria"i. I" COMMERCIO ELETTRONICO8 "e !iretti%e !e""-/&io&e Euro ea i& materia8 i CONTRATTI me!ia&te I&ter&et) "e &ormati%e ita"ia&e %i'e&ti i& materia) i co&tratti a !ista&za) i co&tratti Te"ematici8 "a tute"a !ei co&sumatori i& I&ter&et8 i PA*AMENTI ELETTRONICI: %a"i!it6 !e" a'ame&to) mo!i e strume&ti !i a'ame&to) "a mo&eta e"ettro&ica) "e &ormati%e a "i%e""o Euro eo e Nazio&a"e8 i" re'ime fisca"e8 i PRO?IDER e! i" &ostro or!i&ame&to8 La P/..LICITA- i& RETE: !efi&izio&i e !isci "i&a "e'a"e) i ba&&er) "o s ammi&' i& /sa i& /E e &e""-or!i&ame&to ita"ia&o. La CRIMINALITA- INFORMATICA e I" DIRITTO PENALE !i INTERNET8 "a tute"a !ei be&i i&formatici) i ?irus) "a %io"azio&e !e" !omici"io i&formatico) '"i (ac=ers) "a &ormati%a e&a"e !i riferime&to a "i%e""o euro eo e! i& Ita"ia. LA F/ALITA-. Storia e! e%o"uzio&e !e""a $ua"it6) !a""e &orme ISO H222:5HH3 a""e ?isio& 12228 "a "oro a "icabi"it6 a""e i; !i%erse situazio&i e!
or'a&izzazio&i) "a termi&o"o'ia) i" Sistema !i *estio&e !e""a Fua"it6) "-orie&tame&to a""-a!e'uatezza !e" sistema 'estio&a"e) i ri&ci i !e""a $ua"it6) i re$uisiti !e""e &orme) "-a roccio ai rocessi) i" ma&ua"e) "e %erific(e is etti%e) "a 'estio&e !e""e &o& co&formit6) !e""e azio&i re%e&ti%e e corretti%e) "a so!!isfazio&e !e" c"ie&te) risorse uma&e e $ua"it6: i" "a%oro !i 'ru o e i" mi'"iorame&to co&ti&uo.
CREDITI: C
FINALIT
DEL
CORSO
L+obietti%o !e" corso # i&tro!urre "o stu!e&te a $ue""i c(e so&o i co&cetti fo&!ame&ta"i !e" Ca"co"o !e""e robabi"it6 e !e""a Statistica) $ua"e strume&tazio&e !i base er "o stu!io !ei fe&ome&i a"eatori. Ta"i &ozio&i %erra&&o rese&tate sotto"i&ea&!o "+ambito !e""e a "icazio&i.
TEMATICAE $% Introduzione al calcolo delle probabilit. Ric(iami !i ca"co"o combi&atorio8 fe&ome&i a"eatori8 s azi !i robabi"it68 '"i assiomi !e""a robabi"it68 robabi"it6 co&!izio&ata e "e''e !e""e robabi"it6 com oste8 i&!i e&!e&za stocastica fra e%e&ti8 teorema !i .a<es. &% /ariabili casuali unidimensionali Defi&izio&e !i %ariabi"e casua"e 0%.c.48 "a fu&zio&e !i ri artizio&e8 %.c. !iscrete e %.c. asso"utame&te co&ti&ue8 fu&zio&i !i !e&sit6 e "oro ro riet68 me!ia) me!ia&a) mo!a) %aria&za e mome&ti !i or!i&e successi%o8 !isu'ua'"ia&ze &ote%o"i8 fu&zio&e 'e&eratrice !ei mome&ti e sue ro riet68 "e ri&ci a"i !istribuzio&i !i robabi"it6 !iscrete e asso"utame&te co&ti&ue. '% /ariabili casuali multidimensionali ?.c. bi%ariate !iscrete e asso"utame&te co&ti&ue8 fu&zio&e !i ri artizio&e co&'iu&ta8 !istribuzio&i !i robabi"it6 mar'i&a"i8 i&!i e&!e&za tra !ue %.c.8 co%aria&za e coefficie&te !i corre"azio&e8 !istribuzio&i !i robabi"it6 co&!izio&ate8 somme !i %.c.. (% Convergenza e teoremi limite Successio&i !i %.c.8 co&%er'e&za i& robabi"it68 "e''e !ebo"e !ei 'ra&!i &umeri8 co&%er'e&za i& !istribuzio&e8 teorema ce&tra"e !e" "imite.
0% Introduzione all1in"erenza statistica I" rob"ema !e""+i&fere&za statistica8 mo!e""i statistici arametrici8 statistic(e cam io&arie8 me!ia cam io&aria8 %aria&za cam io&aria. 2% Stima puntuale e intervallare I&tro!uzio&e a""a stima u&tua"e e i&ter%a""are8 stime e stimatori8 ro riet6 !e'"i stimatori8 meto!o !e""a massima %erosimi'"ia&za8 i" meto!o !ei mome&ti8 i&ter%a""i !i co&fi!e&za e coefficie&te !i co&fi!e&za8 i&ter%a""o !i co&fi!e&za er "a me!ia e er "a %aria&za !i u&a o o"azio&e &orma"e8 i" caso !i u&a o o"azio&e ber&ou""ia&a8 i&ter%a""i !i co&fi!e&za a rossimati. 3% /eri"ica di ipotesi I&tro!uzio&e a""a teoria !ei test statistici8 test !i i otesi su""a me!ia e su""a %aria&za !i u&a o o"azio&e &orma"e8 test er u&a erce&tua"e8 %erifica !i i otesi su""a me!ia er 'ra&!i cam io&i.
MODALIT D-ESAME L-esame co&siste i& u&a ro%a scritta se'uita) er i sufficie&ti) !a u&a ora"e. E&trambe "e ro%e !o%ra&&o essere su erate &e""o stesso a e""o. ro%a
TESTI A
CONSI*LIATI
*. Cicc(ite""i +robabilit. e Statistica, Ma''io"i 1a e!.) 5HH1. P. .a"!i Calcolo delle +robabilit. e Statistica, Mc*ra:,Ai"") 5HH1.
CALCOLO SCIENTIFICO
CREDITI: C
O.IETTI?I
FORMATI?I
Portare "o stu!e&te a! a%ere fami"iarita+ co& a"cu&e !e""e tematic(e !i base !e""+ a&a"isi &umerica attra%erso "a co&osce&za) "a s erime&tazio&e e "+a&a"isi critica !ei ri&ci a"i meto!i &umerici8 accrescere "e sue ca acita+ !i ro'rammazio&e. A" termi&e !e" corso "o stu!e&te sa ra- rico&oscere) a&a"izzare e riso"%ere &umericame&te a"cu&i rob"emi !e""a matematica8
i&!i%i!uare e usare i& mo!o a ro riato "e risorse i&formatic(e 0a"'oritmi) tem o macc(i&a) memoria4 &ecessarie er "a "oro riso"uzio&e8 co&oscere i %i&co"i !i recisio&e e !i tem o im osti !a""e risorse !is o&ibi"i8 s%i"u are soft:are &umerico) sa er stimare "+atte&!ibi"ita+ !ei risu"tati otte&uti e! i&ter retar"i.
CONTEN/TI
DEL CORSO
*"i ar'ome&ti
Numeri e aritmetica !i macc(i&a) a&a"isi !e'"i errori8 eu$azio&i &o& "i&eari8 riso"uzio&e !i sistemi "i&eari co& meto!i !iretti8 a rossimazio&e !i !ati e fu&zio&i 0i&ter o"azio&e e mi&imi $ua!rati4) fu&zio&i s "i&es8 so"uzio&e !i sistemi so%ra!etermi&ati) meto!o FR) meto!o S?D8 i&te'razio&e e !iffere&ziazio&e &umerica8 ce&&i e$uazio&i !iffere&zia"i e soft:are scie&tifico. Le esercitazio&i sara&&o i&te'rate co& es erie&ze i& "aboratorio.
MODALIT ora"e.
D-ESAME:
ro%a scritta e
LI.RI
DI TESTO
T5U
T1U D. .INI) M. CAPO?ANI) O. MENCAI8 Metodi numerici per l1algebra lineare) 9a&ic(e""i) 5HDD. T7U R. .E?ILACF/A) D. .INI) M. CAPO?ANI) O. MENCAI Metodi ,umerici) 9a&ic(e""i) 5HH1. KD7,KHH. T3U TIU *. MONE*ATO) !ondamenti di calcolo numerico) CL/T 05HHD4. *. B. Ste:art8 After&otes o& Numerica" A&a"<sis) SIAM 5HHC
CREDITI: C
FINALIT DEL CORSO I" corso (a u& carattere cu"tura"e) !i com "etame&to !e""o stu!io i&iziato &e" corso !i Fisica) e! i&o"tre # ro e!eutico a" corso !i Laurea !i S ecia"izzazio&e i& Fisica Com utazio&a"e. I" corso co&tie&e materia"e su""e o&!e c(e # i&tro!uce "o stu!io !i co&cetti !i base !e""a Mecca&ica Fua&tistica.
AR*OMENTI DEL CORSO A rofo&!ime&to !ei co&cetti fo&!ame&ta"i !e""+e"ettro!i&amica c"assica. Le e$uazio&i !i Ma@:e"". Le o&!e i& sistemi co&ti&ui mecca&ici. Le o&!e e"ettroma'&etic(e. Ottica o&!u"atoria. Teoria !e""a re"ati%it6 s ecia"e. I&terazio&e "uce,materia) irra''iame&to !a arte !i caric(e acce"erate) sor'e&ti !i ra!iazio&e.
CREDITI: 7
FINALIT
DEL CORSO
Lo sco o !e" corso # $ue""o !i ac$uisire '"i e"eme&ti !i base !e""a "o'ica matematica) co& artico"are atte&zio&e ai meto!i a"'oritmici.
PRO*RAMMA
Ca"co"o re osizio&a"e: si&tassi e sema&tica) so!!isfacibi"it6 e co&se'ue&za "o'ica) trasformazio&e i& forma &orma"e co&'iu&ti%a o !is'iu&ti%a) tab"eau sema&tici. Ca"co"o !ei re!icati: si&tassi e sema&tica) so!!isfacibi"it6 e co&se'ue&za "o'ica) tab"eau sema&tici. Tra!uzio&e !a" "i&'ua''io &atura"e a" "i&'ua''io forma"e.
.I.LIO*RAFIA M. .e&,Ari) Mat(ematica" Lo'ic for Com uter Scie&ce) 1 &! e!itio&) S ri&'er) 1221.
FONDAMENTI DELL'INFORMATICA 1
CREDITI: C
O.IETTI?I Far rif"ettere '"i stu!e&ti su""e "imitazio&i !ei roce!ime&ti a"'oritmici) "imiti sia i&tri&seci sia !ettati !a""e risorse a !is osizio&e. *"i stu!e&ti i&co&trera&&o i" co&cetto !i fu&zio&e ca"co"abi"e) !i "i&'ua''io forma"e) !i automa) !i c"asse !i com "essit6 e "e "oro reci roc(e re"azio&i. Do o a%er su erato "+esame si ritie&e c(e "o stu!e&te: co&osca "+esiste&za !i rob"emi i&tri&secame&te irriso"ubi"i er %ia a"'oritmica8 abbia u&a c(iara i!ea !e""e re"azio&i &ote tra "e c"assi !i com "essit6 "o'aritmica) o"i&omia"e !etermi&istica e &o& !etermi&istica) es o&e&zia"e8 co&osca "e rime &ozio&i re"ati%e ai "i&'ua''i forma"i e a""e "oro re"azio&i co& '"i automi.
rob"emi
E&umerazio&e !e""e fu&zio&i ca"co"abi"i) fu&zio&e u&i%ersa"e. Tesi !i C(urc(. Esiste&za !i rob"emi &o& !eci!ibi"i. Prob"emi semi!eci!ibi"i. 1. Com "essit6. Macc(i&e !i Turi&' co& risorse "imitate. C"assi !i com "essit6. A"cu&e c"assi: P) NP) EVP) PSPACE. Ri!uzio&i o"i&omia"i e rob"emi com "eti. NP,com "etezza) teorema !i Coo=) esem i !i rob"emi NP com "eti. 7. Li&'ua''i forma"i. *rammatic(e a struttura !i frase. Li&'ua''i re'o"ari) es ressio&i re'o"ari) automi fi&iti. Li&'ua''i "iberi !a" co&testo) a"beri !i !eri%azio&e8 automi a i"a.
N.J. Cut"a&!) Computabilit*: An introduction to recursive "unction theor* ) Cambri!'e /&i%.Press) Cambri!'e 5HD2. J.E. Ao croft e J.D. /""ma&) Introduction to automata, languages and computation) A!!iso&,Bes"e<) Rea!i&' 5HKH.
CREDITI: C
O.IETTI?I DEL CORSO L-obietti%o ri&ci a"e !e" corso # $ue""o !i !iscutere i" ara!i'ma !e""a ro'rammazio&e orie&tata a'"i o''etti come e%o"uzio&e !e""a ro'rammazio&e strutturata e !e""a costruzio&e !i ti i !i !ati astratti) i&tro!otti &e" corso !i Pro'rammazio&e. ?erra&&o i&o"tre rese&tate "e caratteristic(e !i base !i u& "i&'ua''io !i ro'rammazio&e orie&tato a'"i o''etti. I co&cetti sara&&o i&tro!otti so rattutto attra%erso "a !iscussio&e !i esem i. A" termi&e !e" corso "o stu!e&te !o%rebbe a%er ac$uisito ca acit6 !i problem solving er ro'ettare so"uzio&i object-oriented) basate su""a !efi&izio&e !i u& i&sieme !i mo!u"i i&tera'e&ti fra !i "oro. PREREF/ISITI: Corso !i Pro'rammazio&e8 a"cu&i !ei co&te&uti !ei corsi !i Matematica Discreta e A&a"isi Matematica.
*"i ar'ome&ti ri&ci a"i trattati !ura&te i" corso so&o i&!icati $ui !i se'uito. *"i esem i so&o s%i"u ati uti"izza&!o i" "i&'ua''io !i ro'rammazio&e Java.
CONTEN/TI
DEL CORSO:
Concetti e metodologie Nozio&i !i base: mo!u"i i&tera'e&ti) messa''i e meto!i) res o&sabi"it6) c"assi e ista&ze) 'erarc(ie !i c"assi e ere!itariet6) overriding !i meto!i) eccezio&i. Pro'ettazio&e orie&tata a'"i o''etti: i!e&tificazio&e !e""e com o&e&ti e !efi&izio&e !e""e res o&sabi"it68 !efi&izio&e !e" com ortame&to e !e""e i&terazio&i fra mo!u"i8 s ecifica !e""-i&terfaccia8 co&cetto !i stato. .e&efici !e""a ro'rammazio&e orie&tata a'"i o''etti: i&ca su"ame&to !e""e i&formazio&i) ma''iore affi!abi"it6 e ote&zia"it6 !i riuti"izzo !e" co!ice) co&!i%isio&e !i co!ice) o"imorfismo) ra i!it6 !i rototi azio&e. Ere!itariet6: sottoc"assi) ti i e com atibi"it6 er sostituzio&e. S ecia"izzazio&e e a"tre forme !i ere!itariet6. Ere!itariet6 !e" co!ice e! ere!itariet6 !e" com ortame&to. Se"ezio&e !i&amica !ei meto!i. Co&fro&to fra ere!itariet6 e com osizio&e re"ati%e a c"assi8 com osizio&e !i&amica. C"assi &i!ificate. C"o&azio&e. Po"imorfismo e %ariabi"i o"imorfe. 4verloading. 4verriding: sostituzio&e e raffi&ame&to. Meto!i astratti. Mo!e""i !i ro'etto 0design patterns4: composite8 decorator8 "actor* method8 "l*#eight8 observer8 protot*pe8 pro5*8 strateg*. Para!i'ma model-vie#-controlller. 6inguaggio di programmazione Java Caratteristic(e e costrutti ri&ci a"i !e" "i&'ua''io Java. Rea"izzazio&i !i c"assi i& Java: struttura !i u& ro'ramma8 cam i er ra rese&tare "e %ariabi"i !i stato8 costruttori8 attributi !i cam i e meto!i8 ista&ziazio&e !i o''etti8 ere!itariet6 e i&terfaccie. C"assi
i&ter&e e or'a&izzazio&e !e" co!ice. Mo!e""o !e'"i e%e&ti i& Java. *estio&e !e""e eccezio&i. )hread mu"ti "e !i esecuzio&e e si&cro&izzazio&e. 7arbage collection. A"cu&e caratteristic(e a%a&zate !e""-ambie&te !i ro'rammazio&e basato su Java% Pro'etto !i i&terfacce %erso "-ute&te 07 I4 attra%erso "a "ibreria Application 8indo#ing )ool-it 0A8)4 !i Java: com o&e&ti e la*out manager. Input e output i& Java. A"tre c"assi !i uti"it6: Math) 9andom) S*stem) String. *rafica e"eme&tare i& Java. C"assi Collection: /ector e co&fro&to co& '"i arra*8 Dictionnar*. Applet e ro'rammazio&e er "a rete. Discussio&e !i esem i i& Java. Concetti ricorrenti: Li%e""i !i astrazio&e8 astrazio&e sui !ati8 stato8 a roccio object-oriented8 i&ca su"ame&to !e""-i&formazio&e8 riuti"izzo !e" co!ice. /"teriori i&formazio&i su" corso e su""e "ezio&i) i& artico"are '"i esem i !iscussi i& c"asse e i temi !-esame) so&o resi !is o&ibi"i attra%erso "e a'i&e !e" corso a""-i&!irizzo:
(tt :>>:::.!imi.u&iu!.it>c"au!io>teac(i&'> ro'Woo>
MATERIALE
DI ST/DIO CONSI*LIATO:
nderstanding 4bject-4riented +rogramming #ith Java A!!iso&,Bes"e<) 1222 0IS.N: 2,125,C51K7,H4 A u&ti tratti !a""e "ezio&i.
S/L LIN*/A**IO
TESTI
JA?A:
Jo(& Le:is) Bi""iam Loftus Java - !ondamenti di progettazione so"t#are A!!iso&,Bes"e<) 1222 0E!izio&e ita"ia&a 12258 IS.N: DD,K5H1,2H1,H4 TESTI
PER CONS/LTA9IONE
.. Lis=o%) J. *utta' +rogram Development in Java A!!iso&,Bes"e<) 12228 V. Jia 4bject 4riented So"t#are Development A!!iso&,Bes"e<) 12218 .. Ec=e" )hin-ing in Java Pre&tice Aa"") 12228 G.A. Lambert) M. Osbor&e A !rame#or- "or +rogram Design and Data Structures .roo=s>Co"e) 12228 MODALIT D-ESAME L-esame !i Pro'rammazio&e Orie&tata a'"i O''etti re%e!e !ue ro%e !i accertame&to) c(e si s%o"'o&o a" termi&e !ei !ue erio!i !i!attici i& cui # artico"ato i" corso) e u&a ro%a ora"e. A""-ora"e so&o ammessi '"i stu!e&ti c(e (a&&o co&se'uito u&a %a"utazio&e com "essi%a !i a"me&o 5I u&ti su 72 &e""e !ue ro%e !i accertame&to. La !iscussio&e ora"e &o& # obb"i'atoria er %a"utazio&i !e""e ro%e !i accertame&to com rese fra 12 e 1D u&ti. O zio&a"me&te) ai fi&i !e""a !iscussio&e ora"e i" ca&!i!ato uX co&cor!are co& i" !oce&te "a rea"izzazio&e !i u& ro'etto !i ro'rammazio&e c(e a "ic(i co&cetti e meto!o"o'ie i&tro!otti !ura&te i" corso. I& ta" caso) "a !iscussio&e !e" ro'etto costituir6 "a arte re%a"e&te !e""a ro%a ora"e. Ne" caso %e&'a soste&uta) "a ro%a ora"e co&corre a""a %a"utazio&e fi&a"e &ei termi&i !i u&a me!ia esata. La %a"utazio&e !i u&a si&'o"a ro%a !i accertame&to %ie&e es ressa &ei se'ue&ti "i%e""i: ottimo) buo&o) !iscreto) sufficie&te) $uasi sufficie&te) i&sufficie&te. La %a"utazio&e com "essi%a !e""e ro%e !i accertame&to o !ei recu eri c(e %erto&o su""-i&tero ro'ramma %ie&e es ressa co& u& u&te''io !a 5D a 72) se sufficie&te8 !a 5I a 5K) se co&se&te !i soste&ere "a ro%a ora"e8 i&sufficie&te a"trime&ti. I" rimo a e""o scritto !i Pro'rammazio&e Orie&tata a'"i O''etti co&siste &orma"me&te &e""o s%o"'ime&to !e""a seco&!a ro%a !i accertame&to. A artire !a" seco&!o a e""o so&o i&%ece re%iste 0u&icame&te4 ro%e scritte !i recu ero) c(e %erto&o su""-i&tero ro'ramma !e" corso) ri%o"te a co"oro c(e &o& abbia&o otuto arteci are a""e ro%e !i accertame&to o abbia&o co&se'uito u&a %a"utazio&e i&sufficie&te er "-ammissio&e a""-ora"e. I&!i e&!e&teme&te !a""a %a"utazio&e) "e ro%e scritte !i recu ero &o& co&se&to&o "-eso&ero !a""a !iscussio&e ora"e. sing Java
CREDITI: 55
I sistemi o erati%i so&o arte esse&zia"e !i u& sistema !i ca"co"o e erta&to # &ecessario c(e u&o stu!e&te !i i&formatica ossie!a "e basi er "-efficace %a"utazio&e e uti"izzo !a ute&te !a ro'ettista !a ro'rammatore !a ammi&istratore !i u& sistema o erati%o mo!er&o a""o sco o !i for&ire ta"i basi $uesto corso rese&ta i co&cetti fo&!ame&ta"i re"ati%i a""e fu&zio&a"it6 rimarie !ei sistemi o erati%i come "a 'estio&e !ei rocessori !e""a memoria e !ei !is ositi%i !i i&'resso>uscita. I&o"tre i" corso for&isce "e basi !e""a ro'rammazio&e co&corre&te e !ei ri&ci a"i mo!e""i !i ca"co"o ara""e"o e !istribuito.
PRO*RAMMA
5. As etti 'e&era"i. Ruo"o !e" sistema o erati%o 0SO4 i& u& sistema !i ca"co"o8 i&terfacce. Ti i !i SO) struttura !i u& sistema o erati%o. 1. I rocessi. Defi&izio&i) co&cetti base) o erazio&i sui rocessi. Commutazio&e !i co&testo. I rocessi "e''eri 0t(rea!s4: mo!e""o a t(rea!. Lo sc(e!u"i&' !ei rocessori: co&cetti !i base) criteri !i sc(e!u"i&') a"'oritmi !i sc(e!u"i&'. 7. Pro'rammazio&e co&corre&te. Race co&!itio&s) sezio&i critic(e) mutua esc"usio&e) si&cro&izzazio&e tra rocessi e memorie co&!i%ise) rimiti%e !i comu&icazio&e e si&cro&izzazio&e. Sta""o: !efi&izio&e) mo!e""i er "o sta""o) i!e&tificazio&e) re%e&zio&e. 3. *estio&e !e""a memoria. *erarc(ie !i memoria. Strate'ie !i a""ocazio&e) framme&tazio&e. La memoria %irtua"e: a'i&azio&e a ric(iesta) a"'oritmi !i sostituzio&e !e""e a'i&e) i" t(ras(i&') i" mo!e""o Bor=i&' set. I. I& ut>Out ut. ti i !i !is ositi%i !i I>O. I" trattame&to !e""e i&terruzio&i) i !ri%er !i I>O. I>O b"occa&te) &o& b"occa&te) asi&cro&o. I&terfaccia er "e a "icazio&i. I !isc(i. A"'oritmi !i sc(e!u"azio&e !ei !isc(i.
C. I" fi"e s<stem. I" fi"e: attributi) o erazio&i) struttura fisica) meto!i !i accesso. Le !irector< e "a struttura "o'ica !i u& fi"e s<stem. As etti !i sicurezza e rotezio&e. Im "eme&tazio&e !ei fi"e s<stem. O erazio&i su !isc(i) artizio&i e fi"e s<stem. Ce&&i ai Pour&a"e! fi"e s<stem. K. Sistemi co& rocessori mu"ti "i. Processori strettame&te>!ebo"me&te acco iati. Mu"ti rocessori. Mu"ticom uter. Memoria co&!i%isa !istribuita. Sistemi !istribuiti. Ser%izi !i rete) e ser%izi !istribuiti. I" mo!e""o c"ie&t>ser%er) rotoco""i) soc=et. Mo!e""i !istribuiti. Mi!!"e:are !i comu&icazio&e. C(iamate !i roce!ure remote) NFS.
MODALIT D-ESAME
Pro%a scritta) se'uita e%e&tua"me&te !a u&a ro%a ora"e. Per "-ammissio&e a""-ora"e e "a re'istrazio&e # &ecessario a%er s%o"to co& successo i ro'etti obb"i'atori !e" corso !i Laboratorio !i Sistemi O erati%i.
.I.LIO*RAFIA
L A. Ta&e&baum) I mo!er&i sistemi o erati%i 0II e!.4. Jac=so& Libri) 1221. IS.N DD,1IC,5DHD,2. Y i" "ibro !i testo ri&ci a"e. L Abra(am Si"bersc(atz) Peter .aer *a"%i&) *re' *a'&e) Sistemi O erati%i 0C e!.4. A!!iso&,Bes"e<) 1221. Ottima a"ter&ati%a a" rece!e&te. L *ra(am *"ass) Gi&' Ab"es) /NIV for Pro'rammers a&! /sers) seco&!a e!izio&e. Pre&tice,Aa"") 5HHH. er co&su"tazio&e er "a ro'rammazio&e co&corre&te e !i sistema. L Tras are&ze usate i& au"a.
PROPEDE/TICIT
ASD) Pro'rammazio&e
CREDITI: 3
5. I&tro!uzio&e a""a s(e"" /NIV. Ruo"o e %aria&ti. Proce!ura !i "o'i&. Or'a&izzazio&e !e" fi"e s<stem) coma&!i base !e""a s(e"" er "a 'estio&e !i fi"es 0c!) "s) rm) tai") :c4. Ma&ua"e o&"i&e. La s(e"" bas(: es a&sio&e !e" at(&ame) ri!irezio&e !e" I>O) i e) Pobs i& bac='rou&!) i" coma&!o (istor<) e!iti&' !e""a "i&ea !i coma&!o) com "etame&to !i coma&!i. *"i e!itors %i e 0V4emacs.
, Mo&itora''io !e""a memoria: !f) !u) free) to . , Coma&!i fi"tro: ricerca 0're ) fi&!4) or!i&ame&to 0sort4) e!iti&' 0se!) cut) aste4. , L+uti"it< a:=.
assa''io !ei
3. Pro'rammazio&e !i sistema. , Co&tro""o !i etc. rocessi: "e s<stem ca"" for=04) e@ec04) :ait04) e@it04) 'et i!04)
, Fi"e s<stem. A ertura) "ettura) scrittura !i fi"es: "e s<stem ca"" o e&04) creat04) access04) rea!04) :rite04) "see=04. I>O bufferizzato e &o& bufferizzato. Tem i !i esecuzio&e !i rocessi. I&o!e e 'erarc(ia !i !irector<. Accesso a'"i attributi !ei fi"e tramite "a s<stem ca"" stat04. Mo!ifica !i attributi: c(mo!04) umas=04) tru&cate04) etc. Creazio&e) rimozio&e !i !irector<: m=!ir04) rm!ir04. Creazio&e) rimozio&e !i "i&=04: "i&=04) u&"i&=04. A ertura e "ettura !i !irector<: o e&!ir04) rea!!ir04.
, Comu&icazio&e tra rocessi 0IPC4. Pi e) Name! i e. S(are! memor<: "e s<stem ca"" s(m'et04) s(mat04) s(m!t04. Ce&&i ai Semafori. , T(rea!s e Mu"tit(re!i&'.
I. Ammi&istrazio&e !i sistema. , I&sta""azio&e !i Li&u@: artizio&ame&to !e" !isco) creazio&e !ei fi"e s<stem) co&fi'urazio&i) i&sta""azio&e !i a "icazio&i 0r m) t'z) ma=e4) V) !emo&i) mo!u"i =er&e". , *estio&e !e'"i accou&t ute&te: creazio&e e mo!ifica !i accou&t. *estio&e !e""e ass:or!. Sicurezza. , I&sta""azio&e !i ser%izi !i rete: ser%er o !) ft !) ru!ime&ti !i (tt !.
C. I" "i&'ua''io C. I&tro!uzio&e. Ti i) o eratori e! es ressio&i. Strutture !i co&tro""o. Fu&zio&i e struttura !i ro'rammi. Pu&tatori e %ettori. Strutture. I& ut e! out ut.
.I.LIO*RAFIA: 54 ..B. Ger&i'(a&) D.M. Ritc(ie) 6inguaggio C) Jac=so&) 1a e!izio&e) 5HDH. 14 *. *"ass) G. Ab"es) Z/NIV for Pro'rammers a&! /sersZ) Pre&tice Aa"") 1a e!izio&e) 5HHH. A"tri riferime&ti: 74 P. Cor&es) )he 6inu5 A-:) Pre&tice Aa"") 5HHK. 34 G. Aa%i"a&!) D. *ra<) .. Sa"ama) Bes"e<) 1a e!izio&e) 5HHH. ,I; S*stem +rogramming ) A!!iso&
III ANNO
CREDITI: C
PRO*RAMMA +arte $ - Concetti di base Ruo"o e fu&zio&a"it6 !i u&a base !i !ati8 astrazio&i sui !ati8 mo!e""i co&cettua"i) "o'ici e fisici !ei !ati8 ista&ze e sc(emi8 i&!i e&!e&za "o'ica e fisica !ei !ati8 "i&'ua''i er "a !efi&izio&e e "a ma&i o"azio&e !ei !ati8 sistemi er "a 'estio&e !e""e basi !i !ati 0D.MS48 ammi&istratore e ute&ti !i u&a base !i !ati8 i" !izio&ario !ei !ati8 "a struttura 'e&era"e !i u&a base !i !ati. +arte & - Il modello <ntit.=9elazioni ><9? Meto!o"o'ie e mo!e""i er i" ro'etto: i" cic"o !i %ita !ei sistemi i&formati%i e "e meto!o"o'ie !i ro'ettazio&e !i basi !i !ati8 i costrutti !i base !e" mo!e""o co&cettua"e E&tit6>Re"azio&i 0ER4: ti i e ista&ze !i e&tit6 e re"azio&i) attributi 0sem "ici) com osti) a si&'o"o %a"ore) mu"ti%a"ore) !eri%ati4 e c(ia%i 0i!e&tificatori i&ter&i e! ester&i) "e &ozio&i !i e&tit6 !ebo"e) e&tit6 ro rietaria) c(ia%e arzia"e e re"azio&e i!e&tifica&te4) !omi&io !i u& attributo e uti"izzo !i N/LL) %i&co"i associati a""e re"azio&i 0 arteci azio&e e ra orto !i car!i&a"it64) re"azio&i ricorsi%e e ruo"i) re"azio&i !i 'ra!o su eriore a" seco&!o) i !ia'rammi ER8 !ocume&tazio&e !i sc(emi ER: tec&ic(e !i !ocume&tazio&e) re'o"e azie&!a"i 0%i&co"i !i i&te'rit6 e re'o"e !i !eri%azio&e48 costrutti a%a&zati !e" mo!e""o ER: s ecia"izzazio&i e cate'orie. +arte ' - Il modello relazionale e l1algebra relazionale I" mo!e""o re"azio&a"e: &ozio&i !i base) !efi&izio&e !e""e re"azio&i) !efi&izio&e !ei %i&co"i su""e re"azio&i 0c(e coi&%o"'o&o u&+u&ica re"azio&e o i; re"azio&i4) o erazio&i !i a''ior&ame&to !e""e re"azio&i8 "+a"'ebra re"azio&a"e: "e o erazio&i !i base) i&terro'azio&i i& a"'ebra re"azio&a"e) o erazio&i a!!izio&a"i) ottimizzazio&e a"'ebrica) i "imiti !e""+a"'ebra re"azio&a"e8 i" ca"co"o
re"azio&a"e: &ozio&i !i base) ca"co"o re"azio&a"e !ei !omi&i e !e""e tu "e) i" "e'ame co& "+a"'ebra re"azio&a"e. +arte ( - Il linguaggio S@6 La !efi&izio&e !ei !ati i& SFL8 i&terro'azio&i i& SFL8 istruzio&i !i a''ior&ame&to i& SFL8 a"tre !efi&izio&i !ei !ati i& SFL 0%i&co"i !i i&te'rit6 'e&erici) %iste) s ecifica !i %i&co"i !i a!!izio&a"i sotto forma !i asserzio&i48 SFL e sicurezza 0co&tro""o !iscrezio&a"e !e'"i accessi basato sui ri%i"e'i48 i" D.MS m<SFL. +arte 0 - 6a progettazione delle basi di dati% La ro'ettazio&e co&cettua"e !ei !ati: racco"ta e a&a"isi !ei re$uisiti) criteri 'e&era"i !i ra rese&tazio&e) strate'ie !i ro'etto) $ua"it6 !i u&o sc(ema co&cettua"e) strume&ti CASE er "a ro'ettazio&e !ei !ati8 "a ro'ettazio&e "o'ica !ei !ati: a&a"isi !e""e restazio&i su sc(emi ER) ristrutturazio&e !i sc(emi ER 0a&a"isi !e""e ri!o&!a&ze) e"imi&azio&e !e""e 'erarc(ie) artizio&ame&to >accor ame&to !i e&tit6 e>o re"azio&i) sce"ta !e'"i i!e&tificatori ri&ci a"i4) tra!uzio&e !e" mo!e""o ER &e" mo!e""o re"azio&a"e8 "a teoria !e""a ro'ettazio&e !e""e basi !i !ati re"azio&a"i: !i e&!e&ze fu&zio&a"i) ra'io&ame&to su""e !i e&!e&ze fu&zio&a"i) scom osizio&e !i re"azio&i) scom osizio&i "oss"ess,Poi&) scom osizio&i c(e co&ser%a&o "e !i e&!e&ze) forme &orma"i er '"i sc(emi !i re"azio&e 05NF) 1NF) 7NF e .CNF4) scom osizio&i "oss"ess,Poi& i& .CNF) scom osizio&i i& 7NF c(e co&ser%a&o
"e !i e&!e&ze.
.I.LIO*ARFIA Testi a!ottati R. E"mastri) S. Na%at(e) Sistemi !i .asi !i Dati) Pearso& E!ucatio& Ita"ia) 1223. P. Atze&i) S. Ceri) S. Parabosc(i) R. Tor"o&e) .asi !i Dati: Mo!e""i e Li&'ua''i !i I&terro'azio&e) Mc*ra:,Ai"") 1221.
ALTRI
TESTI DI RIFERIMENTO:
J. D. /""ma&. +rinciples o" Databases and Ano#ledge-Base S*stems >/olume I?, Com uter Scie&ce Press) 5HDD. S.Abitebou") R.Au"") ?. ?ia&u. !oundations o" Databases, A!!iso&,Bes"e<) 5HHI. A. A"ba&o) *. *(e""i) R. Orsi&i. Basi di dati relazionali e a oggetti ) 9a&ic(e""i) 5HHK.
C. J. Date. An Introduction to Databases S*stems >3 th <dition4) A!!iso&, Bes"e<) 1222. A. Si"bersc(atz) A. F. Gort() S. Su!ars(a&. Database S*stem Concepts >(th <dition?) Mc*ra:,Ai"") 1225. L. Be""i&') L. T(omso&. M<SFL Tutoria") Pearso& E!ucatio& I&c.) 1223.
CREDITI: C
PRO*RAMMA Parte 5 , La ro'ettazio&e !e""e basi !i !ati 0com "eme&ti4 La ro'ettazio&e !e""e basi !i !ati e i" mo!e""o Dataf"o:: rocessi) f"ussi !ei !ati) !e ositi !ei !ati e i&terfacce) !ia'rammi co&testo e !ia'rammi !i f"usso !ei !ati) ro'etto fu&zio&a"e basato su" mo!e""o Dataf"o:8 ro'etto !i sistemi i&formati%i: u& a roccio i&te'rato a""a ro'ettazio&e !ei !ati e !e""e fu&zio&i8 "a ro'ettazio&e !e""e basi !i !ati e i" forma"ismo /ML. +arte & - Il linguaggio S@6 >complementi? SFL e "i&'ua''i !i ro'rammazio&e: SFL embe!!e! statico 0i&terro'azio&i sem "ici e com "esse) "+uti"izzo !ei cursori4 e !i&amico 0esecuzio&e imme!iata e! esecuzio&e i& !ue fasi48 "e roce!ure memorizzate8 i tri''er8 "e Ca"" Le%e" I&terface 0CLI48 OD.C e JD.C. +arte ' - 61organizzazione "isica dei dati% Memorizzazio&e !ei recor! e! or'a&izzazio&e !ei fi"e rimari: i&tro!uzio&e) strume&ti e tec&ic(e er "a 'estio&e !e""a memoria seco&!aria) "a tec&o"o'ia RAID bufferi&' !ei b"occ(i) memorizzazio&e !i fi"e !i recor! su !isco) o erazio&i sui fi"e) fi"e !i recor! &o& or!i&ati 0(ea fi"e4) fi"e !i recor! or!i&ati 0sorte! fi"e4) tec&ic(e !i (as(i&') a"tre ossibi"i or'a&izzazio&i !ei fi"e rimari8 strutture !i i&!icizzazio&e !ei fi"e: ti i !i i&!ici or!i&ati !i "i%e""o si&'o"o 0 rimari) !i c"usteri&') seco&!ari4) i&!ici mu"ti"i%e""o) i&!ici mu"ti"i%e""o !i&amici c(e uti"izza&o .,a"beri e .Q,a"beri) a"tri ti i !i i&!ici.
+arte ( - )ecnologia delle basi di dati centralizzate% La &ozio&e !i tra&sazio&e: i&tro!uzio&e) ro riet6 !esi!erabi"i !e""e tra&sazio&i) sc(e!u"i&' e recu ero !e""e tra&sazio&i) tec&ic(e !i seria"izzazio&e8 tec&ic(e !i co&tro""o !e""a co&corre&za: rob"ematic(e) arc(itettura) a&oma"ie !e""e tra&sazio&i co&corre&ti) tec&ic(e basate su %iste) co&f"itti) "oc=i&' a !ue fasi 01PL e 1PL stretto4 e timestam ) tec&ic(e mu"ti%ersio&e) 'ra&u"arit6 !ei !ata item8 'estore !e" buffer: arc(itettura !e" buffer ma&a'er) rimiti%e er "a 'estio&e !e" buffer) o"itic(e !i 'estio&e !e" buffer) re"azio&e tra i" 'estore !e" buffer e i" fi"e s<stem8 tec&ic(e !i co&tro""o !e""-affi!abi"it6: co&cetti !i base) arc(itettura !e" co&tro""ore !e""-affi!abi"it6) memoria stabi"e) or'a&izzazzio&e !e" "o') 'estio&e !e""e tra&sazio&i) 'estio&e !ei 'uasti8 e"aborazio&e e ottimizzazio&e !e""e i&terro'azio&i: i cata"o'(i !i sistema8 ottimizzazio&e !e""e i&terro'azio&i 0ra rese&tazio&e i&ter&a !e""e i&terro'azio&i) rofi"i !e""e re"azio&i) ottimizzazio&e basata sui costi48 ro'ettazio&e fisica !i u&a base !i !ati8 "a sicurezza &e""a basi !i !ati: i&tro!uzio&e) co&tro""o obb"i'atorio !e'"i accessi er su ortare "i%e""i mu"ti "i !i sicurezza) "a sicurezza &e""e basi !i !ati statistic(e 0ce&&i4. +arte 0 -% Basi di dati distribuite I&tro!uzio&e ai D.MS !istribuiti) e"eme&ti !i base !e""+arc(itettura c"ie&t, ser%er) framme&tazio&e !ei !ati) a""ocazio&e !ei !ati) "i%e""i !i tras are&za) ti i !i sistemi !i basi !i !ati !istribuite) e"aborazio&e !e""e i&terro'azio&i i& basi !i !ati !istribuite) co&tro""o !e""a co&corre&za e !e""-affi!abi"it6 &e""e basi !i !ati !istribuite. +arte 2 - Basi di dati e 8orld 8ide 8eb Nozio&i !i base 0I&ter&et) Bor"! Bi!e Beb) ATML) rotoco""o ATTP48 'ate:a< e form8 tec&ic(e e strume&ti er "+accesso a basi !i !ati attra%erso i" Beb8 accesso a basi !i !ati tramite ro'rammi C*I8 strume&ti !i s%i"u o8 "imiti !e" rotoco""o C*I8 so"uzio&i basate su" ser%er8 so"uzio&i basate su" c"ie&t8 sistemi i&formati%i su" :eb8 ro'ettazio&e co&cettua"e !i a "icazio&i :eb. +arte 3 - Argomenti conclusivi >cenni? .asi !i !ati er i" su orto a""e !ecisio&i 0!ata :are(ouse48 !ati semistrutturati i& VML8 basi !i !ati a o''etti8 basi !i !ati atti%e8 basi !i !ati tem ora"i e s azia"i.
.I.LIO*RAFIA: Testo a!ottato P. Atze&i) S. Ceri) P. Frater&a"i) S. Parabosc(i) R. Tor"o&e) .asi !i Dati: Arc(itetture e Li&ee !i E%o"uzio&e) Mc*ra:,Ai"") 1227.
ALTRI
TESTI DI RIFERIMENTO:
J. D. /""ma&. +rinciples o" Databases and Ano#ledge-Base S*stems, Com uter Scie&ce Press) 5HDD. ?o"ume I. .. Si"bersc(atz) A. F. Gort() S. Su!ars(a&. Database S*stem Concepts >(th <dition?) Mc*ra:,Ai"") 1225. A. A"ba&o. Costruire sistemi er basi !i !ati) A!!iso&,Bes"e<) 1225.
R. E"mastri) S. Na%at(e) Fu&!ame&ta"s of Database S<stems 03 t( E!itio&4) A!!iso&,Bes"e<) 1223. A. A"ba&o) *. *(e""i) R. Orsi&i. Basi di dati relazionali e a oggetti ) 9a&ic(e""i) 5HHK. P. Atze&i) S. Ceri) S. Parabosc(i) TESTI
ADOTTATI:
P. Atze&i) S. Ceri) S. Parabosc(i) R. Tor"o&e. .asi !i !ati 0Seco&! E!izio&e4) Mc*ra:,Ai"") 5HHH. R. E"masri) S. Na%at(e. !undamentals o" Database S*stems >)hird <dition? ) .e&Pami&>Cummi&'s) 1222.
FONDAMENTI DELL'INFORMATICA 2
CREDITI: C
FINALIT
DEL CORSO
A rofo&!ire "e com ete&ze !e'"i ar'ome&ti 'i6 trattati &e" corso !i Fo&!ame&ti !e""+I&formatica I. Do o a%er su erato "+esame si ritie&e c(e "o stu!e&te sia i& 'ra!o !i !iscutere "a !eci!ibi"it6 o me&o 0"a o"i&omia"it6 o me&o4 !i rob"emi) a&c(e uti"izza&!o tec&ic(e raffi&ate !i ri!uzio&e) e co&osca '"i as etti ri"e%a&ti !e""a teoria !ei "i&'ua''i forma"i.
PRO*RAMMA I" corso si !i%i!e i& tre arti: "i&'ua''i forma"i) ca"co"abi"it6 e com "essit6.
6inguaggi "ormali% Ric(iami sui "i&'ua''i re'o"ari. Automi a stati fi&iti !etermi&istici e &o&,!etermi&istici) e "oro e$ui%a"e&za. Es ressio&i re'o"ari. Pum i&' Lemma er i "i&'ua''i re'o"ari e sue a "icazio&i. Pro riet6 !i c(iusura e !i !eci!ibi"it6 !ei "i&'ua''i re'o"ari. I" teorema !i M<(i"",Nero!e8 u&icit6 e !etermi&azio&e !e""+automa mi&imo. Li&'ua''i "iberi !a" co&testo. *rammatic(e "ibere !a" co&testo e a"beri !i !eri%azio&e. *rammatic(e ambi'ue. Le forme &orma"i !i C(oms=< e !i *reibac(. I" um i&' "emma er i "i&'ua''i "iberi e "e sue a "icazio&i. Pro riet6 !i c(iusura e !i !eci!ibi"it6 !ei "i&'ua''i "iberi. *rammatic(e "i&eari !estre e si&istre) 'rammatic(e !i ti o 2 e 5 e 'erarc(ia !i C(oms=<.
Calcolabilit.% Ric(iamo !ei forma"ismi !e""e fu&zio&i rimiti%e ricorsi%e) ricorsi%e arzia"i e Macc(i&e !i Turi&'. E$ui%a"e&za tra "e fu&zio&i ricorsi%e arzia"i e "e fu&zio&i Turi&',ca"co"abi"i. Ca"co"abi"it6 e Li&'ua''i !i Pro'rammazio&e. I" "i&'ua''io B(i"e: Si&tassi) sema&tica e fu&zio&i B(i"e, ca"co"abi"i. Turi&' com "etezza !e" "i&'ua''io B(i"e. I" "i&'ua''io For. E$ui%a"e&za tra fu&zio&i For,ca"co"abi"i e fu&zio&i rimiti%e ricorsi%e. I&!eci!ibi"it6 !e""+(a"ti&' rob"em se&za aritmetizzazio&e. I" teorema S-m-n er "a B(i"e ca"co"abi"it6 e '"i S ecia"izzatori. I" Teorema !i ricorsio&e !i G"ee&e) i" Teorema !i Rice e "e ro riet6 !i ro'rammi e i" Teorema !i Rice, S(a iro. A "icazio&i a""a ro'rammazio&e. Ri!ucibi"it6 fu&zio&a"e. Stu!io !e""a re"azio&e. I&siemi ricorsi%i e com "eti. I&siemi creati%i e ro!utti%i. Seco&!o Teorema !i Ricorsio&e e Teorema !i M<(i"". I&siemi sem "ici: esiste&za !i u& i&sieme sem "ice.
Complessit.% Prob"emi e "i&'ua''i. Prob"emi !ecisio&a"i e fu&zio&a"i. C"assi !i Com "essit6 i& tem o !etermi&istic(e: Riassu&to !ei ri&ci a"i risu"tati. C"assi &o& !etermi&istic(e e c"assi i& s azio. Pri&ci a"i risu"tati. Ri!uzio&i) com "etezza) e! esem i. Teoremi !i Coo=. NP,com "etezza !i a"cu&i rob"emi fo&!ame&ta"i me!ia&te ri!uzio&e.
.I.LIO*RAFIA - A. Do%ier e R. *iacobazzi: Fo&!ame&ti !e""+I&formatica: Li&'ua''i Forma"i) Ca"co"abi"it6 e Com "essit6. Dis o&ibi"e o&,"i&e. , N. J. Cut"a&!) Com utabi"it<: A& i&tro!uctio& to recursi%e fu&ctio& t(eor<) Cambri!'e /&i%. Press) Cambri!'e 5HD2. , J. E. Ao croft e J. D. /""ma&) I&tro!uctio& to automata) "a&'ua'es a&! com utatio&) A!!iso&,Bes"e<) Rea!i&' 5HKH. , C. A. Pa a!imitriou. Com utatio&a" Com "e@it<. A!!iso& Bes"e<) 5HHI.
CREDITI: C
FINALIT
DEL CORSO
Obietti%o !e" corso # "+i&tro!uzio&e ai co&cetti !i base !e""+I&'e'&eria !e" Soft:are) settore !e""+i&formatica !e!icato a""o stu!io !e""e meto!o"o'ie) !e""e tec&ic(e e !e'"i strume&ti uti"izzati &e""a ro!uzio&e i&!ustria"e !e" soft:are. I& artico"are i" corso !escri%e %ari mo!e""i !e" rocesso !i s%i"u o !e" soft:are rese&ta&!o i rob"emi re"ati%i a""e %arie fasi !e" cic"o !i %ita) co& artico"are riferime&to a""+a&a"isi !ei re$uisiti e a""a s ecifica) a" ro'etto) a" testi&') a""e stime !ei costi e! a" co&tro""o !i $ua"it6. ?e&'o&o a&c(e !escritti i ri&ci a"i sta&!ar! er i" soft:are.
CONTEN/TI 5. Co&cetti e Defi&izio&i !i .ase !e""+I&'e'&eria !e" Soft:are I&tro!uzio&e. Ori'i&i e moti%azio&i !e""+I&'e'&eria !e" Soft:are. Defi&izio&i !i base: ro!otti
soft:are) caratteristic(e 'e&era"i !ei ro!otti soft:are. Processi er "o s%i"u o !e" soft:are) mo!e""o !ei rocessi: rocessi rimari) !i su orto e !i 'estio&e8 cic"o !i %ita) meto!o"o'ia !i s%i"u o. Mo!e""i 'e&era"i !ei rocessi: mo!e""o a cascata8 s%i"u o i&creme&ta"e8 mo!e""o a s ira"e !i .oe(m) 'estio&e !e" risc(io8 !iscussio&e e! esem i. ?isibi"it6 !e" rocesso !i s%i"u o. I&'e'&eria !ei sistemi. Defi&izio&i e rob"emi. Ambie&te !i u& sistema. Mo!e""o co&tractor>sub,co&tractor er "+ac$uisizio&e !e" sistema. Fasi !e" rocesso !i i&'e'&erizzazio&e !ei sistemi: !efi&izio&e !ei re$uisiti) ro'etto) s%i"u o !ei sotto,sistemi) i&te'razio&e) i&sta""azio&e) fu&zio&ame&to) e%o"uzio&e e !ismissio&e. Obietti%i !e" sistema. Arc(itettura !i u& sistema) com o&e&ti fu&zio&a"i. Fattori uma&i) rob"ematic(e re"ati%e a""+i&terfaccia affi!abi"it6) resi"ie&za. 1. *estio&e !i u& Pro'etto Soft:are. *estio&e !i u& ro'etto soft:are. Atti%it6 !i 'estio&e. Perso&a"e. Pia&ificazio&e !e" ro'etto: ia&o !i ro'etto) struttura e co&te&uti. Co&cetti !i mi"esto&e e !eri%ab"e. Sc(e!u"azio&e !e" ro'etto8 ra rese&tazio&i 'rafic(e: !ia'ramma !e""e atti%it6) !ei tem i) !e" erso&a"e. Cammi&o critico. 7. Re$uisiti !i u& sistema Soft:are. I&'e'&erizzazio&e !ei re$uisiti. Defi&izio&e !e" co&cetto !i re$uisito. Atti%it6 !i !efi&izio&e) a&a"isi e s ecificazio&e !ei re$uisiti. Processo !i i&'e'&erizzazio&e !ei re$uisiti. Docume&tazio&e !ei re$uisiti. ?a"i!azio&e !ei re$uisiti: re%ie: sui re$uisiti) arametri !i %a"i!azio&e. E%o"uzio&e !ei re$uisiti: re$uisiti !uraturi) %o"ati"i) mutabi"i emer'e&ti) co&se$ue&zia"i) !i com atibi"it6. A&a"isi !ei re$uisiti: !efi&izio&e e rocesso !+esecuzio&e. A&a"isi basata sui %ie: oi&t. A&a"isi basata su meto!i. Meto!o ?ORD orie&tato ai %ie: oi&t: struttura 'e&era"e e! esem i. A&a"isi !e" co&testo. A&a"isi et&o'rafica 0ce&&i4. 3. Tec&ic(e !i mo!e""izzazio&e !ei sistemi Mo!e""izzazio&e !ei sistemi. Mo!e""i !ata,f"o: 0DFD4: !efi&izio&i e! esem i. Mo!e""i sema&tici8 mo!e""i e&tit6, re"azio&i) mo!e""i SDM seco&!o Au"" [ Gi&'8 !efi&izio&i e! esem i. I&a!e'uatezza !ei mo!e""i DFD a ra rese&tare as etti !i co&tro""o e !i si&cro&izzazio&e. Automi a stati fi&iti: !efi&izio&i e! esem i. Reti !i Petri osti,tra&sizio&i: !efi&izio&i) esem i) %a"utazio&i. Mo!e""i obPect orie&te!: mo!e""i !+ere!it6) !i a''re'azio&e e !i uti"izzo !ei ser%izi. Meto!o"o'ia SADT: !efi&izio&e !ei !ia'rammi e! esem i. Data !ictio&ar<. I. Defi&izio&e !ei re$uisiti e s ecificazio&e !e" soft:are Defi&izio&e e s ecificazio&e !ei re$uisiti: mo!a"it6 e tec&ica !i re!azio&e. /so !i "i&'ua''io &atura"e e !i mo!u"i i& "i&'ua''io strutturato. Li&'ua''i er "a !escrizio&e !ei ro'rammi 0PDL4. Defi&izio&e !ei re$uisiti er i&terfacce soft:are. Re$uisiti &o& fu&zio&a"i) c"assificazio&e. S ecificazio&e !e" soft:are: !efi&izio&e. Criteri !i accettazio&e. Re"azio&i tra s ecificazio&e e ro'etto. Pro'etto arc(itettura"e. I" ruo"o !e""e s ecific(e forma"i. C. Prototi izzazio&e !e" Soft:are Prototi izzazio&e: !efi&izio&e. Moti%azio&i) obietti%i) a rocci. Prototi izzazio&e: a roccio e%o"utio&ar<) a roccio t(ro:, a:a<) a roccio i&creme&ta"e. Strume&ti er "a rototi izzazio&e: "i&'ua''i
soft:are. Prototi izzazio&e !e""+i&terfaccia ute&te. K. *e&era"it6 e Pro'etto Arc(itettura"e Pro'etto !e" soft:are. Sta!i !e" rocesso !i ro'etto. Meto!i !i ro'etto: a roccio To ,!o:&) meto!i strutturati) strate'ie fu&zio&a"i e obPect orie&te!. Docume&tazio&e !e" ro'etto. Parametri !i $ua"it6 !e" ro'etto: coesio&e) acco iame&to)com re&sibi"it6 e a!attabi"it6. Por'etto arc(itettura"e: !efi&izio&e) sistema) sotto,sistema) mo!u"o. Mo!e""i er "a strutturazio&e !ei sistemi soft:are: mo!e""o basato su !ata base co&!i%iso) mo!e""o c"ie&t, ser%er) co&cetto !i ti o !i !ati astratto e mo!e""o basato su Macc(i&e Astratte. Mo!e""i !e" co&tro""o8 co&tro""o ce&tra"izzato: mo!e""o ca"",retur& e mo!e""o basato su ma&a'er !i co&tro""o8 co&tro""o basato su'"i e%e&ti: mo!e""o broa!cast e mo!e""o a i&terru t. Mo!e""i !i scom osizio&e i& mo!u"i: !ata,f"o: e obPect orie&te!. Arc(itetture s ecific(e !e" !omi&io: 'e&eric(e e !i riferime&to) esem i. D. Pro'ettazio&e ObPect,Orie&te! Defi&izio&i !i base !e""a tec&o"o'ia obPect,orie&te!. O''etto) c"asse) ere!it6 sem "ice e mu"ti "a) o"imorfismo) "ate bi&!i&') 'erarc(ia IS,A. Comu&icazio&e tra o''etti: rotoco""o) messa'e assi&' e roce!ure ca"". S ecia"izzazio&e struttura"e e com ortame&ta"e. Di%ersi ti i !i s ecia"izzazio&e com ortame&ta"e. Pro'ettazio&e obPect,orie&te! 0OOD4: caratteristic(e e %a&ta''i. A&a"isi obPect,orie&te! e OOD: !iffere&ze. I!e&tificazio&e !i O''etti e C"assi basata su" "i&'ua''io &atura"e. I&terfacce tra o''etti 0esem i i& ADA e CQQ4. I" ruo"o !e""+astrazio&e. C"assi riusabi"i) astrazio&e) sta&!ar!izzazio&e e a"tri criteri !i ro'ettazio&e !e""e c"assi. *erarc(ia !i A''re'azio&e. Dia'ramma !ei ser%izi. Pro'ettazio&e !e""+i&terfaccia tra o''etti. O''etti co&corre&ti 0ce&&i4. H. Pro'ettazio&e fu&zio&a"e Pro'ettazio&e fu&zio&a"e: !efi&izio&e. Pro'ettazio&e !ata,f"o:. Decom osizio&e struttura"e e !ia'rammi !i struttura. Trasformazio&e !ei !ia'rammi !ata,f"o: i& !ia'rammi !i struttura. Pro'etto !i !etta'"io 0o esecuti%o4. Mo!e""o fetc([e@ecute er i sistemi i&teratti%i. Co&fro&to !e""e !i%erse strate'ie !i ro'etto. 52. I&terazio&e /omo,Macc(i&a e Pro'etto e ?a"utazio&e !e""+I&terfaccia /te&te I&tro!uzio&e a""a Auma&,Com uter I&teractio& 0ACI4. Dia"o'o uomo, com uter. Li%e""i !i !ia"o'o: "essica"e) si&tattico) sema&tico) ra'matico. Co&testo !e" !ia"o'o. Co&tro""o !e" !ia"o'o. Sti"i !i !ia"o'o. Mo!e""i Me&ta"i. Co&osce&za Mutua. Mo!e""o !e" sistema e mo!e""o !e""+ute&te. I&terfacce ute&te a!atti%e e a!attabi"i. Metafore !i i&terazio&e. Errori &e" Dia"o'o. Pro'ettazio&e !e""+i&terfaccia ute&te: ri&ci i !i ro'ettazio&e. I&terfacce a ma&i o"azio&e !iretta. I&terfacce 'rafic(e. Mo!e""i !i
i&terfaccia: metafore !es=to e co&tro" a&e". I&terfacce a Me&;. I&terfacce a coma&!i. Prese&tazio&e !e""+i&formazio&e: testo) 'rafica) mo!a"it6 !i'ita"e) e a&a"o'ica) uso !ei co"ori. Sistemi !i Ae" . Pro'etto !ei messa''i !i errore. Docume&tazio&e ute&te. Mo!e""i arc(itettura"i !i i&terfacce ute&te: mo!e""o !i Co@ e !i See(eim. ?a"utazio&e !e""e i&terfacce ute&te. Co&cetto !i usabi"it6) !efi&izio&e ISO) attributi !i usabi"it6. Tec&ic(e !i %a"utazio&e: osser%azio&e &atura"istic(e e! es erime&ti i& se&so stretto. Pro'etto !i es erime&ti: so''etti) roce!ura s erime&ta"e) %ariabi"i !i e&!e&ti e %ariabi"i i&!i e&!e&ti. E"aborazio&e !ei !ati !i u&a s erime&tazio&e !i %a"utazio&e. 55. ?erifica e ?a"i!azio&e Processi !i su orto. I" co&tro""o !i $ua"it6 !ei ro!otti soft:are: "a %erifica e "a %a"i!azio&e) !efi&izio&i seco&!o ISO 5112K. ?erifica e %a"i!azio&e static(e e !i&amic(e. Testi&' e is ezio&e. ?a"i!azio&e tec&ica e socia"e. Obietti%i e rob"ematic(e 'e&era"i !e" testi&'. Testi&' statistico e !i i!e&tificazio&e !ei !ifetti. Debu''i&'. 51. Testi&' !e" Soft:are Processo !i !ebu''i&'. Pia&ificazio&e e or'a&izzazio&e !ei test. Strate'ie !i test. I" test i&creme&ta"e. La meto!o"o'ia .i' .a&'. Strate'ie !i testi&' to !o:& e bottom u . Test !i&amico b"ac= bo@ 0fu&zio&a"e4 e :(ite bo@ 0struttura"e4. I" co&cetto !i test case. Dati !i test. C"assi !i e$ui%a"e&za. La %erifica statica. I" rocesso !i is ezio&e. 57. Metric(e Soft:are Le metric(e soft:are: !efi&izio&e. Le metric(e re!utti%e e !i co&tro""o. Attributi i&ter&i e! ester&i. Co""ezio&e !ei !ati. La Soft:are Scie&ce. I" co&cetto !i%o"ume) %o"ume ote&zia"e) sforzo e tem o !i s%i"u o. Critic(e a""a metrica !i Aa"stea!. I" &umero cic"omatico. I" co&cetto !i cammi&o e !i com "essit6. Meto!i !i ca"co"o. Critic(e a""a metrica !i McCabe. 53. I&tro!uzio&e a""a Stima !ei Costi !e" Soft:are Stime !ei costi. Le com o&e&ti !e" costo. Meto!ic(e !i rici&'. I" co&cetto !i ro!utti%it6. Misurazio&i e tec&ic(e !i stima: 'iu!izio !e'"i es erti) stima er a&a"o'ia) rici&' to :i&) to !o:&) bottom u ) a"'oritmica. I" mo!e""o COCOMO 0base e a%a&zato4. Le c"assi !i ro'etto. Le e$uazio&i !i ca"co"o. *"i attributi corretti%i !e" mo!e""o Zi&terme!iateZ. I" costo !e""a $ua"it6. 5I. I&tro!uzio&e a""+Affi!abi"it6 !e" Soft:are Co&cetto !i affi!abi"it6. Fa""ime&ti) 'uasti) errori. Metric(e !i affi!abi"it6. /&it6 !i tem o: tem o !i esecuzio&e) !i ca"e&!ario) cro&ometrico. Co&fro&to !e" co&cetto !i affi!abi"it6 er i" soft:are e er "+(ar!:are. Distribuzio&e robabi"istica !e""e misure !i affi!abi"it6. C"assificazio&e !e""e co&se'ue&ze !ei ma"fu&zio&ame&ti. Possibi"i usi !e""e misure !i affi!abi"it6.
5C. Fua"it6 !e" Soft:are Co&cetto !i sta&!ar!: sta&!ar! !e Pure) !efacto) a erto) ro rietario. I" ruo"o !e""+ISO e !e""e or'a&izzazio&i &azio&a"i. Defi&izio&e !i $ua"it6 !e" SB seco&!o "o sta&!ar! ISO D321. Co&tro""o !i Fua"it6 seco&!o ISO H222. Mo!e""o !i $ua"it6 !e" soft:are seco&!o ISO H51C: arametri !i fu&zio&a"it6) affi!abi"it6) usabi"it6) efficie&za) ma&ute&ibi"it6) ortabi"it6. *estio&e !e""a $ua"it6. Po"itica !i $ua"it6. Sistema $ua"it6) co&tro""o e assicurazio&e !i $ua"it6. Sco e e ia&ificazio&e !e""e atti%it6 !i assicurazio&e !e""a $ua"it6. Fua"it6 !i u& ro!otto basata su""a $ua"it6 !e" rocesso !i ro!uzio&e. Re%ie: !i $ua"it6. C(ec= !i $ua"it6 e! azio&i corretti%e. Docume&tazio&e !ei re%ie: !i $ua"it6. Processo !i %a"utazio&e e metric(e !ei arametri !i $ua"it6 seco&!o ISO H51C. Sta&!ar! ISO H222 er "a 'estio&e e! assicurazio&e !e""a $ua"it6: ISO H225) H221) H227 e H223) ma&ua"e !e""a $ua"it6. Sta&!ar! ISO H222,7: "i&ee 'ui!a er "+a "icazio&e !e""o sta&!ar! ISO H225 a" soft:are. Certificazio&e !i $ua"it6 e! accre!itame&to. 5K. Sta&!ar! su" Cic"o !i ?ita Sta&!ar! ISO 5112K su" cic"o !i %ita !e" soft:are. Defi&izio&e !ei %ari rocessi soft:are. Defi&izio&e !ei ruo"i !e'"i esecutori !ei rocessi: ac$uire&te) for&itore) ro rietario) s%i"u atore) o eratore) ma&ute&tore. Pros etti%a co&trattua"e. Processi !i mo&itora''io e tai"ori&' !e" cic"o %ita.
.I.LIO*RAFIA I. Sommer%i""e) Soft:are E&'i&eeri&' Fift( E!itio&. A!!iso& Bes"e<) 5HHC. *. *ui!a) C. Tasso. Desi'& a&! De%e"o me&t of G&o:"e!'e,.ase! S<stems: from Life C<c"e to De%e"o me&t Met(o!o"o'<. Jo(& Bi"e< [ So&s) C(ic(ester) /G) 5HH3. C. *(ezzi) A. Fu''etta. I&'e'&eria !e" Soft:are: Pro'ettazio&e e ?erifica. Mo&!a!ori I&formatica) 5HH3. Materia"e !i!attico Tras are&ze !e" corso Materia"e for&ito !a" !oce&te
CONS/LTA9IONE R. Au"") R. Gi&'. Sema&tic Database Mo!e"i&': Sur%e<) a researc( issues. Acm Com uti&' Sur%e<s) 5H074) 5HDK. "icatio&s a&!
J. Musa) A. Ia&&i&o) G. O=umoto. Affi!abi"it] !e" Soft:are. Mc*ra: Ai"" Ita"ia) Mi"a&o) 5HH5. T. Demarco. Structure! A&a"<sis a&! S<stem S ecificatio&) Pre&tice,Aa"") 5HKH.
CREDITI: C
FINALIT
DEL CORSO
Obietti%o !e" corso # "+a rofo&!ime&to !e""e ri&ci a"i tematic(e !e""-I&'e'&eria !e" Soft:are. ?ie&e ric(iamato i" cic"o !i ro'ettazio&e e !i %ita !i u& ro!otto Soft:are. ?e&'o&o oi stu!iati e a rofo&!iti '"i ar'ome&ti i; a%a&zati) $ua"i i" co&fi'uratio& ma&a'eme&t) "e meto!o"o'ie !i test) "a ro'ettazio&e !ei sistemi) "e metric(e teoric(e e! o erati%e) i i; &oti mo!e""i !i $ua"it6 !i ro!otto e !i rocesso) "e meto!ic(e !i ia&ificazio&e e co&tro""o) i ri&ci a"i strume&ti !i "a%oro. Ne" corre"ato corso !i Laboratorio a%a&zato 03 CF/4 %ie&e s%o"to u& case,stu!< com "eto) se'ue&!o u& rocesso !i s%i"u o !i u& ro'etto Soft:are i& tutte "e fasi sia !e" cic"o !i %ita 0s ecific(e) ro'etto) co!ifica) test) ri"ascio) ma&ute&zio&e4 c(e o erati%o 0 ia&ificazio&e) a&a"isi costi) metric(e) or'a&izzazio&e !e" "a%oro) co&su&ti%azio&i eco&omic(e4
PRO*RAMMA Int !"#$%!n& & R%'(%)*% G&n& )+%: Le moti%azio&i !e" Soft:are E&'i&eeri&'. Ric(iami a""e !efi&izio&i !i base. La !ime&sio&e eco&omica !e" rob"ema. I fattori !i com "essit6 !e" rocesso !i s%i"u o. C!n,%-# )t%!n M)n)-&*&nt: Le moti%azio&i !e" Co&fi'uratio& Ma&a'eme&t. I" CM,P"a&&i&'. Trattame&to !e""e %ersio&i. Assemb"a''io !ei com o&e&ti e S<stem .ui"!i&'. In-&-n& %) "&+ S!,t.) & E/%/t&nt&: L+I.S.E: !efi&izio&i e rob"ematic(e. Le meto!o"o'ie !i re,e&'i&eeri&'. Le meto!o"o'ie !i riuso. Lo s%i"u o er i" riuso e tramite i" riuso.
V& %,%') & V)+%")$%!n&: I risu"tati teorici &e'ati%i. Strate'ie !i test. Test !i&amico. Le cate&e !i test. I test !i re'ressio&e. L+automazio&e !e" test e "-a&a"isi mutazio&a"e. Test statico. Ce&&i sui meto!i forma"i !i test. M&t %'(&: Le !efi&izio&i 'e&era"i. *"i obietti%i !e""e misure. Le sca"e !i misurazio&e. Le misure !i co&tro""o e re!itti%e. I" !ata co""ectio&. *"i attributi i&ter&i e "e "oro misurazio&i. La metrica !i Aa"stea!. La metrica !i A"brec(t. La metrica !i McCabe e! a"tre metric(e !i com "essit6. *"i attributi ester&i e "e "oro misurazio&i M!"&++% "% 0#)+%t1: La certificazio&e !i $ua"it6 e i ri&ci a"i mo!e""i !i certificazio&e !i rocesso e !i ro!otto: Ric(iami a" mo!e""o ISO H222) i" mo!e""o CMM) ce&&i su a"tri mo!e""i: .OOTSTRAP) SSNF/EST) SPICE) Tic=IT. I" mo!e""o IS2 H51C. V)+#t)$%!n& & /t%*) "&% '!/t%: L-a&a"isi restazio&i>costo e "-a&a"isi !e""e !ecisio&i. La stima !ei costi !e" Soft:are. Ric(iamo mo!e""o COCOMO. A"tri mo!e""i !i stima. P%)n%,%')$%!n& & C!nt !++! "&+ P !'&//! P !"#tt%2!: L-or'a&izzazio&e e 'estio&e !ei 'ru i !i "a%oro. La ia&ificazio&e e! i suoi obietti%i. I !ia'rammi !i Pert e '"i sc(emi !i *a&tt. M)n#t&n$%!n&: Costi) stime) ma&ute&ti%o. I" mo!e""o COCOMO. misurazio&i) !i&amica !e" rocesso
ia&ificazio&e) testi&'.
St #*&nt% "% +)2! !: La tec&o"o'ia CASE: Too"s) Ambie&ti. Le fu&zio&a"it6. *"i strume&ti !i su orto &e""e %arie fasi !e" rocesso !i s%i"u o.
.I.LIO*RAFIA 5. I.Sommer%i""e) So"t#are <ngineering ) C^ E!.) A!!iso& Bes"e< P.C.) 1225. 1. N.E.Fe&to&) S.L.Pf"ee'er) So"t#are Metrics - A rigorous and practical Approach, 1^ E!itio&) PBS Pub"is(i&' Com a&<) 5HHK. 7. M.Maiocc(i) Il miglioramento dei processi nel settore dell1In"ormation )echnolog*, Fra&co A&'e"i) 5HHD 3. C.*(ezzi) A.Fu''etta) S.Morasca) A.Morze&ti) Ingegneria del So"t#are +rogettazione, Sviluppo e /eri"ica ) Mo&!a!ori I&formatica) 5HH7. I. L..u'"io&e) Misurare il So"t#are, Fra&co A&'e"i ) 1227.
C. P.Metze'er) J. .o!!ie) Managing a +rogramming +roject, 'C ed% +rentice Dall K. Materia"e !i!attico co&se'&ato a "azio&e
INTERAZIONE UOMO-MACCHINA
CREDITI: C
FINALIT
DEL CORSO
Sco o !e" corso # !i i&tro!urre i ri&ci i) "e meto!o"o'ie !i ro'ettazio&e e "e !i%erse sce"te im "eme&tati%e er "a costruzio&e !i soft:are c(e sia usabi"e i& mo!o sem "ice) i&tuiti%o) ro!utti%o e! affi!abi"e !a'"i ute&ti a cui # ri%o"to. I" ra''iu&'ime&to !i $uesto obbietti%o ric(ie!e "o stu!io !i tre !i%erse tematic(e: "+uomo 0caratteristic(e sico"o'ic(e !e""+ute&te48 "a macc(i&a 0strume&ti er "a rea"izzazio&e !i i&terfacce co& i" mo&!o ester&o48 "+i&terazio&e 0a&a"isi) ro'etto) %a"utazio&e !i i&terfacce uomo,macc(i&a4. O"tre a rese&tare "e &ozio&i !i base !e""a !isci "i&a) i" corso o&e a&c(e "+acce&to su a"cu&i s%i"u i rece&ti !i artico"are im orta&za) $ua"i "e i&terfacce 7D) i" 'rou :are) e! i" ro'etto !i i&terfacce Bor"! Bi!e Beb.
PRINCIPALI AR*OMENTI
I&tro!uzio&e: Obbietti%i !e""-I&terazio&e /omo,Macc(i&a e sua im orta&za &ei !i%ersi settori a "icati%i !e""+I&formatica. As etti Psico"o'ici !e""+I&terazio&e /omo,Macc(i&a: Psico"o'ia Co'&iti%a. Ca&a"i se&soria"i. Limitazio&i e as ettati%e uma&e &ei rocessi ercetti%i. Percezio&e %isi%a. Percezio&e au!iti%a. Percezio&e tatti"e. Mo%ime&to. La Memoria uma&a: se&soria"e) a bre%e termi&e) a "u&'o termi&e. Differe&ze i&!i%i!ua"i. Mo!e""i me&ta"i. Metafore. Errori uma&i: s"i e mista=e. Periferic(e er "+I&terazio&e /omo,Macc(i&a: Periferic(e er "+i&serime&to !i testo. Periferic(e er i" u&tame&to e osizio&ame&to. Periferic(e 7D. Periferic(e er "+out ut %isi%o) au!iti%o) tatti"e. Periferic(e e! i&terfacce er ute&ti !isabi"i. Modelli e +aradigmi di Interazione omo-Macchina: Modelli per caratterizzare le "asi dell1interazione% Aspetti ergonomici dell1interazione% Stili di interazione: dai linguaggi di comando alle inter"acce 'D% Inter"acce a "inestre >8IM+?% +rogetto dei menu e delle icone% +aradigmi di interazione% Interazione omo-Macchina e Ciclo di /ita del So"t#are: Analisi dei reEuisiti di usabilita1% +rincipi di usabilita1% ser-centred design% sabilit* <ngineering% )ecniche di protot*ping% )ecniche per "avorire la creativita1% Documentazione delle scelte di progetto% <nvironment, ser, )asAnal*sis: Determinazione del contesto dell1interazione con modelli socio-tecnici% Il metodo S)M=C S)4M% Analisi dei compiti degli utenti% Il metodo D)A% Modelli predittivi: 74MS, A6M% Metodi !ormali nell1Interazione omo-Macchina: State transition net#or- ed altre notazioni diagrammatiche% ,otazioni testuali% +rogetto ed analisi di dialogo mediante state transition net#or-% 7uidelines e Standard per le Inter"acce tente: De"inizione% Scelta ed uso di guidelines% <sempi di guidelines: MI)9<, Apple, Microso"t, guidelines IBM per inter"acce 'D% 6o standard IS4 F&($% Strumenti per l1Implementazione di Inter"acce tente: 8indo#ing S*stem% )ecniche di programmazione% )ool-it% Caso di studio: il tool-it di Java% ser Inter"ace Management S*stem% /alutazione di sabilita1: Scopo della valutazione% Strumenti di registrazione% 4sservazione dell1utente% 9accolta di opinioni% Interviste% @uestionari% <sperimenti% /alutazione predittiva% Cognitive #al-through% /alutazione interpretativa% Delp: Assistenza all1utente% 9eEuisiti di un help s*stem% +rincipali approcci% Inter"acce adattive ed adattabili%
Computer-Supported Cooperative 8or-: 7roup#are% 6a comunicazione mediata dal calcolatore% <-mail e sistemi di comunicazione testuale% /ideocon"erenza% Ambienti collaborativi virtuali% Sistemi #or-"lo#% Aspetti sperimentali ed organizzativi del lavoro cooperativo% 9ecenti +aradigmi di Interazione omo-Macchina: biEuitous computing% 9ealta1 virtuale% )ipologie di realta1 virtuale% Il linguaggio /9M6% Inter"acce multi-sensoriali >o multi-modali?% In"ormation visualization% Ipertesti% Inter"acce multimediali e ipermediali% Inter"acce 888% +rogetto di pagine 8eb usabili%
RIFERIMENTI PRINCIPALI A. Di@) J. Fi&"a<) *. Abo:! a&! R. .ea"e. Duman Computer Interaction, )hird <dition) Pre&tice Aa"") 1227. J. Preece) S. Ro'ers) A. S(ar ) D. .e&io&. S.Ao""a&!) a&! T.Care<. Duman Computer Interaction, A!!iso& Bes"e<) 5HH3.
LINGUAGGI DI PROGRAMMAZIONE 1
CREDITI: C
, Macc(i&e astratte) "i&'ua''i) i&ter retazio&e e com i"azio&e , Struttura !ei "i&'ua''i , La sema&tica forma"e 0o erazio&a"e) a"'ebrica e !e&otazio&a"e4 !escrizio&e !ei "i&'ua''i !i ro'rammazio&e , Ti i !i !ato e astrazio&i sui !ati , Co&tro""o !i se$ue&za) roce!ure) ricorsio&e , Ambie&te) re'o"e !i sco i&') assa''io !ei , *estio&e memoria , Li&'ua''i im erati%i) "o'ici) fu&zio&a"i e! orie&tati a! o''etti co& esem i 0ce&&i4 , Macc(i&a astratta !e" Pasca") esem io !e" P,co!e arametri er "a
Pratt T.B. Li&'ua''i !i Pro'rammazio&e) Jac=so& 5HDD) 0O "a &uo%a e!izio&e !e" 5HHC) + ro'rammi&' "a&'ua'es+) re&tice,(a""4 o ure i" "ibro !i Set(i 0%e!ere testi !i co&su"tazio&e4.
TESTI
DI
CONS/LTA9IONE:
Ster"i&' L) S(a iro E. T(e art of Pro"o') MIT Press) 5HDC. Aassa& Ait,Gaci. Barre&+s Abstract Mac(i&e: A Tutoria" reco&structio&) MIT Press) 5HH5. .ir!) R.) a&! Ba!"er) P. I&tro!uctio& to Fu&ctio&a" Pro'rammi&') Pre&tice Aa"". Simo& L. Pe<to& Jo&es. T(e im "eme&tatio& of Fu&ctio&a" Pro'rammi&' La&'ua'es) Pre&tice Aa"") 5HDK. Set(i) +Pro'rammi&' La&'ua'es+) A!!iso&,Bes"e< 0tra!otto !a 9a&ic(e""i4. Stroustru 5HH2. ..) E""is M. T(e a&&otate! CQQ Refere&ce Ma&ua". A!!iso& Bes"e<)
Da%i! F"a&a'a&) Ja%a i& a Nuts(e"" 01&! E!.4) O+Rei""< E!.) 5HHK. Ca< S. Aorstma&&) *ar< Cor&e"") core Ja%a 5.5 0?o"ume I , Fu&!ame&ta"s4) Pre&tice Aa"" 5HHK.
Jo& Me<er [ Tro< Do:&i&') Ja%a0TM4 ?irtua" Mac(i&e) O+Rei""< [ Associates) I&c. 5HHK.
LOGICA MATEMATICA
CREDITI: C
FINALIT
DEL CORSO
Ra''iu&'ere u&+a!e'uata com re&sio&e !e'"i as etti teorici co""e'ati a""-uso !e""a "o'ica &e""e a "icazio&i i&formatic(e) co& artico"are atte&zio&e a""e $uestio&i !i correttezza) com "etezza) !eci!ibi"it6 e otere es ressi%o er "o'ic(e c"assic(e e &o&.
!e!uzio&e &atura"e 8
1. Lo'ic(e
.I.LIO*RAFIA:
u& testo !i base !i "o'ica er i&formatica) a! esem io Nero!e) S(ore) MLo'ic for a "icatio&N) S ri&'er.
."ac=bur&) !e RiP=e)?e&ema MMo!a" Lo'icN) Cambri!'e Tracts Com uter Scie&ce) I7.
i& T(eoretica"
CREDITI: C
FINALIT
DEL CORSO:
I& sistemi i&formatici ++"ife,critica"++) o a forte im atto ambie&ta"e) o ure i& ro!uzio&i su "ar'a sca"a) c(e com orterebbero costi i&'e&ti !i correzio&e) "e tra!izio&a"i tec&ic(e !i certificazio&e !e" soft:are) basate so"o su testi&') so&o i&a!e'uate. La %erfica forma"e ri'orosa !e" soft:are # erta&to !i%e&uta u& re$uisito esse&zia"e &e""a ro!uzio&e i&!ustria"e !i sistemi soft:are com "essi. Fuesto rocesso com orta "+i&tro!uzio&e e "+uti"izzo !i tec&ic(e "o'ico, matematic(e er s ecificare ri'orosame&te "a sema&tica !ei ro'rammi e er %erificar&e "a correttezza ris etto a $uesta sema&tica. Sco o !i $uesto corso # $ue""o !i i&tro!urre "e rob"ematic(e e! i co&cetti fo&!ame&ta"i !e""a %erifica !e" soft:are &o&c(O a"cu&i !ei ++meto!i forma"i++ iu+ i& uso er rea"izzare $uesto sco o.
PRO*RAMMA: ?erra&o !iscusse "a sema&tica o erazio&a"e strutturata) "a sema&tica !e&otazio&a"e) i sistemi !i riscrittura e s%ariati sistemi forma"i a+ "a Aoare er stabi"ire ro riet6 !i ro'rammi se$ue&zia"i e co&corre&ti. I& artico"are)
sara&&o stu!iati e s erime&tati sistemi er stabi"ire "a correttezza arzia"e e tota"e !i ro'rammi !etermi&istici) ro'rammi ara""e"i c(e comu&ica&o attra%erso "a co&!i%isio&e !i %ariabi"i) ro'rammi ara""e"i co& rimiti%e !i si&cro&izzazio&e) ro'rammi !istribuiti c(e comu&ica&o attra%erso "o scambio !i messa''i) ro'rammi &o&!etermi&istici. Partico"are atte&zio&e sar6 !e!icata a""o stu!io !i ro riet6 !i fair&ess.
.I.LIO*RAFIA: , G. A t) E.R. O"!ero') ?erificatio& of Se$ue&tia" a&! Co&curre&t Pro'rams) *TCS S ri&'er ?er"a') Ne: Sor=) 5HHK. ,A u&ti !e" corso.
e La&cia
CREDITI: C
FINALIIT DEL CORSO: L-obietti%o !e" corso e- $ue""o !i for&ire u&a a&oramica su'"i a rocci a"'oritmici iu- efficaci &e""a riso"uzio&e !i rob"emi !iffici"i !i ottimizzazio&e 0NP,(ar!4) $ua"i ti icame&te si rese&ta&o &e""a 'estio&e !e""e risorse. Tra $ueste tec&ic(e ricor!iamo i" bra&c(,a&!,bou&!) "a ro'rammazio&e "i&eare i&tera 0a&c(e co& u& &umero e&orme !i %i&co"i e %ariabi"i4) '"i a"'oritmi a rossimati e! euristici) co& artico"are riferime&to a a"'oritmi 'e&etici e tabu searc(. I" corso si co""oca "o'icame&te come u& a rofo&!ime&to !e""e tematic(e trattate &e" corso !i Ricerca O erati%a) a&c(e se 0co& "-eccezio&e !e""a ro'rammazio&e "i&eare4 "a ma''ior arte !e'"i ar'ome&ti e- se"f,co&tai&e! e &o& ric(ie!e a"cu&a co&osce&za re"imi&are !i ricerca o erati%a. Tra '"i obietti%i !e" corso %i e- a&c(e "-a rofo&!ime&to !ei rob"emi i&formatici "e'ati a""a costruzio&e !i soft:are c(e rea"izzi&o "e tec&ic(e !iscusse teoricame&te. AR*OMENTI: 24 Ric(iamo a rob"emi !i ottimizzazio&e e com "essita-
Set co%eri&' 0sc(e!u"azio&e !i aerei>e$ui a''i4. ?erte@ co%eri&'. Co"orazio&e !i 'rafi 0sc(e!u"azio&e !i au"e>creazio&e !i orari sco"astici4. I&siemi i&!i e&!e&ti e c"i$ue. Job s(o 0cate&e !i ro!uzio&e4. Prob"ema !i sc(e!u"azio&e !i u&a macc(i&a. Prob"emi NP,com "eti e ri!uzio&i. Prob"emi NP,(ar!. 54 A rocci esatti &e""a riso"uzio&e !i rob"emi NP,com "eti
Pro'rammazio&e !i&amica. I" .ra&c( a&! .ou&! 0e&umerazio&e com "eta im "icita !e""e so"uzio&i4. Stime i&feriori e su eriori 0"o:er e u er bou&!s4 a""-ottimo. Mo!e""i !i ro'rammazio&e i&tera co& u& &umero es o&e&zia"e !i %i&co"i 0.ra&c( a&! Cut4 e !i %ariabi"i 0.ra&c( a&! Price4. Tec&ic(e !i rici&' e !i se arazio&e. Soft:are er "a riso"uzio&e !i rob"emi !i ro'rammazio&e "i&eare i&tera 0CPLEV) *LPG) FSo t4 14 A"'oritmi a rossimati
A"'oritmi a rossimati er rob"emi !i ma@ e mi& 0co& massimo errore re"ati%o "imitato4. Commesso %ia''iatore 0TSP4 e ?erte@ co%er. TSP euc"i!eo. No& a rossimabi"ita- e rob"emi APV,(ar!. A rossimabi"ita- arbitrariame&te buo&a 0PTAS4. Arroto&!ame&to !etermi&istico e robabi"istico !a ro'rammazio&e "i&eare. A rossimazio&e robabi"istica) Ma@ Cut e So!!isfacibi"ita-. 74 Algoritmi euristici Ricerca Loca"e) i&tor&o 1,OPT er i" TSP. Euristic(e 'ree!< 0e.'.) &earest &ei'(bor4. A"'oritmi 'e&etici. Tabu searc(. Per u"teriori i&formazio&i su""a ricerca o erati%a e su""+ottimizzazio&e si co&su"ti i" sito !e""+INFORMS 0I&stitute for O eratio&s Researc( a&! Ma&a'eme&t Scie&ce4 o ure $ue""o !e" CIRO 0Ce&tro I&teru&i%ersitario i& Ricerca O erati%a4.
TESTI: !is e&sa !e" !oce&te Co&si'"iati: ,Combi&atoria" O timizatio& 0Pa a!imitriou [ Stei'"itz4 ,Ottimizzazio&e 0Serafi&i4 ,Lezio&i !i Ricerca O erati%a 0Fisc(etti4
6UANTUM COMPUTING
RETI DI CALCOLATORI
CREDITI: C
FINALIT DEL CORSO L+obietti%o !e" Corso # $ue""o !i i&tro!urre i co&cetti fo&!ame&ta"i !e""e mo!er&e reti !i ca"co"atori e for&ire a""o stu!e&te "e &ecessarie co&osce&ze er affro&tare "+a&a"isi e "o stu!io !i u&a rete !istribuita !i ca"co"atori. I& artico"are) sara&&o rese&tate "e caratteristic(e 'e&era"i !e""e reti) "a "oro to o"o'ia) "-arc(itettura e! i ri&ci a"i rotoco""i uti"izzati er "a trasmissio&e !e""e i&formazio&i tra ca"co"atori.
AR*OMENTI DEL CORSO 1. Introduzione alle reti di calcolatori G Sco i) a "icazio&i) e%o"uzio&e storica) caratteristic(e e struttura a "i%e""i) ti o"o'ie !i rete) arc(itetture !i rete) stratificazio&i) ti i e rimiti%e !i ser%izio) rotoco""i !i rete) co&tro""o !i f"usso e co&tro""o !i errore) messa''i e acc(etti) strate'ie !i commutazio&e 0circuito e acc(etto4) i&!irizzame&to) i&stra!ame&to e! i&terco&&esio&e. 2. +rincipali componenti di una rete e tecniche di trasmissione dati Mezzi trasmissi%i e"ettrici e ottici) ba&!a !i u& se'&a"e) ca acita- !i ca&a"e) I e II Teorema !i N<$uist) Teorema !i S(a&&o&) atte&uazio&e e !istorsio&e) ce&&i a""a trasmissio&e !ati a&a"o'ica e a""a trasmissio&e !ati !i'ita"e) ri&ci a"i com o&e&ti !i u&a rete 0mo!em) mu"ti "e@er) bri!'e) s:itc() router4. 3. Il modello IS4=4SI Arc(itettura) ser%izi e rotoco""i. I" "i%e""o fisico. I" "i%e""o !ata"i&=. Protoco""i er i" co&tro""o !i f"usso 0Sto [ Bait) *o,.ac=,N) S"i!i&' Bi&!o:4 e er i" co&tro""o !i errore 0co&tro""o !i arita-) co!ici CRC4. Ca"co"o !e""-efficie&za !ei rotoco""i !i "i%e""o !ata"i&=. Protoco""o ADLC. 4. Il livello di rete E Tec&ic(e !i i&stra!ame&to 0routi&' b< &et:or=) a!!ress "abe" s:a i&') source routi&'4) arc(itettura !i u& router e tabe""e !i i&stra!ame&to) a"'oritmi !i routi&' statico 0fi@e! !irector< routi&') f"oo!i&' e se"ecti%e f"oo!i&'4 e !i&amico 0!ista&ce %ector e "i&= state4. I" rotoco""o IP)
formato !e" acc(etto IP e i&!irizzame&to IP) c"assi !i i&!irizzi) sottoreti e &etmas=. Protoco""i ARP) I*P) RIP) OSPF) .*P. Protoco""o I %C) formato !ei acc(etti) (ea!er o zio&a"i. Protoco""o Net:or= A!!ress Tra&s"atio& 0NAT4. 5. Il livello di trasporto , Ser%izi e! i&!irizzi !e" "i%e""o !i tras orto) creazio&e) 'estio&e e c(iusura !i u&a co&&essio&e. I" rob"ema !e""e !ue armate. Protoco""o Aa&!,S(a=e a tre %ie. I" "i%e""o !i tras orto i& I&ter&et: i rotoco""i /PD 0 ser datagram protocol4 e TCP 0)ransport control protocol4. 6. Il livello delle applicazioni : A "icazio&i !i Rete: Domai& Name Ser%er 0DSN4) Sim "e Mai" Tra&sfer Protoco" 0SMTP4) Sim "e Net:or= Ma&a'eme&t Protoco" 0SNMP4) "a osta e"ettro&ica) te"&et) fi"e tra&sfer rotoco" 0FTP4. 7. +rogetto topologico di una rete di calcolatori Pro'ettazio&e to o"o'ica) ce&&i a""a teoria !ei 'rafi) matrice !i traffico) matrice !i costo e asse'&azio&e !i f"usso) affi!abi"ita- !i u&a rete) a&a"isi !i co&&etti%ita-) reti !i f"usso) ta'"io mi&imo e ca acita- !e" ta'"io i& u&a rete) a"'oritmo !i For!,Fu"=erso&) f"usso massimo) co&etti%ita- !-arco) ercorsi arco,!is'iu&ti) co&&etti%ita- !i &o!o) esem i. 8. Analisi delle prestazioni di una rete di calcolatori Ce&&i a""a teoria !e""e co!e) !efi&izio&e !i Ge&!a"") sistemi a &ascita e morte) cate&e !i Mar=o%) i&te&sita- !e" traffico) a rossimazio&e !i i&!i e&!e&za !i G"ei&roc=) &umero me!io !i acc(etti i& u&a rete) ritar!o me!io !i acc(etto) Teorema !i Litt"e) esem i e! esercizi. 9. Appro"ondimenti Reti ISDN e ISDN a "ar'a ba&!a. Reti ATM.
MODALIT D+ESAME L+esame si com o&e !i u&a ro%a scritta e !i u&a ro%a ora"e. La ro%a scritta ric(ie!e !i s%o"'ere esercizi i&ere&ti '"i ar'ome&ti !e" Corso. La ro%a ora"e co&siste &e""a !iscussio&e !i a"cu&i !e'"i ar'ome&ti trattati a "ezio&e.
TESTI CONSI*LIATI T5U A.S. Ta&embaum) Com uter Net:or=s) 0Fuarta E!izio&e4) A!!iso&, Bes"e<) ubb"icato i& Ita"ia !a Pearso& E!ucatio& Ita"ia) 1227. TESTI DI APPROFONDIMENTO T5U J. Gurose a&! G. Ross) MI&ter&et e Reti !i Ca"co"atoriN) Mc*ra:,Ai"" Seco&!a E!izio&e) 1227 T1U D. Comer) MI&ter&et:or=i&' co& TCP>IPN) A!!iso&,Bes"e<) Ita"ia !a Pearso& E!ucatio& Ita"ia) 1221 ubb"icato i&
T7U F. Fabris) )eoria dellHIn"ormazione, codici, ci"rari) .ori&'(ieri) 1225 T3U M. .a"!i) P. Nico"etti) Internet#or-ing) Mc*ra:,Ai"") 5HHH.
TIU R. A!i&o"fi) 9eti di Computer) 0Seco&!a E!izio&e4) Mc*ra:,Ai"") 5HHH. TCU F. Aa"sa"") 9eti di Calcolatori e Sistemi Aperti ) 0Fuarta e!izio&e4) A!!iso& Bes"e<) 5HHD. TKU S. *ai) P. Nico"etti) P. Mo&tesoro) all1internet#or-ing. SS*RR) 5HHC. 9eti 6ocali: dal cablaggio
CREDITI: C
FINALIT DEL CORSO L- obietti%o !e" Corso e- $ue""o !i a rofo&!ire i co&cetti ri&ci a"i !e""e Reti !i Ca"co"atori co& artico"are riferime&to a'"i as etti "e'ati a""a 'estio&e !e""e reti "oca"i 0LAN4 e a""a sicurezza. I& artico"are) "o stu!e&te ac$uisira- com ete&ze s ecific(e i& riferime&to a""-a&a"isi !ei ri&ci a"i re$uisiti !i sicurezza !i u&a rete !i ca"co"atori e a""a ro'ettazio&e !i a!e'uate o"itic(e !i sicurezza
PRO*RAMMA 10. 9eti 6ocali - Le tec&o"o'ie LAN. Le to o"o'ie !i reti LAN 0ri&') bus) star e tree4. Protoco""i !i accesso a" mezzo MAC e LLC. Protoco""i a! accesso casua"e ti o A"o(a e A"o(a a s"ot) rotoco""i a ri"e%ame&to !i orta&te: CSMA e CSMA>CD) rotoco""i a re&otazio&e: A"o(a a re&otazio&e) to=e& ri&') to=e& bus. Sta&!ar! IEEE D21 er LAN 0Et(er&et) Fast Et(er&et) *i'abit Et(er&et) To=e& ri&') FDDI) DFD.4. 11. 9eti #ireless e 6A, #ireless E Reti IEEE D21.55S rea! S ectrum 0Direct Se$ue&ce) Fre$ue&c< Ao i&'4. 12. 9eti A)M e A)M 6A, I&tro!uzio&e) caratteristic(e ri&ci a"i) rotoco" refere&ce mo!e. Trasmissio&e !ati i& u&a rete ATM) "a ce""a ATM) S:itc( ATM. Reti LAN ATM) !iffere&ze tra Et(er&et e ATM) emu"azio&e LAN) arc(itettura !i u&a LAN co& tec&o"o'ia ATM) rotoco""o LANE) IP o%er ATM) esem i 13. Bridge , Tra&s are&t bri!'e e bri!'e remoti) arc(itettura !i u& bri!'e) fi"teri&' !atabase) rocesso !i bri!'i&') !i for:ar!i&' e !i "ear&i&') f"oo!i&') i&o"tro se"etti%o) s ostame&to fisico !i u& (ost) errore !i trasmissio&e.
Processo !i s a&&i&' tree) e"ezio&e !e" root bri!'e) se"ezio&e !e""a root se"ezio&e !e""a !esi'&ate! ort) esem i
ort)
14. Sicurezza nelle reti di calcolatori Li%e""i !i sicurezza) !ia'&ostica e mo&itora''io !i u&a rete) rotezio&e !e""e co&&essio&i a""a rete) aute&ticazio&e) i&te'rita-) riser%atezza) ater&ita-. Pri&ci io !i sicurezza mi&imo. ?a"utazio&e !e""a sicurezza !i u& sistema. Ora&'e boo= 15. Cenni di crittogra"ia , Crittoa&a"isi) ti i !i cifrari) cifrari er tras osizio&e) cifrari mo&oa"fabetici 0cifrario !i Cesare4 e o"ia"fabetici) i" cifrario !i ?i'e&ere. Cifrari o"i'rafici 0P"a<fair ci (er4. Cifrari com osti. Critto'rafia mo!er&a) cifrario !i ?er&am) E&i'ma. Critto'rafia co&tem ora&ea) a"'oritmi a c(ia%e se'reta: DES) IDEA e 7DES) a"'oritmi a c(ia%e ubb"ica: RSA. Esem i. 16. Screening router e !ire#all , Defi&izio&e e ro'ettazio&e !i u&o scree&i&' router) ac=et fi"teri&') teoria e ri&ci a"i arc(itetture !ei fire:a"": mu"ti(ome! (ost) bastio& (ost) DM9. *ate:a< a "i%e""o !i circuito e a "i%e""o a "icati%o. Pro@< ser%er. Esem io !i u& fire:a"" commercia"e. 17. )ipologie di possibili attacchi esterni ad una rete E Mo!us o era&!i !i u& i&tru!er) c"assificazio&e !e'"i attacc(i. Ac$uisizio&e re"imi&are !i i&formazio&i) foot ri&ti&') e&umerazio&e !e""e reti) i&terro'azio&e !ei DSN) sca&&i&' 0 i&' sca&&i&') ort sca&&i&') etc.4) e&umerazio&e !ei !omi&i) e&umerazio&e !e'"i ute&ti. De&ia" of Ser%ice) smurf) fra''"e) s<& foo!) "a&!) u! f"oo!) e,mai" bombi&'. S oofi&') ARP s oofi&') IP s oofi&') re!izio&e !e" &umero !i se$ue&za) fa"sificazio&e RIP e E*P) ICMP re!irect) :eb e e,mai" s oofi&'. AiPac=i&') !irottame&to !i sessio&e TCP) !esi&cro&izzazio&e atti%a) s&iffi&') fire:a"=i&' automatico e ma&ua"e. 18. /irus Termi&o"o'ia 0troPa& (orse) c(ai& "etter4. Borm) %erme !i Morris. Cic"o !i %ita !i u& %irus) creazio&e) i&cubazio&e) i&fezio&e) atti%azio&e) ro a'azio&e) rico&oscime&to) estir azio&e. C"assificazio&e !ei %irus: fi"e %irus) boot %irus) macro %irus) &et:or= %irus) TSR %irus) %irus o"imorfi) stea"t( %irus. Esem i !i %irus.
MODALIT D+ESAME L+esame si com o&e !i u&a ro%a scritta e !i u&a ro%a ora"e. La ro%a scritta ric(ie!e !i s%o"'ere esercizi i&ere&ti '"i ar'ome&ti !e" Corso. La ro%a ora"e co&siste &e""a !iscussio&e !i a"cu&i !e'"i ar'ome&ti trattati a "ezio&e.
TESTI CONSI*LIATI T5U A.S. Ta&embaum) Computer ,et#or-s) 0Fuarta E!izio&e4) A!!iso&, Bes"e<) 1227. T1U /. ."ac= +rotocolli per la sicurezza in Internet ) Mc *ra: Ai"") 1221
T7U B. Sta""i&'s) Sicurezza nelle reti: Applicazioni e Standard ) A!!iso&, Bes"e<) 1225
TESTI DI APPROFONDIMENTO T5U F. Fabris) )eoria dellHIn"ormazione, codici, ci"rari) .ori&'(ieri) 1225 T1U B.R. C(es:ic=) S.M. .e""o%i&) !ire#alls and Internet Securit* ) A!!iso& Bes"e<) 5HHD. T7U S. *ai) P. Nico"etti) P. Mo&tesoro) all1internet#or-ing. SS*RR) 5HHC. FINALIT DEL CORSO L- obietti%o !e" Corso e- $ue""o !i a rofo&!ire i co&cetti ri&ci a"i rese&tati &e" Corso !i Reti !i Ca"co"atori co& artico"are riferime&to a'"i as etti "e'ati a""a 'estio&e !e""e reti "oca"i 0LAN4 e a""a sicurezza. I& artico"are) "o stu!e&te !o%ra- ac$uisire com ete&ze s ecific(e i& riferime&to a""-a&a"isi !ei ri&ci a"i re$uisiti !i sicurezza !i u&a rete !i ca"co"atori e a""a ro'ettazio&e !i a!e'uate o"itic(e !i sicurezza 9eti 6ocali: dal cablaggio
RICERCA OPERATIVA
CREDITI: C
FINALIT: La Ricerca O erati%a si occu a !i rob"emi !i 'estio&e efficie&te tramite "+a "icazio&e sistematica !i mo!e""i matematici e !i tec&ic(e i&formatic(e. Dei !i%ersi as etti !e""a Ricerca O erati%a 0mo!e""istico) matematico e i&formatico4 i" corso rese&ter6 so rattutto i" rimo attra%erso u&a serie !i esem i c(e moti%era&&o "a teoria matematica e! a"'oritmica. I mo!e""i %erra&&o s%o"ti i& c"asse usa&!o i" acc(etto Li&'o.
CONTEN/TI se'ue&ti:
DEL CORSO:
*"i ar'ome&ti
$? Introduzione alla programmazione lineare >2 ore? As etti 'e&era"i !i mo!e""izzazio&e: i!e&tificazio&e !ei %i&co"i) %i&co"i ri'i!i e %i&co"i f"essibi"i8 i!e&tificazio&e !e'"i obietti%i8 %i&co"i e obietti%i. Obietti%i es "iciti: ottimi seco&!o Pareto. Esem io !e" rob"ema !e""a !ieta: mo!e""izzazio&e co& "a ro'rammazio&e "i&eare e riso"uzio&e co& Li&'o. A&a"isi !i se&sibi"it6. I!e&tificazio&e !i u"teriori obietti%i. Costruzio&e !e""a fro&tiera efficie&te. I&tro!uzio&e !ei %i&co"i !i i&terezza. Raffi&ame&to !e" mo!e""o.
&? +ropriet. della programmazione lineare >2? Struttura 'eometrica. ?ertici e so"uzio&i !i base. Prob"ema !ua"e. Com "eme&tarit6. Ce&&i su" meto!o !e" sim "esso. Ce&&i su" meto!o Mbra&c(, a&!,bou&!N er %ariabi"i i&tere.
'? Modelli di percorsi >$&? Cammi&i mi&imi 0a"'oritmo !i DiP=stra4 e massimi. Pro'rammazio&e !i&amica. Pri&ci io !i ottima"it6. E$uazio&e ricorsi%a. A"'oritmi er reti co& cic"i e acic"ic(e. Cammi&i mi&imi 0F"o<!,Bars(a""4. Prob"ema !e" commesso %ia''iatore 0formu"azio&e co& ia&i !i ta'"io4. Circuiti eu"eria&i e acco iame&to. Mi&imo a"bero !i su orto 0a"'oritmi !i Grus=a" e Prim4. Mo!e""i a reti !i f"usso. F"usso a costo mi&imo. Massimo f"usso. Tras orto.
(? Modelli di allocazione >$&? Asse'&ame&to. Asse'&ame&to tri!ime&sio&a"e. MG&a sac=N. M.i& ac=i&'N. Mo!e""i !i Mstaffi&'N. PL co& 'e&erazio&e !i co"o&&e: Mcutti&' stoc=N) massimo f"usso) Mcre: sc(e!u"i&'N.
0? modelli di schedulazione >$&? Sc(e!u"azio&e a risorsa i&fi&ita 0so"o rece!e&ze4: PERT. Sc(e!u"azio&e a risorsa fi&ita: Prob"emi a! u&a macc(i&a 0%arie formu"azio&i4. Prob"emi a a "icazio&i. i; macc(i&e: Pob,s(o ) f"o:,s(o e o e&,s(o . Esem i !i
TESTI
DI RIFERIMENTO PRINCIPALI:
L. Sc(ra'e) 6I,D4: An optimization modeling s*stem ) Pa"o A"to Scie&tific Press) 5HH5.
MODALIT D+ESAME L+esame co&siste i& u&a ro%a ora"e su" co&te&uto !e" corso. *"i stu!e&ti c(e %o"essero s%o"'ere u& ro'etto !i me!ie !ime&sio&i su tematic(e !i Ricerca O erati%a) uti"izza&!o "e strutture !i "aboratorio) so&o co&si'"iati !i i&serire &e" ro rio ia&o !i stu!i a&c(e i" corso ZLaboratorio !i Ricerca O erati%aZ.
Per u"teriori i&formazio&i su""a ricerca o erati%a e su""+ottimizzazio&e si co&su"ti i" sito !e""+INFORMS 0I&stitute for O eratio&s Researc( a&! Ma&a'eme&t Scie&ce4 o ure $ue""o !e" CIRO 0Ce&tro I&teru&i%ersitario i& Ricerca O erati%a4.
SISTEMI ESPERTI
CREDITI: C
FINALIT
DEL CORSO
Obietti%o !e" corso # "+i&tro!uzio&e a""e tec&ic(e !i base er "a rea"izzazio&e !ei sistemi basati su""a co&osce&za e !ei sistemi es erti) e! i& artico"are i mecca&ismi er "a ra rese&tazio&e !e""a co&osce&za e '"i a"'oritmi !i ra'io&ame&to) i sistemi er i" ra'io&ame&to &o& mo&oto&o) e "e tec&ic(e !i mo!e""izzazio&e co&cettua"e. ?e&'o&o a"tres_ esami&ate a"cu&e a "icazio&i si'&ificati%e) $ua"i "e i&terfacce i&te""i'e&ti) i sistemi er "a mo!e""izzazio&e !e""+ute&te e! i sistemi tutoria"i i&te""i'e&ti.
TEMATICAE
I&tro!uzio&e a""e rob"ematic(e !e""+I&te""i'e&za Artificia"e. Defi&izio&e !i Sistema .asato su""a Co&osce&za. Ra rese&tazio&e !e""a Co&osce&za e A"'oritmi !i ra'io&ame&to. Le reti sema&tic(e. I frame. Le re'o"e !i ro!uzio&e. *rafi Co&cettua"i. Sistemi er i" Ra'io&ame&to No& Mo&oto&o. ATMS. JTMS. Arc(itetture a ."ac=boar!. Tec&ic(e !i mo!e""izzazio&e co&cettua"e. C"assificazio&e Euristica e Tas= *e&erici. I&terfacce I&te""i'e&ti e
Mo!e""izzazio&e !e""+/te&te &ei Sistemi !i Re erime&to !e""+I&formazio&e: i Pro'etti FIRE) /MT e IFT. Sistemi Tutoria"i I&te""i'e&ti: i" Pro'etto ET.
*. *ui!a) C. Tasso) Design and Development o" Ano#ledge-Based S*stems ) J. Bi"e<) 5HH3. D. Fum) Intelligenza Arti"iciale ) I" Mu"i&o) 5HH3.
SISTEMI INFORMATIVI
CREDITI: C
FINALIT
DEL CORSO:
Obietti%o !e" corso # "a !efi&izio&e !e""e rob"ematic(e i&formatic(e &e""+ambito !i u&+or'a&izzazio&e 0 ubb"ica o ri%ata4 c(e i&te&!a automatizzare i ro ri sistemi i&formati%i. Si i&$ua!ra&o "e com ete&ze !e" res o&sabi"e Sistemi I&formati%i e>o !i c(i s%i"u a soft:are er "+or'a&izzazio&e) a&a"izza&!o "e rob"ematic(e a "icati%e c(e !o%r6 affro&tare) co& u&o s'uar!o ai ris%o"ti tec&o"o'ici e ai ra orti !i for&itura.
PRO*RAMMA: I&tro!uzio&e e co&cetti 'e&era"i: Defi&izio&e !i sistema I&formati%o. La !ime&sio&e eco&omica !e" rob"ema. Le fi'ure rofessio&a"i &e""+ambito !i u& Sistema I&formati%o. Cic"o !i %ita.
Arc(itettura e rocessi !ei Sistemi I&formati%i: Le ti o"o'ie !i arc(itettura. Mo!e""i !i rocessi. Cate&a !e" %a"ore. Portafo'"io !irezio&a"e) o erati%o e istituzio&a"e. Ma=e) bu< e outsourci&'. Costi e Performa&ce: Mecca&ismi !i misurazio&e 'e&era"i. ?a"utazio&e !i Sistemi I&formati%i. A&a"isi costi be&efici. A&a"isi !e" risc(io. *estio&e !i u& Pro'etto I&formatico: Or'a&izzazio&e risorse e rocessi !ecisio&a"i. Meto!o"o'ie !i 'estio&e e ia&ificazio&e !i ro'etto. Tec&ic(e !i ProPect Ma&a'eme&t. Soft:are e Aar!:are Se"ectio&. Defi&izio&e ca ito"ato e co&trattua"e. *estio&e ra orti !i for&itura. Sistemi ERP: I" co&cetto !i Sistema ERP e ri&ci a"i f"ussi i&formati%i: ammi&istrati%o) "o'istico) atti%o 0%e&!ite) assi%o 0ac$uisti4) ro!utti%o Sistemi Azie&!a"i a%a&zati: E,Commerce) CRM) DataBare(ouse) DataMi&i&') .usi&ess I&te""i'e&ce.
MODALIT D+ESAME: L+esame co&siste i& u& ro'etto !i 'ru o su rob"ematic(e rea"i) se'uito !a u& co""o$uio ora"e. I& a"ter&ati%a # re%ista u&a ro%a scritta>ora"e su'"i ar'ome&ti !e" ro'ramma.
.I.LIO*RAFIA: .racc(i *.) Fra&ca"a&ci C.) Motta *. Sistemi I&formati%i e azie&!e i& rete. Mc*ra:,Ai"" Ita"ia) Mi"a&o) 1225. De Marco M.) Sistemi I&fomati%i Azie&!a"i) Fra&co A&'e"i E!izio&i) Mi"a&o 1222. .racc(i *.) Motta *.) Processi Azie&!a"i e Sistemi I&formati%i) Fra&co A&'e"i e!izio&i) Mi"a&o 1222 Camusso&e P.F.) I" Sistema I&formati%o Azie&!a"e) Etas 1222 Amour D.) E,.usi&ess 0R4E%o"utio&) Tec&ic(e Nuo%e) 1222.
C. Tasso) P. Omero) La erso&a"izzazio&e !ei Co&te&uti Beb: E,Commerce) I,Access) E,*o%er&me&t) Fra&co A&'e"i) Mi"a&o) 1221. Aa& J.) Gamber M.) Data Mi&i&': co&ce ts a&! tec(&i$ues) Mor'a& Gaufma&&) S.Fra&cisco) 1225. Materia"e !i!attico co&se'&ato a "ezio&e.