Esercizi con i tableaux in logica del primo ordine
|
|
- Bonifacio Boscolo
- 5 anni fa
- Visualizzazioni
Transcript
1 Esercizi con i tableaux in logica del primo ordine Sandro Zucchi Regole per Q(TAB) Il sistema di tableaux che abbiamo adottato per LQ consiste nelle regole di LP(TAB) + le regole seguenti: dove ϕ(c ) è un istanza di ϕ(v ) e ϕ(v ), e ϕ ( c / u) è qualunque risultato si ottiene sostituendo la costantec ad alcune o tutte le occorrenze della costanteu in ϕ. 1
2 Metodi formali per filosofi 2 Come costruire i tableaux per LQ (Bonevac) Vediamo ora alcuni esempi di tableaux in modo da capire come vanno applicate le regole di Q(TAB). L affermazione seguente è corretta: (1) x (R (x) D (x)), x (D (x) P (x)) Q(T AB) x (R (x) P (x)) Ecco un tableau che lo mostra: Nel costruire questo tableau, finché era possibile abbiamo evitato di introdurre delle diramazioni, seguendo una strategia che applichiamo anche per i tableaux della logica proposizionale. Inoltre, abbiamo applicato la massima seguente, che è di aiuto per semplificare i tableaux della logica del primo ordine: applica e prima di applicare e (cioè, applica le regole che introducono costanti nuove appena possibile). Consideriamo ora l affermazione seguente: (2) x ((C (x) S (x)) D (x)) Q(T AB) x (D (x) C (x)) Questo tableau mostra che l affermazione è corretta:
3 Metodi formali per filosofi 3 In questo tableau, come in quello precedente, quando abbiamo applicato le regole e, non abbiamo introdotto costanti nuove, ma abbiamo invece usato delle costanti già disponibili nel tableau. Se introducessimo sempre costanti nuove quando applichiamo e, alcuni tableaux non chiuderebbero mai, mentre invece chiudono se usiamo costanti già disponibili. Dunque, un altra massima importante da seguire è questa: non introdurre costanti nuove a meno che non sia richiesto. A meno che non sia richiesto qui vuol dire: a meno che non sia richiesto dalla regola (come nel caso di e ) oppure non siano ancora state introdotte costanti nel tableau (nel qual caso anche l applicazione di e porta a introdurre costanti nuove). In alcuni tableaux, le regole e vengono applicate più di una volta. In particolare, se è possibile applicare o su un ramo, dobbiamo farlo per ogni costante presente sul ramo (a meno che il ramo non chiuda prima). Ecco un esempio. L albero seguente mostra che l affermazione (3) è corretta: (3) x y (F (x) G (y)) Q(T AB) y x (F (x) G (y))
4 Metodi formali per filosofi 4 I passi in blu sono ottenuti applicando due volte la regola alla formula in rosso. Si noti che, se avessimo applicato la regola una volta sola, l albero non avrebbe chiuso. Dunque, un altra massima importante da seguire è questa: continua a istanziare fin quando è possibile, usando delle costanti che sono già sul ramo. Infine, vediamo un esempio di tableau che fa uso delle regole = e. Supponiamo di voler dimostrare che l affermazione seguente è vera: (4) x y(x = y y = x) (simmetria dell identità) Questo tableau fa al caso nostro:
5 Metodi formali per filosofi 5 Contro-modelli In Q(TAB), come negli altri sistemi di tableaux, se un tableau (finito) non chiude, è possibile sfruttare l informazione contenuta in un ramo aperto del tableau per costruire un contro-modello. L idea è questa: per ogni costante individualec sul ramo che non compare in frasi della forma c = u (dove c e u sono costanti individuali distinte), introduciamo un nuovo individuo i c nel dominio e introduciamo la condizione F(c )= i c nel modello; per le costanti individuali che occorrono in frasi della forma c = u, u = d, ecc. (dove c, u sono costanti individuali distinte), introduciamo un nuovo individuo i c nel dominio e introduciamo le condizioni F(c)= i c, F(u)= i c, F(d )= i c, ecc. nel modello; se una frase della forma P (c ) occorre sul ramo, l individuo i c deve appartenere a F(P ); se una frase della forma P (c ) occorre sul ramo, l individuo i c non può appartenere a F(P ); se una frase della forma P (c,..., d ) occorre sul ramo, la n-upla < i c,..., i d > deve appartenere a F(P ); se una frase della forma P (c,..., d ) occorre sul ramo, la n-upla < i c,..., i d > non può appartenere a F(P ). Ecco un esempio di come costruire un contro-modello in base a queste indicazioni. Si consideri l albero seguente: Quest albero non chiude e questo ci mostra che x (F (x) G (x)) Q(T AB) x (F (x) G (x))
6 Metodi formali per filosofi 6 Possiamo trovare un contro-modello che rende vera la premessa e falsa la conclusione basandoci su uno dei rami che sono rimasti aperti. Consideriamo, ad esempio, il ramo più a sinistra. L unica costante presente sul ramo è a. Quindi, il dominio D del nostro contro-modello conterrà i a come unico elemento, dove F(a) = i a. Inoltre, il ramo più a sinistra non contiene formule atomiche, ma contiene F (a) e G(a). Dunque, nel nostro modello a non appartiene a F(G) e non appartiene a F(F ). Possiamo soddisfare questa condizione assumendo che F(F ) = F(G) =. Riassumendo, un contro-modello che fa al caso nostro è qualsiasi modello M = < D, F >, dove D = {i a } F(a) = i a F(F ) = F(G) = È facile verificare che M rende vera la premessa x (F (x) G (x)) e falsa la conclusione x (F (x) G (x)). Infatti, l unica a-variante di M è il modello M stesso (in quanto il dominio contiene un unico individuo). E, in M, (F (a) G (a)) è vera, in quanto l antecedente F (a) è falso (dal momento che F(F ) =, e dunque i a / F(F )). Dunque, la premessa x (F (x) G (x)) è vera in M, in quanto (F (a) G (a)) è vera in ogni a-variante. D altra parte, non esiste alcuna a-variante di M in cui (F (a) G (a)) è vera, poiché, come abbiamo visto, F (a) è falsa nell unica a-variante di M. Dunque, x (F (x) G (x)) è falsa in M.
7 Metodi formali per filosofi 7 Tableaux infiniti Q(TAB) può dar luogo a tableaux infiniti. Ecco un esempio: Quest albero non chiude, ma il ramo non termina mai. Quando non è chiaro se il tableau chiude o no, il contro-modello, se esiste, deve essere dato direttamente, senza l aiuto del tableau. Ok, ora siamo pronti per passare agli esercizi. Primo esercizio (Bonevac) Controlla la verità di ciascuna delle affermazioni seguenti usando Q(TAB). Se la conclusione non è derivabile dalle premesse, estrai un contro-modello dall albero e mostra che rende le premesse vere e la conclusione falsa. a. x y(r(x, y) R(y, x)), x y z((r(x, y) R(y, z)) R(x, z)) Q(T AB) xr(x, x) b. Q(T AB) x x=x (riflessività dell identità) c. Q(T AB) x y z((x = y y = z) x = z) (transitività dell identità) d. x(p (x) Q(x)), x(q(x) S(x)) Q(T AB) x(p (x) S(x)) e. Q(T AB) xp (x) xp (x) f. x(p (x) Q(x)) Q(T AB) x Q(x) g. a = b Q(T AB) x y(p (y) x = y)
Regola del partitore di tensione
Regola del partitore di tensione Se conosciamo la tensione ai capi di una serie di resistenze e i valori delle resistenze stesse, è possibile calcolare la caduta di tensione ai capi di ciascuna R resistenza,
DettagliLinguaggi. Claudio Sacerdoti Coen 11/04/2011. 18: Semantica della logica del prim ordine. <sacerdot@cs.unibo.it> Universitá di Bologna
Linguaggi 18: Semantica della logica del prim ordine Universitá di Bologna 11/04/2011 Outline Semantica della logica del prim ordine 1 Semantica della logica del prim ordine Semantica
DettagliRiconoscere e formalizzare le dipendenze funzionali
Riconoscere e formalizzare le dipendenze funzionali Giorgio Ghelli 25 ottobre 2007 1 Riconoscere e formalizzare le dipendenze funzionali Non sempre è facile indiduare le dipendenze funzionali espresse
DettagliCAPITOLO V. DATABASE: Il modello relazionale
CAPITOLO V DATABASE: Il modello relazionale Il modello relazionale offre una rappresentazione matematica dei dati basata sul concetto di relazione normalizzata. I principi del modello relazionale furono
DettagliAlbero semantico. Albero che mette in corrispondenza ogni formula con tutte le sue possibili interpretazioni.
Albero semantico Albero che mette in corrispondenza ogni formula con tutte le sue possibili interpretazioni. A differenza dell albero sintattico (che analizza la formula da un punto di vista puramente
DettagliAppunti del corso di Informatica 1 (IN110 Fondamenti) 3 Modelli di calcolo
Università Roma Tre Dipartimento di Matematica e Fisica Corso di Laurea in Matematica Appunti del corso di Informatica 1 (IN110 Fondamenti) 3 Modelli di calcolo Marco Liverani (liverani@mat.uniroma3.it)
DettagliSi basano sul seguente Teorema: S = A sse S { A} è insoddisfacibile.
Deduzione automatica La maggior parte dei metodi di deduzione automatica sono metodi di refutazione: anziché dimostrare direttamente che S A, si dimostra che S { A} è un insieme insoddisfacibile (cioè
DettagliGli asintoti di una funzione sono rette, quindi possono essere: rette verticali o rette orizzontali o rette oblique.
Asintoti Gli asintoti di una funzione sono rette, quindi possono essere: rette verticali o rette orizzontali o rette oblique. Asintoti verticali Sia 0 punto di accumulazione per dom(f). La retta = 0 è
DettagliNormalizzazione. Definizione
Normalizzazione Definizione Le forme normali 2 Una forma normale è una proprietà di una base di dati relazionale che ne garantisce la qualità, cioè l'assenza di determinati difetti Quando una relazione
DettagliLinguaggi del I ordine - semantica. Per dare significato ad una formula del I ordine bisogna specificare
Linguaggi del I ordine - semantica Per dare significato ad una formula del I ordine bisogna specificare Un dominio Un interpretazione Un assegnamento 1 Linguaggi del I ordine - semantica (ctnd.1) Un modello
DettagliAlcune nozioni di base di Logica Matematica
Alcune nozioni di base di Logica Matematica Ad uso del corsi di Programmazione I e II Nicola Galesi Dipartimento di Informatica Sapienza Universitá Roma November 1, 2007 Questa é una breve raccolta di
DettagliEQUAZIONI CON VALORE ASSOLUTO DISEQUAZIONI CON VALORE ASSOLUTO
EQUAZIONI CON VALORE AOLUTO DIEQUAZIONI CON VALORE AOLUTO Prima di tutto: che cosa è il valore assoluto di un numero? Il valore assoluto è quella legge che ad un numero (positivo o negativo) associa sempre
DettagliMassimi e minimi vincolati in R 2 - Esercizi svolti
Massimi e minimi vincolati in R 2 - Esercizi svolti Esercizio 1. Determinare i massimi e minimi assoluti della funzione f(x, y) = 2x + 3y vincolati alla curva di equazione x 4 + y 4 = 1. Esercizio 2. Determinare
DettagliEsercitazione. Proposizioni. April 16, 2015. Esercizi presi dal libro di Rosen (useremo 0 per False e 1 per True). Problema 15, sezione 1.1.
Esercitazione Proposizioni April 16, 2015 Esercizi presi dal libro di Rosen (useremo 0 per False e 1 per True). Problema 15, sezione 1.1. 1. Consideriamo le proposizioni: - p : Gli orsi grizzly sono stati
DettagliAlgebra e Logica Matematica. Calcolo delle proposizioni Logica del primo ordine
Università di Bergamo Anno accademico 2006 2007 Ingegneria Informatica Foglio Algebra e Logica Matematica Calcolo delle proposizioni Logica del primo ordine Esercizio.. Costruire le tavole di verità per
DettagliRilevazione degli apprendimenti. Anno Scolastico 2006 2007 PROVA DI MATEMATICA. Scuola Secondaria di II grado. Classe Terza Tipo A. Codici. Scuola:...
Ministero della Pubblica Istruzione Rilevazione degli apprendimenti Anno Scolastico 2006 2007 PROVA DI MATEMATICA Scuola Secondaria di II grado Classe Terza Tipo A Codici Scuola:..... Classe:.. Studente:.
DettagliClassificazione Singolarità isolate, Serie di Laurent, Residui, Teorema dei residui e applicazioni
Classificazione Singolarità isolate, Serie di Laurent, Residui, Teorema dei residui e applicazioni Docente:Alessandra Cutrì Richiamo:Zeri di Funzioni olomorfe (o analitiche) Sia f : A C C A aperto connesso,
DettagliAREA LOGICO - MATEMATICA TEMA PARI E DISPARI
ESTENSIONE DEL METODO BRIGHT START UNITA COGNITIVE DI RIFERIMENTO RELAZIONI QUANTITATIVE CONFRONTI CLASSE SECONDA A TEMPO PIENO- SCUOLA ELEMENTARE C. CAVOUR SANTENA AREA LOGICO - MATEMATICA TEMA PARI E
Dettagli0.1 Esercizi calcolo combinatorio
0.1 Esercizi calcolo combinatorio Esercizio 1. Sia T l insieme dei primi 100 numeri naturali. Calcolare: 1. Il numero di sottoinsiemi A di T che contengono esattamente 8 pari.. Il numero di coppie (A,
DettagliFUNZIONI CONTINUE - ESERCIZI SVOLTI
FUNZIONI CONTINUE - ESERCIZI SVOLTI 1) Verificare che x è continua in x 0 per ogni x 0 0 ) Verificare che 1 x 1 x 0 è continua in x 0 per ogni x 0 0 3) Disegnare il grafico e studiare i punti di discontinuità
DettagliProf.ssa Laura Pagnozzi Prof. Ivano Coccorullo. Calcolo Combinatorio
Prof.ssa Laura Pagnozzi Prof. Ivano Coccorullo Calcolo Combinatorio Calcolo Combinatorio ü Molti dei problemi classici di calcolo delle probabilità si riducono al calcolo dei casi favorevoli e di quelli
DettagliRilevazione degli apprendimenti. Anno Scolastico 2006 2007 PROVA DI MATEMATICA. Scuola Secondaria di II grado. Classe Terza Tipo A. Codici. Scuola:...
Ministero della Pubblica Istruzione Rilevazione degli apprendimenti Anno Scolastico 2006 2007 PROVA DI MATEMATICA Scuola Secondaria di II grado Classe Terza Tipo A Codici Scuola:..... Classe:.. Studente:.
DettagliDall italiano al linguaggio della logica proposizionale
Dall italiano al linguaggio della logica proposizionale Dall italiano al linguaggio della logica proposizionale Enunciati atomici e congiunzione In questa lezione e nelle successive, vedremo come fare
DettagliEsercitazioni per il corso di Logica Matematica
Esercitazioni per il corso di Logica Matematica Luca Motto Ros 14 marzo 2005 Nota importante. Queste pagine contengono appunti personali dell esercitatore e sono messe a disposizione nel caso possano risultare
DettagliTeoria degli insiemi
Teoria degli insiemi pag 1 Easy Matematica di dolfo Scimone Teoria degli insiemi Il concetto di insieme si assume come primitivo, cioè non riconducibile a concetti precedentemente definiti. Sinonimi di
DettagliLOGICA PER LA PROGRAMMAZIONE. Franco Turini turini@di.unipi.it
LOGICA PER LA PROGRAMMAZIONE Franco Turini turini@di.unipi.it IPSE DIXIT Si consideri la frase: in un dato campione di pazienti, chi ha fatto uso di droghe pesanti ha utilizzato anche droghe leggere. Quali
DettagliAnalisi. Calcolo Combinatorio. Ing. Ivano Coccorullo
Analisi Ing. Ivano Coccorullo Prof. Ivano Coccorullo ü Molti dei problemi classici di calcolo delle probabilità si riducono al calcolo dei casi favorevoli e di quelli possibili. Quando le situazioni diventano
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova I.T.I, Marzotto, Valdagno 24 febbraio 2014 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità di ragionamento
DettagliLa logica modale e la dimostrazione dell esistenza di Dio di Gödel. LOGICA MODALE
La logica modale e la dimostrazione dell esistenza di Dio di Gödel. In alcuni giornali ho letto che di recente ci sono stati diversi studi che hanno riportato alla ribalta la dimostrazione dell esistenza
Dettaglip k q n k = p n (k) = n 12 = 1 = 12 1 12 11 10 9 1 0,1208. q = 1 2 e si ha: p 12 (8) = 12 8 4
CAPITOLO QUARTO DISTRIBUZIONE BINOMIALE (O DI BERNOULLI) Molti degli esempi che abbiamo presentato nei capitoli precedenti possono essere pensati come casi particolari di uno schema generale di prove ripetute,
Dettaglix log(x) + 3. f(x) =
Università di Bari, Corso di Laurea in Economia e Commercio Esame di Matematica per l Economia L/Z Dr. G. Taglialatela 03 giugno 05 Traccia dispari Esercizio. Calcolare Esercizio. Calcolare e cos log d
DettagliINDICAZIONI PER LA RICERCA DEGLI ASINTOTI VERTICALI
2.13 ASINTOTI 44 Un "asintoto", per una funzione y = f( ), è una retta alla quale il grafico della funzione "si avvicina indefinitamente", "si avvicina di tanto quanto noi vogliamo", nel senso precisato
Dettagli5 DERIVATA. 5.1 Continuità
5 DERIVATA 5. Continuità Definizione 5. Sia < a < b < +, f : (a, b) R e c (a, b). Diciamo che f è continua in c se sono verificate le ue conizioni: (i) c esiste (ii) = f(c) c Si osservi che nella efinizione
DettagliEsercizio per casa. Filosofia della scienza Gianluigi Bellin. October 29, 2013. 1. Si formalizzino i seguenti enunciati nel calcolo dei predicati.
Esercizio per casa. Filosofia della scienza Gianluigi Bellin October 29, 2013 1. Si formalizzino i seguenti enunciati nel calcolo dei predicati. 1.1 Condizione necessaria e sufficiente perché un corpo
DettagliLOGICA 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
DettagliCapitolo I STRUTTURE ALGEBRICHE ELEMENTARI
Capitolo I STRUTTURE ALGEBRICHE ELEMENTARI In matematica, per semplificare la stesura di un testo, si fa ricorso ad un linguaggio specifico. In questo capitolo vengono fornite in maniera sintetica le nozioni
Dettagli(1) (2) (3) (4) 11 nessuno/a 9 10. (1) (2) (3) (4) X è il minore tra A e B nessuno/a X è sempre uguale ad A X è il maggiore tra A e B
Compito: Domanda 1 Per l'algoritmo fornito di seguito, qual è il valore assunto dalla variabile contatore quando l'algoritmo termina: Passo 1 Poni il valore di contatore a 1 Passo 2 Ripeti i passi da 3
DettagliDerivate Limiti e funzioni continue
Derivate Limiti e funzioni continue Se il valore di una funzione f() si avvicina al valore l quando si avvicina ad 0 diciamo che f() ha come ite l per tendente ad 0. Noi per rappresentare questo fatto
Dettagli2 FUNZIONI REALI DI VARIABILE REALE
2 FUNZIONI REALI DI VARIABILE REALE 2.1 CONCETTO DI FUNZIONE Definizione 2.1 Siano A e B due insiemi. Una funzione (o applicazione) f con dominio A a valori in B è una legge che associa ad ogni elemento
DettagliAlgebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE
Algebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE Andrea Bobbio Anno Accademico 2000-2001 Algebra Booleana 2 Calcolatore come rete logica Il calcolatore può essere visto come una rete logica
DettagliSudoku: ancora un esercizio
Sudoku: ancora un esercizio Silvio Ranise LORIA & INRIA-Lorraine Nancy (France) 17 Gennaio 2007 Un esempio (sempre lo stesso) 5 3 7 6 1 9 5 9 8 6 8 6 3 4 8 3 1 7 2 6 6 2 8 4 1 9 5 8 7 9 Regole (sempre
DettagliCONCETTO DI LIMITE DI UNA FUNZIONE REALE
CONCETTO DI LIMITE DI UNA FUNZIONE REALE Il limite di una funzione è uno dei concetti fondamentali dell'analisi matematica. Tramite questo concetto viene formalizzata la nozione di funzione continua e
DettagliIl modello relazionale dei dati e stato introdotto da Codd. nel 1970 (E.F. Codd, \A relational model of data for large
Modello Relazionale Il modello relazionale dei dati e stato introdotto da Codd nel 1970 (E.F. Codd, \A relational model of data for large shared data banks", Comm. of the ACM, 1970) ed e basato sul concetto
DettagliDall 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
DettagliTrasformazioni Geometriche 1 Roberto Petroni, 2011
1 Trasformazioni Geometriche 1 Roberto etroni, 2011 Trasformazioni Geometriche sul piano euclideo 1) Introduzione Def: si dice trasformazione geometrica una corrispondenza biunivoca che associa ad ogni
DettagliConvessità e derivabilità
Convessità e derivabilità Definizione 1 (convessità per funzioni derivabili) Sia f : (a, b) R derivabile su (a, b). Diremo che f è convessa o concava su (a, b) se per ogni 0 (a,b) il grafico di f sta tutto
DettagliMATEMATICA GENERALE Prova d esame del 4 giugno 2013 - FILA A
MATEMATICA GENERALE Prova d esame del 4 giugno 2013 - FILA A Nome e cognome Matricola I Parte OBBLIGATORIA (quesiti preliminari: 1 punto ciascuno). Riportare le soluzioni su questo foglio, mostrando i
DettagliFunzioni con dominio in R n
0.1 Punti e vettori di R n Politecnico di Torino. Funzioni con dominio in R n Nota Bene: delle lezioni. Questo materiale non deve essere considerato come sostituto Molto spesso risulta che una quantita
DettagliEsponenziali e logaritmi
Esponenziali e logaritmi Corso di accompagnamento in matematica Lezione 4 Sommario 1 La funzione esponenziale Proprietà Grafico 2 La funzione logaritmo Grafico Proprietà 3 Equazioni / disequazioni esponenziali
DettagliCONTINUITÀ E DERIVABILITÀ Esercizi proposti. 1. Determinare lim M(sinx) (M(t) denota la mantissa di t)
CONTINUITÀ E DERIVABILITÀ Esercizi proposti 1. Determinare lim M(sin) (M(t) denota la mantissa di t) kπ/ al variare di k in Z. Ove tale limite non esista, discutere l esistenza dei limiti laterali. Identificare
DettagliESERCIZI. x + 3 x 2 1. a) y = 4x2 + 3x 2x + 2 ; b) y = 6x2 x 1. (x + 2) 2 c) y =
ESERCIZI Testi (1) Un urna contiene 20 palline di cui 8 rosse 3 bianche e 9 nere; calcolare la probabilità che: (a) tutte e tre siano rosse; (b) tutte e tre bianche; (c) 2 rosse e una nera; (d) almeno
DettagliMathematical logic 1 st assessment Propositional Logic 23 October 2014
Name ID. 1 Mathematical logic 1 st assessment Propositional Logic 23 October 2014 Instructions Rispondete in Italiano utilizzando una penna ad inchiostro (no matite) a meno che le domande non vi diano
DettagliComparatori. Comparatori di uguaglianza
Comparatori Scopo di un circuito comparatore é il confronto tra due codifiche binarie. Il confronto può essere effettuato per verificare l'uguaglianza oppure una relazione d'ordine del tipo "maggiore",
DettagliSyllabus: argomenti di Matematica delle prove di valutazione
Syllabus: argomenti di Matematica delle prove di valutazione abcdef... ABC (senza calcolatrici, senza palmari, senza telefonini... ) Gli Argomenti A. Numeri frazioni e numeri decimali massimo comun divisore,
DettagliAlgebra e Geometria. Ingegneria Meccanica e dei Materiali Sez (2) Ingegneria dell Automazione Industriale Sez (2)
Algebra e Geometria Ingegneria Meccanica e dei Materiali Sez (2) Ingegneria dell Automazione Industriale Sez (2) Traccia delle lezioni che saranno svolte nell anno accademico 2012/13 I seguenti appunti
Dettagli1. PRIME PROPRIETÀ 2
RELAZIONI 1. Prime proprietà Il significato comune del concetto di relazione è facilmente intuibile: due elementi sono in relazione se c è un legame tra loro descritto da una certa proprietà; ad esempio,
DettagliFunzione Composta. Date due funzioni g : A B e f : B C si può definire la funzione composta: notazione funzionale y = f (g(x))
Funzione Composta Date due funzioni g : A B e f : B C si può definire la funzione composta: f g : A C g() f (g()) notazione funzionale = f (g()) La composizione ha senso se il valore g() appartiene al
DettagliCorso di Informatica
Corso di Informatica Modulo T3 1-Sottoprogrammi 1 Prerequisiti Tecnica top-down Programmazione elementare 2 1 Introduzione Lo scopo di questa Unità è utilizzare la metodologia di progettazione top-down
DettagliGuida pratica alla creazione di pagine web
Guida pratica alla creazione di pagine web Dopo aver creato una pagina html, muoviamo i primi passi nell'uso del codice. Naturalmente non è necessario conoscere il codice a memoria per creare pagine internet,
DettagliPSICOMETRIA. Esercitazione n.1. C.d.L. Comunicazione e Psicologia a.a. 2012/13
PSICOMETRIA Esercitazione n.1 C.d.L. Comunicazione e Psicologia a.a. 2012/13 ESERCITAZIONE 1: INDICE 1. Informazioni di carattere generale sulle esercitazioni 2. Il foglio di calcolo (Excel) 3. Avviare
DettagliI SISTEMI DI NUMERAZIONE (esercizi svolti)
ISTITUTO DI ISTRUZIONE SUPERIORE G. M. ANGIOY CARBONIA I SISTEMI DI NUMERAZIONE (esercizi svolti) Prof. G. Ciaschetti Conversione di un numero da binario a decimale Esercizio 1. Convertire in decimale
DettagliSISTEMI INFORMATIVI AVANZATI -2010/2011 1. Introduzione
SISTEMI INFORMATIVI AVANZATI -2010/2011 1 Introduzione In queste dispense, dopo aver riportato una sintesi del concetto di Dipendenza Funzionale e di Normalizzazione estratti dal libro Progetto di Basi
DettagliPlanning as Model Checking Presentazione della Tesina di Intelligenza Artificiale
Planning as Model Checking Presentazione della Tesina di Intelligenza Artificiale di Francesco Maria Milizia francescomilizia@libero.it Model Checking vuol dire cercare di stabilire se una formula è vera
DettagliProf.ssa Paola Vicard
Questa nota consiste perlopiù nella traduzione da Descriptive statistics di J. Shalliker e C. Ricketts, 2000, University of Plymouth Consideriamo come esempio il data set contenuto nel foglio excel esercizio1_dati.xls.
Dettagli3 - Generazione di un disegno CAD partendo dal file in formato Pregeo
3 - Generazione di un disegno CAD partendo dal file in formato Pregeo E la funzione base di tutte le elaborazioni topografiche catastali. Vediamo come inserire un file dal libretto di Pregeo nel programma
DettagliEsercizi sulla conversione tra unità di misura
Esercizi sulla conversione tra unità di misura Autore: Enrico Campanelli Prima stesura: Settembre 2013 Ultima revisione: Settembre 2013 Per segnalare errori o per osservazioni e suggerimenti di qualsiasi
DettagliLogica dei predicati
IV Logica dei predicati 14. FORMULE PREDICATIVE E QUANTIFICATORI 14.1. Dalla segnatura alle formule predicative Il simbolo (x).ϕ(x) [per ogni x, ϕ(x) è vera] denota una proposizione definita, e non c è
DettagliGrafico qualitativo di una funzione reale di variabile reale
Grafico qualitativo di una funzione reale di variabile reale Mauro Saita 1 Per commenti o segnalazioni di errori scrivere, per favore, a: maurosaita@tiscalinet.it Dicembre 2014 Indice 1 Qualè il grafico
DettagliESPORTAZIONE DEI DATI IN MUDCOMUNI.IT
ESPORTAZIONE DEI DATI IN MUDCOMUNI.IT 1 Esportazione da Orso 1 2 La procedura è simile a quella degli anni precedenti, salvo la particolarità che il trasferimento dei dati avviene direttamente da Orso
DettagliESAME DI STATO. SIMULAZIONE PROVA NAZIONALE Scuola Secondaria di I grado Classe Terza. Prova 3. Anno Scolastico 20. - 20. Classe:... Data:...
Prova Nazionale di Matematica: Simulazioni - a cura di M. Zarattini Prova ESAME DI STATO Anno Scolastico 0. - 0. SIMULAZIONE PROVA NAZIONALE Scuola Secondaria di I grado Classe Terza Classe:... Data:...
DettagliIllustrazione 1: Telaio. Piantanida Simone 1 G Scopo dell'esperienza: Misura di grandezze vettoriali
Piantanida Simone 1 G Scopo dell'esperienza: Misura di grandezze vettoriali Materiale utilizzato: Telaio (carrucole,supporto,filo), pesi, goniometro o foglio con goniometro stampato, righello Premessa
DettagliSiano f e g due funzioni, allora x D f D g, cioè appartenente all intersezione dei loro domini, possiamo definire
Operazioni tra funzioni Siano f e g due funzioni, allora D f D g, cioè appartenente all intersezione dei loro domini, possiamo definire f() ± g(), f() g(), f () g() se g() 0 Es. f() = 4, g() = 3 + D f
DettagliEsercitazioni di Reti Logiche. Lezione 1 Rappresentazione dell'informazione. Zeynep KIZILTAN zkiziltan@deis.unibo.it
Esercitazioni di Reti Logiche Lezione 1 Rappresentazione dell'informazione Zeynep KIZILTAN zkiziltan@deis.unibo.it Introduzione Zeynep KIZILTAN Si pronuncia Z come la S di Rose altrimenti, si legge come
DettagliPer visualizzare e immettere i dati in una tabella è possibile utilizzare le maschere;
Maschere e Query Le Maschere (1/2) Per visualizzare e immettere i dati in una tabella è possibile utilizzare le maschere; Le maschere sono simili a moduli cartacei: ad ogni campo corrisponde un etichetta
DettagliTavola riepilogativa degli insiemi numerici
N : insieme dei numeri naturali Z : insieme dei numeri interi Q : insieme dei numeri razionali I : insieme dei numeri irrazionali R : insieme dei numeri reali Tavola riepilogativa degli insiemi numerici
DettagliDefinizione Dati due insiemi A e B, contenuti nel campo reale R, si definisce funzione reale di variabile reale una legge f : A
Scopo centrale, sia della teoria statistica che della economica, è proprio quello di esprimere ed analizzare le relazioni, esistenti tra le variabili statistiche ed economiche, che, in linguaggio matematico,
DettagliBasi di dati. Il Modello Relazionale dei Dati. K. Donno - Il Modello Relazionale dei Dati
Basi di dati Il Modello Relazionale dei Dati Proposto da E. Codd nel 1970 per favorire l indipendenza dei dati Disponibile come modello logico in DBMS reali nel 1981 (non è facile realizzare l indipendenza
Dettaglix u v(p(x, fx) q(u, v)), e poi
0.1. Skolemizzazione. Ogni enunciato F (o insieme di enunciati Γ) è equisoddisfacibile ad un enunciato universale (o insieme di enunciati universali) in un linguaggio estensione del linguaggio di F (di
DettagliESERCIZI DEL CORSO DI INFORMATICA
ESERCIZI DEL CORSO DI INFORMTIC Questa breve raccolta di esercizi vuole mettere in luce alcuni aspetti della prima parte del corso e fornire qualche spunto di riflessione. Il contenuto del materiale seguente
DettagliF G H I L. Sulla base della figura, nel programma sono usate le seguenti definizioni:
La gestione della distinta base permette l'inserimento, la variazione, la cancellazione e la consultazione delle informazioni inerenti la composizione dei prodotti. Per facilitare la successiva descrizione
DettagliLezione 9: Cambio di base
Lezione 9: Cambio di base In questa lezione vogliamo affrontare uno degli argomenti piu ostici per lo studente e cioè il cambio di base all interno di uno spazio vettoriale, inoltre cercheremo di capire
DettagliCorso di Politica Economica
Corso di Politica Economica Lezione 12: Introduzione alla Teoria dei Giochi (part 3) David Bartolini Università Politecnica delle Marche (Sede di S.Benedetto del Tronto) d.bartolini@univpm.it (email) http://utenti.dea.univpm.it/politica
DettagliLogica del primo ordine
Logica del primo ordine Sistema formale sviluppato in ambito matematico formalizzazione delle leggi del pensiero strette relazioni con studi filosofici In ambito Intelligenza Artificiale logica come linguaggio
DettagliA i è un aperto in E. i=1
Proposizione 1. A è aperto se e solo se A c è chiuso. Dimostrazione. = : se x o A c, allora x o A = A o e quindi esiste r > 0 tale che B(x o, r) A; allora x o non può essere di accumulazione per A c. Dunque
Dettagliuna sequenza di comandi di Mathematica: scritta in un file filename.m salvata in una pagina di notebook filename.nb
per avviare Mathematica: math per avviare il kernel mathematica per avviare il notebook una sequenza di comandi di Mathematica: scritta in un file filename.m salvata in una pagina di notebook filename.nb
DettagliFunzioni con dominio in R 2
0.1 Grafici e curve di livello Politecnico di Torino. Funzioni con dominio in R 2 Nota Bene: delle lezioni. Questo materiale non deve essere considerato come sostituto Il dominio U di una funzione f e
DettagliCalcolo dei Sequenti Predicativo: Note ed Esercizi
Calcolo dei Sequenti Predicativo: Note ed Esercizi mace@dsi.unive.it 15 novembre 2007 1 Logica predicativa: sintassi La logica proposizionale è piuttosto limitata. La logica predicativa estende quella
DettagliRicorsione in SQL-99. Introduzione. Idea di base
Ricorsione in SQL-99 Introduzione In SQL2 non è possibile definire interrogazioni che facciano uso della ricorsione Esempio Voli(lineaAerea, da, a, parte, arriva) non è possibile esprimere l interrogazione
DettagliCorrispondenze e relazioni - Complementi
PRODOTTO CARTESIANO Nell elencare gli elementi di un insieme, l ordine non ha alcuna importanza; ma ci sono situazioni in cui l ordine con cui si indicano gli elementi è fondamentale. La partita Milan
DettagliIL PROGETTO QUALITA TOTALE 2007-2013
UNIONE EUROPEA IL PROGETTO QUALITA TOTALE 2007-2013 Sentirsi protagonisti per il successo del progetto Prologo 16 luglio 2009 TU IO NOI Prologo al 1 Incontro
DettagliStudio di una funzione ad una variabile
Studio di una funzione ad una variabile Lo studio di una funzione ad una variabile ha come scopo ultimo quello di pervenire a un grafico della funzione assegnata. Questo grafico non dovrà essere preciso
DettagliLaboratorio di Progettazione di Sistemi Software Progetto: modellazione di un dominio e sue attività
Laboratorio di Progettazione di Sistemi Software Progetto: modellazione di un dominio e sue attività Valentina Presutti (A-L) Riccardo Solmi (M-Z) Definizione del problema Modello di un dominio Si vuole
Dettagli7 Esercizi e complementi di Elettrotecnica per allievi non elettrici. Circuiti elementari
7 Esercizi e complementi di Elettrotecnica per allievi non elettrici Circuiti elementari Gli esercizi proposti in questa sezione hanno lo scopo di introdurre l allievo ad alcune tecniche, semplici e fondamentali,
Dettagli2. Variabilità mediante il confronto di valori caratteristici della
2. Variabilità mediante il confronto di valori caratteristici della distribuzione Un approccio alternativo, e spesso utile, alla misura della variabilità è quello basato sul confronto di valori caratteristici
DettagliLogica Matematica Corso di Laurea in Informatica A e B Università di Torino. Gabriele Lolli
Logica Matematica Corso di Laurea in Informatica A e B Università di Torino Gabriele Lolli 13 marzo 2009 2 Indice 1 Linguaggi 1 1.1 Dal linguaggio naturale alla logica................ 1 1.1.1 Predicati
DettagliIntelligenza Artificiale I
Intelligenza Artificiale I Esercitazione 3 Marco Piastra Esercitazione 3-1 Semantic Tableau, regole alfa e beta Un tableau è un insieme di fbf Le regole (alfa e beta trasformano un tableau in uno o due
DettagliLinguaggi. Rosario Culmone, Luca Tesei. 20/10/2009 UNICAM - p. 1/32
Linguaggi Rosario Culmone, Luca Tesei 20/10/2009 UNICAM - p. 1/32 Alfabeto Un alfabeto è un insieme finito di simboli. Useremo Σ per denotare un alfabeto. Esempi di alfabeto sono: l alfabeto latino adottato
DettagliLEZIONE 7. Esercizio 7.1. Quale delle seguenti funzioni è decrescente in ( 3, 0) e ha derivata prima in 3 che vale 0? x 3 3 + x2. 2, x3 +2x +3.
7 LEZIONE 7 Esercizio 7.1. Quale delle seguenti funzioni è decrescente in ( 3, 0) e ha derivata prima in 3 che vale 0? x 3 3 + x2 2 6x, x3 +2x 2 6x, 3x + x2 2, x3 +2x +3. Le derivate sono rispettivamente,
DettagliUSO DI EXCEL CLASSE PRIMAI
USO DI EXCEL CLASSE PRIMAI In queste lezioni impareremo ad usare i fogli di calcolo EXCEL per l elaborazione statistica dei dati, per esempio, di un esperienza di laboratorio. Verrà nel seguito spiegato:
DettagliAnelli e Domini Euclidei Considerazioni di tipo geometrico relative ad alcuni anelli
Anelli e Domini Euclidei Considerazioni di tipo geometrico relative ad alcuni anelli Pietro Zanoni Università degli Studi, facoltà di Scienze Anelli e Domini Euclidei p.1/39 Qui comincia la sventura...
Dettagli