Logica per la Programmazione
|
|
- Romano Caruso
- 6 anni fa
- Visualizzazioni
Transcript
1 Logica per la Programmazione Lezione 10 Logica del Primo Ordine con Insiemi ed Intervalli Formalizzazione di Enunciati: Array e Sequenze A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 174
2 Rappresentazioni Intensionali ed Estensionali di Insiemi Assumiamo come universo i naturali e i sottoinsiemi di naturali Rappresentazione estensionale (in extenso) di insiemi Divisori di 30 = {1, 2, 3, 5, 6, 10, 15, 30} Rappresentazione intensionale (in intenso) di insiemi Divisori di 30 = {k k 30 ( n. k n = 30)} Rappresentazione intensionale per insiemi infiniti Multipli di 7 = {k ( n. k = n 7)} A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 175
3 Notazione per Insiemi Estendiamo il linguaggio del primo ordine per rappresentare insiemi di naturali in modo intensionale: Term ::= Const Var FIde(Term{, Term}) {Var Fbf } Abbiamo termini come {x P} dove x è una variabile, e P una formula (solitamente con x libera). x è legata in {x P} Nuovo simbolo di predicato binario, definito dalla legge: y {x P} P[y/x] (def- ) A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 176
4 Insieme Vuoto Introduciamo la nuova costante, definita come = {x F} Dimostriamo che ( y.(y ) F) è valida. Per la Regola di Generalizzazione, è sufficiente dimostrare (k ) F per una nuova costante k k {(Def. di )} k {x F} {(Def. di ) [y {x P} P[y/x]]} F A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 177
5 Leggi per Insiemi Ricordiamo il principio di estensionalità degli insiemi e la definizione di inclusione: per ogni coppia di insiemi (A, B) vale (A = B) ( x. x A x B) (A B) ( x. x A x B) Valgono le seguenti leggi: ( x.p Q) {x P} = {x Q} (Ins- ) ( x.p Q) {x P} {x Q} (Ins- ) Dimostriamo la seconda usando la definizione di inclusione: z {x P} {(Def. di )} P[z/x] {(Ip: x.p Q), (Elim- )} Q[z/x] {(Def. di )} z {x Q} A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 178
6 Uguaglianze e Disuguaglianze Estendiamo il linguaggio del primo ordine con i predicati binari e. I predicati =,, soddisfano i seguenti assiomi (la quantificazione universale è implicita): x = x (riflessività-=) (x = y) (y = x) (x = y) (y = z) (x = z) x x (x y) (y x) (x = y) (x y) (y z) (x z) (x y) (y x) (simmetria-=) (transitività-=) (riflessività- ) (antisimmetria- ) (transitività- ) (totalità- ) (x y) (y x) (def- ) I predicati,, = legano meno dei connettivi logici: tutte le parentesi possono essere omesse A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 179
7 Un po di Terminologia... Una relazione binaria R è una relazione di equivalenza se è riflessiva: x R x simmetrica: (x R y) (y R x) transitiva: (x R y) (y R z) (x R z) Esempio: l uguaglianza =, l equivalenza Una relazione binaria è una relazione di ordinamento se è riflessiva, transitiva e anti-simmetrica (x R y) (y R x) (x = y) Esempio: inclusione tra insiemi, su numeri naturali Una relazione di ordinamento è totale se per ogni x, y vale (x R y) (y R x) Esempio: su numeri naturali A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 180
8 Intervalli: Notazione e Definizioni Introduciamo le seguenti abbreviazioni sintattiche, a, b N: [a, b] = {x (a x) (x b)} intervallo chiuso [a, b) = {x (a x) (x < b)} intervallo semiaperto a destra (a, b] = {x (a < x) (x b)} intervallo semiaperto a sinistra (a, b) = {x (a < x) (x < b)} intervallo aperto Definizione di relazioni ausiliarie: (x y) (x = y) (def- ) (x < y) (x y) (x y) (def-<) (x > y) (x y) (x y) (def->) A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 181
9 Altre leggi su disuguaglianze Dimostrare le seguenti leggi: (x y) (x > y) (x = y) (elim- ) (x y) (x < y) (x = y) (elim- ) (x y) x > y (x y) x < y ( - ) ( - ) A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 182
10 Notazione per gli Intervalli Nelle dispense sono anche usate le seguenti abbreviazioni per un intervallo I, che noi eviteremo: ( x I.Q) o ( x : x I.Q) per ( x.x I Q) ( x I.Q(x)) o ( x : x I.Q) per ( x.x I Q) A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 183
11 Leggi per Quantificazioni su Domini Sia k un termine chiuso, che denota un elemento del dominio di interpretazione. Queste leggi mostrano come ridurre la quantificazione sul dominio P ad un dominio più piccolo (P (x k)): { ( x.p (x k) Q) Q[k/x] se P[k/x] ( x.p Q) ( x.p (x k) Q) se P[k/x] { ( x.p (x k) Q) Q[k/x] se P[k/x] ( x.p Q) ( x.p (x k) Q) se P[k/x] A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 184
12 Dimostrazione Legge per il Quantificatore Universale (1) Vogliamo mostrare che le seguenti implicazioni sono valide: 1. P[k/x] ( ( x.p Q) ( x.p (x k) Q) Q[k/x ) 2. P[k/x] ( ( x.p Q) ( x.p (x k) Q) ) Trasformiamo il membro sinistro dell equivalenza: ( x.p Q) {(Terzo Escluso), (Unità)} ( x.p ((x = k) (x k)) Q) {(Distrib.)} ( x.(p (x = k)) (P (x k)) Q) {(Dominio)} ( x.p (x = k) Q) ( x.p (x k) Q) {(Leibniz)} ( x.p[k/x] (x = k) Q) ( x.p (x k) Q) A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 185
13 Dimostrazione Legge per il Quantificatore Universale (2) Completiamo la dimostrazione nei due casi usando ipotesi non valide: Caso P[k/x] T ( x.p[k/x] (x = k) Q) ( x.p (x k) Q) {Ip: P[k/x] T, (Unità)} ( x.(x = k) Q) ( x.p (x k) Q) {(Singoletto)} Q[k/x] ( x.p (x k) Q) Caso P[k/x] F ( x.p[k/x] (x = k) Q) ( x.p (x k) Q) {Ip: P[k/x] F, (Zero)} ( x.f Q) ( x.p (x k) Q) {F Q T, (costante), (unità)} ( x.p (x k) Q) A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 186
14 Leggi per Quantificazioni su Intervalli (1) Presentiamo una specializzazione delle leggi precedenti, quando il dominio è un intervallo. Quindi la formula del dominio è x [a, b): ( x.x [a, b) Q) { ( x.x [a, b) x k Q) Q[k/x] se k [a, b) ( x.x [a, b) x k Q) se k [a, b) ( x.x [a, b) Q) { ( x.x [a, b) x k Q) Q[k/x] se k [a, b) ( x.x [a, b) x k Q) se k [a, b) A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 187
15 Leggi per Quantificazioni su Intervalli (2) Altre leggi molto utili nel caso in cui il dominio sia x [a, b] l elemento sia proprio l estremo dell intervallo destro o sinistro ( x. x [a, b] P) ( x.x [a, b) P) P[b/x] ( x. x [a, b] P) ( x.x (a, b] P) P[a/x] se [a, b] non è vuoto se [a, b] non è vuoto ( x. x [a, b] P) ( x.x [a, b) P) P[b/x] ( x. x [a, b] P) ( x.x (a, b] P) P[a/x] se [a, b] non è vuoto se [a, b] non è vuoto A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 188
16 Specifiche con Array e Sequenze Un array a di lunghezza n è rappresentato da una funzione dall intervallo [0, n) = {0, 1,..., n 1} ad N Notazione: a[i] indica il valore i-esimo della funzione (array) a Esempio: a = { 0, 45, 1, 23, 2, 10, 3, 16 } Nota: il primo elemento ha posizione/indice 0: a[0] = 45 A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 189
17 Esercizi di Formalizzazione (1) Assumendo che a e b siano array di lunghezza n, fornire una formalizzazione dei seguenti enunciati, interpretata sul dominio dei naturali opportunamente arricchito. a è un array con tutti gli elementi uguali a 0 ( i.i [0, n) a[i] = 0) per ogni elemento di a esiste un elemento di b uguale o più grande ( i.i [0, n) ( j.j [0, n] a[i] b[j])) A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 190
18 Esercizi di Formalizzazione (2) Assumendo che a e b siano array di lunghezza n, fornire una formalizzazione dei seguenti enunciati, interpretata sul dominio dei naturali opportunamente arricchito. 1. a rappresenta una funzione monotona crescente 2. m è il massimo dell array a 3. m è l indice del massimo dell array a 4. a ha tutti elementi distinti 5. a ha tutti elementi distinti e b è l array a ordinato in senso crescente. A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 191
19 Esercizi di Formalizzazione (3) Si assuma che le sequenze siano array con dominio [0, n) Nella sequenza a c è un solo elemento uguale alla sua posizione Gli elementi di indice pari della sequenza a sono dispari Definire il predicato Palindroma(a), che vale T se e solo la sequenza a è simmetrica rispetto al suo punto centrale A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione a.a. 2016/17 pag. 192
CALCOLO DEL PRIMO ORDINE
CALCOLO DEL PRIMO ORDINE ANCORA SUL CONCETTO DI CALCOLO (PROOF SYSTEM) Un sistema di dimostrazione è un insieme di regole di inferenza Ciascuna regola di inferenza consente di derivare una formula ϕ (conseguenza)
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 15 Sistema di Dimostrazioni per le Triple di Hoare Sequenze (Array) e Aggiornamento Selettivo A. Corradini e F.Levi Dip.to Informatica Logica per la Programmazione
DettagliINSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti.
INSIEMI DEF. Un INSIEME è una qualsiasi collezione di oggetti. Esso è ben definito quando è chiaro se un oggetto appartiene o non appartiene all insieme stesso. Esempio. E possibile definire l insieme
DettagliELEMENTI di TEORIA degli INSIEMI
ELEMENTI di TEORI degli INSIEMI & 1. Nozioni fondamentali. ssumeremo come primitivi il concetto di insieme e di elementi di un insieme. Nel seguito gli insiemi saranno indicati con lettere maiuscole (,,C,...)
DettagliPrecorsi di matematica
Precorsi di matematica Francesco Dinuzzo 12 settembre 2005 1 Insiemi Il concetto di base nella matematica moderna è l insieme. Un insieme è una collezione di elementi. Gli elementi di un insieme vengono
DettagliPROGRAMMA CONSUNTIVO
PAGINA: 1 PROGRAMMA CONSUNTIVO A.S.2014-2015 SCUOLA Liceo Linguistico Manzoni DOCENTE: Marina Barbàra MATERIA: Matematica e Informatica Classe 1 Sezione A OBIETTIVI: le parti sottolineate sono da considerarsi
DettagliLOGICA DEL PRIMO ORDINE: MOTIVAZIONI, SINTASSI E INTERPRETAZIONI. Corso di Logica per la Programmazione A.A Andrea Corradini
LOGICA DEL PRIMO ORDINE: MOTIVAZIONI, SINTASSI E INTERPRETAZIONI Corso di Logica per la Programmazione A.A. 2013 Andrea Corradini LIMITI DEL CALCOLO PROPOSIZIONALE Nella formalizzazione di enunciati dichiarativi,
DettagliLA LOGICA DI HOARE. Corso di Logica per la Programmazione A.A. 2010/11 Andrea Corradini, Paolo Mancarella
LA LOGICA DI HOARE Corso di Logica per la Programmazione A.A. 2010/11 Andrea Corradini, Paolo Mancarella INTRODUZIONE Dall inizio del corso ad ora abbiamo introdotto, un po alla volta, un linguaggio logico
DettagliLuca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1
Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Esercizio 1.12 Per dimostrare che per ogni funzione esiste una formula in cui compaiono le variabili tale che la corrispondente
DettagliCenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve
DettagliLOGICA MATEMATICA PER INFORMATICA (A.A. 12/13)
LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) DISPENSA N. 4 Sommario. Dimostriamo il Teorema di Completezza per il Calcolo dei Predicati del I ordine. 1. Teorema di Completezza Dimostriamo il Teorema
DettagliVerifica per la classe prima COGNOME... NOME... Classe... Data...
Capitolo Gli insiemi Insiemi Insiemi Sottoinsiemi Operazioni.a Rappresentare per tabulazione e tramite l uso dei diagrammi di Eulero-Venn i seguenti insiemi dati per caratteristica: A {n n H 0 ; n 7} B
DettagliChe cos è un insieme? Come si individua un insieme? 1. Scrivendone esplicitamente gli elementi: C = {2, 4, 6, 8, 10,...}.
Teoria degli insiemi Che cos è un insieme? Come si individua un insieme? 1. Scrivendone esplicitamente gli elementi: A = {a, b, c} B = {1, 2} C = {2, 4, 6, 8, 10,...}. 2. Enunciando una proprietà che è
DettagliESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A
TEORI DEGLI INSIEMI GENERLIT Un insieme è un ente costituito da oggetti. Il concetto di insieme e di oggetto si assumono come primitivi. Se un oggetto a fa parte di un insieme si dice che esso è un suo
DettagliElementi di Logica Teoria degli insiemi
Precorso di Analisi Matematica Facoltà d'ingegneria Università del Salento Elementi di Logica Teoria degli insiemi Proff. A. Albanese E. Mangino Dipartimento di Matematica e Fisica E. De Giorgi - Università
DettagliLogica. Claudio Sacerdoti Coen 07/10/ : Connotazione, denotazione, invarianza per sostituzione. Universitá di Bologna
Logica 3: Connotazione, denotazione, invarianza per sostituzione Universitá di Bologna 07/10/2015 Outline 1 Connotazione, denotazione, invarianza per sostituzione Connotazione vs
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini
DettagliPrecorso di Matematica. Parte I : Fondamenti di Matematica
Facoltà di Ingegneria Precorso di Matematica Parte I : Fondamenti di Matematica 1. Teoria degli insiemi e cenni di logica Il concetto di insieme costituisce l elemento fondante di gran parte delle esposizioni
DettagliGli insiemi e le relazioni. Elementi di logica
capitolo 1 Gli insiemi e le relazioni. Elementi di logica INSIEMI 1. Introduzione 1 2. Sottoinsiemi 3 3. Operazioni tra insiemi 5 Unione:, 5 Intersezione:, 5 Differenza: \, 5 Insieme complementare: A B,
DettagliCapitolo 1. Gli strumenti. 1.1 Relazioni
Capitolo 1 Gli strumenti Consideriamo un insieme X. In geometria siamo abituati a considerare insiemi i cui elementi sono punti ad esempio, la retta reale, il piano cartesiano. Più in generale i matematici
DettagliAniello Murano Decidibilità delle teorie logiche
Aniello Murano Decidibilità delle teorie logiche 11 Lezione n. Parole chiave: Teorie logiche Corso di Laurea: Informatica Codice: Email Docente: murano@ na.infn.it A.A. 2008-2009 Prefazione Nelle lezioni
DettagliMatematica. Corso integrato di. per le scienze naturali ed applicate. Materiale integrativo. Paolo Baiti 1 Lorenzo Freddi 1
Corso integrato di Matematica per le scienze naturali ed applicate Materiale integrativo Paolo Baiti 1 Lorenzo Freddi 1 1 Dipartimento di Matematica e Informatica, Università di Udine, via delle Scienze
DettagliIndice. 1 Cenni di logica. 2 Elementi di teoria degli insiemi. 3 Relazioni e funzioni. 4 Strutture algebriche
Indice 1 Cenni di logica 2 Elementi di teoria degli insiemi 3 Relazioni e funzioni 4 Strutture algebriche Silvia Pianta - Laura Montagnoli Geometria I - Prerequisiti - UCSC A.A. 2015/2016 1 / 36 1. Cenni
DettagliMETODI E TECNOLOGIE PER L INSEGNAMENTO DELLA MATEMATICA. Lezione n 4 2016
METODI E TECNOLOGIE PER L INSEGNAMENTO DELLA MATEMATICA Lezione n 4 2016 GLI INSIEMI NUMERICI N Numeri naturali Z : Numeri interi Q : Numeri razionali R : Numeri reali Q A meno di isomorfismi!!! R 5 π
DettagliLOGICA MATEMATICA PER INFORMATICA
LOGICA MATEMATICA PER INFORMATICA A.A. 12/13, DISPENSA N. 6 Sommario. Il Teorema di Compattezza e alcune sue applicazioni: assiomatizzabilità e non-assiomatizzabilità di proprietà di strutture, e modelli
DettagliNOZIONI DI LOGICA PROPOSIZIONI.
NOZIONI DI LOGICA PROPOSIZIONI. Una proposizione è un affermazione che è vera o falsa, ma non può essere contemporaneamente vera e falsa. ESEMPI Sono proposizioni : 7 è maggiore di 2 Londra è la capitale
DettagliMatematica e-learning - Corso Zero di Matematica. Gli Insiemi. Prof. Erasmo Modica A.A.
Matematica e-learning - Gli Insiemi Prof. Erasmo Modica http://www.galois.it erasmo@galois.it A.A. 2009/2010 1 Simboli Matematici Poiché in queste pagine verranno utilizzati differenti simboli matematici,
DettagliRagionamento Automatico Richiami di calcolo dei predicati
Richiami di logica del primo ordine Ragionamento Automatico Richiami di calcolo dei predicati (SLL: Capitolo 7) Sintassi Semantica Lezione 2 Ragionamento Automatico Carlucci Aiello, 2004/05Lezione 2 0
DettagliMODULI CLASSE PRIMA TEMA ARITMETICA E ALGEBRA
MODULI CLASSE PRIMA TEMA ARITMETICA E ALGEBRA Modulo1 : Insiemi numerici N;Z;Q 18 ore COMPETENZE: Utilizzare le tecniche e le procedure nei vari insiemi numerici e saperli applicare in contesti reali.
DettagliRichiami di teoria degli insiemi
Appartenenza Se A è un insieme con la notazione a A indichiamo che l elemento a appartiene ad A, con a A che non appartiene Spesso con la notazione {x x } dove con x si intende una certa proprietà per
DettagliDAI NUMERI NATURALI AI NUMERI RAZIONALI
DAI NUMERI NATURALI AI NUMERI RAZIONALI 1. L insieme dei numeri naturali Nel sistema assiomatico ZF, l Assioma dell infinito stabilisce che: Esiste un insieme A, i cui elementi sono insiemi e tale che
Dettagli1 IL LINGUAGGIO MATEMATICO
1 IL LINGUAGGIO MATEMATICO Il linguaggio matematico moderno è basato su due concetti fondamentali: la teoria degli insiemi e la logica delle proposizioni. La teoria degli insiemi ci assicura che gli oggetti
DettagliDIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI. Corso di Logica per la Programmazione
DIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI Corso di Logica per la Programmazione SULLE LEGGI DEL CALCOLO PROPOSIZIONALE Abbiamo visto le leggi per l'equivalenza ( ),
Dettagli3. OPERAZIONI TRA CLASSI 2
INSIEMI 1. Elementi e Classi Lo scopo di questo primo capitolo è di introdurre in maniera rigorosa le nozioni di classe e insieme, e di studiarne le principali proprietà. Nel seguito useremo il termine
DettagliCorso di Analisi Matematica I numeri reali
Corso di Analisi Matematica I numeri reali Laurea in Informatica e Comunicazione Digitale A.A. 2013/2014 Università di Bari ICD (Bari) Analisi Matematica 1 / 57 1 Insiemi e logica 2 Campi ordinati 3 Estremo
Dettagli1 Giochi di Ehrenfeucht-Fraissé e Logica del Prim ordine
1 Giochi di Ehrenfeucht-Fraissé e Logica del Prim ordine In questo tipo di giochi l arena è costituita da due grafi orientati G = (V, E), G = (V, E ). Lo scopo del I giocatore è di mostrare, in un numero
DettagliM.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI
M.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI Assumiamo come primitivo il concetto di insieme e quello di appartenenza di un elemento a un insieme. La notazione x A indica
Dettagli04 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,
DettagliDEFINIZIONE DI INSIEME
ELEMENTI DI TEORIA DEGLI INSIEMI PROF.SSA ROSSELLA PISCOPO Indice 1 DEFINIZIONE DI INSIEME ------------------------------------------------------------------------------------------------ 3 2 METODI DI
DettagliDefinizione: Dato un sottoinsieme non vuoti di. Si chiama funzione identica o identità di in sé la funzione tale che.
Esercitazioni di Analisi Matematica Prof.ssa Chiara Broggi Materiale disponibile su www.istitutodefilippi.it/claro Lezione 2: Funzioni reali e loro proprietà Definizione: Siano e due sottoinsiemi non vuoti
DettagliAssiomi per la teoria degli insiemi di Zermelo-Fraenkel
Assiomi per la teoria degli insiemi di Zermelo-Fraenkel Stefano Baratella 0 Introduzione La teoria degli insiemi costituisce il fondamento della matematica. Gli oggetti matematici sono definiti a partire
DettagliC.L. Informatica, M-Z Bari, 12 Gennaio 2016 Traccia: 1
Bari, 2 Gennaio 206 Traccia: Esercizio. Scrivere la definizione di funzione suriettiva. Dimostrare che la composizione di due funzioni suriettive è una funzione suriettiva. Esercizio 2. () Stabilire se
DettagliSi ottiene facendo precedere i numeri naturali dal segno + o dal segno -.
I numeri naturali non sono adatti per risolvere tutti i problemi. Esempio. La temperatura atmosferica di un mattino estivo, sopra lo zero, viene indicata con un numero preceduto dal segno + (+19 C, +25
DettagliFUNZIONI. y Y. Def. L insieme Y è detto codominio di f. Es. Siano X = R, Y = R e f : x y = 1 x associo il suo inverso). (ad un numero reale
FUNZIONI Siano X e Y due insiemi. Def. Una funzione f definita in X a valori in Y è una corrispondenza (una legge) che associa ad ogni elemento X al piú un elemento in Y. X Y Def. L insieme Y è detto codominio
DettagliIntelligenza Artificiale I
Intelligenza Artificiale I - AA 27/28 Intelligenza Artificiale I Logica formale Introduzione Marco Piastra Logica formale - Introduzione - Intelligenza Artificiale I - AA 27/28 Sistematicità del linguaggio
Dettagli1. Teoria degli insiemi
1. Teoria degli insiemi Introduzione Il concetto di insieme è un concetto primitivo: possiamo dire che un insieme è una collezione di elementi. Indicheremo gli insiemi con lettere maiuscole A,B,... e gli
DettagliLogica e teoria degli insiemi
Introduzione Le ricerche booleane L insieme delle parti La logica è la disciplina che studia le regole del ragionamento, per poter costruire oggetti e relazioni di senso compiuto... Date delle frasi di
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
DettagliRichiami sugli insiemi numerici
Richiami sugli insiemi numerici denota l insieme vuoto cioè l insieme privo di elementi. N = {1, 2, 3,...} denota l insieme dei numeri naturali. Z = {..., 2, 1, 0, 1, 2,...} denota l insieme dei numeri
DettagliLogica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati;
Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,
DettagliIntroduzione alla TEORIA DEI NUMERI
Renato Migliorato Introduzione alla teoria dei numeri Introduzione alla TEORIA DEI NUMERI Avvertenza: questo è l inizio di un testo pensato come supporto al corso di Matematiche Complementari I ed ancora
DettagliRappresentazione di Numeri Reali. Rappresentazione in virgola fissa (fixed-point) Rappresentazione in virgola fissa (fixed-point)
Rappresentazione di Numeri Reali Un numero reale è una grandezza continua Può assumere infiniti valori In una rappresentazione di lunghezza limitata, deve di solito essere approssimato. Esistono due forme
DettagliNozioni introduttive e notazioni
Nozioni introduttive e notazioni 1.1 Insiemi La teoria degli insiemi è alla base di tutta la matematica, in quanto ne fornisce il linguaggio base e le notazioni. Definiamo un insieme come una collezione
DettagliElementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni.
Elementi di logica SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Quantificatori: elementi fondamentali del linguaggio matematico. quantificatore
DettagliINSIEMI ED INSIEMI NUMERICI Prof. Erasmo Modica
INSIEMI ED INSIEMI NUMERICI Prof. Erasmo Modica erasmo@galois.it SIMBOLI MATEMATICI Poiché in queste pagine verranno utilizzati differenti simboli matematici, è bene elencarne subito i principali. SIMBOLO
Dettagli04 - Numeri Complessi
Università degli Studi di Palermo Scuola Politecnica Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 04 - Numeri Complessi Anno Accademico 2015/2016 M. Tumminello,
DettagliRichiami di logica matematica
Richiami di logica matematica Gli oggetti elementari dei discorsi matematici sono le proposizioni logiche = enunciati di cui si possa stabilire inequivocabilmente se sono veri o falsi. Sono proposizioni
DettagliEconomia, Corso di Laurea Magistrale in Ing. Elettrotecnica, A.A Prof. R. Sestini SCHEMA DELLE LEZIONI DELLA PRIMA SETTIMANA
Economia, Corso di Laurea Magistrale in Ing. Elettrotecnica, A.A. 2013-2014. Prof. R. Sestini SCHEMA DELLE LEZIONI DELLA PRIMA SETTIMANA ALCUNE PREMESSE Cosa e la microeconomia? E la disciplina che studia
DettagliGli insiemi. Che cosa è un insieme? Come si indica un insieme?
Gli insiemi Che cosa è un insieme? In matematica si definisce insieme un raggruppamento per cui è possibile stabilire senza ambiguità se un elemento vi appartiene o no. Sono insiemi: i giorni della settimana
DettagliMATEMATICA DI BASE 1
MATEMATICA DI BASE 1 Francesco Oliveri Dipartimento di Matematica, Università di Messina 30 Agosto 2010 MATEMATICA DI BASE MODULO 1 Insiemi Logica Numeri Insiemi Intuitivamente, con il termine insieme
DettagliProgramma di Matematica Classe 1^ C/L Anno scolastico 2014/2015
Programma di Matematica Classe 1^ C/L Anno scolastico 2014/2015 Capitolo 1- I numeri naturali e i numeri interi Che cosa sono i numeri naturali La rappresentazione dei numeri naturali Le quattro operazioni
DettagliFunzioni Esercizi e complementi
Funzioni Esercizi e complementi e-mail: maurosaita@tiscalinet.it Novembre 05. Indice Esercizi Insiemi ininiti 6 Suggerimenti e risposte 9 Esercizi. Scrivere la deinizione di unzione e ornire almeno un
DettagliAnno Scolastico 2015/16 PROGRAMMAZIONE ANNUALE CLASSE PRIMA LICEO LINGUISTICO LICEO DELLE SCIENZE UMANE LICEO ECONOMICO-SOCIALE LICEO MUSICALE
LICEO LAURA BASSI - BOLOGNA Anno Scolastico 2015/16 PROGRAMMAZIONE ANNUALE CLASSE PRIMA LICEO LINGUISTICO LICEO DELLE SCIENZE UMANE LICEO ECONOMICO-SOCIALE LICEO MUSICALE MATEMATICA ARGOMENTI: GLI INSIEMI
Dettagli1 Calcolo dei predicati del I ordine. Semantica
1 Calcolo dei predicati del I ordine. Semantica Ricordiamo la sintassi del calcolo dei predicati. 1.1 Sintassi. Sintassi. Un linguaggio del calcolo dei predicati L = (Pred, Fun, Const) consiste di (1)
DettagliInsiemi: Rappresentazione
Insiemi: Rappresentazione Elencazione Per rappresentare un insieme per elencazione si indicheranno i suoi elementi tra parentesi graffe. Caratteristica Un insieme è rappresentato per caratteristica quando
DettagliInsiemi. Esempio1: i ragazzi del corso di agraria nati nel 1990 formano un insieme.
Insiemi Definizione: Definizione: Un Un insieme insieme è è una una collezione collezione di di oggetti oggetti individuati individuati da da una una Determinata Determinata specificazione. specificazione.
DettagliTeoria degli insiemi
Teoria degli insiemi Cos è la teoria degli insiemi La teoria degli insiemi è il fondamento della matematica. Cos è la teoria degli insiemi La teoria degli insiemi è il fondamento della matematica. Questa
DettagliFondamenti di Informatica - 1. Prof. B.Buttarazzi A.A. 2011/2012
Fondamenti di Informatica - 1 Prof. B.Buttarazzi A.A. 2011/2012 Sommario I sistemi di numerazione Il sistema binario Altri sistemi di numerazione Algoritmi di conversione Esercizi 07/03/2012 2 Sistemi
DettagliCapitolo 5. Funzioni. Grafici.
Capitolo 5 Funzioni. Grafici. Definizione: Una funzione f di una variabile reale,, è una corrispondenza che associa ad ogni numero reale appartenente ad un insieme D f R un unico numero reale, y R, denotato
DettagliUNITÀ DIDATTICA 2 LE FUNZIONI
UNITÀ DIDATTICA LE FUNZIONI. Le funzioni Definizione. Siano A e B due sottoinsiemi non vuoti di R. Si chiama funzione di A in B una qualsiasi legge che fa corrispondere a ogni elemento A uno ed un solo
DettagliAlcune Tracce dei Precedenti Esami del Dottorato di Siena in Logica Matematica ed Informatica Teorica
Alcune Tracce dei Precedenti Esami del Dottorato di Siena in Logica Matematica ed Informatica Teorica Raccolti e curati da Luca Spada Indice 1 Temi 1 1.1 Logica Matematica.......................... 1 1.2
Dettagliistituto superiore g. terragni olgiate comasco
Disciplina 1 MATEMATICA Classe I A Indirizzo Liceo Scientifico Anno scolastico 2015-2016 Docente Cecilia Moschioni TESTI IN ADOZIONE Bergamini, Trifone, Barozzi, Matematica multimediale.blu vol.1, Zanichelli
DettagliTecniche di conteggio
Tecniche di conteggio 9 Ottobre 2003 Principio della somma Il numero di elementi dell unione di una famiglia di insiemi disgiunti è la somma del numero di elementi contenuti in ogni singolo insieme F =
DettagliPIANO DI LAVORO DEL PROFESSORE
ISTITUTO DI ISTRUZIONE SUPERIORE STATALE IRIS VERSARI - Cesano Maderno (MB) PIANO DI LAVORO DEL PROFESSORE Indirizzo: ISTITUTO TECNICO AMMINISTRAZIONE FINANZA MARKETING MATERIA: MATEMATICA APPLICATA ANNO
DettagliLa matematica non è un opinione, lo è oppure...?
La matematica non è un opinione, lo è oppure...? Giulio Giusteri Dipartimento di Matematica e Fisica Università Cattolica del Sacro Cuore Brescia 26 Febbraio 2010 Vecchie conoscenze Dedurre... dedurre...
DettagliLICEO SCIENTIFICO STATALE L. da VINCI Reggio Calabria. PROGRAMMA DI MATEMATICA svolto nella classe 1^ E Anno Scolastico 2013/2014
LICEO SCIENTIFICO STATALE L. da VINCI Reggio Calabria PROGRAMMA DI MATEMATICA svolto nella classe 1^ E Anno Scolastico 2013/2014 I NUMERI NATURALI La rappresentazione dei numeri naturali. Le quattro operazioni.
DettagliIn una palazzina abitata da 20 famiglie, 10 di esse hanno il cane, 2 non hanno n è cane n è gatto mentre 12 famiglie hanno il gatto.
Attività In una palazzina abitata da 20 famiglie, 10 di esse hanno il cane, 2 non hanno n è cane n è gatto mentre 12 famiglie hanno il gatto. È possibile che si realizzi la situazione descritta? Motiviamo...
DettagliCOMPLETAMENTO DI SPAZI METRICI
COMPLETAMENTO DI SPAZI METRICI 1. Successioni di Cauchy e spazi metrici completi Definizione 1.1. Una successione x n n N a valori in uno spazio metrico X, d si dice di Cauchy se, per ogni ε > 0 esiste
DettagliPROGRAMMAZIONE A.S Matematica - Classe Prima H Prof. Diana Giacobbi. Saper applicare i concetti acquisiti in contesti noti/nuovi;
VERIFICHE INIZIALI: 17% insufficiente; PROGRAMMAZIONE A.S. 2016-2017 Matematica - Classe Prima H Prof. Diana Giacobbi 36% sufficiente o quasi sufficiente; 48% buono o ottimo. OBIETTIVI DIDATTICI: Conoscenza
DettagliLezione 2. La conoscenza del mondo
Lezione 2 Analogico/Digitale Il sistema binario L aritmetica binaria La conoscenza del mondo Per poter parlare (ed elaborare) degli oggetti (nella visione scientifica) si deve poter assegnare a questi
DettagliEsercitazioni (a cura di R. Basili)
Esercitazioni (a cura di R. Basili) E1. Elementi di Algebra Insiemi Nozione intuitiva di insieme L'insieme vuoto Operazioni tra insiemi Domini Prodotto Cartesiano Proprieta' delle operazioni tra insiemi
DettagliTemi d Esame Logica II
PONTIFICIA UNIVERSITÀ LATERANENSE Facoltà di Filosofia Temi d Esame Logica II Corso50609 Anno Accademico 2007/8 ELENCO TEMI D ESAME L ESAME SARÀ SCRITTO, DURERÀ DUE ORE E SARÀ COMPOSTO DI TRE PARTI. CHI
DettagliInformatica di Base - 6 c.f.u.
Università degli Studi di Palermo Dipartimento di Ingegneria Informatica Informatica di Base - 6 c.f.u. Anno Accademico 27/28 Docente: ing. Salvatore Sorce Rappresentazione delle informazioni Sistemi di
DettagliPropedeutico di matematica Centro Multimediale Montiferru. Lezione 1. Gli insiemi
Lezione 1 Gli insiemi Definizione: Un insieme è una collezione di oggetti aventi certe caratteristiche in comune. Gli oggetti si definiscono elementi dell insieme. Esempi: Insieme delle lettere dell alfabeto,
DettagliFunzioni reali di variabile reale
Introduzione Funzioni reali di variabile reale Algebra delle funzioni reali Funzioni composta e inversa Funzioni monotone i definisce funzione reale di variabile reale e s indica con f: A R una funzione
Dettagli= < < < < < Matematica 1
NUMERI NATURALI N I numeri naturali sono: 0,1,2,3,4,5,6,7,8,9,10,11,12,13,... L insieme dei numeri naturali è indicato con la lettera. Si ha cioè: N= 0,1,2,3,4,5,6,7,.... L insieme dei naturali privato
DettagliStrutture algebriche. Leggi di composizione. Leggi di composizione. Gruppi Insiemi di numeri Polinomi
Introduzione S S S S Le strutture algebriche sono date da insiemi con leggi di composizione binarie (operazioni) ed assiomi (proprietà) Una legge di composizione binaria è una funzione : I J K, una legge
DettagliGLI INSIEMI. Il termine INSIEME è una parola primitiva, cioè un termine che ha bisogno di un esempio per essere spiegato e quindi compreso.
GLI INSIEMI Il termine INSIEME è una parola primitiva, cioè un termine che ha bisogno di un esempio per essere spiegato e quindi compreso. Non ha alcun senso affermare : Io possiedo un insieme Lui fa parte
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
DettagliProgramma di matematica classe I sez. E a.s
Programma di matematica classe I sez. E a.s. 2015-2016 Testi in adozione: Leonardo Sasso vol.1- Ed. Petrini La matematica a colori Edizione blu per il primo biennio MODULO A: I numeri naturali e i numeri
DettagliSTRINGHE di un ALFABETO. Consideriamo un alfabeto di simboli V V è un insieme finito e non vuoto. Alfabeto della lingua inglese I={a,b,c,..
STRINGHE di un ALFABETO Consideriamo un alfabeto di simboli V V è un insieme finito e non vuoto Alfabeto binario A={0,1} Alfabeto della lingua inglese I={a,b,c,..z} Stringhe o parole Gli elementi di V
DettagliDISPENSE SU TEORIA DEGLI INSIEMI E NUMERI
FACOLTA' DI ECONOMIA UNIVERSITA DELLA CALABRIA Corso di Modelli Matematici per l Azienda a.a. 2011-2012 DISPENSE SU TEORIA DEGLI INSIEMI E NUMERI Prof. Fabio Lamantia INSIEMI INSIEME= gruppo di oggetti
DettagliBOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1
BOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1 SOMMARIO DEL TOMO 1 CAPITOLO 1: IL LINGUAGGIO DEGLI INSIEMI 1.1 Gli insiemi e la loro rappresentazione pag. 1 1. I sottoinsiemi pag. 6 1.3 Insieme
DettagliIntroduzione alle stringhe e algoritmi collegati
Introduzione alle stringhe e algoritmi collegati Algoritmicamente August 15, 2009 1 Introduzione 1.1 Introduzione ai caratteri In informatica o più generalmente in una terminologia scientifica, il carattere
DettagliEsercizi proposti - Gruppo 7
Argomenti di Matematica er l Ingegneria - Volume I - Esercizi roosti Esercizi roosti - Gruo 7 1) Verificare che ognuina delle seguenti coie di numeri razionali ( ) r + 1, r + 1, r Q {0} r ha la rorietà
DettagliLa Rappresentazione dell Informazione
La Rappresentazione dell Informazione Parte III I codici Codici a.a. 27-28 Un codice è una funzione che associa ad una sequenza di simboli un significato Codice : {entità} {sequenze di simboli} Un codice
DettagliIL LINGUAGGIO MATEMATICO
1 Lezioni 1-2 Connettivi logici IL LINGUAGGIO MATEMATICO (non); (e); (oppure); = (se...allora/...implica...); (...se e solo se...) Quantificatori (per ogni);... :... (esiste...tale che...) Proposizioni
DettagliMATEMATICA. Docente: Maria Cava Balistreri Anno scolastico 2016/17 PROGRAMMAZIONE MATEMATICA : RELAZIONI LOGICHE NUCLEI
MATEMATICA Docente: Maria Cava Balistreri Anno scolastico 2016/17 PROGRAMMAZIONE MATEMATICA : RELAZIONI LOGICHE NUCLEI CONOSCENZE ABILITA COMPETENZE ATTIVITA CONTENUTI METODI TEMATICI classificare oggetti
DettagliTEORIA DEI NUMERI. 1. Numeri naturali, interi relativi e principi d induzione
TEORIA DEI NUMERI. Numeri naturali, interi relativi e principi d induzione Le proprietà dell insieme N = {0,, 2, } dei numeri naturali possono essere dedotte dai seguenti assiomi di Peano:. C è un applicazione
DettagliInformatica/ Ing. Meccanica/ Edile/ Prof. Verdicchio/ 25/02/2016/ Foglio delle domande / VERSIONE 1
Informatica/ Ing. Meccanica/ Edile/ Prof. Verdicchio/ 25/02/2016/ Foglio delle domande/ VERSIONE 1 1) In Python, se scrivo v = [ ] in un programma, vuol dire che a) v è un quadrato b) v è una list c) v
Dettagli