Esercizio Planning. Dati:

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Esercizio Planning. Dati:"

Transcript

1 Eserizio Plnning Dti: - lo stto inizile rppresentto in figur 1 e esritto lle seguenti formule tomihe: [ontle(,p1), ontle(,p2), ontle(,p3), on(,), ler(), ler(), ler(), hnempty] (,, rppresentno ei lohi e p1,p2,p3 le unihe 3 posizioni oupili el tvolo - le zioni stk(x,y), unstk(x,y), putown(x,pos), pikup(x,pos) moellte opportunmente (Pos e un vriile he rppresent l posizione el tvolo, X,Y rppresentno lohi) - e il gol ontle(,pos) esrivere ome l lgoritmo linere kwr STRIPS trov un pino per questo gol supponeno he - in so si utilizzi l zione putown(x,pos) - holing(x) è sempre l ultim elle sue preonizioni essere estrtt ll soisfre. Fig 1: Stto Inizile

2 Si mostri solo un elle stre possiili evitno i rivisitre stti già visitti. Soluzione: Azioni pikup(x,pos) PRECOND: ontle(x,pos), ler(x), hnempty DELETE: ontle(x,pos), ler(x), hnempty ADD: holing(x), empty(pos) putown(x,pos) PRECOND: holing(x), empty(pos) DELETE: holing(x), empty(pos) ADD: ontle(x,pos), ler(x), hnempty stk(x,y) PRECOND: holing(x), ler(y) DELETE: holing(x), ler(y) ADD: hnempty, on(x,y), ler(x) unstk(x,y) PRECOND: hnempty, on(x,y), ler(x) DELETE: hnempty, on(x,y), ler(x) ADD: holing(x), ler(y)

3 Stto inizile ler(),ler(),ler() on(,),ontle(,p1) hnempty ontle(,pos) Stto ler(),ler(),ler() on(,),ontle(,p1) hnempty empty(pos)^holing() putown(,pos) ontle(,pos) Stto ler(),ler(),ler() on(,),ontle(,p1) hnempty empty(pos) holing() empty(pos)^holing() putown(,pos) ontle(,pos)

4 Stto ler(),ler(),ler() on(,),ontle(,p1) hnempty hnempty^ler(x)^ontle(x,pos) pikup(x,pos) holing() empty(pos)^holing() putown(,pos) ontle(,pos) ongiunz ver nello stto inizile per X/ Pos/p1 simul l eseuzione i pikup(,p1) Stto ler(),ler() on(,),holing() holing() empty(pos)^holing() putown(,pos) ontle(,pos) Stto ler(),ler() on(,),holing() hnempty^ler()^on(,y) unstk(,y) empty(pos)^holing() putown(,pos) ontle(,pos)

5 Stto ler(),ler() on(,),holing() hnempty ler() on(,y) hnempty^ler()^on(,y) unstk(,y) empty(pos)^holing() putown(,pos) ontle(,pos) Stto ler(),ler() on(,),holing() holing(x)^ler(y) stk(x,y) ler() on(,y) hnempty^ler()^on(,y) unstk(,y) empty(pos)^holing() putown(,pos) ontle(,pos) ongiunz ver nello stto inizile per X/ Y/ simul l eseuzione i stk(,) Stto ler(),ler(), on(,),on(,),hnempty ler() on(,y) hnempty^ler()^on(,y) unstk(,y) empty(pos)^holing() putown(,pos) ontle(,pos)

6 ler() ver nello stto orrente on(,y) ver per Y/. Congiunzione ver. Si puo simulre l eseuzione i unstk(,) Stto ler(), holing() on(,), ler() empty(pos)^holing() putown(,pos) ontle(,pos) Congiunzione ver per Pos/p1. Si puo simulre l eseuzione i putown(, p1) Stto ler(), holing() on(,), ler() ontle(,pos) Gol vero per Pos/p1 e pino: 1. pikup(,p1) 2. stk(,) 3. unstk(,) 4. putown(,p1)

7 Domn 2: Cos sueeree se l preonizione i putown(,pos) holing() - fosse estrtt per prim llo stk? In questo so un elle possiili sequenze i pssi eseguiti Strips è l seguente: Gener il pino przile unstk(,) per soisfre il gol holing() e lo simul otteneno lo stto Per soisfre empty(pos) gener per esempio - il seguente pino: stk(,) pikup(,p2) e lo simul otteneno lo stto

8 E eviente he l ongiunzione empty(pos)^holing() non è piu verifit: oorre reinserire nello stk holing (): si ripinifi per questo gol e si ottiene per esempio il pino stk(,) unstk(,) Si simul l su eseuzione e si ottiene lo stto: L ongiunzione empty(pos)^holing() è or verifit (per Pos/p2): si può eseguire nhe l ultim zione el pino (putown(,p2)). Pino ompleto: unstk(,) stk(,) pikup(,p2) stk(,) unstk(,) putown(,p2)

Pianificazione lineare POP

Pianificazione lineare POP Pinifizione ifi i ome rier Quello he mi è lo spzio di rier, definito it d he os sono gli stti e gli opertori: Pinifizione deduttiv ome theorem proving: stti ome insiemi di formule e opertori ome regole

Dettagli

PLANNING Lucidi della Prof. P. Mello

PLANNING Lucidi della Prof. P. Mello PLANNING Luidi dell Prof. P. Mello L pinifizione utomti (plnning) rppresent un importnte ttività di prolem solving he onsiste nel sintetizzre un sequenz di zioni he eseguite d un gente prtire d uno stto

Dettagli

Fondamenti di Intelligenza Artificiale M. Altri possibili esercizi

Fondamenti di Intelligenza Artificiale M. Altri possibili esercizi Fondamenti di Intelligenza Artificiale M Altri possibili esercizi 1 Esempi di possibili esercizi Description Logic e SW e domande sui seminari in generale Introdurre brevemente la differenza tra Open World

Dettagli

ESERCIZI IN PIÙ ESERCIZI DI FINE CAPITOLO

ESERCIZI IN PIÙ ESERCIZI DI FINE CAPITOLO L RLZIONI L FUNZIONI serizi in più SRIZI IN PIÙ SRIZI I FIN PITOLO TST Nell insieme ell figur, l relzione rppresentt goe ell o elle proprietà: TST L relzione «essere isenente i», efinit nell insieme egli

Dettagli

Il problema da un milione di dollari

Il problema da un milione di dollari Il prolem un milione i ollri SienzOrient: Informti Ginlu Rossi www.informti.unirom2.it (www.informti.unirom2.it) Prolem $ 000 000 / 9 Algoritmi Requisiti i un uon lgoritmo: Correttezz; Effiienz ovvero

Dettagli

Esercizi per il corso di Calcolatori Elettronici. svolti da Mauro IACOVIELLO & Fabio LAUDANI

Esercizi per il corso di Calcolatori Elettronici. svolti da Mauro IACOVIELLO & Fabio LAUDANI Eserizi per il orso i loltori Elettronii svolti Muro OVELLO & Fio LUDN Prte seon : Mhine stti finiti ESERZO : Mhin i Mely Si t l seguente mhin i Mely, sintetizzre un iruito he l implementi, utilizzno un

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

Disequazioni di primo grado

Disequazioni di primo grado Cpitolo Disequzioni i primo gro Risoluzione lgeri Verifi per l lsse seon COGNOME............................... NOME............................. Clsse.................................... Dt...............................

Dettagli

Definizione. Si chiama similitudine una corrispondenza biunivoca dal piano in sé tale che,

Definizione. Si chiama similitudine una corrispondenza biunivoca dal piano in sé tale che, CAPITOLO 6 LE SIMILITUDINI 6 Rihimi i teori Definizione Si him similituine un orrisponenz iunivo l pino in sé tle he presi ue punti qulunque A B el pino e etti A B i loro orrisponenti si h he esiste un

Dettagli

Fondamenti di Intelligenza Artificiale M

Fondamenti di Intelligenza Artificiale M Fondamenti di Intelligenza Artificiale M 1 Esempi di possibili esercizi Description Logic e SW Introdurre brevemente la differenza tra Open World Assumption e Close World Assumption, illustrando tale differenza

Dettagli

Geometria analitica +l piano cartesiano Le funzioni retta, parabola, iperbole Le trasformazioni sul piano cartesiano

Geometria analitica +l piano cartesiano Le funzioni retta, parabola, iperbole Le trasformazioni sul piano cartesiano Geometri nliti +l pino rtesino Le funzioni rett, prol, iperole Le trsformzioni sul pino rtesino SEZ. P +l pino rtesino Osserv le oorinte ei seguenti punti: (, 0), (, ), C(, +), D + +, E(+, 9)., Che os

Dettagli

Fondamenti di Intelligenza Artificiale M a.a. 2010/2011. Note sul compito d esame

Fondamenti di Intelligenza Artificiale M a.a. 2010/2011. Note sul compito d esame Fondamenti di Intelligenza Artificiale M a.a. 2010/2011 Note sul compito d esame 1 Composizione di un possibile testo d esame Il testo d esame di Fondamenti di Intelligenza Artificiale M, dal 2009/2010

Dettagli

! è l'insieme A degli attributi di ! $ B IL PROBLEMA DELLE VISTE MATERIALIZZATE: PROBLEMI IL PROBLEMA DELLE VISTE MATERIALIZZATE

! è l'insieme A degli attributi di ! $ B IL PROBLEMA DELLE VISTE MATERIALIZZATE: PROBLEMI IL PROBLEMA DELLE VISTE MATERIALIZZATE IL PROBLEMA DELLE VISTE MATERIALIZZATE IL PROBLEMA DELLE VISTE MATERIALIZZATE: PROBLEMI Le viste nei DBMS relzionli Utilità elle viste mterilizzte per l'eseuzione i interrogzioni Venite(ProutI, NegozioI,

Dettagli

SOLUZIONE PROBLEMI Insegnamento di Fisica dell Atmosfera Seconda prova in itinere

SOLUZIONE PROBLEMI Insegnamento di Fisica dell Atmosfera Seconda prova in itinere Doente: rof Dino Zri serittore: in lessio Bertò OLUZION PROBLMI Insenento i Fisi ell tosfer eon rov in itinere /3 Vlori elle ostnti Rio terrestre eio: 637 Rio solre eio: 7 5 Distnz ei terr-sole : 9 6 Vlore

Dettagli

Monomi e polinomi. Verifica per la classe prima COGNOME... NOME... Classe... Data...

Monomi e polinomi. Verifica per la classe prima COGNOME... NOME... Classe... Data... Cpitolo Monomi e polinomi Monomi Verifi per l lsse prim COGNOME............................... NOME............................. Clsse.................................... Dt...............................

Dettagli

8 Equazioni parametriche di II grado

8 Equazioni parametriche di II grado Equzioni prmetrihe di II grdo Un equzione he oltre ll inognit (o lle inognite) ontiene ltre lettere (un o più) si die letterri o prmetri e le lettere sono himte, nhe, prmetri; si suppong he l equzione

Dettagli

Relazioni e funzioni. Relazioni

Relazioni e funzioni. Relazioni Relzioni e unzioni Relzioni Deinizione: dti due insiemi A e B, si deinise un relzione R tr A e B un orrispondenz stilit d un proposizione tr un elemento A e B, in tl so si die he è in relzione on e si

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

Vettori - Definizione

Vettori - Definizione Vettori - Definizione z Verso Origine Modulo Direzione V y Form geometri x Form nliti Un vettore è un ente geometrio definito d: - Direzione: rett sull qule gie il vettore, he ne indi l orientmento nello

Dettagli

Scomposizione di polinomi 1

Scomposizione di polinomi 1 Somposizione i un polinomio Cpitolo Somposizione i polinomi 1 erifi per l lsse prim COGNOME............................... NOME............................. Clsse.................................... Dt...............................

Dettagli

In generale i piani possono essere tra loro

In generale i piani possono essere tra loro Leione 7 - Alge e Geometi - Anno emio 9/ In genele i pini possono essee t loo Pini istinti inienti in un ett ppesentt l sistem sop sitto se. Pini plleli se istinti se, oinienti se. Eseiio tem esme) Si

Dettagli

Equazioni di secondo grado Capitolo

Equazioni di secondo grado Capitolo Equzioni i seono gro Cpitolo Risoluzione lgeri Verifi per l lsse seon COGNOME............................... NOME............................. Clsse.................................... Dt...............................

Dettagli

Disequazioni di secondo grado

Disequazioni di secondo grado Disequzioni i seono gro Cpitolo Risoluzione lgeri Verifi per l lsse seon COGNOME............................... NOME............................. Clsse.................................... Dt...............................

Dettagli

Codici di Huffman. Codici prefissi. Sia dato un file di 120 caratteri con frequenze:

Codici di Huffman. Codici prefissi. Sia dato un file di 120 caratteri con frequenze: Codii di Huffmn Codii di Huffmn I odii di Huffmn vengono mpimente usti nell ompressione dei dti (pkzip, jpeg, mp3). Normlmente permettono un risprmio ompreso tr il 2% ed il 9% seondo il tipo di file. Sull

Dettagli

La statistica nei test Invalsi

La statistica nei test Invalsi L sttisti nei test Invlsi 1) Osserv il grfio seguente he rppresent l distriuzione perentule di fmiglie per numero di omponenti, in se l ensimento 2001.. Qul è l perentule di fmiglie on 2 omponenti? Rispost:..%.

Dettagli

Sintesi Sequenziale Sincrona Sintesi Comportamentale di Reti Sequenziali Sincrone

Sintesi Sequenziale Sincrona Sintesi Comportamentale di Reti Sequenziali Sincrone Sintesi Sequenzile Sinron Sintesi Comportmentle di Reti Sequenzili Sinrone Riduzione del numero degli stti per Mhine Non Completmente Speifite Comptiilità Versione del 9/12/03 Mhine non ompletmente speifite

Dettagli

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria di Primo Grado Classe Prima. Scuola... Classe... Alunno...

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria di Primo Grado Classe Prima. Scuola... Classe... Alunno... VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA Suol Seonri i Primo Gro Clsse Prim Suol..........................................................................................................................................

Dettagli

Tecniche di Progettazione Digitale Progettazione e layout di porte logiche combinatorie CMOS p. 2

Tecniche di Progettazione Digitale Progettazione e layout di porte logiche combinatorie CMOS p. 2 Tenihe i Progettzione Digitle Progettzione e lout i porte logihe omintorie CMOS Vlentino Lierli Diprtimento i Tenologie ell Informzione Università i Milno, 26013 Crem e-mil: lierli@ti.unimi.it http://www.ti.unimi.it/

Dettagli

Componenti per l elaborazione binaria dell informazione. Sommario. Sommario. Approfondimento del corso di reti logiche. M. Favalli.

Componenti per l elaborazione binaria dell informazione. Sommario. Sommario. Approfondimento del corso di reti logiche. M. Favalli. Sommrio Componenti per l elorzione inri ell informzione Approfonimento el orso i reti logihe M. Fvlli Engineering Deprtment in Ferrr Porte logihe 2 Il livello swith 3 Aspetti tenologii 4 Reti logihe omintorie

Dettagli

Elettronica dei Sistemi Digitali Disegno del layout di porte logiche combinatorie CMOS

Elettronica dei Sistemi Digitali Disegno del layout di porte logiche combinatorie CMOS Elettroni ei Sistemi Digitli Disegno el lout i porte logihe omintorie CMOS Vlentino Lierli Diprtimento i Tenologie ell Informzione Università i Milno, 26013 Crem e-mil: lierli@ti.unimi.it http://www.ti.unimi.it/

Dettagli

Analisi Matematica I per Ingegneria Gestionale, a.a Scritto del quinto appello, 3 luglio 2017 Testi 1

Analisi Matematica I per Ingegneria Gestionale, a.a Scritto del quinto appello, 3 luglio 2017 Testi 1 nlisi Mtemti I per Ingegneri Gestionle,.. 6-7 Sritto el quinto ppello, 3 luglio 7 Testi Prim prte, gruppo.. Dire per quli R l funzione f() := sin( 3 ) + 3 è resente su tutto R.. Disporre le seguenti funzioni

Dettagli

tan tan = angolo formato dalla normale p,q = lunghezze dei segmenti misurati a partire dall origine n = distanza della retta dall origine

tan tan = angolo formato dalla normale p,q = lunghezze dei segmenti misurati a partire dall origine n = distanza della retta dall origine G. Di Mri Forulrio i geoetri nliti Forulrio i geoetri nliti G. Di Mri Rette For generle (ipliit) For riott (espliit) For norle 0 q For segentri os sin n 0 p q p,q = lunghezze ei segenti stti ll rett sugli

Dettagli

T16 Protocolli di trasmissione

T16 Protocolli di trasmissione T16 Protoolli di trsmissione T16.1 Cos indi il throughput di un ollegmento TD?.. T16.2 Quli tr le seguenti rtteristihe dei protoolli di tipo COP inidono direttmente sul vlore del throughput? Impossiilità

Dettagli

] + [ ] [ ] def. ] e [ ], si ha subito:

] + [ ] [ ] def. ] e [ ], si ha subito: OPE OPERAZIONI BINARIE Definizione di operzione inri Dto un insieme A non vuoto, si him operzione (inri) su A ogni pplizione di A in A In generle, un'operzione su A viene indit on il simolo Se (x, y) è

Dettagli

Ambiguità D 11 = SS ( S S S ( S (S ) S ( S ((S )) S ( + S (( )) S (S (( )) (S) (S (( )) ( ) ( (( )) ( )

Ambiguità D 11 = SS ( S S S ( S (S ) S ( S ((S )) S ( + S (( )) S (S (( )) (S) (S (( )) ( ) ( (( )) ( ) Amiguità D 11 = ( ( ( ) ( (( )) ( (( )) ( (( )) () ( (( )) ( ) ( (( )) ( )! ( ) ( )! Un Grmmti si die migu se medesime stringhe sono generte d leri sintttii di differente struttur ovvero on due distinte

Dettagli

Unità Didattica N 11 Le equazioni di secondo grado ad una incognita

Unità Didattica N 11 Le equazioni di secondo grado ad una incognita Unità Didtti N Le equzioni di seondo grdo d un inognit Unità Didtti N Le equzioni di seondo grdo d un inognit 0) L definizione di equzione di seondo grdo d un inognit 0) L risoluzione delle equzioni di

Dettagli

2^ Lezione. Equazioni di 1. Equazioni di 2. Equazioni fattoriali. Equazioni biquadratiche. Equazioni binomie. Equazioni fratte. Allegato Esercizi.

2^ Lezione. Equazioni di 1. Equazioni di 2. Equazioni fattoriali. Equazioni biquadratiche. Equazioni binomie. Equazioni fratte. Allegato Esercizi. Corso di Anli Alger di Bse ^ Lezione Equzioni di. Equzioni di. Equzioni fttorili. Equzioni iqudrtihe. Equzioni inomie. Equzioni frtte. Allegto Eserizi. EQUAZIONI ALGEBRICHE EQUAZIONI DI GRADO Con il termine

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

13. EQUAZIONI ALGEBRICHE

13. EQUAZIONI ALGEBRICHE G. Smmito, A. Bernrdo, Formulrio di mtemti Equzioni lgerihe F. Cimolin, L. Brlett, L. Lussrdi. EQUAZIONI ALGEBRICHE. Prinipi di equivlenz Si die identità un'uguglinz tr due espressioni ontenenti un o più

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

Es1 Es2 Es3 Es4 Es5 tot

Es1 Es2 Es3 Es4 Es5 tot Ottore lsse E Verifi sommtiv Cognome Nome rgomenti: onihe, funzione esponenzile e grfii derivti Tempo disposizione: ore Voto Es Es Es Es Es tot.... Considert l ellisse vente ome sse fole l sse, eentriità

Dettagli

Esercizi della 8 lezione sulla Geomeria Linere ESERCIZI SULLA CIRCONFERENZA ESERCIZI SULLA PARABOLA ESERCIZI SULL' ELLISSE ERCIZI SULL' IPERBOLE

Esercizi della 8 lezione sulla Geomeria Linere ESERCIZI SULLA CIRCONFERENZA ESERCIZI SULLA PARABOLA ESERCIZI SULL' ELLISSE ERCIZI SULL' IPERBOLE Eserizi dell lezione sull Geomeri Linere ESERCIZI SULLA CIRCONFERENZA ESERCIZI SULLA PARABOLA ESERCIZI SULL' ELLISSE ES ERCIZI SULL' IPERBOLE ESERCIZI SULLA CIRCONFERENZA. Determinre l equzione dell ironferenz

Dettagli

Test di autovalutazione

Test di autovalutazione UNITÀ ELEMENTI DI CALCOLO ALGEBRICO Test di utovlutzione 0 0 0 0 0 0 60 0 80 90 00 n Il mio punteggio, in entesimi, è n Rispondi ogni quesito segnndo un sol delle lterntive. n Confront le tue risposte

Dettagli

COMBINAZIONI DI CARICO SOLAI

COMBINAZIONI DI CARICO SOLAI COMBINAZIONI DI CARICO SOLAI (ppunti di Mrio Zfonte in fse di elorzione) Ai fini delle verifihe degli stti limite, seondo unto indito dll normtiv, in generle le ondizioni di rio d onsiderre, sono uelle

Dettagli

Appunti di Algebra Lineare. Mappe Lineari. 10 maggio 2013

Appunti di Algebra Lineare. Mappe Lineari. 10 maggio 2013 Appunti di Algebr Linere Mppe Lineri 0 mggio 203 Indie Ripsso di Teori 2. Cos è un mpp linere.................................. 2.2 Aluni ftti importnti................................... 3 2 Eserizi 4

Dettagli

A.A.2009/10 Fisica 1 1

A.A.2009/10 Fisica 1 1 Mhine termihe e frigoriferi Un mhin termi è un mhin he, grzie un sequenz i trsformzioni termoinmihe i un t sostnz, proue lvoro he può essere utilizzto. Un mhin solitmente lvor su i un ilo i trsformzioni

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

Matematica Finanziaria 20 dicembre 2000

Matematica Finanziaria 20 dicembre 2000 Mtemti Finnziri 0 diembre 000 TEST di Mtemti Finnziri. FILA A Cognome Nome Mtriol Rispondere lle sei domnde sbrrndo l sell he si ritiene orrett. Un sol rispost è orrett. Nel so si intend nnullre un rispost

Dettagli

Calcolo letterale. 1) Operazioni con i monomi. a) La moltiplicazione. b) La divisione. c) Risolvi le seguenti espressioni con i monomi.

Calcolo letterale. 1) Operazioni con i monomi. a) La moltiplicazione. b) La divisione. c) Risolvi le seguenti espressioni con i monomi. Clcolo letterle. ) Operzioni con i monomi. ) L moltipliczione. ) L divisione. c) Risolvi le seguenti espressioni con i monomi. ) I polinomi. ) Clcol le seguenti somme di polinomi. ) Applic l proprietà

Dettagli

Dischi e cilindri assialsimmetrici. Accoppiamenti forzati Dischi e cilindri

Dischi e cilindri assialsimmetrici. Accoppiamenti forzati Dischi e cilindri Dischi e cilini ssilsimmetici Accoppimenti fozti Dischi e cilini sempi Copi ssilsimmetici elstici elzioni i se O y h x Se Rh Stto pino i tensione z 0 0 z z R Ipotesi i se

Dettagli

Verifica per la classe seconda COGNOME... NOME... Classe... Data...

Verifica per la classe seconda COGNOME... NOME... Classe... Data... L rett Cpitolo Rett erifi per l lsse seon COGNOME............................... NOME............................. Clsse.................................... Dt............................... Rett Rette

Dettagli

Ellisse ed iperbole. Osservazione. Considereremo sempre ellissi della forma + = 1 le quali hanno tutte centro nell origine degli

Ellisse ed iperbole. Osservazione. Considereremo sempre ellissi della forma + = 1 le quali hanno tutte centro nell origine degli Ellisse ed iperole Ellisse Definizione: si definise ellisse il luogo geometrio dei punti del pino per i quli è ostnte l somm delle distnze d due punti fissi F e F detti fuohi. L equzione noni dell ellisse

Dettagli

FIBRA DI LEGNO TEST DI ACCRESCIMENTO SU IMPATIENS NUOVA GUINEA

FIBRA DI LEGNO TEST DI ACCRESCIMENTO SU IMPATIENS NUOVA GUINEA Fir di Legno S.r.l. soio unio Vi Tevere, 5 2207 Fino Mornso (CO) CF/P.IVA 022715012 www.firdilegnosrl.it info@firdilegnosrl.it FIBRA DI LEGNO TEST DI ACCRESCIMENTO SU IMPATIENS NUOVA GUINEA Nel orso del

Dettagli

Analisi di stabilità

Analisi di stabilità Anlisi di stilità Stilità intern modi propri degli stti utovlori di A Stilità estern modi propri dell usit poli dell fdt.-. Stilità : se tutti i modi propri rimngono limitti per ogni t. Stilità : se tutti

Dettagli

a è detta PARTE LETTERALE

a è detta PARTE LETTERALE I MONOMI Si die MONOMIO un espressione letterle in ui le unihe operzioni presenti sino il prodotto e l divisione. Esempio è detto COEFFICIENTE del monomio e è dett PARTE LETTERALE Un monomio si die ridotto

Dettagli

Barriere all entrata e modello del Prezzo Limite Economia industriale Università Bicocca

Barriere all entrata e modello del Prezzo Limite Economia industriale Università Bicocca Brriere ll entrt e modello del Prezzo imite onomi industrile Università Bio Christin Grvgli - Giugno 006 Brriere ll entrt definizioni Condizioni he permettono lle imprese opernti in un industri di elevre

Dettagli

Unità logico-aritmetica (ALU) Architetture dei Calcolatori (Lettere. Blocchi di base per costruire l ALUl. Passi per costruire l ALUl

Unità logico-aritmetica (ALU) Architetture dei Calcolatori (Lettere. Blocchi di base per costruire l ALUl. Passi per costruire l ALUl Unità logio-ritmeti (ALU) Arhitetture dei Cloltori (Lettere A-I) Unit Logio-Aritmeti (ALU) Prof. Frneso Lo Presti E l prte del proessore he svolge le operzioni ritmetio- logihe Rete omintori Operzioni

Dettagli

a b c d e x = operai addetti a un lavoro y = tempo impiegato per svolgere il lavoro Un operaio impiega 10 giorni

a b c d e x = operai addetti a un lavoro y = tempo impiegato per svolgere il lavoro Un operaio impiega 10 giorni ) Iniviu tr questi grfici quelli in cui è rppresentt un situzione i irett e un situzione i invers; poi inic il rispettivo nome ei grfici scelti. c e ) Per ognun elle seguenti telle te, stilisci il tipo

Dettagli

Aniello Murano NP- Completezza (seconda parte)

Aniello Murano NP- Completezza (seconda parte) Aniello Murno NP- Completezz (second prte) 15 Lezione n. Prole chive: Np-completezz Corso di Lure: Informtic Codice: Emil Docente: murno@ n.infn.it A.A. 2008-2009 Definizione di NP- COMPLETEZZA Si ricordi

Dettagli

Sondaggio piace l eolico?

Sondaggio piace l eolico? Songgio pie l eolio? Durnte l inugurzione i Stell sono stti istriuiti ei questionri per vlutre l inie i grimento ell eolio prte ell popolzione Sono stti ompilti e quini nlizzti 50 questionri Quest presentzione

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

Parabola Materia: Matematica Autore: Mario De Leo

Parabola Materia: Matematica Autore: Mario De Leo Prol Definizioni Prol on sse prllelo ll sse Prol on sse prllelo ll sse Prole prtiolri Rppresentzione grfi Esepi di eserizi Rett tngente d un prol Eserizi Mteri: Mteti Autore: Mrio De Leo Definizioni Luogo

Dettagli

VERIFICA DI UN CIRCUITO RESISTIVO CONTENENTE PIÙ GENERATORI CON UN TERMINALE COMUNE E SENZA TERMINALE COMUNE.

VERIFICA DI UN CIRCUITO RESISTIVO CONTENENTE PIÙ GENERATORI CON UN TERMINALE COMUNE E SENZA TERMINALE COMUNE. FCA D UN CCUTO SSTO CONTNNT PÙ GNATO CON UN TMNAL COMUN SNZA TMNAL COMUN. Si verifino quttro iruiti on due genertori: genertori on polrità onorde e un terminle omune genertori on polrità disorde e un terminle

Dettagli

parabola curva coniche cono piano parallelo generatrice

parabola curva coniche cono piano parallelo generatrice LA ARABOLA L rol è un urv molto imortnte e lle moltelii rorietà. Ess er onosiut i Grei (Aollonio e Arhimee II e III seolo.c.). Aollonio er rimo, in un fmoso trttto, sorì he l rol f rte i un lsse iù generle

Dettagli

Il piano cartesiano e la retta

Il piano cartesiano e la retta Cpitolo Eserizi Il pino rtesino e l rett Teori p. Coorinte rtesine nel pino Stilisi ove si trov isuno ei punti ti. (I I qurnte, II II qurnte, III III qurnte, IV IV qurnte, x sse x, y sse y) A(0, 8) B(,

Dettagli

Sezione Esercizi ; ; ; 1 4. f ) 13 + g ) , 100, 125; f ) 216; 8 27 ; ; e ) g ) 0; h )

Sezione Esercizi ; ; ; 1 4. f ) 13 + g ) , 100, 125; f ) 216; 8 27 ; ; e ) g ) 0; h ) Sezione Esercizi Esercizi Esercizi dei singoli prgrfi - Rdici Determin le seguenti rdici qudrte rzionli (qundo è possiile clcolrle) 00 l ) m ) n ) o ) 0,0 0,0 0,000 0, Determin le seguenti rdici qudrte

Dettagli

PROVE DI CARICO SU SOLAIO

PROVE DI CARICO SU SOLAIO .5. PROVE DI CARICO SU SOAIO Pg. di PROVE DI CARICO SU SOAIO. Sopo prov intende testre le strutture orizzontli, in termini di resistenz e di rispost elsti, sottoponendole lle mssime solleitzioni possiili

Dettagli

Unità Didattica N 11 Le equazioni di secondo grado ad una incognita Unità Didattica N 11 Le equazioni di secondo grado ad una incognita

Unità Didattica N 11 Le equazioni di secondo grado ad una incognita Unità Didattica N 11 Le equazioni di secondo grado ad una incognita 86 Unità Didtti N Le equzioni di seondo grdo d un inognit Unità Didtti N Le equzioni di seondo grdo d un inognit ) L definizione di equzione di seondo grdo d un inognit ) L risoluzione delle equzioni di

Dettagli

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria Superiore Classe terza. Scuola... Classe... Alunno...

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria Superiore Classe terza. Scuola... Classe... Alunno... VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA Suol Seonri Superiore Clsse terz Suol..........................................................................................................................................

Dettagli

Punteggio per Area del Sapere Area Matematica

Punteggio per Area del Sapere Area Matematica Graduatoria simulazione test di accesso per l ammissione ai corsi di Laurea in Economia ed Amministrazione Aziendale Economia e Finanza Statistica per l analisi dei dati Pos. per del Sapere 1 0004544 43,75

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

ISTITUTO COMPRENSIVO DI ZANICA SCUOLA SECONDARIA DI PRIMO GRADO ERNESTINA BELUSSI COMUN NUOVO. Relazione

ISTITUTO COMPRENSIVO DI ZANICA SCUOLA SECONDARIA DI PRIMO GRADO ERNESTINA BELUSSI COMUN NUOVO. Relazione Relzione Le lssi 1^ A e 1^ B dell Suol Seondri di primo grdo di Comun Nuovo, nell mito di un perorso nnule legto ll eologi (rifiuti e loro riilo), hnno rolto i dti reltivi llo stile di vit di un mpione

Dettagli

VERSO L ESAME DI STATO LA DERIVATA DI UNA FUNZIONE

VERSO L ESAME DI STATO LA DERIVATA DI UNA FUNZIONE VERSO L ESAME DI STATO LA DERIVATA DI UNA FUNZIONE Soluzioni di quesiti e prolemi trtti dl Corso Bse Blu di Mtemti volume 5 [] (Es. n. 8 pg. 9 V) Dell prol f ( ) si hnno le seguenti informzioni, tutte

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

Algebra Relazionale. Operazioni nel Modello Relazionale

Algebra Relazionale. Operazioni nel Modello Relazionale lger Relzionle lger Relzionle Operzioni nel Moello Relzionle Le operzioni sulle relzioni possono essere espresse in ue ormlismi i se: lger relzionle: le interrogzioni (query) sono espresse pplino opertori

Dettagli

Appunti di Matematica Computazionale Lezione 1. Equazioni non lineari. Consideriamo il problema della determinazione delle radici dell equazione

Appunti di Matematica Computazionale Lezione 1. Equazioni non lineari. Consideriamo il problema della determinazione delle radici dell equazione Appunti di Mtemti Computzionle Lezione Equzioni non lineri Considerimo il prolem dell determinzione delle rdii dell equzione dove è un funzione definit in [,]. Teorem: Zeri di unzioni Continue Si un funzione

Dettagli

Corso di Idraulica per allievi Ingegneri Civili

Corso di Idraulica per allievi Ingegneri Civili Corso di Idrulic per llievi Ingegneri Civili Esercitzione n 1 I due sertoi e B in Figur 1, venti lrghezz comune pri, sono in comuniczione ttrverso l luce di fondo pert nel setto divisorio. Il primo,, contiene

Dettagli

Analisi sistematica delle strutture. Rigidezza

Analisi sistematica delle strutture. Rigidezza Anls sstemt elle strutture Rgezz u U x y v Trve nel pno v Vettore forze nol Vettore spostment nol θ u θ u U u V v Tre gr lertà per noo Due no per elemento x U θ u Se gr lertà per elemento V v tre rgezz

Dettagli

Equazioni di primo grado

Equazioni di primo grado Cpitolo Equzioni i primo gro Equzioni i primo gro erifi per l lsse prim COGNOME............................... NOME............................. Clsse.................................... Dt...............................

Dettagli

Esercizi sulle reti elettriche in corrente continua

Esercizi sulle reti elettriche in corrente continua serizi sulle reti elettrihe in orrente ontinua serizio 1: eterminare la P erogata generatore, e la P R assorita resistore R del iruito in figura 4 Ω Ω Ω 15 Ω 5 Ω Ω R Ω 10 Ω Soluzione: P = 150 W P R =.08

Dettagli

NECESSITÀ DEI LOGARITMI

NECESSITÀ DEI LOGARITMI NECESSITÀ DEI LOGARITMI Nelle equzioi espoezili he imo risolto sior er sempre possiile ridursi equzioi i ui si vev l stess se, l equzioe divetv lgeri sempliemete uguglido gli espoeti. M o tutte le equzioi

Dettagli

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

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria di Primo Grado Classe Prima. Scuola... Classe... Alunno...

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria di Primo Grado Classe Prima. Scuola... Classe... Alunno... VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA Suol Seonri i Primo Gro Clsse Prim Suol..........................................................................................................................................

Dettagli

Sistemi Intelligenti Reinforcement Learning: Sommario

Sistemi Intelligenti Reinforcement Learning: Sommario Sistemi Intelligenti Reinforcement Lerning: Itertive policy evlution Alberto Borghese Università degli Studi di Milno Lbortorio di Sistemi Intelligenti Applicti (AIS-Lb) Diprtimento di Scienze dell Informzione

Dettagli

c β Figura F2.1 Angoli e lati in un triangolo rettangolo.

c β Figura F2.1 Angoli e lati in un triangolo rettangolo. F. Trigonometri F. Risoluzione dei tringoli rettngoli Risolvere un tringolo rettngolo signifi trovre tutti i suoi lti e tutti i suoi ngoli. Un ngolo lo si onose già ed è l ngolo retto. Le inognite sono

Dettagli

Macchine non completamente specificate. Sintesi Sequenziale Sincrona Sintesi Comportamentale di Reti Sequenziali Sincrone

Macchine non completamente specificate. Sintesi Sequenziale Sincrona Sintesi Comportamentale di Reti Sequenziali Sincrone Mhin non ompltmnt spifit Sintsi Squnzil Sinron Sintsi Comportmntl i Rti Squnzili Sinron Riuzion l numro gli stti pr Mhin Non Compltmnt Spifit Comptiilità Vrsion l 5/12/02 Sono mhin in ui pr lun onfigurzioni

Dettagli

UTILIZZO DEL PRINCIPIO DEI LAVORI VIRTUALE PER ANALISI DI STRUTTURE IPERSTATICHE CALCOLO DI SPOSTAMENTI ESERCIZIO 1

UTILIZZO DEL PRINCIPIO DEI LAVORI VIRTUALE PER ANALISI DI STRUTTURE IPERSTATICHE CALCOLO DI SPOSTAMENTI ESERCIZIO 1 UTILIZZO DEL RINIIO DEI LVORI VIRTULE ER NLISI DI STRUTTURE IERSTTIHE LOLO DI SOSTMENTI ESERIZIO L struttur indict in fig., compost d un unic st sezione circolre pien di dimetro d, simmetric rispetto ll

Dettagli

Soluzioni esercizi di Riepilogo e Autovalutazione

Soluzioni esercizi di Riepilogo e Autovalutazione Soluzioni eserizi di Riepilogo e Autovlutzione Mrello D Agostino Corso di Logi Filosofi 2014/2015 27 mggio 2015 Copyright 2015 Mrello D Agostino BLOCCO I Domnd 1: Un rispost è l seguente: Un inferenz è

Dettagli

1) TEOREMA: OGNI TRIANGOLO E INSCRIVIBILE/CIRCOSCRIVIBILE IN/AD UNA CIRCONFERENZA

1) TEOREMA: OGNI TRIANGOLO E INSCRIVIBILE/CIRCOSCRIVIBILE IN/AD UNA CIRCONFERENZA 1) TEORE: OGNI TRINGOLO E INSRIVIILE/IROSRIVIILE IN/ UN IRONFERENZ TRINGOLO INSRITTO: isegniamo il triangolo. Si tracciano i due assi r ed s dei lati e. Indichiamo con il loro punto di incontro. Sappiamo

Dettagli

Geometria Analitica Domande, Risposte & Esercizi

Geometria Analitica Domande, Risposte & Esercizi Geometri Anliti Domnde, Risposte & Eserizi L ellisse. Dre l definizione di ellisse ome luogo di punti. L ellisse è un luogo di punti, è ioè un insieme di punti del pino le ui distnze d due punti fissi

Dettagli

Ordinanza del DFF sulle aliquote dei contributi all esportazione dei prodotti agricoli di base

Ordinanza del DFF sulle aliquote dei contributi all esportazione dei prodotti agricoli di base Ordinnz del DFF sulle liquote dei ontriuti ll esportzione dei prodotti grioli di se Modifi del 2 ottore 2015 Il Diprtimento federle delle finnze (DFF) ordin: I L llegto dell ordinnz del DFF del 9 gennio

Dettagli

8. Calcolo integrale.

8. Calcolo integrale. Politenio di Milno - Foltà di Arhitettur Corso di Lure in Edilizi Istituzioni di Mtemtihe - Appunti per le lezioni - Anno Ademio 200/20 26 8 Clolo integrle 8 Signifito geometrio dell integrle definito

Dettagli

PARAMETRI DI VALUTAZIONE PER AUTOBUS INTERURBANI E CRITERI PER L'ASSEGNAZIONE DEI PUNTEGGI ALLEGATO 6/lotto 1

PARAMETRI DI VALUTAZIONE PER AUTOBUS INTERURBANI E CRITERI PER L'ASSEGNAZIONE DEI PUNTEGGI ALLEGATO 6/lotto 1 PARAMETRI DI VALUTAZIONE PER AUTOBUS INTERURBANI E CRITERI PER L'ASSEGNAZIONE DEI PUNTEGGI ALLEGATO 6/lotto 1 PUNTEGGIO PARAMETRI INTERURBANO NORMALE Punteggio Vlutzioni 1 PREZZO DEL VEICOLO COMPLETO (vesi

Dettagli

Le proprietà fondamentali del campo magnetico

Le proprietà fondamentali del campo magnetico 1) Ftti sperimentli. Le proprietà fonmentli el mpo mgnetio Riportimo ue ftti sperimentli: ) Un filo rettilineo infinito perorso orrente I gener un mpo mgnetio on le seguenti proprietà: l intensità ument

Dettagli

OPERAZIONI CON LE FRAZIONI ALGEBRICHE

OPERAZIONI CON LE FRAZIONI ALGEBRICHE OPERAZIONI CON LE FRAZIONI ALGEBRICHE A] SEMPLIFICAZIONE DI UNA FRAZIONE ALGEBRICA Sempliicre u rzioe lgeric sigiic dividere umertore e deomitore per uo stesso ttore diverso d zero. Procedur per sempliicre

Dettagli

Grammatiche libere dal contesto

Grammatiche libere dal contesto Grmmtihe liere dl ontesto G = < VN,V,P, > VN - nsieme finito di simoli detti Non terminli V - nsieme finito di simoli detti erminli!!! V = VN! V, VN "#, V "#, VN $ V =# -. imolo distinto o Assiom del Linguggio!!

Dettagli

MISURAZIONE DELLE CARATTERISTICHE RILEVANTI DI UN TRANSISTOR NPN

MISURAZIONE DELLE CARATTERISTICHE RILEVANTI DI UN TRANSISTOR NPN Elettrologi Elettronic Trnsistor bipolre MISURAZIONE DELLE ARATTERISTIHE RILEVANTI DI UN TRANSISTOR NPN Misurzione dell crtteristic di ingresso, vle dire l corrente di bse IB in funzione dell tensione

Dettagli

LA PROPAGAZIONE DEGLI ERRORI:

LA PROPAGAZIONE DEGLI ERRORI: LA PROPAGAZIOE DEGLI ERRORI: Fio d or io visto coe deterire l errore di u grdezz isurt direttete. Spesso però cpit ce il vlore dell grdezz ce si vuole deterire o è isurile, deve essere ricvto prtire d

Dettagli

Elettronica dei Sistemi Digitali Progetto di sottosistemi in tecnologia CMOS

Elettronica dei Sistemi Digitali Progetto di sottosistemi in tecnologia CMOS Elettroni dei Sistemi Digitli Progetto di sottosistemi in tenologi CMOS Vlentino Lierli Diprtimento di Tenologie dell Informzione Università di Milno, 2613 Crem e-mil: lierli@dti.unimi.it http://www.dti.unimi.it/

Dettagli