II appello 5 luglio 2010
|
|
- Lucio Mari
- 5 anni fa
- Visualizzazioni
Transcript
1 II appello 5 luglio 2010 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - Non si contano le brutte copie. - Specificate le regole derivate che usate e che non sono menzionate nel foglio allegato al compito. - Ricordatevi di ESPLICITARE l uso della regola dello scambio sia a destra che a sinistra del sequente. - Ricordatevi di LABELLARE LE DERIVAZIONI CON LE REGOLE USATE (se non lo fate perdete punti!) Mostrare se i sequenti di seguito sono validi in LC e nel caso non lo siano mostrare un contromodello: solo appello 3 punti ( A B ) B A si in LC poichè si deriva cosi... no in LC poichè... 5 punti x C(x) x C(x) si in LC poichè si deriva cosi... no in LC poichè... 5 punti x ( C(x)) x C(x) si in LC poichè si deriva cosi... no in LC poichè... Formalizzare le seguenti frasi e argomentazioni e stabilire se i sequenti ottenuti sono VALIDI per la semantica della logica classica; nel caso negativo dire se sono SODDISFACIBILI, ovvero hanno un modello che li rende validi, o INSODDISFACIBILI, ovvero nessun modello li rende validi, motivando la risposta: (nel caso di non validità il punteggio viene aumentato di 2 punti) - (5 punti ) Non tutti i programmatori hanno una laurea in informatica. Esistono programmatori senza laurea in informatica o senza diploma. P(x) = x è programmatore L(x) = x ha una laurea in informatica D(x) = x ha un diploma corretto in LC sì no 1
2 - (5 punti ) I robot sono controllati da un programma. Esistono robot controllati da un programma. R(x) = x è robot C(x) = x è controllato da un programma corretto in LC sì no - (3 punti) Mario è bravo se programma bene. Mario non è bravo se non programma bene. M =Mario è bravo P = Mario programma bene corretto in LC sì no (7 punti) Formalizzare la seguente argomentazione in sequente e stabilire se è derivabile in LC = : Mario ha scritto un unico programma. Mario ha scritto il programma Tex. Latex è diverso da Tex. Mario non ha scritto il programma Latex. S(x,y)= x ha scritto il programma y l= Latex t= Tex m= Mario corretto in LC = sì no (7 punti) Formalizzare la seguente argomentazione in sequente e stabilire se è derivabile in LC = : Mario ha scritto il programma Tex. Mario ha scritto il programma Latex. Latex è diverso da Tex. Non si dà il caso che Mario abbia scritto un unico programma. 2
3 S(x,y)= x ha scritto il programma y l= Latex t= Tex m= Mario corretto in LC = sì no (5 punti) Stabilire se il sequente è valido in LC = e = u, u = t, e = s e = t u = s corretto in LC = sì no Stabilire quali delle seguenti sono VALIDE rispetto alla semantica classica e nel caso di NON validità dire se sono SODDISFACIBILI o INSODDISFACIBILI: ciascuna vale 5 punti ( + 1 punto se non valida) = x ( B(x) B(x) ) = y x ( x y ) = z y ( x = z z y ) (20 punti) Sia Tpar cla seguenti assiomi: la teoria ottenuta estendendo la logica classica con la formalizzazione dei - Se Claudia non gioca allora Giovanni non gioca. - Paolo gioca se e solo se Giovanni gioca e Claudia non gioca. - Se Paolo non gioca allora Giovanni non gioca. - Non si dà il caso che sia Giovanni che Claudia che Paolo non giochino. Si consiglia di usare: G(x)= x va in gita, c=claudia, g=giovanni, p=paolo. Dopo aver formalizzato le frase seguenti mostrarne una derivazione in T cla gi : - Qualcuno gioca. - Non si dà il caso che Giovanni giochi e Claudia non giochi. - Paolo non gioca. - Giovanni non gioca. - Claudia gioca. (30 punti) Sia T cla sal la teoria ottenuta estendendo la logica classica con la formalizzazione dei seguenti assiomi: 3
4 - Qualcuno saluta tutti. - Gianni non saluta quelli che non lo salutano. - Pippo non saluta nessuno. - Claudia saluta quelli che la salutano. suggerimento: S(x,y)= x saluta y g=gianni, p= Pippo, c= Claudia Dopo aver formalizzato le frase seguenti mostrarne una derivazione nella teoria T cla sal : - Qualcuno non saluta tutti. - Qualcuno saluta Pippo. - Pippo non saluta Gianni. - Gianni non saluta Pippo. - Qualcuno saluta Claudia. - Claudia saluta qualcuno. Dire se nell aritmetica di Peano PA questi sequenti sono validi (nel caso di non validità mostrare che la loro negazione è derivabile) 1. (5 punti) x y ( s(x) = s(y) y = x ) 2. (5 punti) 1 = 0 3. (5 punti) x y y = x y 4. (5 punti) y (y = 4 s(y) = 5 ) 5. (8 punti ) z z + 1 = 3 6. (10 punti) 3 1 = 3 7. (10 punti) y s(y + 2) = y + 3 Stabilire quali delle seguenti regole sono valide e in caso positivo anche sicure: (8 punti ciascuna) Γ Γ s = e, 1 Γ A Γ B A 2 Logica classica con uguaglianza- calcolo abbreviato LC abbr = ax-id Γ, A, Γ, A, ax- Γ,, Γ Σ, Γ, Θ, Γ, Σ Σ, Γ, Θ, Γ, Σ sc sx Γ A, Γ B, & D Γ A&B, Γ Σ,, Θ,, Γ Σ,, Θ,, sc dx Γ, A, B Γ, A&B & S 4
5 Γ A, B, Γ A B, D Γ, A Γ, B S Γ, A B Γ, A Γ A, D Γ A, Γ, A S Γ, A B, Γ A B, D Γ A, Γ, B Γ, A B S Γ A(x), Γ, x A(x), A(t) D (x V L(Γ, )) Γ xa(x), Γ, x A(x) S Γ, A(x) Γ, x A(x) S (x V L(Γ, )) Γ A(t), x A(x), Γ x A(x), D = ax Σ t = t, Σ, t = s, Γ(t) (t), Σ, Γ(s), t = s (s), = S f Logica classica predicativa LC = con uguaglianza questa versione contiene le regole nel libro di Sambin ax-id A A Σ, Γ, Θ, Γ, Σ Σ, Γ, Θ, Γ, Σ sc sx Γ, Γ Σ Γ, Γ, Γ Σ in sx ax- Γ Σ,, Θ,, Γ Σ,, Θ,, sc dx Γ Σ, Σ Γ Σ, Σ, Σ in dx Σ, Γ, Γ, A Σ, Γ, A cn sx Γ Σ,,, Γ Σ,, cn dx Γ A, Γ B, Γ A&B, & F Γ, A Γ, A&B & re 1 Γ, B Γ, A&B & re 2 Γ, A Γ, B Γ, A B F Γ A, Γ A B, re 1 Γ B, Γ A B, re 2 5
6 Γ, A B, Γ A B, F Γ A Γ, B Γ, A B, Γ re Γ A(x), Γ xa(x), D (x V L(Γ)) Γ, A(t) Γ, x A(x) re Γ, A(x) Γ, x A(x) S (x V L(Γ, )) Γ A(t), Γ x A(x), re = ax t = t Σ, Γ(t) (t), Σ, Γ(s), t = s (s), = S Aritmetica di Peano L aritmetica di Peano è ottenuta aggiungendo a LC + comp sx + comp dx Γ A Γ, A, Γ Γ, Γ, Γ i seguenti assiomi: comp sx Γ Σ, A, Σ A Σ Γ Σ, Σ, Σ comp dx Ax1. x s(x) 0 Ax2. x y ( s(x) = s(y) x = y ) Ax3. x x + 0 = x Ax4. x y x + s(y) = s(x + y) Ax5. x x 0 = 0 Ax6. x y x s(y) = x y + x Ax7. A(0)& x ( A(x) A(s(x)) ) x A(x) ove il numerale n si rappresenta in tal modo n s(s...(0)) }{{} n-volte 6
7 e quindi per esempio 1 s(0) 2 s( s(0) ) Regole derivate per LC con uguaglianza si ricorda che t s t = s -ax sx1 Γ, A, Γ, A, Γ -ax sx2 Γ, A, Γ, A, Γ -ax dx1 Γ Σ, A, Σ, A, Σ -ax dx2 Γ Σ, A, Σ, A, Σ Γ, A Γ, A S Γ A, Γ A, D tra Γ, t = v, v = u t = u, rf Γ, t = t, sm Γ, t = u u = t, cp Γ, P(t), t = u P(u), 1 Regole derivate in aritmetica cf Γ, t = u f(t) = f(u), In LC = + comp sx + comp dx si hanno le seguenti regole derivate: Γ t = u, Γ u = t sy-r Γ t = v, Γ v = u, Γ, Γ t = u, Γ, t = u Γ, u = t sy-l tr-r Γ P(0) Γ x ( P(x) P(s(x)) ) Γ, Γ x P(x) ind 7
SIMULAZIONE I appello e II compitino 18 giugno 2014
SIMULAZIONE I appello e II compitino 18 giugno 2014 nome: cognome: Appello II compitino - A chi fa l appello verrà valutato ogni esercizio per il superamento dell esame. - Per chi fa il II compitino: per
DettagliSIMULAZIONE I appello 8 gennaio 2016
SIMULAZIONE I appello 8 gennaio 2016 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si contano le BRUTTE copie. - Ricordatevi di ESPLICITARE l uso della regola
DettagliI appello e II compitino 27 giugno 2014
I appello e II compitino 27 giugno 2014 nome: cognome: Appello II compitino A chi fa l appello verrà valutato ogni esercizio per il superamento dell esame. Per chi fa il II compitino: per superare il II
DettagliII appello 9 febbraio 2016
II appello 9 febbraio 2016 nome: cognome: Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. NON si contano le BRUTTE copie. Ricordatevi di ESPLICITARE l uso della regola dello scambio
DettagliSIMULAZIONE I appello 11 gennaio 2018
SIMULAZIONE I appello 11 gennaio 2018 nome: cognome: - Scrivere in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si contano le BRUTTE copie. - Si ricorda di ESPLICITARE l uso della regola
DettagliSIMULAZION I appello 12 gennaio 2017
SIMULAZION I appello 12 gennaio 2017 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si contano le BRUTTE copie. - Ricordatevi di ESPLICITARE l uso della regola
DettagliSIMULAZIONE I appello di LOGICA MATEMATICA 16 gennaio 2017
SIMULAZIONE I appello di LOGICA MATEMATICA 16 gennaio 2017 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si considerano le BRUTTE copie. - Ricordatevi di
DettagliPRE-I-Compitino LOGICA 30 maggio 2014
PRE-I-Compitino LOGICA 30 maggio 2014 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si considerano le BRUTTE copie. - Ricordatevi di ESPLICITARE l uso della
DettagliIV appello 6 luglio 2015
IV appello 6 luglio 2015 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si contano le BRUTTE copie. - Ricordatevi di ETICHETTARE LE DERIVAZIONI CON LE REGOLE
DettagliSIMULAZIONE I-Compitino LOGICA MATEMATICA 23 novembre 2016
SIMULAZIONE I-Compitino LOGICA MATEMATICA 23 novembre 2016 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si considerano le BRUTTE copie. - Ricordatevi di
DettagliI-Compitino LOGICA MATEMATICA 12 dicembre 2016
I-Compitino LOGICA MATEMATICA 12 dicembre 2016 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si considerano le BRUTTE copie. - Ricordatevi di ESPLICITARE
Dettagli5. Esercitazione 19 maggio con regola =-S semplificata
5. Esercitazione 19 maggio 2010- regola =-S semplificata Precisazioni sulle nozioni da usare negli esercizi Un sequente Γ si dice VALID0 rispetto alla semantica della logica classica se il sequente è valido
Dettagli14. Nozione di modello e verità di un predicato
14. Nozione di modello e verità di un predicato Per definire la validità di un predicato facciamo uso della nozione di modello. Intuitivamente un modello definisce in modo primitivo l interpretazione delle
Dettagli13. Nozione di modello e verità di un predicato
13. Nozione di modello e verità di un predicato Def. 0.1 (modello di un linguaggio predicativo) Dato linguaggio predicativo L con costanti c j e predicati atomici P k (x 1,..., x n ) un modello per L è
Dettagli14. Come interpretare unicità? con l uguaglianza
14. Come interpretare unicità? l uguaglianza Problema: vogliamo formalizzare in logica classica 1. Marcello ha un unica laurea L(x,y)= x è una laurea di y m=marcello 2. Il programma fattoriale su input
Dettagli21. Nozione di teoria ed esempi
21. Nozione di teoria ed esempi Ora applichiamo quanto appreso precedentemente sulla logica classica con uguaglianza allo studio di alcune sue teorie. In senso lato passiamo dallo studio della logica a
Dettagli13. Come interpretare unicità? con l uguaglianza
13. Come interpretare unicità? l uguaglianza Problema: vogliamo formalizzare in logica classica 1. Tutti sono uguali. 2. Ce ne sono due diversi. 3. Per ognuno c è qualcuno di diverso da lui. 4. Marcello
Dettagli7. A che serve il calcolo dei sequenti? Dà procedura di decisione
7. A che serve il calcolo dei sequenti? Dà procedura di decisione Il calcolo dei sequenti serve a costruire alberi di derivazione come ad esempio ax-id P, Q Q P&Q Q & S ax-id P, Q P P&Q P P&Q Q&P & S &
Dettagli13. Calcolo dei sequenti per logica classica predicativa
13. Calcolo dei sequenti per logica classica predicativa Vogliamo qui introdurre il calcolo dei sequenti per i predicati. A tal scopo dobbiamo prima introdurre il concetto di variabile libera e variabile
Dettagli17. Validità delle regole nel linguaggio predicativo
17. Validità delle regole nel linguaggio predicativo La nozione di validità di una regola nel linguaggio predicativo serve per poter rispondere a questa domanda: Perchè la procedura semi-automatica per
Dettagli15. Nozione di modello e verità di un predicato
15. Nozione di modello e verità di un predicato Def. (modello di un linguaggio predicativo) Dato linguaggio predicativo L con costanti c j e predicati atomici P k (x 1,..., x n ) un modello per L è dato
Dettagli15. Nozione di modello e verità di un predicato
15. Nozione di modello e verità di un predicato Def. 0.1 (modello di un linguaggio predicativo) Dato linguaggio predicativo L con costanti c j e predicati atomici P k (x 1,..., x n ) un modello per L è
DettagliI appello 2 febbraio 2015
I appello 2 febbrao 2015 nome: cognome: - Scrvete n modo CHIARO. Elaborat llegbl non saranno consderat. - NON s contano le BRUTTE cope. - Rcordatev d ETICHETTARE LE DERIVAZIONI CON LE REGOLE USATE (se
Dettagli12 Esercizi risolti su aritmetica di Peano
12 Esercizi risolti su aritmetica di Peano 1 0 = 0+0 è valido in PA in quanto si può derivare ad esempio come segue: Ax 3 0+0 = 0 0+0 = 0 x (x+0 = x) 0+0 = 0 S v sy r Ax 3 0 = 0+0 0 = 0+0 2 x (s(x) = s(2)
Dettagli21. Nozione di teoria ed esempi
21. Nozione di teoria ed esempi Ora applichiamo quanto appreso precedentemente sulla logica classica con uguaglianza allo studio di alcune sue teorie. In senso lato passiamo dallo studio della logica a
DettagliII appello 17 febbraio 2015
II appello 17 febbraio 2015 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si contano le BRUTTE copie. - Ricordatevi di ETICHETTARE LE DERIVAZIONI CON LE
DettagliChiarificazione sulla forma delle regole del calcolo LC p
Chiarificazione sulla forma delle regole del calcolo LC p Proviamo a spiegare un pò come mai le regole di LC p sono accettabili avvalendosi di tautologie classiche che riconosciamo grazie all utilizzo
DettagliManuale pratico per il corso di Logica
Manuale pratico per il corso di Logica Maria Emilia Maietti Dipartimento di Matematica Pura ed Applicata Università di Padova via Trieste n. 63-35121 Padova, Italy maietti@math.unipd.it 7 aprile 2014 1
DettagliI-Compitino LOGICA 14 giugno 2014
I-Compitino LOGICA 14 giugno 2014 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si considerano le BRUTTE copie. - Ricordatevi di ESPLICITARE l uso della
Dettagli9 Calcolo dei sequenti LC p
9 Calcolo dei sequenti LC p In questa sezione mostriamo un metodo più elegante, semplice e soprattutto AUTOMATICO per mostrare se una proposizione è valida o meno e soddisfacibile o meno. Tale metodo è
Dettagli6. Perchè costruire alberi di derivazione?
6. Perchè costruire alberi di derivazione? pr è radice di una derivazione in LC p pr è TAUTOLOGIA e più in generale Γ è radice di una derivazione in LC p Γ & è TAUTOLOGIA ovvero Γ è VALIDO posto Γ & (pr
DettagliSpiegazione delle regole dei quantificatori in logica classica
Spiegazione delle regole dei quantificatori in logica classica Qui spieghiamo la forma delle regole della quantificazione universale ed esistenziale. 1. La regola della quantificazione universale a sinistra
Dettagli12. Formalizzazione in linguaggio predicativo
12. Formalizzazione in linguaggio predicativo Il linguaggio predicativo è ottenuto estendendo il linguaggio proposizionale (quello con,, &,, ) con predicati A(x), B(x, y), C(x, y, z..) dipendenti da un
Dettagli1. Lezione Corso di Logica 12 aprile Maria Emilia Maietti. ricevimento: martedi ore
1. Lezione Corso di Logica 12 aprile 2011 Maria Emilia Maietti ricevimento: martedi ore 17-19 email: maietti@math.unipd.it 1 testo di riferimento: PER ISTRUIRE UN ROBOT ovvero, come costruirsi una logica
DettagliCompito di logica 28 giugno 2007 SOLUZIONI Fornire una derivazione in LJ dei sequenti: A A A B, B A A A B B A A A
Es. 1. Compito di logica 28 giugno 2007 SOLUZIONI Fornire una derivazione in LJ dei sequenti: a. A (B C) (A B) (A C) B B C C A A B C, B C A (B C), (A B), A C A (B C), (A B) (A C) A (B C) (A B) (A C) b.
Dettagli11. Formalizzazione in linguaggio predicativo
11. Formalizzazione in linguaggio predicativo Il linguaggio predicativo è ottenuto estendendo il linguaggio proposizionale (quello con,, &,, ) con predicati A(x), B(x, y), C(x, y, z..) dipendenti da un
DettagliSpiegazione delle regole dei quantificatori in logica classica
Spiegazione delle regole dei quantificatori in logica classica Qui spieghiamo la forma delle regole della quantificazione universale ed esistenziale. 1. La regola della quantificazione universale a sinistra
DettagliFormalizzazione: (funz. parziale)
ESERCIZI DI FORMALIZZAZIONE: funzioni Funzioni Parziali Definizione: Siano A e B due insiemi, una funzione parziale F : A B è un insieme di coppie a,b (con a A e b B) in cui ogni elemento di A è in coppia
Dettagli10 Logica classica predicativa
10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei
DettagliSpiegazione alternativa delle regole delle quantificatori
Spiegazione alternativa delle regole delle quantificatori È possibile spiegare le regole dei quantificatori della logica classica a partire dalle regole della negazione scritta con formule qualsiasi Γ
DettagliSistemi di dimostrazione
Sistemi di dimostrazione Un sistema di deduzione (o dimostrazione) consiste di un insieme di assiomi (a volte vuoto) un insieme di regole di inferenza Una deduzione (o derivazione) di una formula A da
DettagliEsercitazioni per il corso di Logica Matematica
Esercitazioni per il corso di Logica Matematica Luca Motto Ros 15 aprile 2005 Esercizi Nota importante. In questa dispensa sono stati raccolti, senza alcun ordine particolare, alcuni esercizi che possono
DettagliSistemi Deduttivi. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Sistemi Deduttivi[1]
Intelligenza Artificiale I Sistemi Deduttivi Marco Piastra Intelligenza Artificiale I - A.A. 2010- Sistemi Deduttivi[1] Calcolo simbolico? Una fbf è conseguenza logica di un insieme di fbf sse qualsiasi
Dettagli10 Logica classica predicativa
10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei
Dettagli10 Logica classica predicativa
10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei
Dettagli( x 1 )A 2 1 x2, f1 1 (x 1 ) )
Università di Bergamo Anno accademico 20162017 Ingegneria Informatica Foglio 5 Algebra e Logica Matematica Logica del primo ordine Esercizio 5.1. Identicare le occorrenze libere e vincolate delle variabili
Dettagli10 Logica classica predicativa
10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei
Dettagli10 Logica classica predicativa
10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei
Dettagli10 Logica classica predicativa
10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei
DettagliManuale pratico per il corso di Logica
Manuale pratico per il corso di Logica Maria Emilia Maietti Dipartimento di Matematica Pura ed Applicata Università di Padova via Trieste n. 63-35121 Padova, Italy maietti@math.unipd.it 7 aprile 2014 1
Dettagli10 Logica classica predicativa
10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei
DettagliIntelligenza Artificiale. Logica proposizionale: calcolo simbolico
Intelligenza Artificiale Logica proposizionale: calcolo simbolico Marco Piastra Logica formale (Parte 2) - 1 Parte 2 Calcolo logico Assiomi Derivazioni Derivazioni e conseguenza logica Completezza Logica
Dettagli10 Logica classica predicativa
10 Logica classica predicativa Dopo aver studiato la logica classica proposizionale, ovvero la logica delle proposizioni classiche, passiamo a studiare la logica classica predicativa, ovvero quella dei
Dettagli9 Calcolo dei sequenti LC p
9 Calcolo dei sequenti LC p In questa sezione mostriamo un metodo più elegante, semplice e soprattutto AUTOMATICO per mostrare se una proposizione è valida o meno e soddisfacibile o meno. Tale metodo è
DettagliMETODI MATEMATICI PER L INFORMATICA
P METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 3 31/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Predicati e quantificatori Esercizio 9 pagina 53 P(x): x
DettagliIstruzioni: Il seguente foglio deve essere compilato e consegnato insieme agli altri fogli debitamente compilati.
Cognome... MATEMATICA GENERALE A-D, (07-07-2011) Istruzioni: Il seguente foglio deve essere compilato e consegnato insieme 1. Si calcoli l insieme di definizione della seguente funzione: f(x) = 2. Si enunci
Dettagli9 Calcolo dei sequenti LC p
9 Calcolo dei sequenti LC p In questa sezione mostriamo un metodo più elegante, semplice e soprattutto AUTOMATICO per mostrare se una proposizione è valida o meno e soddisfacibile o meno. Tale metodo è
DettagliISTITUZIONI DI LOGICA(1)
ISTITUZIONI DI LOGICA(1) a.a. 2005-2006 (5 crediti) prof.ssa Giovanna Corsi TEST del 26 novembre 2005 Cognome Nome Corso di Laurea 1. (a) Secondo la lettura fatta delle pagine di Quine, cosa è rilevante
Dettagli11. Lezione Corso di Logica (prima parte) 13 maggio Maria Emilia Maietti. ricevimento: martedi ore
11. Lezione Corso di Logica (prima parte) 13 maggio 2011 Maria Emilia Maietti ricevimento: martedi ore 17.30-19.30 email: maietti@math.unipd.it 374 lucidi lezioni in http://www.math.unipd.it/ maietti/lez.html
DettagliRagionamento Automatico Calcolo dei Sequenti. Lezione 5 Ragionamento Automatico Carlucci Aiello, 2004/05 Lezione 5 0. Il calcolo dei sequenti
Il calcolo dei sequenti Ragionamento Automatico Calcolo dei Sequenti Materiale cartaceo distribuito in aula Il calcolo dei sequenti nella logica proposizionale Il calcolo dei sequenti nella logica predicativa
Dettagli(a + 1) n 2 n a n log a n. 2 ) (a 1)x + b se x 0. e g (2) = 1 5.
Cognome... Nome... Matricola... C.l. in Fisica, ANALISI MATEMATICA 1 (seconda prova di esonero) 18 gennaio 016 proff. M.Salvatori, L. Vesely durata: 90 minuti versione A 1] (5 pt.) Stabilire per quali
DettagliCOMPITO di LOGICA PER INFORMATICA (fila 1) 24 giugno 2005
COMPITO di LOGICA PER INFORMATICA (fila ) 24 giugno 2005 Nome: Matricola: Esercizio. Si dimostri che la seguente regola logica è valida, vale a dire, si dimostri che se la premessa è vera in ogni struttura
DettagliUniversità degli Studi di Verona
Università degli Studi di Verona Dipartimento di Informatica Ca' Vignal Strada le Grazie 15 37134 Verona - Italia Tel. +39 045 80 7069 Fax +39 045 80 7068 Corso di Laurea in Matematica Applicata PROVA
DettagliCALCOLO DEI PREDICATI DEL I ORDINE
CALCOLO DEI PREDICATI DEL I ORDINE Dizionario Simboli descrittivi lettere o variabili proposizionali: p, q, r, A, B, C, lettere o variabili predicative: P, Q, R, lettere o variabili individuali: a, b,
DettagliEsercizi Di Geometria 1 (BAER) Canale 1 Da consegnare Lunedi 19 Ottobre
Esercizi Di Geometria (BAER Canale Da consegnare Lunedi 9 Ottobre SETTIMANA 3 (2 8 Ottobre Moltiplicazione di matrici Gli esercizi sono presi dal libro Intorduction to Linear Algebra di Serge Lang Esercizio
DettagliM557- Esame di Stato di Istruzione Secondaria Superiore
Ministero dell Istruzione, dell Università e della Ricerca M557- Esame di Stato di Istruzione Secondaria Superiore Indirizzi: LI, EA SCIENTIFICO LI, EA9 SCIENTIFICO Opzione Scienze Applicate Tema di: MATEMATICA
DettagliLogica: materiale didattico
Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica
DettagliProva scritta di Logica Matematica - Giugno 2009
COGNOME-NOME: MATR.: Prova scritta di Logica Matematica - Giugno 2009 1.1 Ricerca di dimostrazione: x(q(a) R(x)) x(r(x) Q(a) Q(x)) xq(x) 1.2 Ricerca di contromodello: xp (x) x(p (x) Q(x)) xq(x) 1.3 Formalizzare
DettagliAlgebra e Logica Matematica. Insiemi, relazioni
Università di Bergamo Anno accademico 2015 2016 Ingegneria Informatica Foglio 1 Algebra e Logica Matematica Insiemi, relazioni Esercizio 1.1. Mostrare che per tutti gli insiemi A e B, (A\B) (B\A) = (A
DettagliT1: Logica, discorso e conoscenza. Logica classica
T1: Logica, discorso e conoscenza Primo modulo: Logica classica ovvero Deduzione formale vs verità: un introduzione ai teoremi limitativi Simone Martini Dipartimento di Scienze dell Informazione Alma mater
DettagliLOGICA a.a Esempio di domande 2 prof.ssa Giovanna Corsi
LOGICA a.a. 2014-2015 Esempio di domande 2 prof.ssa Giovanna Corsi January 4, 2015 1. (a) Cosa dice il cosiddetto Assioma di Aristotele? (b) Qual è la contraria di Tutti gli uomini sono mortali? (c) Qual
Dettagli1) Applicando la definizione di derivata, calcolare la derivata in x = 0 delle funzioni: c) x + 1 d)x sin x.
Funzioni derivabili Esercizi svolti 1) Applicando la definizione di derivata, calcolare la derivata in x = 0 delle funzioni: a)2x 5 b) x 3 x 4 c) x + 1 d)x sin x. 2) Scrivere l equazione della retta tangente
DettagliCorso di Laurea in Ingegneria Informatica Prova di Analisi Matematica 1
Corso di Laurea in Ingegneria Informatica Prova di Analisi Matematica 1 27 giugno 2017 Scrivere subito nome e cognome e matricola sul foglio risposte e preparare il libretto sul banco per il controllo.
DettagliCorso di Laurea in Informatica. Insegnamento integrato di Calcolo (Calcolo I, Calcolo II, Esercitazioni di Calcolo) Prof. F.
Università di Venezia Ca Foscari Corso di Laurea in Informatica Insegnamento integrato di Calcolo (Calcolo I, Calcolo II, Esercitazioni di Calcolo) Prof. F. Sartoretto Verifica scritta del 8 settembre
DettagliUniversità di Roma Tor Vergata Corso di Laurea in Ingegneria Canale SE-Z Prof.ssa Teresa D Aprile Analisi Matematica I Prova scritta del 19/07/2017
Università di Roma Tor Vergata Corso di Laurea in Ingegneria Canale SE-Z Profssa Teresa D Aprile Analisi Matematica I Prova scritta del 9/07/207 Cognome (in STAMPATELLO): Nome (in STAMPATELLO): Esercizio
DettagliEsercizi di Logica Matematica
Esercizi di Logica Matematica Francesco Bottacin 1 Logica Proposizionale Esercizio 1.1. Eliminare le parentesi non necessarie nelle seguenti formule: 1. ((A B) ( C)) 2. (A (B ( C))) 3. ((A B) (C D)) 4.
DettagliCorso di Laurea in Chimica e Tecnologia Farmaceutiche Matematica con Elementi di Informatica COMPITO 19 Febbraio 2016
Corso di Laurea in Chimica e Tecnologia Farmaceutiche Matematica con Elementi di Informatica COMPITO 19 Febbraio 2016 Nome Cognome Matricola Punteggi 10 cfu Teoria Ex.1 Ex.2 Ex.3 Ex. 4 Ex.5 /6 /5 /5 /5
DettagliLogica proposizionale
Logica proposizionale Proposizione: frase compiuta che è sempre o vera o falsa. Connettivi Posti in ordine di precedenza: not, and, or, implica, doppia implicazione Sintassi Le proposizioni sono costituite
DettagliAppello di Matematica II Corso di Laurea in Chimica / Scienze Geologiche 19 Giugno ( 1) n sin 1. n 3
Appello di Matematica II Corso di Laurea in Chimica / Scienze Geologiche 9 Giugno 203 TRACCIA A. Studiare il carattere della seguente serie numerica + n= ( ) n sin. Si tratta di una serie a termini di
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 8 Modelli, Formule Valide, Conseguenza Logica Proof Systems Regole di inferenza per Calcolo Proposizionale
DettagliCorso di Laurea in Informatica. Insegnamento integrato di Calcolo (Calcolo I, Calcolo II, Esercitazioni di Calcolo) Prof. F.
Università di Venezia Ca Foscari Corso di Laurea in Informatica Insegnamento integrato di Calcolo (Calcolo I, Calcolo II, Esercitazioni di Calcolo) Prof. F. Sartoretto Verifica scritta del 9 febbraio 25.
DettagliEsercizi Logica Matematica
Esercizi Logica Matematica Cristoforo Ca Gli esercizi riguardano tutta la parte del calcolo dei predicati del primo ordine. Esercizio 1. Sia T una teoria. Allora T è completa se e solo se T è soddisfacibile
DettagliIntelligenza Artificiale II. Logica del Primo Ordine Parte Teoria
Intelligenza Artificiale II Logica del Primo Ordine Parte 1.2 - Teoria Marco Piastra Logica del primo ordine (2) - 1 2 Linguaggio e semantica Logica del primo ordine (2) - 2 Linguaggio del primo ordine
DettagliMATEMATICA CORSO A CORSO DI LAUREA IN SCIENZE BIOLOGICHE I PROVA IN ITINERE COMPITO PROVA 3
MATEMATICA CORSO A CORSO DI LAUREA IN SCIENZE BIOLOGICHE I PROVA IN ITINERE COMPITO PROVA 3 1-Il giorno 7 gennaio Francesca riscontrò un aumento di peso del 10% rispetto al suo peso prima delle vacanze
DettagliCalcolo differenziale I
Calcolo differenziale I Hynek Kovarik Università di Brescia Analisi Matematica 1 Hynek Kovarik (Università di Brescia) Derivate Analisi Matematica 1 1 / 25 Definizione: rapporto incrementale Sia f : A
DettagliLogica proposizionale classica. Studia il comportamento dei connettivi proposizionali quali ( And ) e ( Or )
Logica proposizionale classica Studia il comportamento dei connettivi proposizionali quali ( And ) e ( Or ) Parte da una famiglia di enunciati atomici di cui non analizziamo la struttura interna, che rappresentiamo
DettagliDom. 1 Dom 2 Es. 1 Es. 2 Es. 3 Es. 4 Totale. Cognome: Nome: Matricola:
Dom. Dom 2 Es. Es. 2 Es. 3 Es. Totale Analisi e Geometria Secondo appello 0 luglio 207 Docente: Gianni Arioli Numero Alfabetico: Cognome: Nome: Matricola: Prima parte a. Enunciare e dimostrare la formula
DettagliEs. 1 Es. 2 Es. 3 Es. 4 Totale Teoria
Es. Es. Es. 3 Es. 4 Totale Teoria Analisi e Geometria Docente: Politecnico di Milano Ingegneria Industriale 5 Settembre Compito A Cognome: Nome: Matricola: Punteggi degli esercizi: Es.: 6 punti; Es.: punti;
DettagliSulla deduzione e la teoria degli insiemi. Claudio Sacerdoti Coen
Sulla deduzione e la teoria degli insiemi Claudio Sacerdoti Coen http://www.cs.unibo.it/~sacerdot Chi sono e cosa faccio? Ricercatore presso il Dipartimento di Scienze dell'informazione Docente del corso
DettagliCOMPITO di LOGICA MATEMATICA (fila 1) 12 gennaio 2006
COMPITO di LOGICA MATEMATICA (fila ) 2 gennaio 2006 Nome: Matricola: Esercizio Si consideri la seguente formula predicativa ( x(a(x) y A(y))) ( y( A(y) xa(x))) Determinare una struttura e una interpretazione
DettagliTeorema 1.1. (Teorema di Compattezza) Sia Γ un insieme di formule di un linguaggio proposizionale.
versione 12 ottobre 2011 1.1. Logica Proposizionale. 1. Teorema di Compattezza e risultati limitativi Teorema 1.1. (Teorema di Compattezza) Sia Γ un insieme di formule di un linguaggio proposizionale.
DettagliCorso di Laurea in Matematica Geometria 2. Foglio di esercizi n. 5 a.a Soluzioni
Corso di Laurea in Matematica Geometria 2 Foglio di esercizi n. 5 a.a. 2015-16 Soluzioni Gli esercizi sono presi dal libro di Manetti. Per svolgere questi esercizi, studiare con cura i paragrafi 10.1,
DettagliESERCIZI DI ANALISI MATEMATICA Università di Firenze - Facoltà di Ingegneria Corso di Laurea in Ingegneria Meccanica M Z Prof. M.
ESERCIZI DI ANALISI MATEMATICA Università di Firenze - Facoltà di Ingegneria Corso di Laurea in Ingegneria Meccanica M Z Prof. M.Patrizia Pera Insiemi e numeri reali Parte -a. Risolvere le seguenti disequazioni:
DettagliAlberi di sequenti per un linguaggio predicativo L 1.
Alberi di sequenti per un linguaggio predicativo L 1. Si estenda il linguaggio L 1 con un insieme C infinito numerabile di costanti individuali. Un multinsieme è un insieme con ripetizioni. Un sequente
DettagliEsercizi 2. Sulla definizione di linguaggio formale
Esercizi 2. Sulla definizione di linguaggio formale Def. 0.1 (Insieme induttivamente generato) Dato un numero finito di funzioni su un numero finito di argomenti h i : A... A A }{{} m i-volte su una collezione
DettagliOperatori di base. σ F (r) = {t t r. F(t) = true} SELEZIONE σ F (r)
Algebra relazionale Linguaggio dallo stile operazionale, in quanto rappresenta il piano di esecuzione di una query. Definisce un insieme di operazioni su relazioni. Le operazioni hanno come operandi una
DettagliCorso di Laurea in Chimica e Tecnologia Farmaceutiche Matematica con Elementi di Informatica COMPITO 29 Gennaio 2016
Corso di Laurea in Chimica e Tecnologia Farmaceutiche Matematica con Elementi di Informatica COMPITO 29 Gennaio 2016 Nome Cognome Matricola Punteggi 10 cfu Teoria Ex.1 Ex.2 Ex.3 Ex. 4 Ex.5 /6 /5 /5 /5
DettagliEs. 1 Es. 2 Es. 3 Totale Teoria. Punteggi degli esercizi: Es.1: 12= punti; Es.2: 12=5+5+2 punti; Es.3: 8 punti.
Es. 1 Es. Es. 3 Totale Teoria Analisi e Geometria 1 Seconda prova in itinere Febbraio 15 Compito A Docente: Politecnico di Milano Ingegneria Industriale Cognome: Nome: Matricola: Punteggi degli esercizi:
DettagliLogica Computazionale
Logica Computazionale 2009-2010 Gianluigi Bellin 24 febbraio 2010 1 Domanda 1 Si consideri il sequente S (i) Si applichi la procedura semantic tableaux per verificare se S sia valido o falsificabile nella
Dettagli