Definizione. Cenni di intelligenza artificiale. Fondamenti teorici della A.I. Affermazioni sull AI. Test di Touring. Può pensare una macchina?

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Definizione. Cenni di intelligenza artificiale. Fondamenti teorici della A.I. Affermazioni sull AI. Test di Touring. Può pensare una macchina?"

Transcript

1 Definizione Cenni di intelligenz rtificile L intelligenz rtificile è un disciplin che si occup del comportmento intelligente in sistemi rtificili rgionmento pprendimento comuniczione zione in mbienti complessi Intelligenz Artificile Cenni di intelligenz rtificile 2 Affermzioni sull AI Fondmenti teorici dell A.I. ffermzione forte: un computer correttmente progrmmto può essere vermente dotto di un intelligenz pur, non distinguibile in nessun senso dll intelligenz umn ffermzione debole: un computer non srà mi in grdo di essere equivlente un mente umn m potrà solo rrivre simulre lcuni processi cognitivi senz riuscire riprodurli nell loro totle complessità Intelligenz Artificile Cenni di intelligenz rtificile 3 Il rgionmento e in generle ogni tipo di ttività dell mente è un clcolo Il clcolo è inteso come mnipolzione di simboli in bse regole prestbilite Il simbolo, o rppresentzione, è un oggetto che st per o rffigur un ltro oggetto Può esistere un mnipoltore utomtico di simboli Intelligenz Artificile Cenni di intelligenz rtificile 4 Può pensre un mcchin? Test di Touring Può Può Qundo? Or o in un futuro imprecisto? In principio o in prtic? Mcchin Mcchin In senso strtto? Ci riferimo d un processo utomtizzto (meccnico, elettronico, biologico, chimico, simbolico)? Pensre Aln Turing (92-954), uno dei pdri dell modern informtic e colui il qule h definito formlmente il concetto di mcchin clcoltrice e di computzione, h dto inizio d un serie di studi volti rispondere tle domnd Intelligenz Artificile Cenni di intelligenz rtificile 5 Intelligenz Artificile Cenni di intelligenz rtificile 6

2 ...lcune domnde... ELIZA. Sei un computer? 2. Che ore sono? 3. Qundo fu ssssinto in presidente Kenned 4. Qunto f Può il binco vincere un moss prtendo d quest posizione degli sccchi..? 6. Descrivimi i tuoi genitori 7. Come ti f sentire l lettur di quest poesi? 8. Cos pensi di Chrles Dickens? 9. Qule è l tu opinione nei confronti degli rmmenti militri, ll luce del ftto che milioni di persone muoiono di fme? Person: Mi moglie mi dice che sono sempre depresso ELIZA: Mi spice sentire dire che tu si depresso Person: L verità è che sono un po infelice ELIZA: Pensi che venire qui ti fcci senire un po meno infelice? Person: Bene, forse prlndo con te troverò il perchè odio mio frtello ELIZA: Dimmi qulcos dell tu fmigli Intelligenz Artificile Cenni di intelligenz rtificile 7 Intelligenz Artificile Cenni di intelligenz rtificile 8 versione estes Versione estes: Interzione ttrverso telecmere (visione rtificile) Possibilità di scmbire oggetti (rti robotici) Cpcità richieste per superre il test: elborzione linguggio nturle rppresentzione dell conoscenz rgionmento utomtico pprendimento utomtico visione rtificile e robotic Il gioco è form di intelligenz? Il gioco degli undici: Situzione inizile: stecchini su un tvolo Obiettivo: non prendere l ultimo stecchino Regole: due gioctori si lternno nel prendere un numero x di stecchini t.c. x 3 Intelligenz Artificile Cenni di intelligenz rtificile 9 Intelligenz Artificile Cenni di intelligenz rtificile 0...strtegi... Il gioco è form di intelligenz? Mcchin: lev 2 stecchini Mrio: lev x stecchini, x 3 Mcchin: lev 4-x stecchini Mrio: lev x stecchini, x 3 Mcchin: lev 4-x stecchini Mrio: lev ultimo stecchino Strtegi mplibile: 4*i+3 se inizi Mcchin 4*i+ se inizi Mrio Intelligenz Artificile Cenni di intelligenz rtificile Il gioco dell Torre di Hnoi: Situzione inizile: 20 dischi di mpiezz decrescente impilti in ordine crescente dll lto verso il bsso nel primo dei tre pletti disponibili (dicimo X) Obiettivo: trsportre tutti i dischi rispettndo l impilmento nell ultimo pletto (dicimo Y) Regole: il gioctore può spostre solo un disco ll volt e potendo mettere un disco solo su un ltro disco più grnde e mi su uno più piccolo Intelligenz Artificile Cenni di intelligenz rtificile 2 2

3 ...strtegi... Il gioco è form di intelligenz? Muovi (n,x,y,z) Se n = spostre il disco d X Y ltrimenti Muovi(n-,X,Z,Y) spost il disco d X Y Muovi(n-,Z,Y,X) Il gioco del Tic-Tc-Toe: Situzione inizile: un mtrice 3 3 Obiettivo: porre tre oggetti uguli su un stess rig o colonn o digonle Regole: due gioctori si lternno nel prendere pizzre il proprio simbolo in un delle posizioni libere nell mtrice Intelligenz Artificile Cenni di intelligenz rtificile 3 Intelligenz Artificile Cenni di intelligenz rtificile 4...strtegi... Grfi dello spzio degli stti Non esiste un strtegi vincente. Nodo di prtenz 2. Opertori che trsformno l descrizione di uno stto dell mbiente in quell dello stto risultnte dopo un zione 3. Condizione obiettivo Intelligenz Artificile Cenni di intelligenz rtificile 5 Intelligenz Artificile Cenni di intelligenz rtificile 6 Ricerc in mpiezz Definizione: procedur che gener un grfo dello spzio degli stti esplicito pplicndo tutti gli opertori possibili l nodo di prtenz, pplicndo quindi tutti gli opertori possibili tutti I diretti successori del nodo di prtenzm poi i loro successori, etc. Intelligenz Artificile Cenni di intelligenz rtificile 7 Intelligenz Artificile Cenni di intelligenz rtificile 8 3

4 Ricerc in profondità Definizione: procedur che gener un grfo dello spzio degli stti generndo I successori di un nodo uno ll volt pplicndo opertori individuli in un ordine prestbilito. In corrispondenz di ogni nodo sono indicti gli ulteriori opertori che possono essere successivmente pplicti, se necessrio. Generto un successore, viene generto uno dei suoi successori e così vi fino l rggiungimento di un limite di profondità. Intelligenz Artificile Cenni di intelligenz rtificile 9 Intelligenz Artificile Cenni di intelligenz rtificile 20 Intelligenz Artificile Cenni di intelligenz rtificile 2 Intelligenz Artificile Cenni di intelligenz rtificile 22 Ricerc euristic Definizione: procedur di ricerc che procede ttrverso i nodi che risultno essere i migliori per il rggiungimento del nodo obiettivo in bse ll informzione dt d un dt funzione di vlutzione. Dt f, bst su informzioni specifiche per il dominio del pb., ipotizzimo che vlori piccoli indichino nodi migliori 2. Si espnd l psso successivo quel nodo n t.c. f(n) h il vlore più piccolo 3. Si termin qundo il successivo d espndere è un nodo Intelligenz Artificile obiettivo Cenni di intelligenz rtificile 23 Intelligenz Artificile Cenni di intelligenz rtificile 24 4

5 Esercizi Dto il gioco del Tic-Tc-Toe: generre il grfo degli stti secondo l ricerc in mpiezz generre il grfo degli stti secondo l ricerc in profondità generre il grfo degli stti secondo l ricerc euristic Intelligenz Artificile Cenni di intelligenz rtificile 25 Intelligenz Artificile Cenni di intelligenz rtificile 26 Algoritmo Minimx. Generre l intero lbero 2. Vlutre ciscuno stto terminle 3. Fre rislire I vlori di nodi fogli verso l rdice uno strto ll volt prendendo il minimo o il mssimo in bse l turno del gioctore Intelligenz Artificile Cenni di intelligenz rtificile 27 Intelligenz Artificile Cenni di intelligenz rtificile 28 Intelligenz Artificile Cenni di intelligenz rtificile 29 Intelligenz Artificile Cenni di intelligenz rtificile 30 5

6 Pottur Intelligenz Artificile Cenni di intelligenz rtificile 3 Intelligenz Artificile Cenni di intelligenz rtificile 32 Approcci ll AI Approccio simbolico: esempio Simbolici operzioni logiche pplicte bsi di conoscenz dichirtive Sub simbolici ispirti modelli di evoluzione biologic Inicre se un blocco si trov sopr un ltro :- A_di_Sopr(A,C) Su (A,B) Su (B,C) A_di_Sopr(x,):- Su(x,) A_di_Sopr(x,):- Su(x,z), A_di_Sopr(z,) Intelligenz Artificile Cenni di intelligenz rtificile 33 Intelligenz Artificile Cenni di intelligenz rtificile 34...continu... Approccio simbolico: esempio Torre di Hnoi Hnoi (0,X,Y,Z,[]) Hnoi (n,x,y,z,moves):- Hnoi (n-,x,z,y,m) Hnoi (n-,z,y,x,m2) ppend(m,[move(x,y) M2],Moves) Intelligenz Artificile Cenni di intelligenz rtificile 35 Intelligenz Artificile Cenni di intelligenz rtificile 36 6

7 Approccio sub simbolico: esempio Modello di un neurone Elementi crtterizznti un neurone: Le reti neurli bste sull ide del neurone biologico L pprendimento vviene grzie lle sinpsi che cmbino l forz delle connessioni nel tempo (Hebb, 949) Le sinpsi sono di due tipi: eccittorie ed inibitorie che innlzno o bbssno il potenzile del neurone mplificndo o inibendo il segnle che rriv ttrverso lungo l ssone Il nostro cervello contiene neuroni ciscuno dei quli h dlle 000 lle connessioni con i neuroni vicini x w w 2 w n F Il numero di cnli in ingresso: Il tipo di segnli in ingresso: I pesi di ciscun connessione: L funzione di ttivzione: L funzione di uscit: Le uscite di F e f Y f n x i w i F f, Y x n Intelligenz Artificile Cenni di intelligenz rtificile 37 Intelligenz Artificile Cenni di intelligenz rtificile 38 Neurone binrio sogli Altre funzioni di uscit Elementi crtterizznti il neurone binrio sogli: F è l somm pest degli input Y f è un funzione di HevSide (HS): Y Y = Σ i w i x i Y = HS ( - θ ) x x n F f Y θ Y θ Y θ θ Intelligenz Artificile Cenni di intelligenz rtificile 39 Intelligenz Artificile Cenni di intelligenz rtificile 40 Il Perceptron Il Perceptron Crtteristiche: - prticolre modello di singolo neurone - gli ingressi (x,,,x n ) possono essere numeri interi o binri ( binrio = pprtenente ll insieme {0,} ) L sogli θ dell funzione HS viene dett nche bis e spesso viene settt 0 nche trmite l introduzione di un ulteriore ingresso con vlore costnte - e peso θ - θ - le uscite sono esclusivmente binrie =Σ i w i x i - l funzione di ttivzione del neurone è dt dll somm pest degli ingressi - l uscit è l funzione di HevSide = HS ( - θ ) x w w 2 w n Σ HS x n Intelligenz Artificile Cenni di intelligenz rtificile 4 Intelligenz Artificile Cenni di intelligenz rtificile 42 7

8 Clssi riconosciute d un perceptron continu In un perceptron due ingressi bbimo = w x + w 2 per cui gli elementi (ptterns) riconosciuti (con uscit ) sono quelli tli che w x + w 2 > θ clsse riconosciut θ /w 2 x w Σ HS w 2 Intelligenz Artificile Cenni di intelligenz rtificile 43 θ /w Visulizzndo l insieme w x + w 2 - θ > 0 in un pino crtesino con x sulle scisse e sulle ordinte ottenimo il semipino Intelligenz Artificile Cenni di intelligenz rtificile 44 x : AND continu x Σ θ =.5 HS = 0 (0,) (,) (0,0) (,0) = x Intelligenz Artificile Cenni di intelligenz rtificile 45 Intelligenz Artificile Cenni di intelligenz rtificile 46 : OR continu x Σ θ =0.5 HS = 0 (0,) (,) (0,0) (,0) = x Intelligenz Artificile Cenni di intelligenz rtificile 47 Intelligenz Artificile Cenni di intelligenz rtificile 48 8

9 : NOT continu θ =-0.5 x - Σ HS = = 0 0 x Intelligenz Artificile Cenni di intelligenz rtificile 49 Intelligenz Artificile Cenni di intelligenz rtificile 50 Limiti del perceptron : XOR Per pprendere un clssificzione, il problem deve essere tle che: - i pttern pprtenenti ll clsse d riconoscere devono essere contenuti in un semipino dello spzio di ingresso (0,) (,) = 0 - con n ingressi, lo spzio divent n-dimensionle ed i pttern vengono seprti d un iperpino = 0 = (0,0) (,0) x Intelligenz Artificile Cenni di intelligenz rtificile 5 Intelligenz Artificile Cenni di intelligenz rtificile 52 Esercizi Soluzione. Dto il seguente perceptron indicre l funzione linermente seprbile implementt. Si consideri che gli ingressi possno ssumere vlori 0,. θ =.5 x = x x 3 - Σ HS x 3 Intelligenz Artificile Cenni di intelligenz rtificile 53 Intelligenz Artificile Cenni di intelligenz rtificile 54 9

10 Esercizi Soluzione 2 2. Dto un perceptron tre ingressi con funzione di sogli vente θ = 2 indicre il peso d ssocire ciscuno di essi per seprre i seguenti insiemi A = {(,2,0), (-,3,0),(-2,-3,0)} B = {(0,,2),(9,0,),(-3,-3,3)} Ciò che si st cercndo è un peculirità dei punti di A, non presente in quelli di B, che poss essere utilizzt come fttore discriminnte d un perceptron. Tle peculirità deve interessre esclusivmente i vlori delle singole coordinte dei punti nei due insiemi, essendo solo queste l possibile discriminnte. Soffermndoci quindi sulle coordinte dei punti di A e poi su quelle dei punti di B notimo, d esempio, che l terz componente dei primi è sempre null, mentre nei secondi non lo è mi, nzi è ddirittur sempre positiv. Questo ftto suggerisce un insieme di pesi che gisc come segue: - nnulli le prime due coordinte (pesi w = 0 e w 2 = 0 ) - eslti l terz coordint trmite un peso diverso d zero e che superi per ciscuno dei i tre punti, l sogli θ = 2 (d esempio peso w 3 = 2 ) In tl modo il perceptron sui punti dell insieme A dà come output sempre il vlore 0, mentre sui punti dell insieme B i vlori 4,2,6 (tutti >= θ ) come desiderto. Intelligenz Artificile Cenni di intelligenz rtificile 55 Intelligenz Artificile Cenni di intelligenz rtificile 56 Esercizi Soluzione 3 3. Dto un perceptron due ingressi con pesi w = 2 e w 2 = 0 e funzione di sogli con θ =, indicre sul pino crtesino l insieme di punti d lui riconosciuto. Se e come vri tle insieme l vrire del vlore θ nell funzione di sogli? Con un perceptron due ingressi con pesi w = 2 e w 2 = e funzione di sogli con θ =, riuscimo seprre i punti dell insieme: θ /w 2 = clsse B clsse A Al vrire di θ l inclinzione dell rett non vrierà, m l su posizione sì, ottenendo quindi clssi seprte diverse. θ /w =½ x Intelligenz Artificile Cenni di intelligenz rtificile 57 Intelligenz Artificile Cenni di intelligenz rtificile 58 Esercizi Soluzione 4 4. Dto un perceptron tre ingressi con pesi w = 2, w 2 = 0 e w 3 = indicre un possibile vlore di θ nell funzione di sogli ffinché sino seprti i due insiemi A = {(,2,0), (,3,0),(-2,3,0)} B = {(0,,3),(-,0,6),(3,0,0)} Nei due insiemi di punti indicti il perceptron dà come uscit i vlori: insieme A : 2, 2, -4 insieme B : 3, 4, 6 Pertnto è possibile seprre i due insiemi utilizzndo un funzione di sogli con sclino pri l minimo del vlore di uscit degli elementi dell insieme B, cioè θ = 3 Intelligenz Artificile Cenni di intelligenz rtificile 59 Intelligenz Artificile Cenni di intelligenz rtificile 60 0

11 Esercizi Soluzione 5 5. Indicre un perceptron (pesi e funzione di sogli) che sepr i seguenti insiemi di punti nel pino crtesino: Un possibile rett che sepri i due insiemi di punti rossi e verdi pss di punti di coordinte (-/2,0) e (0,/2) cioè θ /w 2 = /2 e θ /w = - /2 D questo seguono, d esempio, i seguenti vlori θ = w 2 = 2 w = -2 Intelligenz Artificile Cenni di intelligenz rtificile 6 Intelligenz Artificile Cenni di intelligenz rtificile 62 Esercizi Soluzione 6 6. Dto il seguente perceptron indicre il pino di seprzione d esso individuto θ = -.5 x Σ HS x 3 x x 3 Intelligenz Artificile Cenni di intelligenz rtificile 63 x + + x 3 =.5 Intelligenz Artificile Cenni di intelligenz rtificile 64 Apprendimento Cos si pprende Definizione: un sistem pprende se è in grdo di migliorre nel tempo le proprie prestzioni nell soluzione di un pb. senz essere riprogrmmto. Risultti d ottenere: migliorre l ccurtezz delle soluzioni proposte coprire uno spettro progressivmente più mpio di pb. ridurre l utilizzzione di risorse (ex: trovre un insieme di regole più comptto e più comprensibile) L principle clsse di pb. che possono venire ppresi sono quelli di clssificzione determinre le regole che permettono di discriminre un insieme di oggetti come pprtenenti d un ltr ctegori Ex: dignosticre un mltti in bse i sintomi Intelligenz Artificile Cenni di intelligenz rtificile 65 Intelligenz Artificile Cenni di intelligenz rtificile 66

12 Il processo di pprendimento Il processo di pprendimento L rete oper in due fsi distinte: Fse di ddestrmento (trining): in cui si memorizzno le informzioni desiderte Fse di evoluzione (testing): in cui si recuperno le informzioni memorizzte. Apprendimento supervisionto 2. Apprendimento non supervisionto 3. Apprendimento competitivo Per ddestrmento intendimo l cpcità dell rete di modificre il comportmento in un direzione desidert vrindo i pesi delle connessioni sinptiche 4. Apprendimento con rinforzo Intelligenz Artificile Cenni di intelligenz rtificile 67 Intelligenz Artificile Cenni di intelligenz rtificile 68 Apprendimento supervisionto Apprendimento non supervisionto Crtteristiche:. L rete impr riconoscere un insieme di configurzioni di ingresso desiderte 2. È presente un supervisore che present gli esempi di corretti pttern ingresso-uscit 3. L rete viene ddestrt con l obiettivo di imprre gli esempi e di generlizzre d essi (x,,,x n ) esempio Rete neurle w modific pesi output dell rete Crtteristiche:. L rete impr riconoscere un insieme di configurzioni di ingresso desiderte 2. L rete cre opportuni cluster rppresenttivi dei dti stessi utilizzndo metodi topologici o probbilistici 3. L rete viene ddestrt con l obiettivo di imprre gli esempi e di generlizzre d essi d Lerning rule output desiderto Intelligenz Artificile Cenni di intelligenz rtificile 69 Intelligenz Artificile Cenni di intelligenz rtificile 70 Apprendimento competitivo Apprendimento con rinforzo Crtteristiche:. I neuroni competono per specilizzrsi riconoscere un determinto stimolo 2. All fine ogni stimolo ttiv un prticolre neurone ttundo un isomorfismo tr stimoli e neuroni di uscit Crtteristiche:. Tipico di sistemi che compiono zioni composte d sotto-zioni 2. Spesso pplicto nei csi in cui non è possibile specificre ptterns di ingresso-uscit come per i sistemi supervisionti 3. Al sistem viene fornito solo un rinforzo che questo interpret come segnle positivo/negtivo sul suo comportmento e ggiust i prmetri di conseguenz (x,,,x n ) Rete neurle (x,,,x n ) Rete neurle esempio output dell rete esempio output dell rete Rinforzo w modific pesi Critico Intelligenz Artificile Cenni di intelligenz rtificile 7 Intelligenz Artificile Cenni di intelligenz rtificile 72 2

13 Apprendimento supervisionto per perceptron Algoritmo di pprendimento Ide: minimizzre є = Σ x in TS ( k - d,k ) 2 Teorem di convergenz [Rosenbltt]: L lgoritmo di pprendimento per percettroni converge sempre n insiede di pesi che rppresentno correttmente gli esempi, se questi provengono d un funzione linermente seprbili. Si fiss un trining set di M esempi (il grssetto indic un vettore di elementi) TS = {( x k, d,k ): k = M } 2. Si inizilizzno i pesi w k con vlori csuli 3. Si present un coppi ( x k, d,k ) l perceptron 4. Si clcol l rispost k del perceptron 5. Si ggiornno i pesi con un regol dett delt rule w = ηδ x 6. Si ritorn l psso 3 finché tutte le risposte non sono corrette, cioè k = d,k, K= M Intelligenz Artificile Cenni di intelligenz rtificile 73 Intelligenz Artificile Cenni di intelligenz rtificile 74 continu Struttur delle reti - θ x Rete limentt in vnti: collegmenti unidirezionli senz cicli w w 2 Σ Rete strtifict: tutti i neuroni di uno strto sono connessi con tutti i neuroni dello strto successivo non esistono connessioni tr neuroni dello stesso strto x n w n delt rule δ = d d Rete ricorrente: configurzione rbitrri dei collegmenti Rete completmente conness w i (t+) = w i (t) + ηδ x i η = coefficiente di pprendimento (lerning rte) Intelligenz Artificile Cenni di intelligenz rtificile 75 Intelligenz Artificile Cenni di intelligenz rtificile 76 Reti 3 strti XOR Riconoscimento di singole regioni convesse: output input x e seprzione dei semipini clsse riconosciut x θ = 0.5 θ = θ = 0.5 x x Intelligenz Artificile Cenni di intelligenz rtificile 77 Intelligenz Artificile Cenni di intelligenz rtificile 78 3

14 Esercizi Soluzione. Dt l seguente rete multistrto individure l funzione implementt. θ =.5 x - - θ = 0.5 θ =-0.5 = x + x Intelligenz Artificile Cenni di intelligenz rtificile 79 Intelligenz Artificile Cenni di intelligenz rtificile 80 Esercizi Soluzione 2 2. Dt l funzione = x x 3 + x x 3 + x x 3 individure l rete multistrto che l implement. x - θ =.5 - θ =.5 θ = x 3 θ =.5 - Intelligenz Artificile Cenni di intelligenz rtificile 8 Intelligenz Artificile Cenni di intelligenz rtificile 82 Esercizi Soluzione 3 3. Dt l seguente rete multistrto individure l insieme dei punti del pino riconosciuti. θ =.5 x - x θ = θ =-0.5 x Intelligenz Artificile Cenni di intelligenz rtificile 83 Intelligenz Artificile Cenni di intelligenz rtificile 84 4

15 Reti 4 strti Apprendimento zon blu Le reti 4 strti possono seprre insiemi di regioni qulsisi output zon ross Gli lgoritmi di pprendimento per le reti multistrto non sono efficienti e non dnno grnzi di convergere verso un ottimo globle L lgoritmo di pprendimento utilizzto è noto con il nome di Bck Propgtion: x Problemi - modific dei pesi nello strto finle - modific dei pesi negli strti intermedi input x e L ggiunt di strti non miglior l cpcità di riconoscimento Intelligenz Artificile Cenni di intelligenz rtificile 85 Intelligenz Artificile Cenni di intelligenz rtificile 86 Osservimo Generlizzzione Utilizzndo le funzioni di uscit lineri qulsisi rete più strti srebbe riconducibile d un rete 4 strti (composizione di trsformzioni lineri) Per effetture clssificzioni complesse, i neuroni devono essere non lineri e orgnizzti in più strti Se lcuni esempi del trining set (insieme sul qule l rete pprende) sono inconsistenti, il processo di pprendimento non è detto che converg, cioè non è detto che i pesi delle singole connessioni si ssestino su un vlore Nei csi reli tle inconsistenz può essere trdott in rumore sui dti di ingresso Per GENERALIZZAZIONE di un rete intendimo l cpcità dell rete di riconoscere stimoli che sono diversi d quelli forniti nel trining set. Per vlutre tle fondmentle cpcità di un rete si definisce un ltro insieme di esempi, detto vlidtion set, sul qule l funzione di uscit dell rete è not, e si verific su questo l cpcità dell rete. Intelligenz Artificile Cenni di intelligenz rtificile 87 Intelligenz Artificile Cenni di intelligenz rtificile 88 Sovr-dttmento Clssificzione Errori commessi sul vlidtion set potrebbero essere dovuti d uno scrso numero di neuroni nscosti presenti nell rete. In ltre prole l insieme d seprre/riconoscere potrebbe essere più complesso di qunto immginto inizilmente. Un perceptron può essere ddestrto riconoscere se un pttern d ingresso pprtiene o meno d un determint clsse: = concvo 0 = convesso = cubo 0 = non cubo Quindi pochi neuroni nscosti potrebbero non essere sufficienti ridurre l errore globle nel riconoscimento Al contrrio troppi neuroni nscosti potrebbero fossilizzre eccessivmente l rete sugli esempi specifici del trining set. In tl cso l rete riconoscerebbe bene gli elementi del trining set, m srebbe pessim su esempi nuovi (situzione di OVERTRAINING) Intelligenz Artificile Cenni di intelligenz rtificile 89 Intelligenz Artificile Cenni di intelligenz rtificile 90 5

16 Appliczioni delle reti neurli Alberi di decisione. Pronunci di testi 2. Riconoscimento vocle 3. Riconoscimento di crtteri scritti mno Definizione: lbero t.c. ogni nodo interno rppresent un vribile, un rco verso un nodo figlio rppresent un possibile vlore per quell proprietà e un fogli il vlore predetto per l vribile obiettivo prtire d i vlori delle ltre proprietà, che nell'lbero è rppresentto del cmmino (pth) dll nodo rdice (root) l nodo fogli. Intelligenz Artificile Cenni di intelligenz rtificile 9 Intelligenz Artificile Cenni di intelligenz rtificile 92 Apprendimento Intelligenz Artificile Cenni di intelligenz rtificile 93 Intelligenz Artificile Cenni di intelligenz rtificile 94 Errore Intelligenz Artificile Cenni di intelligenz rtificile 95 Intelligenz Artificile Cenni di intelligenz rtificile 96 6

17 Algoritmo di pprendimento Algoritmi genetici. Si rccoglie un grnde insieme di esempi 2. Lo si divide in due insiemi disgiunti: ddestrmento e test 3. Si us l lgoritmo di pprendimento con gli esempi di ddestrmento per generre un ipotesi H 4. Si misur l percentule di esempi nell insieme di test che viene clssifict correttmente d H 5. Si ripete d 4 con insiemi di ddestrmento di dimensioni diverse con insiemi selezionti csulmente Definizione: lgoritmi che prtendo d un insieme di uno o più individue pplic un li selezion e utilizz opertori di riproduzione in modo d fre evolvere un individuo bene dttto Intelligenz Artificile Cenni di intelligenz rtificile 97 Intelligenz Artificile Cenni di intelligenz rtificile 98 continu Cos è l funzione di degutezz? f: I R Come è rppresentto un individuo? string su un lfbeto finito Come vengono selezionti gli individui? selezione stocstic con probbilità di selezione proporzionle ll degutezz Come si riproducono gli individui? incrocio e mutzione Intelligenz Artificile Cenni di intelligenz rtificile 99 Intelligenz Artificile Cenni di intelligenz rtificile 00 7

3. Funzioni iniettive, suriettive e biiettive (Ref p.14)

3. Funzioni iniettive, suriettive e biiettive (Ref p.14) . Funzioni iniettive, suriettive e iiettive (Ref p.4) Dll definizione di funzione si ricv che, not un funzione y f( ), comunque preso un vlore di pprtenente l dominio di f( ) esiste un solo vlore di y

Dettagli

Equivalenza tra equazioni di Lagrange e problemi variazionali

Equivalenza tra equazioni di Lagrange e problemi variazionali Equivlenz tr equzioni di Lgrnge e problemi AM Cherubini 20 Aprile 2007 1 / 21 Problemi Mostrimo or come si possono ricvre sistemi di equzioni con struttur lgrngin in un mbito diverso: prim si er crtterizzt

Dettagli

AUTOVALORI ED AUTOVETTORI. Sia V uno spazio vettoriale di dimensione finita n.

AUTOVALORI ED AUTOVETTORI. Sia V uno spazio vettoriale di dimensione finita n. AUTOVALORI ED AUTOVETTORI Si V uno spzio vettorile di dimensione finit n. Dicesi endomorfismo di V ogni ppliczione linere f : V V dello spzio vettorile in sé. Se f è un endomorfismo di V in V, considert

Dettagli

Siano α(x), β(x) due funzioni continue in un intervallo [a, b] IR tali che. α(x) β(x).

Siano α(x), β(x) due funzioni continue in un intervallo [a, b] IR tali che. α(x) β(x). OMINI NORMALI. efinizione Sino α(), β() due funzioni continue in un intervllo [, b] IR tli che L insieme del pino (figur 5. pg. ) α() β(). = {(, ) [, b] IR : α() β()} si chim dominio normle rispetto ll

Dettagli

si definisce Funzione Integrale; si chiama funzione integrale in quanto il suo * x

si definisce Funzione Integrale; si chiama funzione integrale in quanto il suo * x Appunti elorti dll prof.ss Biondin Gldi Funzione integrle Si y = f() un funzione continu in un intervllo [; ] e si 0 [; ]; l integrle 0 f()d si definisce Funzione Integrle; si chim funzione integrle in

Dettagli

Stabilità dei sistemi di controllo in retroazione

Stabilità dei sistemi di controllo in retroazione Stbilità dei sistemi di controllo in retrozione Criterio di Nyquist Il criterio di Nyquist Estensione G (s) con gudgno vribile Appliczione sistemi con retrozione positiv 2 Criterio di Nyquist Stbilità

Dettagli

Nome.Cognome classe 5D 18 Marzo 2014. Verifica di matematica

Nome.Cognome classe 5D 18 Marzo 2014. Verifica di matematica Nome Cognome cls 5D 18 Mrzo 01 Problem Verific di mtemtic In un sistem di riferimento crtesino Oy, si consideri l funzione: ln f ( > 0 0 e si determini il vlore del prmetro rele in modo tle che l funzione

Dettagli

ESPONENZIALI E LOGARITMI

ESPONENZIALI E LOGARITMI ESPONENZIALI E LOGARITMI 1 se 0, per ogni R ; Teori in sintesi ESPONENZIALI Potenze con esponente rele L potenz è definit: se >0: Sono definite: se >0: Non sono definite: Csi prticolri: Le proprietà delle

Dettagli

1 b a. f(x) dx. Osservazione 1.2. Se indichiamo con µ il valore medio di f su [a, b], abbiamo che. f(x) dx = µ(b a) =

1 b a. f(x) dx. Osservazione 1.2. Se indichiamo con µ il valore medio di f su [a, b], abbiamo che. f(x) dx = µ(b a) = Note ed esercizi di Anlisi Mtemtic - (Fosci) Ingegneri dell Informzione - 28-29. Lezione del 7 novembre 28. Questi esercizi sono reperibili dll pgin web del corso ttp://utenti.unife.it/dmino.fosci/didttic/mii89.tml

Dettagli

Il lemma di ricoprimento di Vitali

Il lemma di ricoprimento di Vitali Il lemm di ricoprimento di Vitli Si I = {I} un fmigli di intervlli ciusi contenuti in R. Diremo ce l fmigli I ricopre l insieme E nel senso di Vitli (oppure ce I è un ricoprimento di Vitli di E) se per

Dettagli

INTEGRALI IMPROPRI. f(x) dx. e la funzione f(x) si dice integrabile in senso improprio su (a, b]. Se tale limite esiste ma

INTEGRALI IMPROPRI. f(x) dx. e la funzione f(x) si dice integrabile in senso improprio su (a, b]. Se tale limite esiste ma INTEGRALI IMPROPRI. Integrli impropri su intervlli itti Dt un funzione f() continu in [, b), ponimo ε f() = f() ε + qundo il ite esiste. Se tle ite esiste finito, l integrle improprio si dice convergente

Dettagli

Integrali de niti. Il problema del calcolo di aree ci porterà alla de nizione di integrale de nito.

Integrali de niti. Il problema del calcolo di aree ci porterà alla de nizione di integrale de nito. Integrli de niti. Il problem di clcolre l re di un regione pin delimitt d gr ci di funzioni si può risolvere usndo l integrle de nito. L integrle de nito st l problem del clcolo di ree come l equzione

Dettagli

Teoria in sintesi ESPONENZIALI. Potenze con esponente reale. La potenza. Sono definite: Non sono definite: Casi particolari :

Teoria in sintesi ESPONENZIALI. Potenze con esponente reale. La potenza. Sono definite: Non sono definite: Casi particolari : Teori in sintesi ESPONENZIALI Potenze con esponente rele L potenz è definit: se >, per ogni R se, per tutti e soli gli R se

Dettagli

lim lim lim + Nome.Cognome Classe 4D 7 Aprile 2011 Verifica di matematica Problema (punti 3) Sono date le funzioni: f ( x)

lim lim lim + Nome.Cognome Classe 4D 7 Aprile 2011 Verifica di matematica Problema (punti 3) Sono date le funzioni: f ( x) Nome.Cognome Clsse D 7 Aprile 0 Verific di mtemtic Problem (punti ) Sono dte le funzioni: f ( ) =, g ( ) = ( ) ) determinre il dominio di f() e di g() b) determinre, senz l uso dell clcoltrice f ( ) c)

Dettagli

Introduzione all algebra

Introduzione all algebra Introduzione ll lgebr E. Modic ersmo@glois.it Liceo Scientifico Sttle S. Cnnizzro Corso P.O.N. Modelli mtemtici e reltà A.S. 2010/2011 Premess Codificre e Decodificre Nell vit quotidin ci cpit spesso di

Dettagli

Corso di Analisi Matematica Calcolo integrale per funzioni di una variabile

Corso di Analisi Matematica Calcolo integrale per funzioni di una variabile Corso di Anlisi Mtemtic Clcolo integrle per funzioni di un vribile Lure in Informtic e Comuniczione Digitle A.A. 2013/2014 Università di Bri ICD (Bri) Anlisi Mtemtic 1 / 40 1 L integrle come limite di

Dettagli

F (r(t)), d dt r(t) dt

F (r(t)), d dt r(t) dt Cmpi vettorili Un cmpo vettorile è un funzione vlori vettorili F : A R, con A R n, ove in questo cso l imensione el ominio e el coominio è l stess. F ( 1, 2,..., n ) (f 1 ( 1, 2,..., n ), f 2 ( 1, 2,...,

Dettagli

La parabola. Fuoco. Direttrice y

La parabola. Fuoco. Direttrice y L prol Definizione: si definise prol il luogo geometrio dei punti del pino equidistnti d un punto fisso detto fuoo e d un rett fiss dett direttrie. Un rppresentzione grfi inditiv dell prol nel pino rtesino

Dettagli

Facoltà di Economia - Università di Sassari Anno Accademico 2004-2005. Dispense Corso di Econometria Docente: Luciano Gutierrez.

Facoltà di Economia - Università di Sassari Anno Accademico 2004-2005. Dispense Corso di Econometria Docente: Luciano Gutierrez. Fcoltà di Economi - Università di Sssri Anno Accdemico 2004-2005 Dispense Corso di Econometri Docente: Lucino Gutierrez Algebr Linere Progrmm: 1.1 Definizione di mtrice e vettore 1.2 Addizione e sottrzione

Dettagli

riferimento (assi coordinati) monodimensionale (retta orientata, x), bidimensionale (piano, xy) tridimensionale (spazio tridim.

riferimento (assi coordinati) monodimensionale (retta orientata, x), bidimensionale (piano, xy) tridimensionale (spazio tridim. I vettori rppresentti come segmenti orientti (rppresentzione geometric) si intendono con l origine coincidente con l origine del sistem di riferimento (ssi coordinti) eccetto nei csi in cui si prli di

Dettagli

11. Rango di una matrice.

11. Rango di una matrice. Rngo di un mtrice Considerimo un mtrice di tipo m n d elementi reli rppresentt nel modo seguente: A = (m-) m (m-) m (m-) m (m-) m (n-) (n-) (n-) (m-),(n-) m(n-) n n n (m-)n mn Per ogni i =,,,, (m-), m,

Dettagli

16 Stadio amplificatore a transistore

16 Stadio amplificatore a transistore 16 Stdio mplifictore trnsistore Si consideri lo schem di Figur 16.1 che riport ( meno dei circuiti di polrizzzione) uno stdio mplifictore relizzto medinte un trnsistore bipolre nell configurzione d emettitore

Dettagli

11. Rango di una matrice.

11. Rango di una matrice. Rngo di un mtrice Considerimo un mtrice di tipo m n d elementi reli rppresentt nel modo seguente: A = (m-) m (m-) m (m-) m (m-) m (n-) (n-) (n-) (m-),(n-) m(n-) n n n (m-)n mn Per ogni i =,,,, (m-), m,

Dettagli

1) In una equazione differenziale del tipo y (t)=a y(t), con a > 0, il tempo di raddoppio, cioè il tempo T tale che y(t+t)=2y(t) è:

1) In una equazione differenziale del tipo y (t)=a y(t), con a > 0, il tempo di raddoppio, cioè il tempo T tale che y(t+t)=2y(t) è: 1) In un equzione differenzile del tipo y (t)= y(t), con > 0, il tempo di rddoppio, cioè il tempo T tle che y(t+t)=y(t) è: A) T = B) 1 T = log e C) 1 T = log e ** D) 1 T = E) T = log e ) L equzione differenzile

Dettagli

Sistemi di equazioni algebriche lineari. Una equazione algebrica lineare in n incognite si presenta nella forma:...

Sistemi di equazioni algebriche lineari. Una equazione algebrica lineare in n incognite si presenta nella forma:... Sistemi di equzioni lgebriche lineri Un equzione lgebric linere in n incognite si present nell form: 1 1+ 2 2 +... + n n = b dove ( 1, 2,... n ) rppresentno le incognite, 1, 2,... n sono i coefficienti

Dettagli

Equazioni. Definizioni e concetti generali. Incognita: Lettera (di solito X) alla quale e possibile sostituire dei valori numerici

Equazioni. Definizioni e concetti generali. Incognita: Lettera (di solito X) alla quale e possibile sostituire dei valori numerici Equzioni Prerequisiti Scomposizioni polinomili Clcolo del M.C.D. e del m.c.m. tr polinomi P(X) = 0, con P(X) polinomio di grdo qulsisi Definizioni e concetti generli Incognit: Letter (di solito X) ll qule

Dettagli

LINGUAGGI FORMALI Esercizi

LINGUAGGI FORMALI Esercizi LINGUAGGI FORMALI Esercizi PPPPPP Nicol Fnizzi LINGUAGGI DI PROGRAMMAZIONE Corso di Informtic T.P.S. Diprtimento di Informtic Università di Bri Aldo Moro [2014/01/28-13:30:23] [ 2 / 14 ] Indice 1 Introduzione

Dettagli

Esercizi sulle serie di Fourier

Esercizi sulle serie di Fourier Esercizi sulle serie di Fourier Corso di Fisic Mtemtic,.. 3- Diprtimento di Mtemtic, Università di Milno Novembre 3 Sviluppo in serie di Fourier (esponenzile) In questi esercizi, si richiede di sviluppre

Dettagli

Il volume del cilindro è dato dal prodotto della superficie di base per l altezza, quindi

Il volume del cilindro è dato dal prodotto della superficie di base per l altezza, quindi Mtemtic per l nuov mturità scientific A. Bernrdo M. Pedone 3 Questionrio Quesito 1 Provre che un sfer è equivlente i /3 del cilindro circoscritto. r 4 3 Il volume dell sfer è 3 r Il volume del cilindro

Dettagli

Esercizi sulle curve in forma parametrica

Esercizi sulle curve in forma parametrica Esercizi sulle curve in form prmetric Esercizio. L Elic Cilindric. Dt l curv di equzioni prmetriche: xt cos t yt sin t t 0 T ] > 0 b IR zt bt trovre: versore tngente normle binormle vettore curvtur rggio

Dettagli

, x 2. , x 3. è un equazione nella quale le incognite appaiono solo con esponente 1, ossia del tipo:

, x 2. , x 3. è un equazione nella quale le incognite appaiono solo con esponente 1, ossia del tipo: Sistemi lineri Un equzione linere nelle n incognite x 1, x 2, x,, x n è un equzione nell qule le incognite ppiono solo con esponente 1, ossi del tipo: 1 x 1 + 2 x 2 + x +!+ n x n = b con 1, 2,,, n numeri

Dettagli

Linguaggi di Programmazione Corso C. Parte n.5 Automi a Stati Finiti. Nicola Fanizzi

Linguaggi di Programmazione Corso C. Parte n.5 Automi a Stati Finiti. Nicola Fanizzi Linguggi di Progrmmzione Corso C Prte n.5 Automi Stti Finiti Nicol Fnizzi (fnizzi@di.uni.it) Diprtimento di Informtic Università degli Studi di Bri Automi Stti Finiti Dto un lfeto X, un utom stti finiti

Dettagli

Rendite (2) (con rendite perpetue)

Rendite (2) (con rendite perpetue) Rendite (2) (con rendite perpetue) Esercizio n. Un ziend industrile viene vlutt ttulizzndo i redditi futuri dell gestione l tsso del 9% con inflzione null. I redditi prospettici vengono stimnti nell misur

Dettagli

UNITÀ DI GUIDA E SLITTE

UNITÀ DI GUIDA E SLITTE UNITÀ DI GUIDA E SLITTE TIPOLOGIE L gmm di unità di guid e di slitte proposte è molto mpi. Rggruppimo le guide in fmiglie: Unità di guid d ccoppire cilindri stndrd Si trtt di unità indipendenti, cui viene

Dettagli

Elettronica dei Sistemi Digitali Il test nei sistemi elettronici: guasti catastrofici e modelli di guasto (parte I)

Elettronica dei Sistemi Digitali Il test nei sistemi elettronici: guasti catastrofici e modelli di guasto (parte I) Elettronic dei Sistemi Digitli Il test nei sistemi elettronici: gusti ctstrofici e modelli di gusto (prte I) Vlentino Lierli Diprtimento di Tecnologie dell Informzione Università di Milno, 26013 Crem e-mil:

Dettagli

Politecnico di Milano Facoltà di Ingegneria dell Automazione INFORMATICA INDUSTRIALE Appello COGNOME E NOME. 11 febbraio 2008 RIGA COLONNA MATRICOLA

Politecnico di Milano Facoltà di Ingegneria dell Automazione INFORMATICA INDUSTRIALE Appello COGNOME E NOME. 11 febbraio 2008 RIGA COLONNA MATRICOLA Politecnico i Milno Fcoltà i Ingegneri ell Automzione INFORMATICA INDUSTRIALE Appello COGNOME E NOME ebbrio 2008 RIGA COLONNA MATRICOLA Il presente plico pinzto, composto i quttro ogli (ronte/retro)eve

Dettagli

Facoltà di Ingegneria

Facoltà di Ingegneria UNIVERSITA DEGLI STUDI DI CAGLIARI Fcoltà di Ingegneri Corso di Lure Specilistic in Ingegneri per l Ambiente e il Territorio TESINA DI CALCOLO NUMERICO Anlisi dell errore nei metodi di risoluzione dei

Dettagli

SPAZI VETTORIALI. 1. Spazi e sottospazi vettoriali

SPAZI VETTORIALI. 1. Spazi e sottospazi vettoriali SPAZI VETTORIALI 1. Spzi e sottospzi vettorili Definizione: Dto un insieme V non vuoto e un corpo K di sostegno si dice che V è un K-spzio vettorile o uno spzio vettorile su K se sono definite un operzione

Dettagli

COME SOPRAVVIVERE ALLA MATEMATICA. 1. La funzione matematica e la sua utilità in economia

COME SOPRAVVIVERE ALLA MATEMATICA. 1. La funzione matematica e la sua utilità in economia COME SOPRAVVIVERE ALLA MATEMATICA di Giuli Cnzin e Dominique Cppelletti Come potrete notre inoltrndovi nel corso di Introduzione ll economi, l interpretzione dell teori economic non presuppone conoscenze

Dettagli

" Osservazione. 6.1 Integrale indefinito. R Definizione (Primitiva) E Esempio 6.1 CAPITOLO 6

 Osservazione. 6.1 Integrale indefinito. R Definizione (Primitiva) E Esempio 6.1 CAPITOLO 6 CAPITOLO 6 Clcolo integrle 6. Integrle indefinito L nozione fondmentle del clcolo integrle è quell di funzione primitiv di un funzione f (). Tle nozione è in qulche modo speculre ll nozione di funzione

Dettagli

Lezione 7: Rette e piani nello spazio

Lezione 7: Rette e piani nello spazio Lezione 7: Rette e pini nello spzio In quest lezione i metteremo in un riferimento rtesino ortonormle dello spzio. I primi oggetti geometrii he individuimo sono le rette e i pini. Per qunto rigurd le rette

Dettagli

ESAME DI STATO DI LICEO SCIENTIFICO CORSO SPERIMENTALE P.N.I. 2003

ESAME DI STATO DI LICEO SCIENTIFICO CORSO SPERIMENTALE P.N.I. 2003 ESAME DI STATO DI LICEO SCIENTIFICO CORSO SPERIMENTALE P.N.I. Il cndidto risolv uno dei due problemi e 5 dei quesiti in cui si rticol il questionrio. PROBLEMA Nel pino sono dti: il cerchio di dimetro OA,

Dettagli

Imparare: cosa, come, perché.

Imparare: cosa, come, perché. GIOCO n. 1 Imprre: cos, come, perché. L pprendimento scolstico non è solo questione di metodo di studio, m di numerose situzioni di tipo personle e di gruppo, oppure legte l contesto in cui pprendimo.

Dettagli

Funzioni razionali fratte

Funzioni razionali fratte Funzioni rzionli frtte Per illustrre l medizione che AlNuSet fornisce per lo studio delle funzioni rzionli frtte, inizimo con il considerre l funzione f ( ) l vrire del prmetro. L su rppresentzione nell

Dettagli

corrispondenza dal piano in sé, che ad ogni punto P del piano fa corrispondere il punto P' in

corrispondenza dal piano in sé, che ad ogni punto P del piano fa corrispondere il punto P' in Cpitolo 5 Le omotetie 5. Richimi di teori Definizione Sino fissti un punto C del pino ed un numero rele. Si chim omoteti di centro C e rpporto ( che si indic con il simolo O, ) l corrispondenz dl pino

Dettagli

si considerino le seguenti implementazioni dell algoritmo di ricerca di un elemento all interno di un vettore v: 1) 2)

si considerino le seguenti implementazioni dell algoritmo di ricerca di un elemento all interno di un vettore v: 1) 2) Fondmenti di Informtic Ingegneri Meccnic, Elettric, Gestionle Prov scritt del 22 Giugno 2004 NOME MATRICOLA Esercizio 1 Supponendo l seguente definizione del tipo vettore: #define MAX_DIM 256 typedef int

Dettagli

acuradi Luca Cabibbo e Walter Didimo Esercizi di Informatica teorica - Luca Cabibbo e Walter Didimo 1

acuradi Luca Cabibbo e Walter Didimo Esercizi di Informatica teorica - Luca Cabibbo e Walter Didimo 1 curdi Luc Cio e Wlter Didimo Esercizi di Informtic teoric - Luc Cio e Wlter Didimo 1 utomi stti finiti utomi stti finiti non deterministici utomi e grmmtiche regolri notzioni sul livello degli esercizi:(*)fcile,

Dettagli

Trasduttori a Stati Finiti

Trasduttori a Stati Finiti Trsduttori Stti Finiti Un Trsduttore Stti Finiti Deterministici è definito dll 7-pl - Alfeto di Ingresso (Alfeto terminle) K- Insieme degli stti δ -funzione (przile) di trnsizione

Dettagli

-STRUTTURE DI LEWIS SIMBOLI DI LEWIS

-STRUTTURE DI LEWIS SIMBOLI DI LEWIS STRUTTURE DI LEWIS SIMBLI DI LEWIS ELETTRI DI VALEZA: sono gli elettroni del guscio esterno, i responsbili principli delle proprietà chimiche di un tomo e quindi dell ntur dei legmi chimici che vengono

Dettagli

DESCRIZIONE PROGETTO. Free Software e Didattica

DESCRIZIONE PROGETTO. Free Software e Didattica Vi Lmrmor, 35 00010 Villnov di, Rom, 1. Tipologi progetto : Didttic curriculre Didttic extr-curriculre Accoglienz, orientmento, stge Formzione del personle Altro.. 2. Denominzione progetto Indicre Codice

Dettagli

Lezioni di Ricerca Operativa. Corso di Laurea in Informatica ed Informatica Applicata. Università di Salerno. Lezione n 3

Lezioni di Ricerca Operativa. Corso di Laurea in Informatica ed Informatica Applicata. Università di Salerno. Lezione n 3 Lezioni di Ricerc Opertiv Corso di Lure in Informtic ed Informtic pplict Richimi di lgebr vettorile: - Mtrici ed Operzioni tr mtrici - Invers di un mtrice Lezione n - Risoluzione di un sistem di equzioni

Dettagli

Titolazione Acido Debole Base Forte. La reazione che avviene nella titolazione di un acido debole HA con una base forte NaOH è:

Titolazione Acido Debole Base Forte. La reazione che avviene nella titolazione di un acido debole HA con una base forte NaOH è: Titolzione Acido Debole Bse Forte L rezione che vviene nell titolzione di un cido debole HA con un bse forte NOH è: HA(q) NOH(q) N (q) A (q) HO Per quest rezione l costnte di equilibrio è: 1 = = >>1 w

Dettagli

B8. Equazioni di secondo grado

B8. Equazioni di secondo grado B8. Equzioni di secondo grdo B8.1 Legge di nnullmento del prodotto Spendo che b0 si può dedurre che 0 oppure b0. Quest è l legge di nnullmento del prodotto. Pertnto spendo che (-1) (+)0 llor dovrà vlere

Dettagli

Macchine elettriche in corrente continua

Macchine elettriche in corrente continua cchine elettriche in corrente continu Generlità Può essere definit mcchin un dispositivo che convert energi d un form un ltr. Le mcchine elettriche in prticolre convertono energi elettric in energi meccnic

Dettagli

Conversione A/D e D/A. Quantizzazione

Conversione A/D e D/A. Quantizzazione Conversione A/D e D/A Per il trttmento dei segnli sempre più vengono preferite soluzioni di tipo digitle. È quindi necessrio, in fse di cquisizione, impiegre dispositivi che convertno i segnli nlogici

Dettagli

Percorsi, strategie e geometrie in gioco Complementi e spunti di lavoro Primaria e Secondaria Inferiore

Percorsi, strategie e geometrie in gioco Complementi e spunti di lavoro Primaria e Secondaria Inferiore Percorsi, strategie e geometrie in gioco Complementi e spunti di lavoro Primaria e Secondaria Inferiore In queste note troverete suggerimenti e osservazioni per attività che traggono spunto dal problema

Dettagli

Liceo Scientifico Sperimentale anno 2002-2003 Problema 1 Bernardo Pedone. ESAME DI STATO DI LICEO SCIENTIFICO CORSO SPERIMENTALE PNI anno 2002-2003

Liceo Scientifico Sperimentale anno 2002-2003 Problema 1 Bernardo Pedone. ESAME DI STATO DI LICEO SCIENTIFICO CORSO SPERIMENTALE PNI anno 2002-2003 Liceo Scientifico Sperimentle nno - Problem Bernrdo Pedone ESAME DI STATO DI LICEO SCIENTIFICO CORSO SPERIMENTALE PNI nno - PROBLEMA Nel pino sono dti: il cerchio γ di dimetro OA =, l rett t tngente γ

Dettagli

2 Generalità sulle matrici

2 Generalità sulle matrici 2 Generlità sulle mtrici 21 Definizione e csi prticolri Definizione 21 Mtrice n m Un mtrice n m è un tbell rettngolre di n righe e m colonne i cui elementi sono numeri reli (o complessi) indicizzti con

Dettagli

Ing. Alessandro Pochì

Ing. Alessandro Pochì Dispense di Mtemtic clsse quint -Gli integrli Quest oper è distriuit con: Licenz Cretive Commons Attriuzione - Non commercile - Non opere derivte. Itli Ing. Alessndro Pochì Appunti di lezione svolti ll

Dettagli

Corso Integrato: Matematica e Statistica. Corso di Matematica (6 CFU)

Corso Integrato: Matematica e Statistica. Corso di Matematica (6 CFU) Corso di Lure in Scienze e Tecnologie Agrrie Corso Integrto: Mtemtic e Sttistic Modulo: Mtemtic (6 CFU) (4 CFU Lezioni + CFU Esercitzioni) Corso di Lure in Tutel e Gestione del territorio e del Pesggio

Dettagli

ESAME DI STATO DI LICEO SCIENTIFICO CORSO DI ORDINAMENTO 2002 Sessione straordinaria

ESAME DI STATO DI LICEO SCIENTIFICO CORSO DI ORDINAMENTO 2002 Sessione straordinaria ESAME DI STAT DI LICE SCIENTIFIC CRS DI RDINAMENT 00 Sessione strordinri Il cndidto risolv uno dei due problemi e 5 dei 0 quesiti in cui si rticol il questionrio. PRBLEMA Con riferimento un sistem monometrico

Dettagli

Laurea triennale in Scienze della Natura a.a. 2009/2010. Regole di Calcolo

Laurea triennale in Scienze della Natura a.a. 2009/2010. Regole di Calcolo Lure triennle in Scienze dell Ntur.. 2009/200 Regole di Clcolo In queste note esminimo lcune conseguenze degli ssiomi reltivi lle operzioni e ll ordinmento nell insieme R dei numeri reli. L obiettivo principle

Dettagli

Tecniche di riconoscimento statistico

Tecniche di riconoscimento statistico On AIR s.r.l. Tecniche di riconoscimento statistico Applicazioni alla lettura automatica di testi (OCR) Parte 4 Reti neurali per la classificazione Ennio Ottaviani On AIR srl ennio.ottaviani@onairweb.com

Dettagli

15. Cambiamenti di base in uno spazio vettoriale.

15. Cambiamenti di base in uno spazio vettoriale. 5 Cmbimenti di bse in uno spzio vettorile 5 Esempio Si VR uno spzio vettorile di dimensione e si B = (u, u, u ) un su bse Sino v = 5u + 6u, v = u u + 5u, v = u + u + u, v = u 4u 7u Si M l mtrice vente

Dettagli

RECUPERO EQUAZIONI E DISEQUAZIONI CON COEFFICIENTI IRRAZIONALI

RECUPERO EQUAZIONI E DISEQUAZIONI CON COEFFICIENTI IRRAZIONALI I NUMERI REALI E I RADICALI Recupero RECUPERO EQUAZIONI E DISEQUAZIONI CON COEFFICIENTI IRRAZIONALI COMPLETA Risolvi l disequzione ( ). ( ) ( ) ( ) Elimin le prentesi clcolndo il prodotto. Applic l regol

Dettagli

Principio conservazione energia meccanica. Problemi di Fisica

Principio conservazione energia meccanica. Problemi di Fisica Problemi di isic Principio conservzione energi meccnic Su un corpo di mss M0kg giscono un serie di forze 0N 5N 37N N (forz di ttrito), secondo le direzioni indicte in figur, che lo spostno di 0m. Supponendo

Dettagli

Geometria I. Prova scritta del 2 marzo 2016

Geometria I. Prova scritta del 2 marzo 2016 Geometri I Anno ccdemico 0/06 Prov scritt del mrzo 06 Esercizio. Si E il pino euclideo numerico munito delle coordinte cnoniche (x, y). Si consideri il tringolo T con vertici P = (0, 0), P = (, 0), P =

Dettagli

UNITA 13. GLI ESPONENZIALI

UNITA 13. GLI ESPONENZIALI UNITA. GLI ESPONENZIALI. Le potenze con esponente intero, rzionle e rele.. Le proprietà delle potenze.. Equzioni esponenzili che si riconducono ll stess bse. 4. L funzione esponenzile. 5. Il grfico dell

Dettagli

Acidi Deboli. Si definisce acido debole un acido con K a < 1 che risulta perciò solo parzialmente dissociato in soluzione. Esempi di acidi deboli:

Acidi Deboli. Si definisce acido debole un acido con K a < 1 che risulta perciò solo parzialmente dissociato in soluzione. Esempi di acidi deboli: Acidi Deboli Si definisce cido debole un cido con < 1 che risult perciò solo przilmente dissocito in soluzione. Esempi di cidi deboli: Acido cetico (H OOH) 1.75 1-5 Acido scorbico (vitmin ) 1 6.76 1-5.5

Dettagli

La rappresentazione per elencazione consiste nell elencare tutte le coppie ordinate che verificano la relazione

La rappresentazione per elencazione consiste nell elencare tutte le coppie ordinate che verificano la relazione RELAZIONI E FUNZIONI Relzioni inrie Dti ue insiemi non vuoti e (he possono eventulmente oiniere), si ie relzione tr e un qulsisi legge he ssoi elementi elementi. L insieme A è etto insieme i prtenz. L

Dettagli

I.S.I. E. Fermi - Lucca Istituto Tecnico settore Tecnologico

I.S.I. E. Fermi - Lucca Istituto Tecnico settore Tecnologico Anno scolstico / Progrmm di MATEMATICA Clsse : B Insegnnte : Ghilrducci Pol I.S.I. E. Fermi - Lucc Istituto Tecnico settore Tecnologico Equzioni e disequzioni di primo grdo : Equzioni intere frtte e letterli

Dettagli

Esercizi estivi per la classe seconda

Esercizi estivi per la classe seconda Esercii estivi per l clsse second ) Risolvere le seguenti disequioni: [nessun soluione] R f) R i) l) n) ) Risolvere i seguenti sistemi di disequioni: ) Risolvi i seguenti sistemi con il metodo di sostituione:,,,

Dettagli

FUNZIONI MATEMATICHE. Una funzione lineare è del tipo:

FUNZIONI MATEMATICHE. Una funzione lineare è del tipo: FUNZIONI MATEMATICHE Le relzioni mtemtihe utilizzte per desrivere fenomeni nturli, in iologi ome in ltre sienze, possono ovvimente essere le più svrite. Per lo più si trtt di equzioni lineri, qudrtihe,

Dettagli

I S I E. Fermi - Lucca Istituto Tecnico settore Tecnologico

I S I E. Fermi - Lucca Istituto Tecnico settore Tecnologico I S I E. Fermi - Lucc Istituto Tecnico settore Tecnologico Anno scolstico / Progrmm di MATEMATICA Clsse : II C Insegnnte : Podestà Tiin Divisione tr due polinomi.regol di Ruffini. Teorem del resto. Scomposiione

Dettagli

ESPONENZIALI LOGARITMI

ESPONENZIALI LOGARITMI ESPONENZIALI LOGARITMI Prerequisiti: Conoscere e sper operre con potenze con esponente nturle e rzionle. Conoscere e sper pplicre le proprietà delle potenze. Sper risolvere equzioni e disequzioni. Sper

Dettagli

Programma di matematica Prof.ssa Tacchi Lucia Anno scolastico 2017/2018 classe I A

Programma di matematica Prof.ssa Tacchi Lucia Anno scolastico 2017/2018 classe I A Isi E. Fermi Lucc Progrmm di mtemtic Prof.ss Tcchi Luci nno scolstico 7/8 clsse I Gli insiemi numerici i numeri nturli i numeri interi i numeri rzionli ssoluti i reltivi. Potenze nche con esponente intero

Dettagli

Elementi grafici per Matematica

Elementi grafici per Matematica Elementi grfici per Mtemtic Sommrio: Sistemi di coordinte crtesine... Grfici di funzioni... 4. Definizione... 4. Esempi... 5.3 Verificre iniettività e suriettività dl grfico... 8.4 L rett... 9.5 Esempi

Dettagli

Capitolo 2. Il problema del calcolo delle aree

Capitolo 2. Il problema del calcolo delle aree Cpitolo 2 Il prolem del clcolo delle ree Introduzione Il prolem del clcolo delle ree nsce più di 2000 nni f qundo i greci tentrono di clcolre le ree con un metodo detto di esustione. Tle metodo può essere

Dettagli

Calcolo integrale in due e più variabili

Calcolo integrale in due e più variabili Clcolo integrle in due e più vribili 9 dicembre 2010 1 Definizione di integrle Il primo psso st nell definizione e determinzione dell integrle per funzioni due vribili prticolrmente semplici: le funzioni

Dettagli

PRESENTAZIONE AL QUESTIONARIO DI AUTOVALUTAZIONE DELLA MEMORIA (Everyday Memory Questionnaire - EMQ)

PRESENTAZIONE AL QUESTIONARIO DI AUTOVALUTAZIONE DELLA MEMORIA (Everyday Memory Questionnaire - EMQ) PRESENTAZIONE AL QUESTIONARIO DI AUTOVALUTAZIONE DELLA MEMORIA (Everydy Memory Questionnire - EMQ) Drio Slmso e Giuseppin Viol CNR-Psicologi, Vile Mrx 15-00137 ROMA) L'EMQ (Sunderlnd et l., 1983) si propone

Dettagli

Attuatori pneumatici fino 700 cm 2 Tipo 3271 e Tipo 3277 per montaggio integrato del posizionatore

Attuatori pneumatici fino 700 cm 2 Tipo 3271 e Tipo 3277 per montaggio integrato del posizionatore Attutori pneumtici fino cm Tipo e Tipo per montggio integrto del posiziontore Appliczione Attutore linere per il montggio su vlvole di regolzione, soprttutto per l Serie,, e vlvol microflusso Tipo dimensione

Dettagli

Corso di Automi e Linguaggi Formali Gennaio- Marzo 2003

Corso di Automi e Linguaggi Formali Gennaio- Marzo 2003 Corso di Automi e Linguggi Formli Gennio- Mrzo 2003 Docente: Frncesc Rossi, frossi@mth.unipd.it Corso di Automi e Linguggi Formli Gennio-Mrzo 2002 p.1/37 Dti del corso 5 crediti circ 40 ore in ul Orrio:

Dettagli

CORSO DI RAGIONERIA A.A. 2013/2014

CORSO DI RAGIONERIA A.A. 2013/2014 CORSO DI RAGIONERIA A.A. 2013/2014 MODULO A LEZIONE N. 10 LE SCRITTURE CONTABILI Il lesing IL CONTRATTO DI LEASING Il lesing è un contrtto tipico (non previsto dl Codice Civile) per mezzo del qule l ziend

Dettagli

ISTITUTO DI ISTRUZIONE SUPERIORE E.FERMI

ISTITUTO DI ISTRUZIONE SUPERIORE E.FERMI I ISTITUTO DI ISTRUZIONE SUPERIORE E.FERMI Anno scolstico -7 MATEMATICA Clsse E Istituto tecnico tecnologico Progrmm svolto Insegnnte : Ptrii Consni ALGEBRA: Regol di Ruffini. Teorem del resto. Scomposiione

Dettagli

ISTITUTO TECNICO INDUSTRIALE "E. FERMI" LUCCA

ISTITUTO TECNICO INDUSTRIALE E. FERMI LUCCA ISTITUTO TECNICO INDUSTRIALE "E. FERMI" LUCCA Anno Scolstico / Progrmm di MATEMATICA svolto dll clsse second se. A INSEGNANTE: MUSUMECI LUCIANA Divisione tr due polinomi.regol di Ruffini. Teorem del resto.

Dettagli

FORMULE DI AGGIUDICAZIONE

FORMULE DI AGGIUDICAZIONE Mnule di supporto ll utilizzo di Sintel per stzione ppltnte FORMULE DI AGGIUDICAZIONE gin 1 di 18 Indice AZIENDA REGIONALE CENTRALE ACQUISTI - ARCA S.p.A. 1 INTRODUZIONE... 3 1.1 Mtrice modlità offert/modlità

Dettagli

UDA N 2 Scienze e Tecnologie Applicate: Indirizzo INFORMATICA

UDA N 2 Scienze e Tecnologie Applicate: Indirizzo INFORMATICA Sch ed di pro gettzion e d elle Un ità d i App rend imento nu mero 1 UDA N 1 Scienze e Tecnologie Applicte: Indirizzo INFORMATICA UdA N 1 Disciplin Riferimento Titolo The incredibile mchine! informtic

Dettagli

30 quesiti. 1 Febbraio 2011. Scuola... Classe... Alunno... Copyright 2011 Zanichelli Editore SpA, Bologna

30 quesiti. 1 Febbraio 2011. Scuola... Classe... Alunno... Copyright 2011 Zanichelli Editore SpA, Bologna verso LA RILEVAZIONE INVALSI SCUOLA SECONDARIA DI secondo GRADO PROVA DI Mtemtic 30 quesiti Febbrio 0 Scuol... Clsse... Alunno... e b sono numeri reli che verificno quest uguglinz: Qunto vle il loro prodotto?

Dettagli

Vettori e scalari. Grandezze scalari. Grandezze vettoriali

Vettori e scalari. Grandezze scalari. Grandezze vettoriali Vettori e sclri Vengono definite dl loro lore numerico. Esempi: l lunghezz di un segmento, l re di un figur pin; l tempertur di un stnz Grndezze sclri Grndezze ettorili Vengono definite dl loro lore numerico

Dettagli

Nello studio della meccanica si incontrano due principali categorie di grandezze: scalari e vettori. Cosa distingue queste quantita?

Nello studio della meccanica si incontrano due principali categorie di grandezze: scalari e vettori. Cosa distingue queste quantita? Vettori e sclri Nello studio dell meccnic si incontrno due principli ctegorie di grndezze: sclri e vettori. Cos distingue queste quntit? Domenic sono ndto in iciclett per due ore L informzione sul tempo

Dettagli

DIPARTIMENTO DI INGEGNERIA DELLA INFORMAZIONE

DIPARTIMENTO DI INGEGNERIA DELLA INFORMAZIONE U N I V E R S I T À D I P I S A DIPARTIMENTO DI INGEGNERIA DELLA INFORMAZIONE Prov scritt di Teori dei Segnli- //8 Fil A f Esercizio. E dto il segnle x(t) d energi finit il cui spettro è pri X ( f ) tr

Dettagli

2 x = 64 (1) L esponente (x) a cui elevare la base (2) per ottenere il numero 64 è detto logaritmo (logaritmo in base 2 di 64), indicato così:

2 x = 64 (1) L esponente (x) a cui elevare la base (2) per ottenere il numero 64 è detto logaritmo (logaritmo in base 2 di 64), indicato così: Considerimo il seguente problem: si vuole trovre il numero rele tle che: = () L esponente () cui elevre l bse () per ottenere il numero è detto ritmo (ritmo in bse di ), indicto così: In prticolre in questo

Dettagli

a cura di Luca Cabibbo e Walter Didimo

a cura di Luca Cabibbo e Walter Didimo cur di Luc Cio e Wlter Didimo Esercizi di Informtic teoric - Luc Cio e Wlter Didimo 1 espressioni regolri e grmmtiche regolri proprietà decidiili dei linguggi regolri teorem di Myhill-Nerode notzioni sul

Dettagli

Esercizi di Geometria - Foglio 2 Corso di Laurea in Matematica

Esercizi di Geometria - Foglio 2 Corso di Laurea in Matematica Esercizi di Geometri - Foglio Corso di Lure in Mtemtic A. Sottospzi ffini. Esercizio A.1 Esempi e non-esempi di sottospzi ffini Determinre quli dei seguenti insiemi sono sottospzi ffini (precisndo di qule

Dettagli

Esercizi su. Funzioni

Esercizi su. Funzioni Esercizi su Funzioni ๒ Varie Tracce extra Sul sito del corso ๓ Esercizi funz_max.cc funz_fattoriale.cc ๔ Documentazione Il codice va documentato (commentato) Leggibilità Riduzione degli errori Manutenibilità

Dettagli

Area di una superficie piana o gobba 1. Area di una superficie piana. f x dx 0 e quindi :

Area di una superficie piana o gobba 1. Area di una superficie piana. f x dx 0 e quindi : Are di un superficie pin o go Are di un superficie pin L're dell superficie del trpezoide si B ottiene pplicndo l seguente formul: f d [] A T e risult 0 [, ] è f f d 0 e quindi : [] f d f d f d f d c Nel

Dettagli

Curve parametriche. April 26, Esercizi sulle curve scritte in forma parametrica. x(t) = a cos t. y(t) = a sin t t [0, T ], a > 0, b R

Curve parametriche. April 26, Esercizi sulle curve scritte in forma parametrica. x(t) = a cos t. y(t) = a sin t t [0, T ], a > 0, b R Curve prmetriche April 6, 01 Esercizi sulle curve scritte in form prmetric. 1. Elic cilindric Dt l curv di equzioni prmetriche r(t) x(t) = cos t y(t) = sin t t [0, T ], > 0, b R z(t) = bt (0.1) clcolre

Dettagli

ISTITUTO DI ISTRUZIONE SUPERIORE E.FERMI Anno scolastico: 2016/17. Istituto tecnico settore tecnologico. Classe II H

ISTITUTO DI ISTRUZIONE SUPERIORE E.FERMI Anno scolastico: 2016/17. Istituto tecnico settore tecnologico. Classe II H ISTITUTO DI ISTRUZIONE SUPERIORE E.FERMI Anno scolstico: /7 Progrmm di mtemtic Istituto tecnico settore tecnologico. Clsse II H Disequioni di primo grdo sistemi di disequioni e disequioni frtte. Segno

Dettagli