Logica predicativa del prim ordine

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Logica predicativa del prim ordine"

Transcript

1 Logica predicativa del prim ordine Eugenio G. Omodeo Anno accademico 2007/ 08 Contents 1 Linguaggi per la logica predicativa del prim ordine Sintassi di un linguaggio predicativo Convenzioni sul lessico per la logica predicativa Arricchimenti dei linguaggi predicativi Estensioni sintattiche come regole di riscrittura Prime riflessioni sul metalinguaggio per i linguaggi predicativi Appendice: Sottolinguaggi clausolari Semantica dei linguaggi predicativi Interpretazioni di un linguaggio predicativo Valutazione di un enunciato Modelli e conseguenze logiche. Enunciati assurdi e validi Universi e basi di Herbrand, e modelli di enunciati universali Ingegneria della conoscenza Teorie Digressione sul concetto di formalismo Che cos è un formalismo? Correttezza e completezza Sistemi deduttivi, calcolo logico e consistenza Esempi d uso dei linguaggi predicativi: formalizzazione di teorie Teorie sugli ordinamenti Leggi dell uguaglianza Teoria dei preordinamenti Teoria degli ordinamenti parziali Teoria degli ordinamenti totali Teorie sugli ordinamenti densi Teorie su domini numerici Teoria dei numeri naturali con successore Aritmetica di Presburger Aritmetica elementare con somma, prodotto ed esponenziazione Università degli Studi di Trieste, Dipartimento di Matematica e Informatica, via Alfonso Valerio 12/b, Trieste. 1

2 3.2.4 Aritmetica elementare di Peano Teoria dei numeri reali e teoria dei numeri complessi Teorie deboli degli insiemi Estensionalità, assiomi sull aggiunta e la rimozione di elementi Variante degli assiomi in un linguaggio piú ricco di simboli Buona fondatezza dell appartenenza Geometria elementare Questioni metamatematiche Non-contraddittorietà di una teoria Consistenza di un sistema deduttivo Completezza di una teoria Decidibilità o indecidibilità di una teoria Teorie indecidibili e indecidibilità essenziale Semidecidibilità di una teoria Oltre la mera decidibilità Frammenti decidibili di una teoria Assiomatizzabilità di una teoria Assiomatizzabilità finita di una teoria Indipendenza fra assiomi, ed assiomatizzazioni equipollenti Apparati deduttivi per la logica del prim ordine Sistemi deduttivi alla Hilbert Assiomi logici, derivabilità, inferenze Teorema di correttezza (*) Consistenza del calcolo predicativo Teoremi di completezza, compattezza ed enumerabilità Varianti del formalismo hilbertiano qui proposto Sistemi di deduzione fondati sul principio di risoluzione Riduzione di enunciati a forma prenessa Skolemizzazione Teorema di Herbrand Organizzazione di un dimostratore automatico Principio di risoluzione Completezza del principio di risoluzione Algoritmo di unificazione Sistemi equazionali Un formalismo corretto e completo per il trattamento di sole identità Il problema dell unificazione Svolgimento di esercizi selezionati 48 Introduzione Quando una proposizione italiana viene tradotta in un enunciato del linguaggio proposizionale, essa si riduce ad uno scheletro in cui sopravvive ben poco della struttura e del significato originari. La traduzione può tuttavia mettere in risalto, in alcuni casi fortunati, che la proposizione 2

3 italiana è senza dubbio vera, poiché essa viene a tradursi in un enunciato tautologico. Un esempio: La proposizione Se Socrate è un uomo, allora Socrate è mortale oppure Socrate è un uomo potrebbe essere tradotta come p q p; quest enunciato è tautologico, e quindi è valida l affermazione italiana scritta fra virgolette. La traduzione, in certi casi, è invece fuorviante. Se traducessimo Mary amò John ed ebbe un bambino come r s, apparirebbe altrettanto legittimo tradurre Mary ebbe un bambino ed amò John come s r. Per la commutatività dell operazione di congiunzione, r s è logicamente equivalente ad s r. Sono allora equivalenti di significato le due affermazioni italiane che questi enunciati dovrebbero rappresentare (sia pure schematicamente)? Meglio andarci cauti. Vi sono poi dei casi in cui la traduzione dall italiano al linguaggio proposizionale viene ad oscurare dei legami logici che sono essenziali per la correttezza di un argomentazione. Le seguenti quattro affermazioni sono valide in italiano, ma la loro validità non trasparirebbe da una traduzione nel calcolo proposizionale: 1. Se ogni amico di Martino è amico di Gianna e se inoltre Pietro non è amico di Gianna, allora Pietro non è amico di Martino ; 2. Se le donne sono tutte immortali, e se inoltre Cleopatra è una donna, allora Cleopatra è immortale ; 3. Se gli uomini sono bipedi, allora la chioma di qualsiasi uomo è chioma di un bipede ; 4. Se tutti gli uomini sono filosofi, se inoltre Socrate è un uomo e Socrate è uguale al marito di Santippe, allora il marito di Santippe è un filosofo. Il linguaggio predicativo di cui stiamo intraprendendo lo studio consente di esprimere queste quattro affermazioni in modo formale e senza occultare la struttura logica che le rende valide. In teoria degli insiemi un particolare sistema deduttivo fondato sulla logica predicativa, potremmo in effetti esprimere cosí: 1. amici( martino ) amici( gianna ) pietro / amici( gianna ) pietro / amici( martino ); 2. donne immortali cleopatra donne cleopatra immortali; 3. uomini bipedi x ( y uomini ( x = chioma( y ) ) z bipedi ( x = chioma( z ) ) ); 4. uomini filosofi socrate uomini socrate = marito( santippe ) marito( santippe ) filosofi. (Qui amici, chioma, marito denotano funzioni, mentre tutti gli altri identificatori denotano insiemi 1 ). I simboli ed che stiamo qui vedendo per la prima volta corrispondono grosso modo ai costrutti for ed exists di molti linguaggi di programmazione. Con una differenza sostanziale, però. Che mentre for prescrive che l esecuzione di un certo brano di programma 1 Per semplicità ci stiamo riferendo con la parola insiemi sia agli insiemi in senso stretto che ai costituenti ultimi di cui gli insiemi sono composti, che talvolta vengono chiamati individui. 3

4 venga effettuata un numero finito di volte, rappresenta l iterazione sulla classe immensa che è costituita da tutti gli insiemi. Analogamente, mentre exists indica che una certa ricerca, svolta su di un insieme finito di oggetti, dovrà interrompersi con successo qualora venga trovato un oggetto soddisfacente a certe condizioni; nell interpretare, invece, la ricerca si immagina effettuata sulla totalità degli insiemi. In accordo con questo cenno di semantica, leggeremo x ϕ come per ogni x si ha che ϕ ed x ϕ come vi è almeno un x tale che ϕ. Le formule esistenziali in esempio, che sono y uomini ( x = chioma( y ) ) ed z bipedi ( x = chioma( z ) ), devono essere considerate abbreviazioni di y ( y uomini x = chioma( y ) ) e di z ( z bipedi x = chioma( z ) ), e dunque significano: esiste un uomo che ha come sua chioma x, esiste un bipede che ha come sua chioma x. Come vedremo, esiste una varietà di linguaggi predicativi: essi sono accomunati dai tratti salienti, e differiscono marginalmente per alcuni costrutti. Fra i linguaggi predicativi ve ne sono nei quali formulare teorie degli insiemi, altri nei quali formulare teorie sugli spazi geometrici, ecc.. Non sempre in un linguaggio predicativo sono disponibili, col loro significato insiemistico, i simboli e. Vi saranno però comunque, in aggiunta ai simboli che denotano funzioni, dei simboli predicativi. Invece di scrivere che cleopatra donne potremo scrivere, quindi, che donna( cleopatra ), ove donna è un simbolo predicativo ad un argomento. Invece di scrivere che amici( martino ) amici( gianna ) scriveremo che x ( amico( x, martino ) amico( x, gianna ) ), dove amico è un simbolo predicativo a due argomenti. Perfino il simbolo = di uguaglianza può talvolta mancare, ma anche in tal caso, con diversi accorgimenti, si arriva ad esprimere ciò che si vuole. L universo su cui, nel calcolo predicativo, si immaginano effettuate le iterazioni denotate da,, non è necessariamente, come in teoria degli insiemi, la classe costituita da tutti gli insiemi. È una generica classe, che si suppone non vuota solamente per ragioni tecniche. In un linguaggio non specificatamente rivolto alla teoria degli insiemi, potremmo esprimere cosí: 1. x ( amico( x, martino ) amico( x, gianna ) ) amico( pietro, gianna ) amico( pietro, martino ); 2. x ( donna( x ) immortale( x ) ) donna( cleopatra ) immortale( cleopatra ); 3. x ( uomo( x ) bipede( x ) ) x ( y ( uomo( y ) x = chioma( y ) ) z ( bipede( z ) x = chioma( z ) ) ); 4. x ( uomo( x ) filosofo( x ) ) uomo( socrate ) socrate = marito( santippe ) filosofo( marito( santippe ) ). Presenteremo ora la sintassi dei linguaggi predicativi, e, piú oltre, la sua semantica (della quale non si sono dati fino ad ora che alcuni cenni). Dopodiché entreremo nello specifico delle problematiche logiche: analisi dei concetti di formalismo, teoria, sistema deduttivo; questioni metamatematiche connesse con la formalizzazione di teorie; risultati limitativi della logica e risultati di decidibilità di teorie; ecc.. I linguaggi della logica predicativa, nella loro varietà, ci renderanno facile affiancare alla discussione di queste problematiche numerosi esempi che riguarderanno prevalentemente ambiti matematici di natura piuttosto astratta. Una volta constatata la gran versatilità e ubiquitarietà della logica, non ci vorrà molto a convincersi della molteplicità dei suoi impieghi pratici anche in settori lontani dall astrazione matematica. Esercizio 1 Provate a esprimere nel simbolismo predicativo le seguenti proposizioni: 4

5 Tutti i corvi sono neri e col becco giallo. Esistono galline dalle uova d oro. Chi semina vento raccoglie tempesta. 1 Linguaggi per la logica predicativa del prim ordine 1.1 Sintassi di un linguaggio predicativo Servendoci della notazione di Backus-Naur estesa, possiamo specificare la sintassi di un linguaggio predicativo del prim ordine come segue: 2 formula ::= formula atomica connettivo nullario connettivo unario formula ( formula connettivo binario formula ) quantificatore formula ( formula ) formula atomica ::= Simbolo di predicato argomenti argomenti ::= ( termine altri termini ) altri termini ::= ɛ, termine altri termini termine ::= VAR Costante Simbolo di funzione argomenti quantificatore ::= VAR VAR connettivo nullario ::= f v connettivo unario ::= connettivo binario ::= + > (ove con ɛ viene denotata la parola vuota). Il simbolo iniziale di questa grammatica è formula, ma anche la categoria sintattica descritta da termine rivestirà un ruolo essenziale. Le novità piú rilevanti, rispetto al linguaggio della logica proposizionale, sono: 2 La dicitura del prim ordine verrà generalmente omessa, senza fraintendimenti possibili, dato che in questo corso non andremo al di là del primo ordine. 5

6 I quantificatori, classificabili in: universali, quelli della forma x; esistenziali, quelli della forma x. Senza ancora affrontare la semantica di termini e formule, conviene comunque indicare come vada letta una formula della forma xϕ o della forma xϕ. Rispettivamente: per ogni x si ha che ϕ, e c è almeno un x tale che ϕ. Le variabili, che formano la categoria su indicata con VAR. Non abbiamo specificato questa categoria, poiché la vediamo come una categoria lessicale piuttosto che sintattica. È importante, comunque la si determini, far in modo che questa categoria circoscriva una scorta infinita di identificatori. Assumeremo che questi identificatori siano disposti in un ordine simile a quello dei numeri naturali tanto che si possa, per esempio, parlare della prima variabile che non figura in una formula. Quanto a Costante, Simbolo di funzione, Simbolo di predicato, è proprio precisando queste tre categorie che si stabilisce con esattezza il linguaggio: non stiamo infatti considerando un singolo linguaggio, ma uno schema di linguaggio che andrà adattato caso per caso alle esigenze di formalizzazione di una specifica teoria. Il linguaggio che ha C, F, P (insiemi fra loro disgiunti) come insieme delle costanti, dei simboli di funzione e dei simboli di predicato, verrà indicato nel seguito come L(C, F, P). Nel determinare queste tre categorie di simboli, per ciascun simbolo di funzione e di predicato si dovrà indicare un intero positivo detto il suo grado (o la sua arità ). Tramite il grado viene stabilito, per ciascun simbolo, il numero dei termini in qualsiasi lista di argomenti preceduta da quel simbolo. La mancata concordanza fra lunghezza di una lista di argomenti e grado del simbolo che la regge è un errore di semantica statica piuttosto che di sintassi: questa è una ragione per cui la faccenda del grado non traspare dalle regole di produzione della nostra grammatica. Non è raro che i simboli di costante e di funzione siano del tutto assenti, ma qualunque linguaggio predicativo deve comprendere almeno un simbolo di predicato. Talvolta c è un solo simbolo di predicato (comune il caso che si tratti del simbolo = di uguaglianza). Talvolta la scorta dei simboli di predicato e funzione è infinita, e cosí pure quella delle costanti. La sintassi della logica predicativa non è uno standard, e la versione che ne abbiamo fornita potrà differire in qualche particolare ci auguriamo inessenziale da quella che potete trovare in comuni manuali di logica. Per fare un caso, la parentesizzazione da noi prevista, è sovrabbondante. Ciò che conta è, comunque, che essa sia adeguata a rendere unica la lettura delle formule: ed in effetti, la nostra grammatica non ha il difetto di essere ambigua. Esercizio 2 Individuate tutti i terminali nella grammatica delle formule esposta nella sez Convenzioni sul lessico per la logica predicativa Se la sintassi della logica predicativa non è uno standard, la situazione del lessico è ancora piú confusa, dato che le convenzioni adottate da un autore sono spesso antitetiche a quelle di un altro. Vi sono, per esempio, due linguaggi di programmazione fortemente improntati alla logica del prim ordine (non di tutta, ma di una parte significativamente estesa): Prolog e Gödel. In Prolog si pattuisce che gli identificatori di variabile inizino con lettera maiuscola e quelli delle costanti con lettera minuscola; in Gödel queste convenzioni sono invertite. 6

7 Scegliamo qui come riferimento Prolog, semplicemente per prendere una posizione (dalla quale, prima o poi, derogare). Tradizionalmente in Prolog i simboli di predicato e di funzione hanno la stessa struttura, e vengono detti funtori; le costanti vengono identificate sia al modo dei funtori, che tramite numerali (cioè tramite sequenze di cifre decimali): VAR ::= maiusc seqalfnum FUNTORE ::= minusc seqalfnum COSTANTE ::= minusc seqalfnum NUMERALE NUMERALE ::= cifrapos seqcif seqalfnum ::= ɛ cifra seqalfnum minusc seqalfnum maiusc seqalfnum seqcif ::= ɛ cifra seqcif cifra ::= 0 cifrapos cifrapos ::= minusc ::= a b c z maiusc ::= A B C Z Simboli desunti dal matematico (per esempio, π come costanti, +,, come simboli di funzione,, come simboli di predicato, ecc.) verranno aggiunti a questo lessico quando se ne presenterà l occasione, e non ci soffermeremo a sottolineare ogni circostanza dl genere. Per le variabili impiegheremo spesso le lettere x, y, z, u, v, w, l, e di quando in quando anche altre lettere minuscole (non grassettate), eventualmente con pedici. Questa non è una vera difformità dalle norme or ora stabilite, ma una prassi che si giustifica con il fatto che le variabili dei quantificatori possono essere ridenominate a piacere giacché sono variabili mute, alla stessa stregua degli indici di sommatorie, delle variabili di integrazione, ecc.. Ciò risulterà evidente dalla semantica dei linguaggi predicativi (vedi sez. 2), e ci induce sin d ora a impiegare al posto delle variabili delle meta-variabili, liberamente sostituibili con variabili autentiche. Qualcuno impiega parentesi quadre e graffe in sostituzione delle tonde quando ciò può facilitare la lettura; noi non ci regoleremo cosí, ma talvolta ingrandiremo coppie di parentesi corrispondenti, con lo stesso obiettivo di chiarezza. 1.3 Arricchimenti dei linguaggi predicativi Per facilitare l impiego dei linguaggi predicativi del prim ordine, si usa arricchirli o renderne piú agile o flessibile la sintassi. Le modifiche sono numerose, e non comportano un aumento del potere espressivo: solo una maggior concisione o, quanto meno, un miglioramento della leggibilità delle formule. Come illustreremo con qualche esempio, si tratta di convenzioni abbreviative che potrebbero essere trattate per mezzo di un preprocessore. Per descrivere la sintassi di un linguaggio-oggetto (nel caso sotto esame, quello logica predicativa), è comune l impiego di un metalinguaggio formale, come quello delle grammatiche che abbiamo utilizzato sopra. Anche per l introduzione di notazioni abbreviative, esistono strumenti formali, ma qui ci contentiamo di sbrigative convenzioni: Le lettere x, y, z, u, v, w indicheranno variabili; le lettere c, b, a, k, costanti; le lettere f, g, h, simboli di funzione; le lettere P, Q, R, S, simboli di predicato; le lettere greche ϕ, ψ, χ, α, β, ϑ indicheranno formule; le lettere τ, t, d, s, termini. (Pedici ammessi in ciascuno dei sei casi). 7

8 Tramite i simboli definitorî = Def e Def, a due argomenti, verrà spiegato come andrebbe riscritto il definiendum (l argomento di sinistra un espressione che non fa parte del linguaggio originario) in base al definiens (l argomento di destra appartenente, o già riconducibile, al linguaggio originario). Una delle piú diffuse convenzioni di comodo riguarda i simboli (di predicato o di funzione) aventi grado 2, per i quali si ricorre sovente alla notazione infissa: vale a dire, invece di anteporre il simbolo alla lista dei suoi due argomenti, lo si inserisce fra i due, come si fa con i connettivi proposizionali binari. Importantissimo fra i simboli che usualmente vengono adoperati come infissi è quello, =, di uguaglianza, che a differenza degli altri simboli di predicato avrà un interpretazione prestabilita. Importanti anche il simbolo di appartenenza, utilizzato nella formalizzazione di teorie di insiemi e classi; estremamente comune l operatore di confronto, < (che può presentarsi in varie fogge:,, ; o talvolta capovolto: >,,, ; combinato con l uguaglianza:,, ; ecc.). Altre cose [...DA SISTEMARE...]: Possibilità di evitare parentesi attorno alle liste di argomenti o, procedendo in senso opposto, di evitare attribuzioni di grado. Impiego pre-/post-fisso di simboli di funzione e di predicato aventi grado 1 (simboli utilizzati a questo modo, o come infissi, verranno chiamati anche operatori, oppure relatori, a seconda che rappresentino funzioni o predicati). Possibilità di stabilire regole di priorità, estendenti quelle sui connettivi (i pre-/post-fissi hanno di solito precedenza sugli infissi, gli operatori sui relatori, i relatori sui connettivi). Assorbimento del nel relatore: s t, s / t, ecc. Quantificatori aggiuntivi (ristretti ecc.):! x ϕ, x < τ ϕ, x τ ϕ, x τ ϕ, ecc.. (Da leggersi, rispettivamente: esiste uno ed un solo x tale che ϕ, per ogni x che sia minore di τ si ha che ϕ, per ogni x appartenente a τ si ha che ϕ, c è almeno un x appartenente a τ tale che ϕ ). Descrittori di Peano/Russell e di Hilbert: ε x ϕ, ι x ϕ. (Da leggersi, rispettivamente: un x tale che ϕ, lo x tale che ϕ ). 3 A livello sintattico, si tratta semplicemente di creare un interdipendenza ricorsiva fra termini e formule, aggiungendo alle alternative nella produzione dei termini queste due: termine ::= ε VAR formula ι VAR formula Lettere proposizionali, che possono essere viste alla stregua di simboli predicativi di grado 0 (il linguaggio deve comunque comprendere almeno un simbolo predicativo di grado > 0). Aggiunte specifiche: [τ 1,..., τ n τ], {τ 1,..., τ n }, n, ecc., per designare rispettivamente liste, insiemi finiti, numeri naturali, ecc.. 3 Tradizionalmente lo ι del descrittore di Peano viene piú spesso scritto capovolto, cosí: ι. 8

9 1.3.1 Estensioni sintattiche come regole di riscrittura In molti casi gli arricchimenti sintattici che facilitano l impiego della logica del prim ordine possono essere descritti tramite semplici regole di riscrittura, quali: 4 s / t Def (s, t) s t Def s = t ϕ Def f ϕ! x ϕ Def y x ( ϕ x = y ) x τ ϕ Def x ( x τ ϕ ) x τ ϕ Def x ( x τ ϕ ) x τ ϕ Def x ( x < τ x = τ ϕ ) [τ 1,..., τ n τ] = Def ( τ 1, ( τ 2,..., ( τ n, τ ) ) ) {τ 1,..., τ n } = Def con( τ n, con( τ n-1,..., con( τ 1, ) ) ) n = Def 0 }{{} n volte ι x ϕ = Def ε y x ( ϕ x = y ) Altre volte, la tecnica di eliminazione di un costrutto secondario non si presta a essere descritta cosí semplicemente: un caso è quello del descrittore ε xϕ, sul quale preferiamo sorvolare. In un ottica rigorosamente occamista, non solo potremmo liquidare come forme di abbreviazione tutti i connettivi proposizionali salvo quelli che formano una base adeguata (vedi dispensa Logica proposizionale a due valori di verità ), ma anche i quantificatori esistenziali. Per ridursi a soli universali basterebbe, in effetti, porre: x ϕ Def x ϕ (all inverso, potremmo eliminare tutti i quantificatori universali e ridurci a soli esistenziali). Esercizio 3 Non volendo considerare le lettere proposizionali come simboli predicativi di grado 0, potremmo considerare anche il loro impiego come ricorso ad una notazione abbreviativa? 1.4 Prime riflessioni sul metalinguaggio per i linguaggi predicativi Abitualmente le considerazioni sul linguaggio-oggetto vengono svolte come già abbiamo iniziato a fare in italiano, con l ausilio di qualche notazione e convenzione simbolica: non intendiamo metterci sulla strada di una completa formalizzazione del metalinguaggio, tanto piú che il compito sarebbe arduo per l eterogeneità degli scopi a cui serve il metalinguaggio. Ci sono degli inconvenienti, nel nostro modo sbrigativo di affrontare le questioni metalinguistiche. Spesso sacrifichiamo il rigore per non eccedere in precisazioni pignole, e questo può lasciare perplesso il lettore piú attento. Per esempio, nel porre la definizione! x ϕ Def y x ( ϕ x = y ) (vedi sopra), rigore avrebbe voluto che precisassimo come va scelta la y: per esempio dicendo che si tratta della prima variabile che non compare in ϕ. Alcuni deplorano che nel metalinguaggio le entità linguistiche del linguaggio-oggetto vengano adoperate come nomi di sé stesse. Quando, in un discorso comune, ci si riferisce a entità del mondo fisico, ci si guarda bene dall inserire tali entità direttamente dentro le proposizioni che 4 Per chiarezza, stiamo introducendo le formule abbreviative mediante un simbolo, Def, diverso da quello, = Def, utilizzato per introdurre termini abbreviativi. 9

10 le riguardano: invece, si adoperano nomi delle cose (o locuzioni nominali) al posto delle cose stesse. Non si dovrebbe procedere in modo analogo quando, nel metalinguaggio, si tratta di entità linguistiche del linguaggio-oggetto? non dovremmo inserire opportuni nomi (o espressioni nominali) al posto di termini e formule nominate? ma quale nome si può attribuire a una formula? Per avere un nome di un entità linguistica, può bastare racchiuderla fra virgolette. Ad esempio: pera è il nome della parola pera, la quale denota il frutto pera, ecc.. L impiego sistematico di virgolette attorno a termini, formule, variabili, ecc. è, però, intollerabilmente pesante: quasi tutti lo evitano, se non da subito, almeno dopo un po. È importante, comunque, che a nessuno sfugga la distinzione fra il linguaggio-oggetto ed il metalinguaggio: quest ultimo offre, in un certo senso, a chi ragiona sul linguaggio-oggetto, un punto di osservazione sopraelevato rispetto ad esso. Qualcuno si sarà forse meravigliato del frequente uso che faccio delle virgolette. Esse mi servono per distinguere i casi in cui parlo del segno stesso da quelli in cui parlo di ciò che esso denota. Questo modo di procedere può sembrare estremamente pedante, ma io lo considero necessario. È straordinario come un modo inesatto di parlare e di scrivere, usato in origine forse soltanto per comodità, possa giungere a fuorviare il pensiero una volta che si cessi di tenerlo presente. Cosí, è avvenuto che i numerali fossero confusi con i numeri, i nomi, cioè, con ciò che essi denominano, ciò che è semplicemente ausiliario con l oggetto proprio dell aritmetica. (Frege) Alcune nozioni metalinguistiche importanti: Distinzione fra un simbolo (che è semplicemente preso dall alfabeto dei terminali di L(C, F, P)) e le sue occorrenze entro un espressione (ben formata, cioè un termine o una formula). [ DA COMPLETARE ] Insieme varr( ) delle variabili libere di un espressione. Può venir definito tramite una ricorsione strutturale, come segue: varr(x) = Def {x} varr(c) = Def varr(g( t 0,.. }., t n )) = Def varr(t 0 ) varr(t n ) varr(ε x ϕ) = varr(ι x ϕ) Def varr(ϕ) \ {x} } varr(v) = varr(f) Def varr(q( t 0,. }.., t n )) = Def varr(t 0 ) varr(t n ) varr( ϕ) = varr(( ϕ )) Def varr(ϕ) varr(( ϕ ψ } )) = Def varr(ϕ) varr(ψ) varr( x ϕ) = varr( x ϕ) Def varr(ϕ) \ {x} (Qui sta per un qualsiasi connettivo proposizionale binario). Definizioni: Un termine τ tale che varr(τ) = si chiama un termine di base ( ground term in inglese). Una formula α tale che varr(α) = si chiama un enunciato ( sentence in inglese). 10

11 Si chiama campo d azione di un occorrenza di quantificatore ( x od x) in una formula ϕ: l intera sottoformula (rispettivamente della forma x ψ od x ψ) che inizia con tale occorrenza ed è formata di simboli consecutivi di ϕ. Un occorrenza di variabile x all interno di una formula ϕ si dirà legata, rispettivam. libera: se essa figura, rispettivam. non figura, nel campo d azione di un quantificatore, cioè entro qualche sottoformula di ϕ della forma x ψ o x ψ. Definizioni. Chiusura esistenziale ϕ, chiusura universale ϕ di una formula ϕ: si tratta dell enunciato x 1 x n ( ϕ ), rispettivam. x 1 x n ( ϕ ), che si ottiene anteponendo alla formula quantificatori relativi alle variabili x 1,..., x n tali che varr(ϕ) = {x 1,..., x n }, disposte secondo il loro ordine naturale. (oppure ϕ x 1 x n t 1 t n ) per indi- Sostituzioni uniformi: Utilizzeremo la notazione ϕ x 1,...,x n t 1,...,t n care la formula che risulta da ϕ per rimpiazzo simultaneo 5 di tutte le occorrenze libere della variabile x 1 con il termine t 1, di tutte le occorrenze libere della variabile x 2 con il termine t 2, di tutte le occorrenze libere della variabile x n con il termine t n. Confusione di variabili: La sostituzione ϕ x 1,...,x n t 1,...,t n è da evitare quando in ϕ vi siano occorrenze libere di una x i che ricadano nel campo d azione di un quantificatore, y oppure y, con y appartenente a varr(t i ). Effettuando il rimpiazzo, in un caso simile, si va incontro alla cosiddetta confusione. Intuitivamente parlando, la confusione ha origine dal fatto che una variabile che s intendeva dovesse essere libera viene invece catturata da un quantificatore. Ad esempio, le sostituzioni ( y x y) x y, ( y x y) x g( y ) ed (u w u w u )u w w portano ad y y y, ad y g( y ) y ed a w w w ( w w w w ( w w ) ), tre casi di confusione. Ridenominazione di variabili: Consideriamo un insieme finito, ϕ, ψ 1,..., ψ p, τ 1,..., τ q, di formule e termini. Supponiamo che varr(ϕ) = {x 1,..., x m }. Poiché vi sono, nel linguaggio infinite variabili, sono certo reperibili delle distinte variabili y 1,..., y m che non compaiano (libere né legate) in alcuna delle espressioni ϕ, ψ 1,..., ψ p, τ 1,..., τ q. La formula che risulta da ϕ per rimpiazzo simultaneo di tutte le occorrenze legate (!) di ciascuna variabile x i con la corrispondente y i, si dice ottenuta per ridenominazione di ϕ via da ψ 1,..., ψ p, τ 1,..., τ q. Per evitare confusione di variabili, prima di effettuare una sostituzione ϕ x 1 x n t 1 t n possiamo sempre ridenominare ϕ via da t 1,..., t n. I tre casi di confusione visti poco fa, per esempio, si evitano ridenominando preliminarmente: y x y come z x z, ed u w u w u come u y u y u. Esercizio 4 Per ciascuna delle seguenti formule a. d., indicate (1) se la formula sia un enunciato, o, in caso contrario, (2) quali variabili vi compaiano libere. 5 Qui, ovviamente, si deve assumere che le variabili x i siano distinte una dall altra. I t j non sono tenuti a essere distinti né fra loro né dalle x i. Non importa richiedere che le x i compaiano effettivamente in ϕ. 11

12 Ecco le formule: a. P ( x ) x Q( x, y ) b. x ( P ( x ) Q( x, y ) ) c. x y ( P ( x ) Q( x, y ) ) d. x y z ( Q( x, x ) Q( x, y ) ) 1.5 Appendice: Sottolinguaggi clausolari C è un frammento della logica predicativa che ha acquisito tanto rilievo nel campo della logica computazionale perché valga la pena di descriverne il linguaggio con una grammatica a sé stante. Il costrutto principale del linguaggio sotto-descritto è la clausola di Horn: clausola di Horn ::= asserzione regola domanda asserzione ::= formula atomica regola ::= formula atomica corpo di clausola domanda ::= goal goal ::= testa di goal corpo di goal testa di goal ::= ɛ f corpo di goal ::= corpo di clausola v corpo di clausola ::= formula atomica formula atomica corpo di clausola formula atomica ::= Simbolo di predicato argomenti Lettera proposizionale argomenti ::= ( termine altri termini ) altri termini ::= ɛ, termine altri termini termine ::= VAR Costante Simbolo di funzione argomenti Stiamo adottando da subito, in questa porzione di linguaggio predicativo del prim ordine, notazioni come ϕ e come le lettere proposizionali che, sino ad ora, avevamo considerato forme di abbreviazione. Qualcuno si spinge oltre, ed ammette pure che un asserzione (o multiasserzione, vedi sotto) ϕ venga scritta nella forma ϕ, sottintendendo un v alla destra di. La sintassi che abbiamo fornito ora, con la semantica mutuata da quella della logica predicativa (vedi sotto, sez. 2), costituisce il nucleo essenziale di un linguaggio di programmazione: Prolog, linguaggio spesso sbandierato come emblema della concezione logico-dichiarativa della programmazione. In Prolog il relatore di uguaglianza non può figurare in un asserzione né 12

Risoluzione. Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005

Risoluzione. 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

Dettagli

LOGICA DEI PREDICATI. Introduzione. Predicati e termini individuali. Termini individuali semplici e composti

LOGICA DEI PREDICATI. Introduzione. Predicati e termini individuali. Termini individuali semplici e composti 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

Dettagli

Algebra 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) 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

Dettagli

Semantica operazionale dei linguaggi di Programmazione

Semantica 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.

Dettagli

Appunti di Logica Matematica

Appunti 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

Dettagli

Dispense di Filosofia del Linguaggio

Dispense di Filosofia del Linguaggio Dispense di Filosofia del Linguaggio Vittorio Morato II settimana Gottlob Frege (1848 1925), un matematico e filosofo tedesco, è unanimemente considerato come il padre della filosofia del linguaggio contemporanea.

Dettagli

Aritmetica: operazioni ed espressioni

Aritmetica: operazioni ed espressioni / A SCUOLA DI MATEMATICA Lezioni di matematica a cura di Eugenio Amitrano Argomento n. : operazioni ed espressioni Ricostruzione di un abaco dell epoca romana - Museo RGZ di Magonza (Germania) Libero da

Dettagli

x u v(p(x, fx) q(u, v)), e poi

x 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

Dettagli

Codici Numerici. Modifica dell'informazione. Rappresentazione dei numeri.

Codici Numerici. Modifica dell'informazione. Rappresentazione dei numeri. Codici Numerici. Modifica dell'informazione. Rappresentazione dei numeri. A partire da questa lezione, ci occuperemo di come si riescono a codificare con sequenze binarie, quindi con sequenze di 0 e 1,

Dettagli

Algebra di Boole ed Elementi di Logica

Algebra 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

Dettagli

0. Piano cartesiano 1

0. Piano cartesiano 1 0. Piano cartesiano Per piano cartesiano si intende un piano dotato di due assi (che per ragioni pratiche possiamo scegliere ortogonali). Il punto in comune ai due assi è detto origine, e funziona da origine

Dettagli

5. La teoria astratta della misura.

5. La teoria astratta della misura. 5. La teoria astratta della misura. 5.1. σ-algebre. 5.1.1. σ-algebre e loro proprietà. Sia Ω un insieme non vuoto. Indichiamo con P(Ω la famiglia di tutti i sottoinsiemi di Ω. Inoltre, per ogni insieme

Dettagli

La Logica Proposizionale. (Algebra di Boole)

La Logica Proposizionale. (Algebra di Boole) 1 ISTITUTO DI ISTRUZIONE SUPERIORE ANGIOY La Logica Proposizionale (Algebra di Boole) Prof. G. Ciaschetti 1. Cenni storici Sin dagli antichi greci, la logica è intesa come lo studio del logos, che in greco

Dettagli

Dispense del corso di Logica a.a. 2015/16: Problemi di primo livello. V. M. Abrusci

Dispense del corso di Logica a.a. 2015/16: Problemi di primo livello. V. M. Abrusci Dispense del corso di Logica a.a. 2015/16: Problemi di primo livello V. M. Abrusci 12 ottobre 2015 0.1 Problemi logici basilari sulle classi Le classi sono uno dei temi della logica. Esponiamo in questa

Dettagli

2 Progetto e realizzazione di funzioni ricorsive

2 Progetto e realizzazione di funzioni ricorsive 2 Progetto e realizzazione di funzioni ricorsive Il procedimento costruttivo dato dal teorema di ricorsione suggerisce due fatti importanti. Una buona definizione ricorsiva deve essere tale da garantire

Dettagli

I Insiemi e funzioni

I Insiemi e funzioni I Insiemi e funzioni 1. INSIEMI ED OPERAZIONI SU DI ESSI 1.1. Insiemi Dal punto di vista intuitivo, il concetto di insieme può essere fatto corrispondere all atto mentale mediante il quale associamo alcuni

Dettagli

Linguaggi. Claudio Sacerdoti Coen 11/04/2011. 18: Semantica della logica del prim ordine. Universitá di Bologna

Linguaggi. 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

Dettagli

Appunti di LOGICA MATEMATICA (a.a.2009-2010; A.Ursini) Algebre di Boole. 1. Definizione e proprietá

Appunti di LOGICA MATEMATICA (a.a.2009-2010; A.Ursini) Algebre di Boole. 1. Definizione e proprietá Appunti di LOGICA MATEMATICA (a.a.2009-2010; A.Ursini) [# Aii [10 pagine]] Algebre di Boole Un algebra di Boole è una struttura 1. Definizione e proprietá B =< B,,, ν, 0, 1 > in cui B è un insieme non

Dettagli

Lezioni di Matematica 1 - I modulo

Lezioni 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ò

Dettagli

Dall italiano al linguaggio della logica proposizionale

Dall 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

Dettagli

Indecidibilità, indefinibilità e incompletezza. 1

Indecidibilità, indefinibilità e incompletezza. 1 Indecidibilità, indefinibilità e incompletezza. 1 Possiamo ora trattare unitariamente alcuni dei principali risultati negativi della logica: il teorema di Church sull'indecidibilità della logica, il teorema

Dettagli

Teoria degli insiemi

Teoria 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

Dettagli

10. Insiemi non misurabili secondo Lebesgue.

10. 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

Dettagli

Cenni di logica & algebra booleana

Cenni di logica & algebra booleana Cenni di algebra booleana e dei sistemi di numerazione Dr. Carlo Sansotta - 25 2 Parte Cenni di logica & algebra booleana 3 introduzione L elaboratore elettronico funziona secondo una logica a 2 stati:

Dettagli

1. PRIME PROPRIETÀ 2

1. 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,

Dettagli

Progetto e analisi di algoritmi

Progetto e analisi di algoritmi Progetto e analisi di algoritmi Roberto Cordone DTI - Università degli Studi di Milano Polo Didattico e di Ricerca di Crema Tel. 0373 / 898089 E-mail: cordone@dti.unimi.it Ricevimento: su appuntamento

Dettagli

Corso di Laurea Ingegneria Informatica Fondamenti di Informatica

Corso di Laurea Ingegneria Informatica Fondamenti di Informatica Corso di Laurea Ingegneria Informatica Fondamenti di Informatica Dispensa 05 La rappresentazione dell informazione Carla Limongelli Ottobre 2011 http://www.dia.uniroma3.it/~java/fondinf/ La rappresentazione

Dettagli

Parte 3. Rango e teorema di Rouché-Capelli

Parte 3. Rango e teorema di Rouché-Capelli Parte 3. Rango e teorema di Rouché-Capelli A. Savo Appunti del Corso di Geometria 203-4 Indice delle sezioni Rango di una matrice, 2 Teorema degli orlati, 3 3 Calcolo con l algoritmo di Gauss, 6 4 Matrici

Dettagli

Parte 2. Determinante e matrice inversa

Parte 2. Determinante e matrice inversa Parte. Determinante e matrice inversa A. Savo Appunti del Corso di Geometria 013-14 Indice delle sezioni 1 Determinante di una matrice, 1 Teorema di Cramer (caso particolare), 3 3 Determinante di una matrice

Dettagli

ALGEBRA I: CARDINALITÀ DI INSIEMI

ALGEBRA I: CARDINALITÀ DI INSIEMI ALGEBRA I: CARDINALITÀ DI INSIEMI 1. CONFRONTO DI CARDINALITÀ E chiaro a tutti che esistono insiemi finiti cioè con un numero finito di elementi) ed insiemi infiniti. E anche chiaro che ogni insieme infinito

Dettagli

Dall italiano alla logica proposizionale

Dall italiano alla logica proposizionale Rappresentare l italiano in LP Dall italiano alla logica proposizionale Sandro Zucchi 2009-10 In questa lezione, vediamo come fare uso del linguaggio LP per rappresentare frasi dell italiano. Questo ci

Dettagli

Lezione 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: 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

Dettagli

Alcune nozioni di base di Logica Matematica

Alcune 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

Dettagli

Componenti di un sistema KNOWLEDGE-BASED

Componenti di un sistema KNOWLEDGE-BASED Componenti di un sistema KNOWLEDGE-BASED DYNAMIC DATABASE PROBLEM FORMALIZATION CONTROL STRATEGY IL DATABASE DESCRIVE LA SITUAZIONE CORRENTE NELLA DETERMINAZIONE DELLA SOLUZIONE AL PROBLEMA. LA FORMALIZZAZIONE

Dettagli

NUMERI E SUCCESSIONI

NUMERI E SUCCESSIONI NUMERI E SUCCESSIONI Giovanni Maria Troianiello 1 Notazioni insiemistiche. Numeri naturali, interi, razionali Notazioni insiemistiche Si sa cosa s intende quando si parla di insieme (o famiglia, o classe)

Dettagli

Corso di Laurea in INFORMATICA

Corso di Laurea in INFORMATICA Corso di Laurea in INFORMATICA Algoritmi e Strutture Dati MODULO 2. Algebre di dati Dati e rappresentazioni, requisiti delle astrazioni di dati, costrutti. Astrazioni di dati e dati primitivi. Specifica

Dettagli

Algoritmo euclideo, massimo comun divisore ed equazioni diofantee

Algoritmo euclideo, massimo comun divisore ed equazioni diofantee Algoritmo euclideo, massimo comun divisore ed equazioni diofantee Se a e b sono numeri interi, si dice che a divide b, in simboli: a b, se e solo se esiste c Z tale che b = ac. Si può subito notare che:

Dettagli

Università degli Studi di Napoli Federico II. Facoltà di Scienze MM.FF.NN. Corso di Laurea in Informatica

Università degli Studi di Napoli Federico II. Facoltà di Scienze MM.FF.NN. Corso di Laurea in Informatica Università degli Studi di Napoli Federico II Facoltà di Scienze MM.FF.NN. Corso di Laurea in Informatica Anno Accademico 2009/2010 Appunti di Calcolabilità e Complessità Lezione 9: Introduzione alle logiche

Dettagli

SOMMARIO. 13.1 I radicali pag. 3. 13.2 I radicali aritmetici pag. 5. 13.3 Moltiplicazione e divisione fra radicali aritmetici pag.

SOMMARIO. 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

Dettagli

6.1 La metafisica della Credenza e del Pensiero: il Resoconto Positivo

6.1 La metafisica della Credenza e del Pensiero: il Resoconto Positivo EpiLog 16 XII 2013 Marco Volpe Sainsbury &Tye, Seven Puzzles of Thought Cap. VI The Methaphysics of Thought La concezione ortodossa riguardo il pensiero è che pensare che p significa essere in un appropriato

Dettagli

Linguaggi 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 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

Dettagli

LE SUCCESSIONI 1. COS E UNA SUCCESSIONE

LE SUCCESSIONI 1. COS E UNA SUCCESSIONE LE SUCCESSIONI 1. COS E UNA SUCCESSIONE La sequenza costituisce un esempio di SUCCESSIONE. Ecco un altro esempio di successione: Una successione è dunque una sequenza infinita di numeri reali (ma potrebbe

Dettagli

APPENDICE NOZIONI BASE E VARIE

APPENDICE NOZIONI BASE E VARIE pag. 131 Appendice: Nozioni base e varie G. Gerla APPENDICE NOZIONI BASE E VARIE 1. Funzioni e relazioni di equivalenza Questi appunti sono rivolti a persone che abbiano già una conoscenza elementare della

Dettagli

2. Semantica proposizionale classica

2. 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

Dettagli

Programmi. Algoritmi scritti in un linguaggio di programmazione

Programmi. Algoritmi scritti in un linguaggio di programmazione Programmi Algoritmi scritti in un linguaggio di programmazione Sistema operativo:programma supervisore che coordina tutte le operazioni del calcolatore Programmi applicativi esistenti Sistemi di videoscrittura

Dettagli

Logica dei predicati

Logica 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 è

Dettagli

(anno accademico 2008-09)

(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

Dettagli

Percorsi di matematica per il ripasso e il recupero

Percorsi di matematica per il ripasso e il recupero Giacomo Pagina Giovanna Patri Percorsi di matematica per il ripasso e il recupero 1 per la Scuola secondaria di secondo grado UNITÀ CMPIONE Edizioni del Quadrifoglio à t i n U 1 Insiemi La teoria degli

Dettagli

risulta (x) = 1 se x < 0.

risulta (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

Dettagli

4 3 4 = 4 x 10 2 + 3 x 10 1 + 4 x 10 0 aaa 10 2 10 1 10 0

4 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

Dettagli

Errori più comuni. nelle prove scritte

Errori 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,

Dettagli

Alcune nozioni preliminari di teoria elementare di insiemi e funzioni

Alcune nozioni preliminari di teoria elementare di insiemi e funzioni Alcune nozioni preliminari di teoria elementare di insiemi e funzioni Alberto Pinto Corso di Matematica - NUCT 1 Insiemi 1.1 Generalità Diamo la definizione di insieme secondo Georg Cantor, matematico

Dettagli

Logica del primo ordine

Logica 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

Dettagli

Linguaggi Elementari

Linguaggi Elementari Linguaggi Elementari Marzo 2007 In questi appunti verranno introdotte le conoscenze essenziali relative ai linguaggi del primo ordine e alla loro semantica. Verrà anche spiegato come preprocessare un problema

Dettagli

SISTEMA DI RAPPRESENTAZIONE BINARIA DEI NUMERI E. Giordani

SISTEMA DI RAPPRESENTAZIONE BINARIA DEI NUMERI E. Giordani SISTEMA DI RAPPRESENTAZIONE BINARIA DEI NUMERI E. Giordani LEMS- Laboratorio Elettronico per la Musica Sperimentale Conservatorio di Musica G. Rossini- Pesaro,QWURGX]LRQH Tutti i FDOFRODWRUL HOHWWURQLFL

Dettagli

Interpretazione astratta

Interpretazione astratta Interpretazione astratta By Giulia Costantini (819048) e Giuseppe Maggiore (819050) Contents Interpretazione astratta... 2 Idea generale... 2 Esempio di semantica... 2 Semantica concreta... 2 Semantica

Dettagli

Corso di Analisi Matematica. Successioni e serie numeriche

Corso di Analisi Matematica. Successioni e serie numeriche a.a. 2011/12 Laurea triennale in Informatica Corso di Analisi Matematica Successioni e serie numeriche Avvertenza Questi sono appunti informali delle lezioni, che vengono resi disponibili per comodità

Dettagli

Corso di Informatica Generale (C. L. Economia e Commercio) Ing. Valerio Lacagnina Rappresentazione in virgola mobile

Corso di Informatica Generale (C. L. Economia e Commercio) Ing. Valerio Lacagnina Rappresentazione in virgola mobile Problemi connessi all utilizzo di un numero di bit limitato Abbiamo visto quali sono i vantaggi dell utilizzo della rappresentazione in complemento alla base: corrispondenza biunivoca fra rappresentazione

Dettagli

Capitolo 7: Teoria generale della calcolabilitá

Capitolo 7: Teoria generale della calcolabilitá Capitolo 7: Teoria generale della calcolabilitá 1 Differenti nozioni di calcolabilitá (che seguono da differenti modelli di calcolo) portano a definire la stessa classe di funzioni. Le tecniche di simulazione

Dettagli

L INNOVAZIONE SCIENTIFICO-TECNOLOGICA NEI PROCESSI PRODUTTIVI

L INNOVAZIONE SCIENTIFICO-TECNOLOGICA NEI PROCESSI PRODUTTIVI L INNOVAZIONE SCIENTIFICO-TECNOLOGICA NEI PROCESSI PRODUTTIVI Scienza ed industria hanno oggi costituito legami molto forti di collaborazione che hanno portato innovazione tecnologica sia a livello organizzativo-amministrativo

Dettagli

Corso di Informatica Generale (C. L. Economia e Commercio) Ing. Valerio Lacagnina Fondamenti di calcolo booleano

Corso di Informatica Generale (C. L. Economia e Commercio) Ing. Valerio Lacagnina Fondamenti di calcolo booleano Breve introduzione storica Nel 1854, il prof. Boole pubblica un trattato ormai famosissimo: Le leggi del pensiero. Obiettivo finale del trattato è di far nascere la matematica dell intelletto umano, un

Dettagli

Insiemi con un operazione

Insiemi con un operazione Capitolo 3 Insiemi con un operazione 3.1 Gruppoidi, semigruppi, monoidi Definizione 309 Un operazione binaria su un insieme G è una funzione: f : G G G Quindi, un operazione binaria f su un insieme G è

Dettagli

Il primo teorema di incompletezza di Gödel

Il primo teorema di incompletezza di Gödel Il primo teorema di incompletezza di Gödel Stefano Nasini Dept. of Statistics and Operations Research Universitat Politécnica de Catalunya 1. Introduzione Questo documento vuole essere una spiegazione

Dettagli

Utilizzo I mintermini si usano quando si considererà la funzione di uscita Q come Somma di Prodotti (S. P.) ossia OR di AND.

Utilizzo I mintermini si usano quando si considererà la funzione di uscita Q come Somma di Prodotti (S. P.) ossia OR di AND. IPSI G. Plana Via Parenzo 46, Torino efinizione di Mintermine onsiderata una qualunque riga della tabella di verità in cui la funzione booleana di uscita Q vale, si definisce mintermine il prodotto logico

Dettagli

Algebra e Logica Matematica. Calcolo delle proposizioni Logica del primo ordine

Algebra 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

Dettagli

Tipi di Dato Ricorsivi

Tipi di Dato Ricorsivi Tipi di Dato Ricorsivi Luca Abeni September 2, 2015 1 Tipi di Dato Vari linguaggi di programmazione permettono all utente di definire nuovi tipi di dato definendo per ogni nuovo tipo l insieme dei suoi

Dettagli

Elementi di Informatica e Programmazione

Elementi di Informatica e Programmazione Elementi di Informatica e Programmazione Il concetto di Algoritmo e di Calcolatore Corsi di Laurea in: Ingegneria Civile Ingegneria per l Ambiente e il Territorio Università degli Studi di Brescia Cos

Dettagli

Per lo svolgimento del corso risulta particolarmente utile considerare l insieme

Per 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

Dettagli

Algebra Booleana ed Espressioni Booleane

Algebra 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

Dettagli

RAPPRESENTAZIONE DEI NUMERI BINARI. Corso di Fondamenti di Informatica AA 2010-2011

RAPPRESENTAZIONE DEI NUMERI BINARI. Corso di Fondamenti di Informatica AA 2010-2011 RAPPRESENTAZIONE DEI NUMERI BINARI Corso di Fondamenti di Informatica AA 2010-2011 Prof. Franco Zambonelli Numeri interi positivi Numeri interi senza segno Caratteristiche generali numeri naturali (1,2,3,...)

Dettagli

ESERCIZI DI ALGEBRA LINEARE E GEOMETRIA

ESERCIZI DI ALGEBRA LINEARE E GEOMETRIA ESERCIZI DI ALGEBRA LINEARE E GEOMETRIA Francesco Bottacin Padova, 24 febbraio 2012 Capitolo 1 Algebra Lineare 1.1 Spazi e sottospazi vettoriali Esercizio 1.1. Sia U il sottospazio di R 4 generato dai

Dettagli

Linguaggi e Paradigmi di Programmazione

Linguaggi e Paradigmi di Programmazione Linguaggi e Paradigmi di Programmazione Cos è un linguaggio Definizione 1 Un linguaggio è un insieme di parole e di metodi di combinazione delle parole usati e compresi da una comunità di persone. È una

Dettagli

ALGEBRA DELLE PROPOSIZIONI

ALGEBRA 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

Dettagli

1. Calcolare la probabilità che estratte a caso ed assieme tre carte da un mazzo di 40, fra di esse vi sia un solo asso, di qualunque seme.

1. Calcolare la probabilità che estratte a caso ed assieme tre carte da un mazzo di 40, fra di esse vi sia un solo asso, di qualunque seme. Esercizi difficili sul calcolo delle probabilità. Calcolare la probabilità che estratte a caso ed assieme tre carte da un mazzo di, fra di esse vi sia un solo asso, di qualunque seme. Le parole a caso

Dettagli

I SISTEMI DI NUMERAZIONE

I SISTEMI DI NUMERAZIONE Istituto di Istruzione Superiore G. Curcio Ispica I SISTEMI DI NUMERAZIONE Prof. Angelo Carpenzano Dispensa di Informatica per il Liceo Scientifico opzione Scienze Applicate Sommario Sommario... I numeri...

Dettagli

I FONDAMENTI DELLA MATEMATICA

I FONDAMENTI DELLA MATEMATICA I FONDAMENTI DELLA MATEMATICA Concettina Gaccetta 1 Sunto: La scoperta delle geometrie non euclidee ha dimostrato la possibilità di formulare più teorie ugualmente coerenti, riferite agli stessi enti matematici.

Dettagli

estratto da Competenze assi culturali Raccolta delle rubriche di competenza formulate secondo i livelli EFQ a cura USP Treviso Asse matematico

estratto da Competenze assi culturali Raccolta delle rubriche di competenza formulate secondo i livelli EFQ a cura USP Treviso Asse matematico Competenza matematica n. BIENNIO, BIENNIO Utilizzare le tecniche e le procedure del calcolo aritmetico ed algebrico, rappresentandole anche sotto forma grafica BIENNIO BIENNIO Operare sui dati comprendendone

Dettagli

TRAGUARDI PER LO SVILUPPO DELLE COMPETENZE AL TERMINE DELLA SCUOLA PRIMARIA

TRAGUARDI PER LO SVILUPPO DELLE COMPETENZE AL TERMINE DELLA SCUOLA PRIMARIA SCUOLA PRIMARIA DI CORTE FRANCA MATEMATICA CLASSE QUINTA TRAGUARDI PER LO SVILUPPO DELLE COMPETENZE AL TERMINE DELLA SCUOLA PRIMARIA L ALUNNO SVILUPPA UN ATTEGGIAMENTO POSITIVO RISPETTO ALLA MATEMATICA,

Dettagli

LOGICA PER LA PROGRAMMAZIONE. Franco Turini turini@di.unipi.it

LOGICA 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

Dettagli

Gli algoritmi: definizioni e proprietà

Gli algoritmi: definizioni e proprietà Dipartimento di Elettronica ed Informazione Politecnico di Milano Informatica e CAD (c.i.) - ICA Prof. Pierluigi Plebani A.A. 2008/2009 Gli algoritmi: definizioni e proprietà La presente dispensa e da

Dettagli

Esponenziali e logaritmi

Esponenziali e logaritmi Capitolo 9 Esponenziali e logaritmi... Capitolo 0 Funzioni circolari 0. Descrizione di fenomeni periodici Tra le funzioni elementari ne esistono due atte a descrivere fenomeni che si ripetono periodicamente

Dettagli

Corso di Informatica Generale (C. L. Economia e Commercio) Ing. Valerio Lacagnina Rappresentazione dell informazione negli elaboratori

Corso di Informatica Generale (C. L. Economia e Commercio) Ing. Valerio Lacagnina Rappresentazione dell informazione negli elaboratori Informazione e computer Si può rappresentare l informazione attraverso varie forme: Numeri Testi Suoni Immagini 0001010010100101010 Computer Cerchiamo di capire come tutte queste informazioni possano essere

Dettagli

IMSV 0.8. (In Media Stat Virtus) Manuale Utente

IMSV 0.8. (In Media Stat Virtus) Manuale Utente Introduzione IMSV 0.8 (In Media Stat Virtus) Manuale Utente IMSV è una applicazione che calcola che voti può'prendere uno studente negli esami che gli mancano per ottenere la media che desidera. Importante:

Dettagli

II.f. Altre attività sull euro

II.f. Altre attività sull euro Altre attività sull euro II.f È consigliabile costruire modelli in carta o cartoncino di monete e banconote, e farli usare ai bambini in varie attività di classe fin dal primo o al più dal secondo anno.

Dettagli

CONCETTO DI LIMITE DI UNA FUNZIONE REALE

CONCETTO 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

Dettagli

Domanda e offerta di lavoro

Domanda e offerta di lavoro Domanda e offerta di lavoro 1. Assumere (e licenziare) lavoratori Anche la decisione di assumere o licenziare lavoratori dipende dai costi che si devono sostenere e dai ricavi che si possono ottenere.

Dettagli

Competenza chiave europea: MATEMATICA. Scuola Primaria. DISCIPLINE DI RIFERIMENTO: MATEMATICA DISCIPLINE CONCORRENTI: tutte

Competenza chiave europea: MATEMATICA. Scuola Primaria. DISCIPLINE DI RIFERIMENTO: MATEMATICA DISCIPLINE CONCORRENTI: tutte Competenza chiave europea: MATEMATICA Scuola Primaria DISCIPLINE DI RIFERIMENTO: MATEMATICA DISCIPLINE CONCORRENTI: tutte TAB. A TRAGUARDI PER LO SVILUPPO DELLE COMPETENZE al termine della Scuola Primaria

Dettagli

Presentazione delle lezioni (I parte del corso di Statistica sociale) Corso di Matematica e Statistica 1 Logica, simboli, successioni

Presentazione delle lezioni (I parte del corso di Statistica sociale) Corso di Matematica e Statistica 1 Logica, simboli, successioni Pordenone Corso di Matematica e Statistica Logica, simboli, successioni Presentazione delle lezioni (I parte del corso di Statistica sociale) Lezione : Logica, simboli, successioni Lezione 2: Funzioni,

Dettagli

Capitolo II Le reti elettriche

Capitolo II Le reti elettriche Capitolo II Le reti elettriche Fino ad ora abbiamo immaginato di disporre di due soli bipoli da collegare attraverso i loro morsetti; supponiamo ora, invece, di disporre di l bipoli e di collegarli tra

Dettagli

Mete e coerenze formative. Dalla scuola dell infanzia al biennio della scuola secondaria di II grado

Mete e coerenze formative. Dalla scuola dell infanzia al biennio della scuola secondaria di II grado Mete e coerenze formative Dalla scuola dell infanzia al biennio della scuola secondaria di II grado Area disciplinare: Area Matematica Finalità Educativa Acquisire gli alfabeti di base della cultura Disciplina

Dettagli

Idee guida. Finite State Machine (1) Un automa a stati finiti è definito da una 5- pla: FSM = , dove: Finite State Machine (2)

Idee guida. Finite State Machine (1) Un automa a stati finiti è definito da una 5- pla: FSM = <Q,,, q0, F>, dove: Finite State Machine (2) Idee guida ASM = FSM con stati generalizzati Le ASM rappresentano la forma matematica di Macchine Astratte che estendono la nozione di Finite State Machine Ground Model (descrizioni formali) Raffinamenti

Dettagli

Applicazioni del calcolo differenziale allo studio delle funzioni

Applicazioni del calcolo differenziale allo studio delle funzioni Capitolo 9 9.1 Crescenza e decrescenza in piccolo; massimi e minimi relativi Sia y = f(x) una funzione definita nell intervallo A; su di essa non facciamo, per ora, alcuna particolare ipotesi (né di continuità,

Dettagli

Proof. Dimostrazione per assurdo. Consideriamo l insieme complementare di P nell insieme

Proof. 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

Dettagli

ESERCIZI DI PREPARAZIONE E

ESERCIZI DI PREPARAZIONE E ESERCIZI DI PREPARAZIONE E CONSOLIDAMENTO PER I FUTURI STUDENTI DEL PRIMO LEVI si campa anche senza sapere che cos è un equazione, senza sapere suonare uno strumento musicale, senza conoscere il nome del

Dettagli

I SISTEMI DI NUMERAZIONE

I SISTEMI DI NUMERAZIONE ISTITUTO DI ISTRUZIONE SUPERIORE G. M. ANGIOY CARBONIA I SISTEMI DI NUMERAZIONE Prof. G. Ciaschetti Fin dall antichità, l uomo ha avuto il bisogno di rappresentare le quantità in modo simbolico. Sono nati

Dettagli

Fondamenti di Informatica. Computabilità e Macchine di Turing. Prof. Franco Zambonelli Gennaio 2011

Fondamenti di Informatica. Computabilità e Macchine di Turing. Prof. Franco Zambonelli Gennaio 2011 Fondamenti di Informatica Computabilità e Macchine di Turing Prof. Franco Zambonelli Gennaio 2011 Letture Consigliate: Roger Penrose, La Mente Nuova dell Imperatore, Sansoni Editrice. Martin Davis, Il

Dettagli

Capitolo I STRUTTURE ALGEBRICHE ELEMENTARI

Capitolo 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

Dettagli

I SISTEMI DI NUMERAZIONE E LA NUMERAZIONE BINARIA

I SISTEMI DI NUMERAZIONE E LA NUMERAZIONE BINARIA I SISTEMI DI NUMERAZIONE E LA NUMERAZIONE BINARIA Indice Introduzione Il sistema decimale Il sistema binario Conversione di un numero da base 10 a base 2 e viceversa Conversione in altri sistemi di numerazione

Dettagli

Corso di Calcolo Numerico

Corso 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

Dettagli

Dimensione di uno Spazio vettoriale

Dimensione 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

Dettagli