LOGICA DEI PREDICATI. Introduzione. Predicati e termini individuali. Termini individuali semplici e composti
|
|
- Fausto Di Carlo
- 8 anni fa
- Visualizzazioni
Transcript
1 Introduzione LOGICA DEI PREDICATI Corso di Intelligenza Artificiale A.A. 2009/2010 Prof. Ing. Fabio Roli La logica dei predicati, o logica del primo ordine (LPO) considera schemi proposizionali composti da proposizioni predicati termini individuali (argomenti dei predicati) connettivi (gli stessi della logica proposizionale (LP) ) i quantificatori corrispondenti agli operatori tutti e qualche del linguaggio naturale Il significato di logica del primo ordine sarà chiarito più avanti La sintassi e la semantica della LPO, decritte in questo capitolo, possono essere considerate un estensione della sintassi e della semantica della LP Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 2 Predicati e termini individuali Termini individuali semplici e composti Nel linguaggio formale della LPO, così come nel linguaggio naturale, sia i predicati che i termini individuali che ne costituiscono gli argomenti possono essere di due tipi: variabili e costanti Luca,!5, il Danubio sono costanti individuali, in quanto denotano un singolo oggetto (o individuo) determinato lui, questo, x sono invece variabili individuali, in quanto denotano un individuo generico, che può variare a seconda dell enunciato e del contesto essere cugino di, essere uguale a sono costanti predicative, in quanto denotano un predicato determinato i simboli usati per indicare predicati generici (per es. il simbolo A nello schema tutti gli uomini sono A ) sono invece variabili predicative, poiché il predicato corrispondente può variare a seconda dell enunciato e del contesto Sia in LPO che nel linguaggio naturale i termini individuali si distinguono tra semplici e composti, indipendentemente dalla distinzione tra costanti e variabili i nomi propri e i pronomi (per es. Luca, il Danubio, lui, questo ) sono termini semplici le espressioni che denotano un singolo individuo in funzione di uno o più altri individui singoli sono invece termini composti (per es.!5, la capitale della Francia, la casa più vecchia della via più lunga di Napoli, 2+3, x 2 y 2, min{x,y,z} ). Nella LPO la dipendenza funzionale va intesa in senso matematico Si noti che i termini semplici possono essere sia costanti individuali (per es. Luca, il Danubio ) che variabili individuali ( lui, questo ) Analogamente, i termini composti possono essere costanti individuali (per es.!5, la capitale della Francia ), oppure possono denotare individui generici ( x 2 y 2, min{x,y,z} ), anche se in quest ultimo caso non hanno lo stesso ruolo sintattico delle variabili individuali Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 3 Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 4
2 Sintassi della LPO: termini individuali Sintassi della LPO: predicati Una delle convenzioni più usate per indicare i termini individuali è la seguente costanti individuali semplici: simboli o nomi con l iniziale maiuscola ed eventuali pedici (es.: X, Y, Z 1, John, Wumpus, ecc.) variabili individuali semplici: simboli o nomi con l iniziale minuscola ed eventuali pedici (a, b, x 1, y 1, pit, ecc.), esclusi i simboli t, t 1, t 2,... (vedi sotto) termini composti: si usa la notazione matematica f(...), dove gli argomenti, separati da virgole, sono a loro volta (ricorsivamente) termini individuali funzioni generiche: si usano i simboli F, F 1, F 2,..., detti variabili funzionali funzioni determinate, di significato già noto: si usano nomi simbolici con l iniziale maiuscola (es.: Successore, Cugino, ecc.), detti costanti funzionali Es.: F(a), F 1 (x,y), Successore(X), Successore(Successore(X)), ecc. In alcuni casi è comodo indicare genericamente un termine individuale senza specificare se sia costante o variabile, semplice o composto: per questo scopo si usano i simboli t, t 1, t 2,... I predicati e le proposizioni sono invece indicati nel modo seguente variabili predicative e proposizionali: le lettere maiuscole P, Q, R,... (la distinzione tra proposizione e predicato sarà chiara dal contesto) costanti predicative: nomi simbolici di predicati determinati, di significato noto (es.: Pari, Dispari, Adiacente, Uguale, ecc.) La notazione usata per indicare un predicato applicato a una sequenza di argomenti (termini individuali) è P(t 1 ) Es.: Pari(X), Adiacente(c 1,c 2 ), Uguale(a,b) Spesso è comodo indicare alcune costanti predicative con simboli di uso comune, per es. = e <, invece che con nomi simbolici come Uguale e Maggiore In questo caso, al posto della notazione prefissa P(t 1 ), si adotta una notazione equivalente derivata dall uso comune, per es.: (x = y) al posto di Uguale(x,y) (A > F(x)) al posto di Maggiore(A,F(x)) Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 5 Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 6 Sintassi della LPO: formule atomiche e composte Formule atomiche e composte: esempi Una fbf atomica della LPO ha la forma P(t 1 ), dove P è un predicato a n argomenti t 1 sono termini individuali semplici Come caso particolare, un intera proposizione può essere vista come un predicato a zero argomenti. Anche una variabile proposizionale (per es. Q) è quindi una fbf atomica della LPO Una formula del tipo P(t 1 ) in cui almeno uno dei termini sia composto è invece una fbf composta I connettivi usati nella LPO sono gli stessi della LP. Di seguito si considereranno i connettivi "# $# % e & Le definizioni di fbf ottenute per mezzo dei connettivi sono le stesse della LP se H è una fbf qualsiasi, "H è una fbf (composta) se H e K sono fbf qualsiasi, H$K, H%K e H&K sono fbf (composte) Formule atomiche P Q(a,b), Q(x,y), Q(a,z) Formule composte R(F 1 (a)), R(F 1 (x)), R(F 1 (F 2 (b,x))), Q(c,F 3 (d)) "P, "Q(a,z), P $ Q(x,y), Q(a,b) % R(F 1 (x)), Q(c,F 3 (d)) & Q(a,b) ( P % Q(x,y) ) $ R(F 1 (x)), Q(a,b) & ( P $ Q(x,y) ) Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 7 Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 8
3 Sintassi della LPO: quantificatori Sintassi della LPO: quantificatori I quantificatori tutti e qualche del linguaggio naturale si indicano in LPO rispettivamente con i simboli ' e ( Indicando con H[x] una generica fbf della LPO contenente la variabile individuale x, i quantificatori sono usati per codificare proposizioni della forma per ogni individuo x la proposizione H[x] è vera per qualche individuo x la proposizione H[x] è vera La sintassi dei due tipi di proposizioni nella LPO è la seguente 'x H[x] (x H[x] Esempi: 'x (R(x) & S(x)), 'x (R(x) % Q(a,x)), (x (R(F 1 (x)) $ Q(x,y)) In realtà non tutte le formule della forma 'x H[x] e (x H[x] sono fbf: la sintassi della LPO pone alcune limitazioni sulla fbf H[x], legate ai concetti di raggio d azione dei quantificatori e di variabili libere o vincolate il raggio d azione di un quantificatore è l espressione subito alla sua destra (delimitata da parentesi per evitare ambiguità), sulla quale esso agisce una variabile individuale in una fbf è vincolata se è compresa nel raggio d azione di un quantificatore che agisce su di essa, è libera altrimenti Esempi il raggio d azione di 'x in 'x (P(x) % Q(x)) $ R(x) è P(x) % Q(x), mentre in 'x ((P(x) % Q(x)) $ R(x)) è (P(x) % Q(x)) $ R(x). Nel primo caso, la x di R(x) è libera, nel secondo caso tutte le occorrenze della x sono vincolate il raggio d azione di (x in (x (R(x,y)) $ Q(y) è R(x,y). La x in R(x,y) è vincolata, mentre le occorrenze della y sono libere Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 9 Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 10 Sintassi della LPO: quantificatori Sintassi della LPO È ora possibile completare la definizione delle fbf della LPO con le seguenti regole: se H è una fbf e x è una variabile individuale libera in H, allora 'x H e (x H sono fbf nient altro è una fbf La prima regola implica che non è consentito quantificare una variabile già vincolata. Es.: se H[x] è una fbf e x è libera in H, non sono fbf formule come 'x ('x H[x]), 'x ((x H[x]), (x ('x H[x]) e (x ((x H[x]) non è consentito quantificare una variabile che non compaia in una fbf. Es.: formule come 'z P(x,y) e (w (P(x) & 'z S(y,z)) non sono fbf Riassumendo, le regole che definiscono la sintassi della LPO sono le seguenti le variabili proposizionali P, Q,... sono fbf (atomiche) i predicati della forma P(t 1 ) sono fbf (atomiche se t 1 sono termini individuali semplici, composte se almeno uno dei t i è composto) se H è una fbf, "H è una fbf (composta) se H e K sono fbf, H$K, H%K e H&K sono fbf (composte) se H è una fbf e x è una variabile individuale libera in H, allora 'x H e (x H sono fbf nient altro è una fbf Se una fbf contiene solo variabili vincolate si dice chiusa, altrimenti si dice aperta Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 11 Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 12
4 Semantica della LPO: termini individuali e predicati Semantica della LPO: formule chiuse La definizione della sematica della LPO, cioè del significato delle sue fbf, è più complessa rispetto a quella della LP, e richiede tre passi preliminari definizione di un universo, o dominio, cioè l insieme (finito o infinito) di individui che si prendono in considerazione (per es., l insieme degli studenti che seguono un dato corso, l insieme dei numeri naturali, ecc.) interpretazione (definizione del significato) delle costanti individuali: una costante individuale denota un determinato individuo del dominio interpretazione dei predicati: il significato di un predicato a n argomenti è la sua estensione, cioè l insieme di n-uple (ordinate) del dominio per cui il predicato è vero. Es.: nel dominio (infinito) dei numeri naturali {0, 1, 2,...} il significato (estensione) del predicato binario maggiore di è l insieme (infinito) di coppie ordinate (m,n) tali che m>n: {(1,0), (2,0),..., (2,1),... } il significato della relazione unaria essere un numero pari è l insieme di singoletti {(2), (4), (6),... } Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 13 Si considerino ora fbf chiuse: analogamente alla LP, tali fbf hanno un valore di verità che può essere o vero oppure falso, e si determina come segue Dati un dominio U e un interpretazione I di costanti individuali e predicati: una fbf atomica chiusa del tipo P(t 1 ) sarà vera se la n-upla di elementi di U (u 1,u 2,...,u n ) tali che u i sia l intepretazione di t i fa parte dell estensione di P, falsa altrimenti se H e K sono fbf chiuse, il valore di verità di "H, H$K, H%K e H&K è definito dalle tavole di verità dei connettivi se H[x] è una fbf in cui solo la variabile x è libera la fbf 'x H[x] è vera se la formula H[t], dove t è una costante individuale, è vera per ogni elemento del dominio, cioè se non esistono elementi del dominio per cui H[t] è falsa (intuitivamente, 'x H[x] rappresenta l enunciato tutti gli elementi del dominio godono della proprietà H ) la fbf (x H[x] è vera se e solo se la fbf H[t] (con t costante individuale) è vera per almeno un elemento del dominio, (intuitivamente, (x H[x] rappresenta l enunciato qualche elemento del dominio gode della proprietà H ) Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 14 Semantica delle formule chiuse: esempi Semantica delle formule chiuse: esempi Si consideri il dominio delle capitali degli stati europei {Roma, Parigi,...} sia l individuo Roma l interpretazione della costante individuale Roma e l individuo Parigi quella della costante individuale Parigi sia {(Roma), (Parigi),...} l estensione del predicato P (P potrebbe quindi rappresentare il predicato essere una capitale ) e ) l estensione di Q (che potrebbe rappresentare il predicato essere un fiume ) Allora, secondo le regole precedenti P(Roma), P(Parigi), P(Roma)$P(Parigi), "Q(Roma), 'x P(x) e "((x Q(x)) sono fbf vere Q(Roma), (x Q(x), "P(Parigi), P(Roma)$Q(Parigi) e P(Roma)&Q(Parigi) sono fbf false Si noti che in LPO non si può parlare di verità o falsità di una fbf in generale, ma solo in rapporto a un dato dominio Si consideri per es. la fbf 'x ((y (y<x)), in cui il simbolo < è una costante predicativa con l usuale significato essere minore di nel dominio dei numeri naturali N={0, 1, 2,...} tale fbf rappresenta l enunciato ogni numero naturale è maggiore di qualche numero naturale. L estensione di < è l insieme delle coppie odinate (m,n) di elementi di N tali che m<n. In tale dominio la fbf è falsa, poiché 0 non è maggiore di nessun numero naturale. In modo più rigoroso, si noti che la fbf (y (y<0) è falsa, e quindi secondo la semantica di ', 'x ((y (y<x)) è falsa nel dominio dei numeri reali la fbf precedente è invece chiaramente vera Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 15 Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 16
5 Semantica della LPO: formule aperte Soddisfacibilità e validità Si consideri la fbf aperta (x<a), nel dominio dei numeri naturali e nell interpretazione usuale del predicato <. Sia inoltre il numero 5 l interpretazione della costante individuale A Nel dominio e nell interpretazione dati, la fbf (x<a) è vera o falsa? Per stabilirlo è necessario un passo ulteriore, che consiste nell intepretare anche la variabile libera x. È chiaro che se x denota per es. il numero 3, la fbf è vera, mentre è falsa se x denota il numero 8 Quindi la verità delle fbf aperte dipende anche dall interpretazione di tutte le variabili libere NOTA: l utilità delle fbf aperte sarà chiarita nel prossimo capitolo, quando si presenterà la regola d inferenza di eliminazione del quantificatore esistenziale Dato un dominio, si dice modello un interpretazione dei predicati e delle costanti individuali In generale, una data fbf (sia chiusa che aperta) potrà essere vera o falsa a seconda del dominio considerato e del modello, come le fbf 'x ((y (y<x)) e (x<a) di esempi precedenti. Tali fbf sono dette soddisfacibili Esistono però anche fbf la cui verità o falsità non dipende nè dal dominio nè dal modello, ma solo dalla loro forma. Tali fbf sono cioè vere (false) per qualunque dominio e qualunque modello, e sono dette valide (contraddittorie). Per es., è facile verificare che 'x (P(x) & P(x)), P(x) % ("P(x)) e P(A) % ("P(A)) sono valide (x (P(x) $ ("P(x))), P(x) $ ("P(x)) e P(A) $ ("P(A)) sono contraddittorie Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 17 Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 18 Osservazione sui quantificatori Formule con il quantificatore universale Si consideri un dominio finito {u 1,..., u m } Dalla semantica di ' si deduce che, in tale dominio, una fbf del tipo 'x H[x] è vera se e solo se sono vere tutte le fbf H[u 1 ],..., H[u m ], cioè se e solo se è vera H[u 1 ]$... $H[u m ] Analogamente, dalla semantica di ( si deduce che una fbf del tipo (x H[x] è vera se e solo se almeno una delle fbf H[u 1 ],..., H[u m ] è vera, cioè se e solo se è vera H[u 1 ]%... %H[u m ] Quindi nel caso di un dominio finito le fbf quantificate possono sempre essere riscritte (almeno in principio) usando solo connettivi Nei dominii infiniti questo non è invece possibile, poiché la congiunzione o disgiunzione di un numero infinito di fbf non è una fbf Questo significa che i quantificatori sono indispensabili solo nel caso di dominii infiniti Si è detto che una fbf del tipo 'x H[x] rappresenta l enunciato tutti gli elementi del dominio godono della proprietà H Nel linguaggio naturale sono comuni proposizioni della forma ogni P è Q (dove P e Q denotano predicati). Tali proposizioni possono essere ricondotte alla forma precedente trasformandole in per ogni individuo x, se x è P allora x è Q In questo caso, il fatto che un singolo individuo x goda della proprietà H può essere espresso mediante la fbf P(x) & Q(x), e quindi la proposizione ogni P è Q può essere espressa con la fbf 'x (P(x) & Q(x)) Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 19 Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 20
6 Formule con il quantificatore universale: esempio Formule con il quantificatore esistenziale Si consideri come dominio un insieme di persone, e due predicati a un argomento Re e Malvagio (con il significato intuitivo). La proposizione tutti i re sono malvagi si può rappresentare con la formula 'x (Re(x) & Malvagio(x)) Si noti che, secondo la semantica della LPO, la fbf precedente è falsa solo se nel dominio c è qualche re che non è malvagio è vera anche se nessun individuo del dominio è un re (poiché in tal caso l antecedente dell implicazione è falso per ogni individuo) in un dominio finito {u 1,..., u m }, indicando con A 1, A 2,..., A m le corrispondenti costanti individuali, la fbf equivale a (Re(A 1 ) & Malvagio(A 1 )) $... $ (Re(A m ) & Malvagio(A m )) Una fbf del tipo (x H[x] rappresenta l enunciato qualche individuo gode della proprietà H A tale forma possono essere ricondotte le proposizioni come qualche P è Q, trasformandole in per qualche individuo x, x è P e x è Q In questo caso, il fatto che un singolo individuo x goda della proprietà H può essere espresso mediante la fbf P(x) $ Q(x), e quindi la proposizione qualche P è Q può essere espressa con la fbf (x (P(x) $ Q(x)) Un errore comune è quello di rappresentare un enunciato come tutti i P sono Q con la formula 'x (P(x) $ Q(x)). Secondo la semantica di ', il significato di tale formula è invece tutti gli individui del dominio sono sia P che Q, che è chiaramente diverso dal significato desiderato Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 21 Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 22 Formule con il quantificatore esistenziale: esempio Legami tra i quantificatori Si considerino ancora il dominio e i predicati dell esempio precedente. La proposizione qualche re è malvagio può essere rappresentata con la formula (x (Re(x) $ Malvagio(x)) Tale fbf è falsa se e solo se nel dominio non esistono individui che siano re e siano malvagi in un dominio finito {u 1,..., u m }, indicando con A 1, A 2,..., A m le corrispondenti costanti individuali, la fbf equivale a (Re(A 1 ) $ Malvagio(A 1 )) %... % (Re(A m ) $ Malvagio(A m )) Un errore comune è quello di interpretare un enuciato come qualche P è Q con per qualche x, se x è P allora x è Q, rappresentandolo quindi con la formula (x (P(x) & Q(x)). Tuttavia tale formula è vera anche se non esiste nessun individuo che sia P e sia anche Q (poiché in questo caso P(x) è falsa per qualsiasi x), e non corrisponde quindi all enunciato qualche P è Q Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 23 È facile dimostrare le seguenti equivalenze, che mettono in relazione i due quantificatori della LPO per mezzo del connettivo di negazione 'x ("H[x]) * "+(x H[x]) "+'x H[x]) * (x ("H[x]) 'x H[x] * "+(x ("H[x])) (x H[x] * "('x ("H[x])) Per es., la prima equivalenza si dimostra come segue: 'x ("H[x]) è vera se e solo se H[x] è falsa per ogni individuo, cioè se e solo se non esiste un individuo x tale che H[x] sia vera, cioè se e solo se "+(x H[x]) è vera Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 24
7 Quantificatori annidati Il predicato di uguaglianza Le fbf in cui compaia una sequenza di variabili quantificate nello stesso modo, come 'x('y('z... H[x,y,z,...]... )) e (x((y((z... H[x,y,z,...]... )) vengono scritte per semplicità come 'x,y,z,... H[x,y,z,...] e (x,y,z,... H[x,y,z,...] Nel caso in cui una fbf contenga sia variabili quantificate universalmente che variabili quantificate esistenzialmente, il suo significato dipende dall ordine dei quantificatori Esempio: è facile verificare che nel dominio dei numeri reali 'x ((y (x>y)) significa ogni numero reale è maggiore di qualche altro numero reale (tale fbf è quidi vera) (y ('x (x>y)) significa invece qualche numero reale è minore di tutti i numeri reali (ed è quindi falsa) Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 25 Si supponga di voler rappresentare l enunciato qualche coppia di individui distinti x, y gode della proprietà H[x,y]. La fbf (x,y H[x,y] lo rappresenta correttamente? In generale la risposta è no, poiché la semantica dei quantificatori non richiede che le variabili denotino individui distinti. Per es., in un dominio finito {u 1,...,u m } i cui individui siano denotati dalle costanti A 1,..., A m, (x,y H[x,y] equivale a H[A 1,A 1 ] %... % H[A 1,A m ] % H[A 2,A 1 ] % H[A 2,A 2 ] %... % H[A m,a m ] Quindi, in generale, (x,y H[x,y] significa: qualche coppia di individui distinti x e y gode della proprietà H[x,y], oppure uno stesso individuo x gode della proprietà H[x,x] Esempio: si considerino un dominio composto da un insieme di persone, il predicato binario Fratello che sta per essere ratello di, e la costante Luca. L enunciato Luca ha almeno due fratelli non è rappresentato correttamente dalla fbf (x,y (Fratello(x,Luca) $ Fratello(y,Luca)) Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 26 Il predicato di uguaglianza Il predicato di uguaglianza Il problema precedente può essere superato introducendo il predicato binario di uguaglianza, la cui estensione consiste nell insieme di tutte le coppie di individui identici del dominio. Per es., nel dominio dei numeri naturali la sua estensione è {(0,0), (1,1), (2,2),...} Per semplicità, tale predicato viene spesso indicato con il simbolo =, e viene scritto nella forma (t 1 = t 2 ) Mediante il pedicato di uguaglianza è possibile rappresentare correttamente enunciati come qualche coppia di individui distinti x, y gode della proprietà H[x,y], nel modo seguente (x,y (H[x,y] $ "(x = y)) Per es., l enunciato Luca ha almeno due fratelli può essere rappresentato da (x,y (Fratello(x,Luca) $ Fratello(y,Luca) $ "(x = y)) Mediante il predicato di uguaglianza è anche possibile rappresentare enunciati del tipo esiste un unico individuo che goda della proprietà H L unicità non è infatti garantita dal quantificatore esistenziale in una fbf del tipo (x H[x]. L enunciato precedente è invece rappresentato correttamente dalla seguente fbf: (x (H[x] $ ('y (H[y] & (x = y)))) Il significato di tale fbf è qualche individuo gode della proprietà H, e ogni individuo che ne gode coincide con esso Per es., Luca ha un solo fratello può essere rappresenta dalla fbf (x (Fratello(x,Luca) $ ('y (Fratello(y,Luca) & (x = y)))) Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 27 Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 28
8 Esempio: gli assiomi di Peano-Russell Esempio: gli assiomi di Peano-Russell Si considerino i seguenti assiomi della teoria dei numeri, proposti dal matematico tedesco R. Dedekind: A1: 0 è un numero naturale A2: il successore di un numero naturale è un numero naturale A3: zero non è il successore di nessun numero naturale A4: se due numeri naturali hanno lo stesso successore, allora sono uguali A5: se 0 è P, e se ogni volta che un numero qualsiasi è P anche il suo successore è P, allora tutti i numeri naturali sono P (dove P denota una proprietà qualsiasi) Gli assiomi di Dedekind furono formalizzati nel linguaggio della LPO da G. Peano e B. Russell, nel modo seguente. Si consideri il dominio dei numeri naturali {0,1,2,...} la costante individuale Z il cui significato sia l individuo 0 il predicato unario N il cui significato sia essere un numero naturale (la sua estensione è dunque {(0), (1), (2),...}, e il predicato di uguaglianza la funzione S, che associa ad ogni numero il suo successore Gli assiomi di Peano-Russell sono i seguenti A1: N(Z) A2: 'x (N(x) & N(S(x))) A3: "(x N(x) $ (Z = S(x)) A4: 'x,y ((N(x) $ N(y) $ (S(x) = S(y)) & (x = y)) A5: (P(Z) $ 'x ( (N(x) $ P(x)) & P(S(x)))) & ('x (N(x) & P(x))) Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 29 Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 30 Logica del primo e del secondo ordine È ora possibile spiegare il significato di logica del primo ordine Nella LPO i quantificatori possono agire solo su variabili individuali, e non su variabili predicative. Nel linguaggio formale della LPO è quindi possibile rappresentare enunciati come ogni individuo x gode della proprietà P, ma non enunciati come per ogni proprietà P, c è almeno un individuo che ne gode Tali enunciati possono invece essere rappresentati in un linguaggio predicativo che consente di quantificare sia le variabili individuali che quelle predicative, che per questo motivo è detto logica del secondo ordine (LSO) La sintassi della LSO si ottiene semplicemente aggiungendo la seguente regola a quelle che definiscono la semantica della LPO: se H è una fbf e la variabile predicativa P è libera in H, allora 'P(H) e (P(H) sono fbf La LSO ha maggiore potere espressivo della LPO (ogni fbf della LPO è anche fbf della LSO, mentre non vale il viceversa). Tuttavia la LSO presenta anche notevoli problemi che la rendono meno utile della LPO Corso di Intelligenza Artificiale A.A. 2009/2010 Logica dei predicati Prof. Ing. F. Roli 31
(anno accademico 2008-09)
Calcolo relazionale Prof Alberto Belussi Prof. Alberto Belussi (anno accademico 2008-09) Calcolo relazionale E un linguaggio di interrogazione o e dichiarativo: at specifica le proprietà del risultato
DettagliAlcune nozioni di base di Logica Matematica
Alcune nozioni di base di Logica Matematica Ad uso del corsi di Programmazione I e II Nicola Galesi Dipartimento di Informatica Sapienza Universitá Roma November 1, 2007 Questa é una breve raccolta di
DettagliAlgebra e Logica Matematica. Calcolo delle proposizioni Logica del primo ordine
Università di Bergamo Anno accademico 2006 2007 Ingegneria Informatica Foglio Algebra e Logica Matematica Calcolo delle proposizioni Logica del primo ordine Esercizio.. Costruire le tavole di verità per
DettagliPredicati e Quantificatori
Predicati e Quantificatori Limitazioni della logica proposizionale! Logica proposizionale: il mondo è descritto attraverso proposizioni elementari e loro combinazioni logiche! I singoli oggetti cui si
DettagliAPPUNTI DI MATEMATICA ALGEBRA \ INSIEMISTICA \ TEORIA DEGLI INSIEMI (1)
ALGEBRA \ INSIEMISTICA \ TEORIA DEGLI INSIEMI (1) Un insieme è una collezione di oggetti. Il concetto di insieme è un concetto primitivo. Deve esistere un criterio chiaro, preciso, non ambiguo, inequivocabile,
DettagliALGEBRA DELLE PROPOSIZIONI
Università di Salerno Fondamenti di Informatica Corso di Laurea Ingegneria Corso B Docente: Ing. Giovanni Secondulfo Anno Accademico 2010-2011 ALGEBRA DELLE PROPOSIZIONI Fondamenti di Informatica Algebra
DettagliAlgebra booleana. Si dice enunciato una proposizione che può essere soltanto vera o falsa.
Algebra booleana Nel lavoro di programmazione capita spesso di dover ricorrere ai principi della logica degli enunciati e occorre conoscere i concetti di base dell algebra delle proposizioni. L algebra
Dettaglix u v(p(x, fx) q(u, v)), e poi
0.1. Skolemizzazione. Ogni enunciato F (o insieme di enunciati Γ) è equisoddisfacibile ad un enunciato universale (o insieme di enunciati universali) in un linguaggio estensione del linguaggio di F (di
DettagliLinguaggi. Claudio Sacerdoti Coen 11/04/2011. 18: Semantica della logica del prim ordine. <sacerdot@cs.unibo.it> Universitá di Bologna
Linguaggi 18: Semantica della logica del prim ordine Universitá di Bologna 11/04/2011 Outline Semantica della logica del prim ordine 1 Semantica della logica del prim ordine Semantica
DettagliLezioni di Matematica 1 - I modulo
Lezioni di Matematica 1 - I modulo Luciano Battaia 16 ottobre 2008 Luciano Battaia - http://www.batmath.it Matematica 1 - I modulo. Lezione del 16/10/2008 1 / 13 L introduzione dei numeri reali si può
Dettagli2. Semantica proposizionale classica
20 1. LINGUAGGIO E SEMANTICA 2. Semantica proposizionale classica Ritorniamo un passo indietro all insieme dei connettivi proposizionali che abbiamo utilizzato nella definizione degli enunciati di L. L
DettagliFunzioni funzione dominio codominio legge argomento variabile indipendente variabile dipendente
Funzioni In matematica, una funzione f da X in Y consiste in: 1. un insieme X detto dominio di f 2. un insieme Y detto codominio di f 3. una legge che ad ogni elemento x in X associa uno ed un solo elemento
DettagliCalcolatori: Algebra Booleana e Reti Logiche
Calcolatori: Algebra Booleana e Reti Logiche 1 Algebra Booleana e Variabili Logiche I fondamenti dell Algebra Booleana (o Algebra di Boole) furono delineati dal matematico George Boole, in un lavoro pubblicato
DettagliAlgebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE
Algebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE Andrea Bobbio Anno Accademico 2000-2001 Algebra Booleana 2 Calcolatore come rete logica Il calcolatore può essere visto come una rete logica
Dettagli4 3 4 = 4 x 10 2 + 3 x 10 1 + 4 x 10 0 aaa 10 2 10 1 10 0
Rappresentazione dei numeri I numeri che siamo abituati ad utilizzare sono espressi utilizzando il sistema di numerazione decimale, che si chiama così perché utilizza 0 cifre (0,,2,3,4,5,6,7,8,9). Si dice
DettagliAlgebra di Boole ed Elementi di Logica
Algebra di Boole ed Elementi di Logica 53 Cenni all algebra di Boole L algebra di Boole (inventata da G. Boole, britannico, seconda metà 8), o algebra della logica, si basa su operazioni logiche Le operazioni
DettagliAppunti di Logica Matematica
Appunti di Logica Matematica Francesco Bottacin 1 Logica Proposizionale Una proposizione è un affermazione che esprime un valore di verità, cioè una affermazione che è VERA oppure FALSA. Ad esempio: 5
DettagliLE FUNZIONI A DUE VARIABILI
Capitolo I LE FUNZIONI A DUE VARIABILI In questo primo capitolo introduciamo alcune definizioni di base delle funzioni reali a due variabili reali. Nel seguito R denoterà l insieme dei numeri reali mentre
DettagliCalcolo Relazionale Basi di dati e sistemi informativi 1. Calcolo Relazionale. Angelo Montanari
Calcolo Relazionale Basi di dati e sistemi informativi 1 Calcolo Relazionale Angelo Montanari Dipartimento di Matematica e Informatica Università di Udine Calcolo Relazionale Basi di dati e sistemi informativi
Dettaglirisulta (x) = 1 se x < 0.
Questo file si pone come obiettivo quello di mostrarvi come lo studio di una funzione reale di una variabile reale, nella cui espressione compare un qualche valore assoluto, possa essere svolto senza necessariamente
DettagliMODELLO RELAZIONALE. Introduzione
MODELLO RELAZIONALE Introduzione E' stato proposto agli inizi degli anni 70 da Codd finalizzato alla realizzazione dell indipendenza dei dati, unisce concetti derivati dalla teoria degli insiemi (relazioni)
DettagliErrori più comuni. nelle prove scritte
Errori più comuni nelle prove scritte Gli errori più frequenti, e reiterati da chi sostiene diverse prove, sono innanzi tutto meta-errori, cioè errori che non riguardano tanto l applicazione delle tecniche,
DettagliOttimizazione vincolata
Ottimizazione vincolata Ricordiamo alcuni risultati provati nella scheda sulla Teoria di Dini per una funzione F : R N+M R M di classe C 1 con (x 0, y 0 ) F 1 (a), a = (a 1,, a M ), punto in cui vale l
DettagliLOGICA PER LA PROGRAMMAZIONE. Franco Turini turini@di.unipi.it
LOGICA PER LA PROGRAMMAZIONE Franco Turini turini@di.unipi.it IPSE DIXIT Si consideri la frase: in un dato campione di pazienti, chi ha fatto uso di droghe pesanti ha utilizzato anche droghe leggere. Quali
DettagliDall italiano al linguaggio della logica proposizionale
Dall italiano al linguaggio della logica proposizionale Dall italiano al linguaggio della logica proposizionale Enunciati atomici e congiunzione In questa lezione e nelle successive, vedremo come fare
DettagliG. Pareschi ALGEBRE DI BOOLE. 1. Algebre di Boole
G. Pareschi ALGEBRE DI BOOLE 1. Algebre di Boole Nel file precedente abbiamo incontrato la definizione di algebra di Boole come reticolo: un algebra di Boole e un reticolo limitato, complementato e distributivo.
DettagliOsservazioni sulla continuità per le funzioni reali di variabile reale
Corso di Matematica, I modulo, Università di Udine, Osservazioni sulla continuità Osservazioni sulla continuità per le funzioni reali di variabile reale Come è noto una funzione è continua in un punto
Dettagli1. PRIME PROPRIETÀ 2
RELAZIONI 1. Prime proprietà Il significato comune del concetto di relazione è facilmente intuibile: due elementi sono in relazione se c è un legame tra loro descritto da una certa proprietà; ad esempio,
DettagliTeoria degli insiemi
Teoria degli insiemi pag 1 Easy Matematica di dolfo Scimone Teoria degli insiemi Il concetto di insieme si assume come primitivo, cioè non riconducibile a concetti precedentemente definiti. Sinonimi di
DettagliSui concetti di definizione, teorema e dimostrazione in didattica della matematica
Liceo Scientifico Statale P. Paleocapa, Rovigo XX Settimana della Cultura Scientifica e Tecnologica 19 marzo 2010 Sui concetti di definizione, teorema e dimostrazione in didattica della matematica Prof.
DettagliLinguaggi del I ordine - semantica. Per dare significato ad una formula del I ordine bisogna specificare
Linguaggi del I ordine - semantica Per dare significato ad una formula del I ordine bisogna specificare Un dominio Un interpretazione Un assegnamento 1 Linguaggi del I ordine - semantica (ctnd.1) Un modello
DettagliAPPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI
APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI Indice 1 Le frazioni algebriche 1.1 Il minimo comune multiplo e il Massimo Comun Divisore fra polinomi........ 1. Le frazioni algebriche....................................
DettagliEsercitazione. Proposizioni. April 16, 2015. Esercizi presi dal libro di Rosen (useremo 0 per False e 1 per True). Problema 15, sezione 1.1.
Esercitazione Proposizioni April 16, 2015 Esercizi presi dal libro di Rosen (useremo 0 per False e 1 per True). Problema 15, sezione 1.1. 1. Consideriamo le proposizioni: - p : Gli orsi grizzly sono stati
DettagliCONCETTO DI LIMITE DI UNA FUNZIONE REALE
CONCETTO DI LIMITE DI UNA FUNZIONE REALE Il limite di una funzione è uno dei concetti fondamentali dell'analisi matematica. Tramite questo concetto viene formalizzata la nozione di funzione continua e
DettagliAnno 1. Definizione di Logica e operazioni logiche
Anno 1 Definizione di Logica e operazioni logiche 1 Introduzione In questa lezione ci occuperemo di descrivere la definizione di logica matematica e di operazioni logiche. Che cos è la logica matematica?
DettagliLogica del primo ordine
Università di Bergamo Facoltà di Ingegneria Intelligenza Artificiale Paolo Salvaneschi A7_4 V1.3 Logica del primo ordine Il contenuto del documento è liberamente utilizzabile dagli studenti, per studio
DettagliLa misura degli angoli
La misura degli angoli In questa dispensa introduciamo la misura degli angoli, sia in gradi che in radianti, e le formule di conversione. Per quanto riguarda l introduzione del radiante, per facilitarne
DettagliAppunti sulla Macchina di Turing. Macchina di Turing
Macchina di Turing Una macchina di Turing è costituita dai seguenti elementi (vedi fig. 1): a) una unità di memoria, detta memoria esterna, consistente in un nastro illimitato in entrambi i sensi e suddiviso
DettagliAnello commutativo. Un anello è commutativo se il prodotto è commutativo.
Anello. Un anello (A, +, ) è un insieme A con due operazioni + e, dette somma e prodotto, tali che (A, +) è un gruppo abeliano, (A, ) è un monoide, e valgono le proprietà di distributività (a destra e
DettagliLezione 8. La macchina universale
Lezione 8 Algoritmi La macchina universale Un elaboratore o computer è una macchina digitale, elettronica, automatica capace di effettuare trasformazioni o elaborazioni su i dati digitale= l informazione
DettagliProof. Dimostrazione per assurdo. Consideriamo l insieme complementare di P nell insieme
G Pareschi Principio di induzione Il Principio di Induzione (che dovreste anche avere incontrato nel Corso di Analisi I) consente di dimostrare Proposizioni il cui enunciato è in funzione di un numero
Dettagli3 GRAFICI DI FUNZIONI
3 GRAFICI DI FUNZIONI Particolari sottoinsiemi di R che noi studieremo sono i grafici di funzioni. Il grafico di una funzione f (se non è specificato il dominio di definizione) è dato da {(x, y) : x dom
DettagliAlgebra e Geometria. Ingegneria Meccanica e dei Materiali Sez (2) Ingegneria dell Automazione Industriale Sez (2)
Algebra e Geometria Ingegneria Meccanica e dei Materiali Sez (2) Ingegneria dell Automazione Industriale Sez (2) Traccia delle lezioni che saranno svolte nell anno accademico 2012/13 I seguenti appunti
DettagliCorrispondenze e funzioni
Corrispondenze e funzioni L attività fondamentale della mente umana consiste nello stabilire corrispondenze e relazioni tra oggetti; è anche per questo motivo che il concetto di corrispondenza è uno dei
DettagliSchemi delle Lezioni di Matematica Generale. Pierpaolo Montana
Schemi delle Lezioni di Matematica Generale Pierpaolo Montana Al-giabr wa al-mukabalah di Al Khuwarizmi scritto approssimativamente nel 820 D.C. Manuale arabo da cui deriviamo due nomi: Algebra Algoritmo
Dettaglif: AxB f(x)=y, f={<x,y> per ogni x in A esiste unica y in B f(x)=y} f={<1,2>, <2,3>, <3,3>} : {1,2,3} {1,2,3} f(1)=2, f(2)=3, f(3)=3
Insieme delle parti di A : Funzione : insieme i cui elementi sono TUTTI i sottoinsiemi di A f: AxB f(x)=y, f={ per ogni x in A esiste unica y in B f(x)=y} f={, , } : {1,2,3} {1,2,3}
DettagliRappresentazione dei numeri in un calcolatore
Corso di Calcolatori Elettronici I A.A. 2010-2011 Rappresentazione dei numeri in un calcolatore Lezione 2 Università degli Studi di Napoli Federico II Facoltà di Ingegneria Rappresentazione dei numeri
DettagliDimensione di uno Spazio vettoriale
Capitolo 4 Dimensione di uno Spazio vettoriale 4.1 Introduzione Dedichiamo questo capitolo ad un concetto fondamentale in algebra lineare: la dimensione di uno spazio vettoriale. Daremo una definizione
DettagliINTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI
INTRODUZIONE AGLI ALGORITMI Prima di riuscire a scrivere un programma, abbiamo bisogno di conoscere un metodo risolutivo, cioè un metodo che a partire dai dati di ingresso fornisce i risultati attesi.
DettagliOperatori logici e porte logiche
Operatori logici e porte logiche Operatori unari.......................................... 730 Connettivo AND........................................ 730 Connettivo OR..........................................
DettagliFunzioni in C. Violetta Lonati
Università degli studi di Milano Dipartimento di Scienze dell Informazione Laboratorio di algoritmi e strutture dati Corso di laurea in Informatica Funzioni - in breve: Funzioni Definizione di funzioni
Dettagli1 Serie di Taylor di una funzione
Analisi Matematica 2 CORSO DI STUDI IN SMID CORSO DI ANALISI MATEMATICA 2 CAPITOLO 7 SERIE E POLINOMI DI TAYLOR Serie di Taylor di una funzione. Definizione di serie di Taylor Sia f(x) una funzione definita
DettagliAppunti di informatica. Lezione 2 anno accademico 2015-2016 Mario Verdicchio
Appunti di informatica Lezione 2 anno accademico 2015-2016 Mario Verdicchio Sistema binario e logica C è un legame tra i numeri binari (0,1) e la logica, ossia la disciplina che si occupa del ragionamento
DettagliElementi di Algebra Relazionale
Note dalle lezioni di INFORMATICA (per gli allievi della classe quinta - indirizzo MERCURIO) Elementi di Algebra Relazionale prof. Stefano D.L.Campanozzi I.T.C. Giulio Cesare Bari - a.s. 2008-2009 1 Introduzione
DettagliSemantica operazionale dei linguaggi di Programmazione
Semantica operazionale dei linguaggi di Programmazione Oggetti sintattici e oggetti semantici Rosario Culmone, Luca Tesei Lucidi tratti dalla dispensa Elementi di Semantica Operazionale R. Barbuti, P.
DettagliAlbero semantico. Albero che mette in corrispondenza ogni formula con tutte le sue possibili interpretazioni.
Albero semantico Albero che mette in corrispondenza ogni formula con tutte le sue possibili interpretazioni. A differenza dell albero sintattico (che analizza la formula da un punto di vista puramente
Dettagli1. Distribuzioni campionarie
Università degli Studi di Basilicata Facoltà di Economia Corso di Laurea in Economia Aziendale - a.a. 2012/2013 lezioni di statistica del 3 e 6 giugno 2013 - di Massimo Cristallo - 1. Distribuzioni campionarie
Dettagli2. Leggi finanziarie di capitalizzazione
2. Leggi finanziarie di capitalizzazione Si chiama legge finanziaria di capitalizzazione una funzione atta a definire il montante M(t accumulato al tempo generico t da un capitale C: M(t = F(C, t C t M
Dettaglilogica dei predicati
Calcolo relazionale Calcolo relazionale: logica dei predicati, dove la semantica di ogni predicato esprime una condizione sui dati. E un linguaggio di query, dichiarativo: il risultato è dato da una descrizione
Dettagliu 1 u k che rappresenta formalmente la somma degli infiniti numeri (14.1), ordinati al crescere del loro indice. I numeri u k
Capitolo 4 Serie numeriche 4. Serie convergenti, divergenti, indeterminate Data una successione di numeri reali si chiama serie ad essa relativa il simbolo u +... + u +... u, u 2,..., u,..., (4.) oppure
DettagliRisolvere un problema significa individuare un procedimento che permetta di arrivare al risultato partendo dai dati
Algoritmi Algoritmi Risolvere un problema significa individuare un procedimento che permetta di arrivare al risultato partendo dai dati Il procedimento (chiamato algoritmo) è composto da passi elementari
Dettagli1 Giochi a due, con informazione perfetta e somma zero
1 Giochi a due, con informazione perfetta e somma zero Nel gioco del Nim, se semplificato all estremo, ci sono due giocatori I, II e una pila di 6 pedine identiche In ogni turno di gioco I rimuove una
DettagliLEZIONE 31. B i : R n R. R m,n, x = (x 1,..., x n ). Allora sappiamo che è definita. j=1. a i,j x j.
LEZIONE 31 31.1. Domini di funzioni di più variabili. Sia ora U R n e consideriamo una funzione f: U R m. Una tale funzione associa a x = (x 1,..., x n ) U un elemento f(x 1,..., x n ) R m : tale elemento
DettagliCorso di Informatica
Corso di Informatica Modulo T3 1-Sottoprogrammi 1 Prerequisiti Tecnica top-down Programmazione elementare 2 1 Introduzione Lo scopo di questa Unità è utilizzare la metodologia di progettazione top-down
DettagliMATEMATICA DEL DISCRETO elementi di teoria dei grafi. anno acc. 2009/2010
elementi di teoria dei grafi anno acc. 2009/2010 Grafi semplici Un grafo semplice G è una coppia ordinata (V(G), L(G)), ove V(G) è un insieme finito e non vuoto di elementi detti vertici o nodi di G, mentre
DettagliIntorni Fissato un punto sull' asse reale, si definisce intorno del punto, un intervallo aperto contenente e tutto contenuto in
Intorni Fissato un punto sull' asse reale, si definisce intorno del punto, un intervallo aperto contenente e tutto contenuto in Solitamente si fa riferimento ad intorni simmetrici =, + + Definizione: dato
Dettagli10. Insiemi non misurabili secondo Lebesgue.
10. Insiemi non misurabili secondo Lebesgue. Lo scopo principale di questo capitolo è quello di far vedere che esistono sottoinsiemi di R h che non sono misurabili secondo Lebesgue. La costruzione di insiemi
DettagliLezione 1. Gli Insiemi. La nozione di insieme viene spesso utilizzata nella vita di tutti i giorni; si parla dell insieme:
Lezione 1 Gli Insiemi La nozione di insieme viene spesso utilizzata nella vita di tutti i giorni; si parla dell insieme: degli iscritti ad un corso di laurea delle stelle in cielo dei punti di un piano
Dettagli2 FUNZIONI REALI DI VARIABILE REALE
2 FUNZIONI REALI DI VARIABILE REALE 2.1 CONCETTO DI FUNZIONE Definizione 2.1 Siano A e B due insiemi. Una funzione (o applicazione) f con dominio A a valori in B è una legge che associa ad ogni elemento
DettagliSISTEMI INFORMATIVI AVANZATI -2010/2011 1. Introduzione
SISTEMI INFORMATIVI AVANZATI -2010/2011 1 Introduzione In queste dispense, dopo aver riportato una sintesi del concetto di Dipendenza Funzionale e di Normalizzazione estratti dal libro Progetto di Basi
DettagliEsercizio 1 Dato il gioco ({1, 2, 3}, v) con v funzione caratteristica tale che:
Teoria dei Giochi, Trento, 2004/05 c Fioravante Patrone 1 Teoria dei Giochi Corso di laurea specialistica: Decisioni economiche, impresa e responsabilità sociale, A.A. 2004/05 Soluzioni degli esercizi
DettagliFondamenti dei linguaggi di programmazione
Fondamenti dei linguaggi di programmazione Aniello Murano Università degli Studi di Napoli Federico II 1 Riassunto delle lezioni precedenti Prima Lezione: Introduzione e motivazioni del corso; Sintassi
DettagliNORMALIZZAZIONE DI SCHEMI RELAZIONALI. Prof.ssa Rosalba Giugno
NORMALIZZAZIONE DI SCHEMI RELAZIONALI Prof.ssa Rosalba Giugno PROBLEMA GENERALE La progettazione concettuale e logica produce uno schema relazionale che rappresenta la realta dei dati nella nostra applicazione.
DettagliIL CONCETTO DI FUNZIONE
IL CONCETTO DI FUNZIONE Il concetto di funzione è forse il concetto più importante per la matematica: infatti la matematica e' cercare le cause, le implicazioni, le conseguenze e l'utilità di una funzione
DettagliSemantica dei programmi. La semantica dei programmi è la caratterizzazione matematica dei possibili comportamenti di un programma.
Semantica dei programmi La semantica dei programmi è la caratterizzazione matematica dei possibili comportamenti di un programma. Semantica operazionale: associa ad ogni programma la sequenza delle sue
DettagliFunzioni. Parte prima. Daniele Serra
Funzioni Parte prima Daniele Serra Nota: questi appunti non sostituiscono in alcun modo le lezioni del prof. Favilli, né alcun libro di testo. Sono piuttosto da intendersi a integrazione di entrambi. 1
Dettagli( x) ( x) 0. Equazioni irrazionali
Equazioni irrazionali Definizione: si definisce equazione irrazionale un equazione in cui compaiono uno o più radicali contenenti l incognita. Esempio 7 Ricordiamo quanto visto sulle condizioni di esistenza
DettagliPer lo svolgimento del corso risulta particolarmente utile considerare l insieme
1. L insieme R. Per lo svolgimento del corso risulta particolarmente utile considerare l insieme R = R {, + }, detto anche retta reale estesa, che si ottiene aggiungendo all insieme dei numeri reali R
DettagliLogica dei predicati
IV Logica dei predicati 14. FORMULE PREDICATIVE E QUANTIFICATORI 14.1. Dalla segnatura alle formule predicative Il simbolo (x).ϕ(x) [per ogni x, ϕ(x) è vera] denota una proposizione definita, e non c è
DettagliTransitori del primo ordine
Università di Ferrara Corso di Elettrotecnica Transitori del primo ordine Si consideri il circuito in figura, composto da un generatore ideale di tensione, una resistenza ed una capacità. I tre bipoli
Dettagli19. Inclusioni tra spazi L p.
19. Inclusioni tra spazi L p. Nel n. 15.1 abbiamo provato (Teorema 15.1.1) che, se la misura µ è finita, allora tra i corispondenti spazi L p (µ) si hanno le seguenti inclusioni: ( ) p, r ]0, + [ : p
Dettaglif(x) = 1 x. Il dominio di questa funzione è il sottoinsieme proprio di R dato da
Data una funzione reale f di variabile reale x, definita su un sottoinsieme proprio D f di R (con questo voglio dire che il dominio di f è un sottoinsieme di R che non coincide con tutto R), ci si chiede
DettagliAnno 1. Le relazioni fondamentali (equivalenza, d'ordine, inverse, fra insiemi)
Anno 1 Le relazioni fondamentali (equivalenza, d'ordine, inverse, fra insiemi) 1 Introduzione In questa lezione imparerai a utilizzare le diverse tipologie di relazione e a distinguerle a seconda delle
DettagliAnno 5 4. Funzioni reali: il dominio
Anno 5 4 Funzioni reali: il dominio 1 Introduzione In questa lezione impareremo a definire cos è una funzione reale di variabile reale e a ricercarne il dominio. Al termine di questa lezione sarai in grado
DettagliAlgebra Booleana ed Espressioni Booleane
Algebra Booleana ed Espressioni Booleane Che cosa è un Algebra? Dato un insieme E di elementi (qualsiasi, non necessariamente numerico) ed una o più operazioni definite sugli elementi appartenenti a tale
DettagliAscrizioni di credenza
Ascrizioni di credenza Ascrizioni di credenza Introduzione Sandro Zucchi 2014-15 Le ascrizioni di credenza sono asserzioni del tipo in (1): Da un punto di vista filosofico, i problemi che pongono asserzioni
DettagliCAPITOLO 16 SUCCESSIONI E SERIE DI FUNZIONI
CAPITOLO 16 SUCCESSIONI E SERIE DI FUNZIONI Abbiamo studiato successioni e serie numeriche, ora vogliamo studiare successioni e serie di funzioni. Dato un insieme A R, chiamiamo successione di funzioni
DettagliMATEMATICA. { 2 x =12 y 3 y +8 x =0, si pone il problema di trovare, se esistono, un numero x ed un numero y che risolvano entrambe le equazioni.
MATEMATICA. Sistemi lineari in due equazioni due incognite. Date due equazioni lineari nelle due incognite x, y come ad esempio { 2 x =12 y 3 y +8 x =0, si pone il problema di trovare, se esistono, un
DettagliPROCESSO DI INDICIZZAZIONE SEMANTICA
PROCESSO DI INDICIZZAZIONE SEMANTICA INDIVIDUAZIONE DEI TEMI/CONCETTI SELEZIONE DEI TEMI/CONCETTI ESPRESSIONE DEI CONCETTI NEL LINGUAGGIO DI INDICIZZAZIONE TIPI DI INDICIZZAZIONE SOMMARIZZAZIONE INDICIZZAZIONE
DettagliAlgebra Di Boole. Definiamo ora che esiste un segnale avente valore opposto di quello assunto dalla variabile X.
Algebra Di Boole L algebra di Boole è un ramo della matematica basato sul calcolo logico a due valori di verità (vero, falso). Con alcune leggi particolari consente di operare su proposizioni allo stesso
DettagliCorso di Calcolo Numerico
Corso di Calcolo Numerico Dott.ssa M.C. De Bonis Università degli Studi della Basilicata, Potenza Facoltà di Ingegneria Corso di Laurea in Ingegneria Meccanica Sistemi di Numerazione Sistema decimale La
Dettagli1 Insiemi e terminologia
1 Insiemi e terminologia Assumeremo come intuitiva la nozione di insieme e ne utilizzeremo il linguaggio come strumento per studiare collezioni di oggetti. Gli Insiemi sono generalmente indicati con le
DettagliSOMMARIO. 13.1 I radicali pag. 3. 13.2 I radicali aritmetici pag. 5. 13.3 Moltiplicazione e divisione fra radicali aritmetici pag.
SOMMARIO CAPITOLO : I RADICALI. I radicali pag.. I radicali aritmetici pag.. Moltiplicazione e divisione fra radicali aritmetici pag.. Potenza di un radicale aritmetico pag.. Trasporto di un fattore esterno
DettagliI sistemi di numerazione
I sistemi di numerazione 01-INFORMAZIONE E SUA RAPPRESENTAZIONE Sia dato un insieme finito di caratteri distinti, che chiameremo alfabeto. Utilizzando anche ripetutamente caratteri di un alfabeto, si possono
DettagliEsponenziali elogaritmi
Esponenziali elogaritmi Potenze ad esponente reale Ricordiamo che per un qualsiasi numero razionale m n prendere n>0) si pone a m n = n a m (in cui si può sempre a patto che a sia un numero reale positivo.
DettagliCapitolo I STRUTTURE ALGEBRICHE ELEMENTARI
Capitolo I STRUTTURE ALGEBRICHE ELEMENTARI In matematica, per semplificare la stesura di un testo, si fa ricorso ad un linguaggio specifico. In questo capitolo vengono fornite in maniera sintetica le nozioni
DettagliSTRUTTURE ALGEBRICHE
STRUTTURE ALGEBRICHE Operazioni in un insieme Sia A un insieme non vuoto; una funzione f : A A A si dice operazione binaria (o semplicemente operazione), oppure legge di composizione interna. Per definizione
DettagliRisoluzione. Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005
Risoluzione Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005 1 Risoluzione Introdurremo ora un metodo per capire se un insieme di formule è soddisfacibile o meno. Lo vedremo prima per insiemi
DettagliSiamo così arrivati all aritmetica modulare, ma anche a individuare alcuni aspetti di come funziona l aritmetica del calcolatore come vedremo.
DALLE PESATE ALL ARITMETICA FINITA IN BASE 2 Si è trovato, partendo da un problema concreto, che con la base 2, utilizzando alcune potenze della base, operando con solo addizioni, posso ottenere tutti
DettagliCapitolo 2. Operazione di limite
Capitolo 2 Operazione di ite In questo capitolo vogliamo occuparci dell operazione di ite, strumento indispensabile per scoprire molte proprietà delle funzioni. D ora in avanti riguarderemo i domini A
Dettagli