1 Richiami di logica matematica
|
|
- Aureliano Valentino
- 5 anni fa
- Visualizzazioni
Transcript
1 Geometria e Topologia I 2006-mar Richiami di logica matematica Definire cos è un enunciato, una proposizione (elemento primitivo della logica delle proposizioni). La definizione è data in termini di una proprietà dell enunciato: l essere vero o falso (logica bivalente). Dunque si assume che ogni proposizione abbia un solo valore di verità scelto tra i due: vero oppure falso. Sistemi logici più completi possono averne altri (indeterminato, per esempio). Variabili: Lettere dell alfabeto (maiuscole o minuscole), se serve con sottoscritte (con apici o pedici): A, x, B 1, j,... Assegnamento di valore alle variabili. Connettivi logici: : (Operazioni binarie, unarie tra proposizioni). Si formano nuove proposizioni a partire da proposizioni date. negazione: p. congiunzione (AND): p q. disgiunzione (OR, p vel q): p q. disgiunzione esclusiva (p XOR q, aut p aut q) : p q. implicazione (materiale) (se p allora q, p implica q): p = q. doppia implicazione (se e solo se): p q. Valori di verità: Vero (1) e Falso (0). Dato che gli enunciati p, q,... assumo valori di verità 0/1, è possibile definire i connettivi logici scrivendo le corrispondenti tabelle di verità. p p p q p = q p q p q p q p q p q p q p q p XOR q Simboli primitivi ed espressioni logiche: A partire da proposizioni date p, q, r,... si costruiscono espressioni composte (dette anche forme o espressioni, nel calcolo delle proposizioni), utilizzando le parentesi per esplicitare la precedenza tra le operazioni. Alcune espressioni sono sempre vere (cioè assumono valore di verità 1 per ogni possibile scelta dei valori delle variabili), e si chiamano tautologie. Altre, invece, sono sempre false (cioè assumono valore di verità 0 per ogni possibile scelta dei valori delle variabili): si chiamano contraddizioni. Quando due espressioni hanno le medesime tavole di verità si dicono equivalenti. A e B sono equivalenti se e solo se A B è una tautologia. Le seguenti sono tautologie: (i) A A (terzo escluso); (ii) (A A) (non contraddizione); D.L. Ferrario 2006-mar-05 1
2 mar-05 Geometria e Topologia I (iii) ( A) A (doppia negazione); (iv) A A A, A A A; (v) A B B A, A B B A (commutatività); (vi) associatività: (A B) C A (B C); (A B) C A (B C); (vii) Leggi distributive: A (B C) (A B) (A C); A (B C) (A B) (A C); (viii) Leggi di de Morgan: (A B) A B; (A B) B A; Le seguenti tautologie sono uno schema del ragionamento logico formale. Sono esempi di sillogismi, riscritti nei termini della logica matematica delle proposizioni. (i) (A B) = A; (ii) (A = B) ( B = A) (contronominale, contrapposizione, per assurdo); (iii) (A = B) A = B (modus ponens); (iv) (A = B) B = A (modus tollens); (v) (A = B) (B = C) = (A = C) (modus barbara, sillogismo ipotetico); (vi) ((A B) A) = B (sillogismo disgiuntivo). Predicati Quando una espressione p(x) contiene delle variabili (x) che non sono state assegnate (variabili libere) si dice predicato, proprietà, funzione proposizionale o anche enunciato aperto. Quantificatori: I quantificatori trasformano enunciati aperti in proposizioni (vere o false). Se ci sono più variabili libere, si possono usare più quantificatori. Le variabili con un valore assegnate oppure quantificate da un quantificatore si dicono vincolate. Quantificatore universale: (per ogni, per tutti). Uso: x, p(x). Significato: Per ogni x (nell universo U), la proprietà p(x) è vera (cioè x gode della proprietà p). Anche: x U, p(x). Quantificatore esistenziale: (esiste, esiste almeno un x). Uso: x : p(x). Significato: Esiste almeno un x (nell universo U) per cui la proprietà p(x) è vera (cioè x gode della proprietà p). Anche: x U : p(x) mar-05 D.L. Ferrario
3 Geometria e Topologia I 2006-mar-05 3 ( x, p(x)) x : p(x) (principio di negazione). ( x : p(x)) x, p(x) (principio di negazione). x, y, p(x, y) y,, xp(x, y) (principio di scambio). x : y : p(x, y) y : : xp(x, y) (principio di scambio). x : y, p(x, y) = y, x : p(x, y) (principio di scambio). D.L. Ferrario 2006-mar-05 3
4 mar-07 Geometria e Topologia I 2 Richiami di teoria degli insiemi Concetti primitivi (non definiti): Insieme di oggetti/elementi (anche: collezione, famiglia). Relazione di appartenenza: x X, x X. In altri termini, in questa teoria intuitiva (naive) degli insiemi 1 si definisce un insieme come collezione di oggetti definiti e distinguibili (cioè si deve essere in grado di stabilire se x = y oppure x y). Si assumono anche i seguenti principi: (i) Principio di estensione: Due insiemi sono uguali se e solo se hanno gli stessi elementi. (ii) Principio di astrazione: Una proprietà p(x) definisce un insieme A con la convenzione che gli elementi di A sono esattamente gli oggetti x per cui P (x) è vera: (iii) Assioma della... Estensioni di questa notazione: A = {x : p(x)}. {x A : p(x)} Esempio: {x R : x 4} Insieme vuoto:. 2 Relazioni tra insiemi: {f(x) : p(x)} Esempio: {x 2 : x Z} {1, 2, 3}, {1, 2} (Inclusione) A B (anche A B): se x A implica x B. A è un sottoinsieme di B. A B: se B A. A = B se e solo se (A B) e (B A). Operazioni con gli insiemi: Unione A B = {x : x A x B}. Intersezione A B = {x : x A x B} (due insiemi sono disgiunti quando A B = ). Prodotto cartesiano (insieme delle coppie ordinate) A B = {(a, b) : a A, b B} = {(a, b) : a A b B}. 1 G. Cantor ( ). Il termine intuitiva è usato anche poiché la sola intuizione dovrebbe essere il criterio per stabilire cosa è un insieme e cosa no; conseguenze di questo approccio sono famosi paradossi (contraddizioni), come il paradosso di Russell (1901): sia X l insieme di tutti gli insiemi che non appartengono a se stessi, cioè che non hanno se stessi come elementi (x x); se X appartiene a se stesso, X X, allora per definizione X X, cioè X non appartiene a se stesso. Viceversa... 2 Il concetto complementare di insieme vuoto è quello di insieme universo. S intende che questo viene scelto e sottinteso in dipendenza dal contesto. Per esempio: numeri naturali, numeri reali, mar-07 D.L. Ferrario
5 Geometria e Topologia I 2006-mar-07 5 Complemento di A in B A (differenza tra insiemi): A (= A c = B A) = {x B : x A}. Insieme delle parti: P(X) = 2 X = l insieme dei sottoinsiemi di X (cioè l insieme delle funzioni f : X {0, 1}). Operazioni per collezioni/famiglie di insiemi: come il simbolo di sommatoria può essere usato per definire la somma di una serie di numeri, così i simboli di unione e intersezione possono essere usati per famiglie di insiemi. Siano J e U due insiemi non vuoti e f : J 2 U una funzione. Per ogni i J, il sottoinsieme f(i) 2 U può anche essere denotato con X i, per esempio (cf. successioni x i vs. funzioni x = f(i)). i J X i := {x U : ( i I : x X i )}, o equivalentemente 3 i J X i := {x U : x X i per qualche i I}. i J X i := {x U : ( i J, x X i )}, o equivalentemente i J X i := {x U : x X i per tutti gli i J}. In ultimo, si ricordi che una funzione f : X Y si dice iniettiva se x X, y Y, (x y = f(x) f(q)), suriettiva se y Y, x X : f(x) = y, bijettiva (biunivoca) se è sia iniettiva sia suriettiva. (2.1) Definizione. Sia f : X Y una funzione. Se B Y è un sottoinsieme di Y, la controimmagine di B è f 1 (B) = {x X : f(x) B}. 3 Si noti l uso del simbolo := usato per le definizioni o gli assegnamenti. D.L. Ferrario 2006-mar-07 5
6 mar-8 Geometria e Topologia I 3 Spazi metrici e continuità: topologia degli spazi metrici Ricordiamo alcuni fatti elementari sugli spazi metrici. (3.1) Definizione. Uno spazio metrico è un insieme X munito di una funzione d: X X R tale che per ogni x 1, x 2,x 3 X: (i) x 1, x 2, d(x 1, x 2 ) 0 e d(x 1, x 2 ) = 0 se e solo se x 1 = x 2. (ii) Simmetria: d(x 1, x 2 ) = d(x 2, x 1 ). (iii) Disuguaglianza triangolare: d(x 1, x 3 ) d(x 1, x 2 ) + d(x 2, x 3 ). La funzione d viene chiamata metrica su X. Gli elementi di X vengono anche chiamati punti. (3.2) Esempio. Metrica su R: d: R R R, d(x, y) = x y, ha le proprietà che per ogni x, y R (i) x y 0 e x y = 0 x = y. (ii) x y = y x. (iii) x z x y + y z. Importante concetto associato al concetto di metrica/distanza: (3.3) Definizione. Palla aperta (intorno circolare) di raggio r e centro in x 0 X (X spazio metrico): B r (x 0 ) = {x X : d(x, x 0 ) < r}. (Anche più esplicitamente B r (x 0, X)) (3.4) Nota. Una funzione f : A R R è continua nel punto x A se per ogni ɛ > 0 esiste un δ > 0 tale che x y < δ = f(x) f(y) < ɛ. Cioè, equivalentemente, f è continua in x R se per ogni ɛ > 0 esiste δ > 0 tale che y B δ (x) = f(y) B ɛ (f(x)), cioè f (B δ (x)) B ɛ (f(x)). In generale, f : A R è continua in A R se è continua per ogni x A, cioè se per ogni ɛ > 0 e per ogni x A esiste δ (dipendente da ɛ e x) tale che f (B δ (x)) B ɛ (f(x)). Dal momento che f(a) B A f 1 B (esercizio (1.7) a pagina 12), la funzione f è continua in A se e solo se per ogni ɛ > 0 e per ogni x A esiste δ (dipendente da ɛ e x) tale che B δ (x) f 1 (B ɛ (f(x))). (3.5) Definizione. 4 Un sottoinsieme U di uno spazio metrico X si dice intorno di un punto x U se contiene un intorno circolare di x, cioè se esiste δ > 0 tale che B δ (x) U Se U è un intorno di x, si dice che x è interno ad U. 4 U può non essere aperto mar-8 D.L. Ferrario
7 Geometria e Topologia I 2006-mar-8 7 (3.6) Nota. Se U è un intorno di x e U V, allora V è un intorno di V. Con questo linguaggio, la definizione di continuità in x diventa: la controimmagine f 1 (B ɛ (f(x))) di ogni intorno circolare di f(x) è un intorno di x. Notiamo che una palla è intorno di ogni suo punto (esercizio (1.10) a pagina 12). (3.7) Se f : A X Y è continua in A, allora la controimmagine di ogni palla B r (y) in Y (intervallo!) è intorno di ogni suo punto. Dimostrazione. Se x f 1 B ɛ (y), cioè f(x) B ɛ (y), allora esiste r abbastanza piccolo per cui B r (f(x)) B ɛ (y). Dal momento che f è continua in x, f 1 (B r (f(x))) è intorno di x. Ma B r (f(x)) B ɛ (y) = f 1 (B r (f(x))) f 1 (B ɛ (y)) e quindi f 1 (B ɛ (y)) è un intorno di x. (3.8) Definizione. Un sottoinsieme A X di uno spazio metrico si dice aperto se è intorno di ogni suo punto (equivalentemente, ogni punto di A ha un intorno circolare tutto contenuto in A, o, equivalentemente, ogni punto di A ha un intorno tutto contenuto in A). (3.9) Una palla aperta B r (x) è un aperto. Dimostrazione. (Esercizio (1.10) di pagina 12) (3.10) Una funzione f : X Y è continua in X se e soltanto se la controimmagine in X di ogni palla B r (y) di Y è un aperto. Dimostrazione. Per la proposizione precedente se una funzione è continua allora la controimmagine di ogni palla è un aperto. Viceversa, assumiamo che la controimmagine di ogni palla B r (y) è un aperto. Allora, per ogni x X e per ogni ɛ > 0 f 1 (B ɛ (f(x))) è un aperto, ed in particolare è un intorno di x; per definizione di intorno, quindi per ogni x e ɛ esiste δ > 0 tale che B δ (x) f 1 (B ɛ (f(x))), cioè f è continua. 3.1 Proprietà dei sottoinsiemi aperti Se A X è aperto, allora per ogni x A esiste r = r(x) > 0 tale che B r(x) A, e quindi A è unione di (anche infinite) palle aperte A = x A B r(x) (x). Viceversa, si può mostrare che l unione di una famiglia di palle aperte è un aperto. Quindi vale: (3.11) Un sottoinsieme A X è aperto se e solo se è unione di intorni circolari (palle). (3.12) Corollario. L unione di una famiglia qualsiasi di aperti è un aperto. (3.13) Nota. Osserviamo che le dimostrazioni appena viste per funzioni reali non utilizzano null altro che proprietà degli intorni circolari in R. Dato che queste proprietà valgono in generale per spazi metrici, le medesime proposizioni valgono per spazi metrici. D.L. Ferrario 2006-mar-8 7
8 mar-8 Geometria e Topologia I Si possono riassumere tutti i fatti visti nel seguente teorema. (3.14) Teorema. Una funzione f : X Y (spazi metrici) è continua se e solo se la controimmagine di ogni aperto di Y è un aperto di X. Dimostrazione. Sia V un aperto di Y. Allora è unione di intorni circolari B j := B rj (y j ) V = j J B j e dunque la sua controimmagine ( ) f 1 V = f 1 B j = f 1 B j j J j J è unione di aperti, e quindi è un aperto. Viceversa, se la controimmagine di ogni aperto in Y è un aperto di X, allora in particolare la controimmagine di ogni intorno circolare di Y è un aperto di X, e quindi f è continua. La continuità di una funzione quindi dipende solo dal comportamento di f sulle famiglie di aperti degli spazi in considerazione, e non dal valore della metrica. (3.15) Sia X uno spazio metrico. Allora l insieme vuoto e X sono aperti. (3.16) Siano A e B due aperti di X spazio metrico. Allora l intersezione A B è un aperto. Dimostrazione. Sia x A B. Dato che A e B sono aperti, esistono r A e r B > 0 tali che B ra (x) A e B rb (x) B. Sia r il minimo tra r A e r B : B r B ra, B r B rb, e quindi B r A B r B( B r A B). Quindi A B è intorno di x e la tesi segue dall arbitrarietà di x. Riassumiamo le proprietà degli aperti: consideriamo il sottoinsieme dell insieme delle parti A 2 X che consiste di tutti i sottoinsiemi aperti di X. (3.17) L insieme A di tutti gli aperti (secondo la definizione (3.8 ) di pagina 7) di uno spazio metrico X verifica le seguenti proprietà: (i) A, X A, (ii) B A = B B B A, (iii) B A, B è finito, allora B B B A. (3.18) Possiamo riassumere le proprietà degli intorni circolari di uno spazio metrico X: (i) Ogni elemento x X ha almeno un intorno (aperto) B x. (ii) L intersezione di due intorni circolari B 1 B 2 è un aperto, e quindi per ogni x B 1 B 2 esiste un terzo intorno circolare B di x per cui x B B 1 B mar-8 D.L. Ferrario
9 Geometria e Topologia I 2006-mar-8 9 (3.19) Definizione. La topologia di uno spazio metrico X è la famiglia A di tutti i sottoinsiemi aperti definita poco sopra. Si dice anche che è A è la topologia di X generata dagli intorni circolari (definiti a partire dalla metrica). (X, d) (X, d, A) Dal momento che per determinare la continuità di una funzione è sufficiente conoscere le famiglie di aperti (nel dominio e codominio) e le controimmagini degli stessi, diciamo che due metriche sono equivalenti se inducono la stessa topologia. (3.20) Definizione. Si dice che due metriche sullo stesso insieme X sono equivalenti se inducono la stessa topologia su X. (3.21) Due metriche d e d su X sono equivalenti se e solo se la seguente proprietà è vera: per ogni x X e per ogni palla Br d (x) (nella metrica d) esiste r > 0 tale che Br d (x) Bd r (x) (dove Br d (x) è la palla nella metrica d ) e, viceversa, per ogni r e x esiste r tale che Br d (x) Br d (x). Dimostrazione. Supponiamo che le due metriche d e d siano equivalenti e siano x e r > 0 dati. Per (3.9) la palla Br d (x) è aperta nella topologia indotta da d e quindi anche nella topologia indotta da d : pertanto esiste r tale che Br d (x) Bd r (x). Analogamente se si scambia il ruolo di d e d. Viceversa, supponiamo A aperto secondo la topologia indotta da d. Per ogni x A esiste, per definizione, r = r(x) > 0 tale che ed un corrispondente r > 0 tale che Cioè, per ogni x esiste r = r (x) > 0 tale che B d r (x) A, B d r (x) Bd r (x). Br d (x) A, e quindi A è aperto nella topologia indotta da d. Analogamente, ogni aperto nella topologia indotta da d è anche aperto nella topologia indotta da d e quindi le due topologie coincidono. (3.22) Esempio. Esempi di metriche su R 2 : (i) d(x, y) = (x 1 y 1 ) 2 (x 2 y 2 ) 2 = x y (metrica euclidea). { 0 se x = y (ii) d(x, y) = (metrica discreta). 1 altrimenti (iii) d(x, y) = x 1 y 1 + x 2 y 2. (iv) d(x, y) = max i=1,2 x i y i. (v) d(x, y) = min i=1,2 x i y i (?). (vi) d(x, y) = (x 1 y 1 ) 2 + (x 2 y 2 ) 2 (?). D.L. Ferrario 2006-mar-8 9
10 mar-8 Geometria e Topologia I (3.23) Esempio. Sia p N un primo 2. Sappiamo che ogni intero n Z ha una decomposizione in fattori primi, per cui esiste unico l esponente α per cui n = p α k, dove l intero k non contiene il fattore primo p. Si consideri in Z la funzione p definita da p α k p = p α ogni volta che k è primo con p, e n p = 0 quando n = 0. Sia quindi d: Z Z Q R la funzione definita da d(x, y) = x y p. Si può vedere che è una metrica su Z mar-8 D.L. Ferrario
Geometria Superiore Esercizi 1 (da consegnare entro... )
Geometria Superiore Esercizi 1 (da consegnare entro... ) In questi esercizi analizziamo il concetto di paracompattezza per uno spazio topologico e vediamo come questo implichi l esistenza di partizioni
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
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
DettagliAPPUNTI DI MATEMATICA ALGEBRA \ INSIEMISTICA \ TEORIA DEGLI INSIEMI (1)
ALGEBRA \ INSIEMISTICA \ TEORIA DEGLI INSIEMI (1) Un insieme è una collezione di oggetti. Il concetto di insieme è un concetto primitivo. Deve esistere un criterio chiaro, preciso, non ambiguo, inequivocabile,
Dettagli1 Insiemi e terminologia
1 Insiemi e terminologia Assumeremo come intuitiva la nozione di insieme e ne utilizzeremo il linguaggio come strumento per studiare collezioni di oggetti. Gli Insiemi sono generalmente indicati con le
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
DettagliSPAZI METRICI. Uno spazio metrico X con metrica d si indica con il simbolo (X, d). METRICI 1
SPAZI METRICI Nel piano R 2 o nello spazio R 3 la distanza fra due punti è la lunghezza, o norma euclidea, del vettore differenza di questi due punti. Se p = (x, y, z) è un vettore in coordinate ortonormali,
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
Dettaglif: AxB f(x)=y, f={<x,y> per ogni x in A esiste unica y in B f(x)=y} f={<1,2>, <2,3>, <3,3>} : {1,2,3} {1,2,3} f(1)=2, f(2)=3, f(3)=3
Insieme delle parti di A : Funzione : insieme i cui elementi sono TUTTI i sottoinsiemi di A f: AxB f(x)=y, f={ per ogni x in A esiste unica y in B f(x)=y} f={, , } : {1,2,3} {1,2,3}
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
DettagliEsistenza di funzioni continue non differenziabili in alcun punto
UNIVERSITÀ DEGLI STUDI DI CAGLIARI FACOLTÀ DI SCIENZE MATEMATICHE, FISICHE E NATURALI CORSO DI LAUREA IN MATEMATICA Esistenza di funzioni continue non differenziabili in alcun punto Relatore Prof. Andrea
DettagliDispense del corso di ALGEBRA 1 a.a. 2008 2009
Dispense del corso di ALGEBRA 1 a.a. 2008 2009 2 Indice I INSIEMI E NUMERI 5 1 Insiemi e applicazioni 7 1.1 Insiemi..................................... 7 1.2 Operazioni tra insiemi.............................
DettagliDispense del corso di ALGEBRA 1 a.a. 2007 2008. Parte 1: NOZIONI DI BASE
Dispense del corso di ALGEBRA 1 a.a. 2007 2008 Parte 1: NOZIONI DI BASE 1 Indice 1 Nozioni introduttive 3 1.1 Insiemi..................................... 3 1.2 Operazioni tra insiemi.............................
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
DettagliRELAZIONI BINARIE. Proprietà delle relazioni Data una relazione R, definita in un insieme non vuoto U, si hanno le seguenti proprietà :
RELAZIONI INARIE Dati due insiemi non vuoti, A detto dominio e detto codominio, eventualmente coincidenti, si chiama relazione binaria (o corrispondenza) di A in, e si indica con f : A, (oppure R ) una
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
DettagliProprietà metriche di R. Funzioni da R in R. Funzioni continue da R in R. Limiti di funzioni da R in R.
Università di Trieste - Facoltà d'ingegneria Corsi di Laurea in Ingegneria Chimica, Elettrica, Elettronica, dei Materiali Programma del corso di Analisi Matematica I Anno Accademico 1999-2000 Prof. Pierpaolo
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
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
DettagliProgrammazione Dichiarativa. Programmazione Logica. SICStus PROLOG PROLOG. http://www.sics.se/sicstus/ Bob Kowalski: "Algoritmo = Logica + Controllo"
Programmazione Logica Bob Kowalski: "Algoritmo = Logica + Controllo" nella programmazione tradizionale: il programmatore deve occuparsi di entrambi gli aspetti nella programmazione dichiarativa: il programmatore
DettagliLezione 1. Gli Insiemi. La nozione di insieme viene spesso utilizzata nella vita di tutti i giorni; si parla dell insieme:
Lezione 1 Gli Insiemi La nozione di insieme viene spesso utilizzata nella vita di tutti i giorni; si parla dell insieme: degli iscritti ad un corso di laurea delle stelle in cielo dei punti di un piano
DettagliTEORIA RELAZIONALE: INTRODUZIONE
TEORIA RELAZIONALE: INTRODUZIONE Tre metodi per produrre uno schema relazionale: a) Partire da un buon schema a oggetti e tradurlo b) Costruire direttamente le relazioni e poi correggere quelle che presentano
DettagliALGEBRA I: CARDINALITÀ DI INSIEMI
ALGEBRA I: CARDINALITÀ DI INSIEMI 1. CONFRONTO DI CARDINALITÀ E chiaro a tutti che esistono insiemi finiti cioè con un numero finito di elementi) ed insiemi infiniti. E anche chiaro che ogni insieme infinito
DettagliAlgebra di Boole ed Elementi di Logica
Algebra di Boole ed Elementi di Logica 53 Cenni all algebra di Boole L algebra di Boole (inventata da G. Boole, britannico, seconda metà 8), o algebra della logica, si basa su operazioni logiche Le operazioni
DettagliLA LOGICA. è la scienza dell'argomentazione rigorosa. Oggetto di studio della logica è il ragionamento, le sue procedure e i suoi stili.
LA LOGICA è la scienza dell'argomentazione rigorosa. Oggetto di studio della logica è il ragionamento, le sue procedure e i suoi stili. Recupero debito Lezione Prof. Giovanni Giuffrida RUOLO DELLA LOGICA
DettagliCorso di Laurea in Matematica. Dispense del corso di ALGEBRA I
Corso di Laurea in Matematica Dispense del corso di ALGEBRA I a.a. 2012 2013 2 Cos è l anima?. Al negativo è facile da definire: per l appunto ciò che si affretta a rintanarsi quando sente parlare di serie
DettagliPrecorsi: Introduzione naïve alla logica ed alla teoria degli insiemi. Carlo Collari, Lapo Dini, Daniele Angella
Precorsi: Introduzione naïve alla logica ed alla teoria degli insiemi. Carlo Collari, Lapo Dini, Daniele Angella CAPITOLO 1 Introduzione Per poter seguire un corso universitario di matematica, uno studente,
DettagliStudio di funzione. Tutti i diritti sono riservati. E vietata la riproduzione, anche parziale, senza il consenso dell autore. Funzioni elementari 2
Studio di funzione Copyright c 2009 Pasquale Terrecuso Tutti i diritti sono riservati. E vietata la riproduzione, anche parziale, senza il consenso dell autore. Funzioni elementari 2 Studio di funzione
DettagliProva parziale di Geometria e Topologia I - 5 mag 2008 (U1-03, 13:30 16:30) 1/8. Cognome:... Nome:... Matricola:...
Prova parziale di Geometria e Topologia I - 5 mag 2008 (U1-03, 13:30 16:30) 1/8 Cognome:................ Nome:................ Matricola:................ (Dare una dimostrazione esauriente di tutte le
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
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,
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
DettagliTOPOLOGIA ALBERTO SARACCO
TOPOLOGIA ALBERTO SARACCO Abstract. Le presenti note saranno il più fedeli possibile a quanto detto a lezione. I testi consigliati sono Jänich [1], Kosniowski [2] e Singer- Thorpe [3]. Un ottimo libro
DettagliLiceo Scientifico Statale. Leonardo da Vinci. Fisica. Programma svolto durante l anno scolastico 2012/13 CLASSE I B. DOCENTE Elda Chirico
Liceo Scientifico Statale Leonardo da Vinci Fisica Programma svolto durante l anno scolastico 2012/13 CLASSE I B DOCENTE Elda Chirico Le Grandezze. Introduzione alla fisica. Metodo sperimentale. Grandezze
DettagliAppunti di informatica. Lezione 2 anno accademico 2015-2016 Mario Verdicchio
Appunti di informatica Lezione 2 anno accademico 2015-2016 Mario Verdicchio Sistema binario e logica C è un legame tra i numeri binari (0,1) e la logica, ossia la disciplina che si occupa del ragionamento
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,
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
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
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
DettagliEquazioni differenziali ordinarie
Equazioni differenziali ordinarie Denis Nardin January 2, 2010 1 Equazioni differenziali In questa sezione considereremo le proprietà delle soluzioni del problema di Cauchy. Da adesso in poi (PC) indicherà
DettagliG. Pareschi ALGEBRE DI BOOLE. 1. Algebre di Boole
G. Pareschi ALGEBRE DI BOOLE 1. Algebre di Boole Nel file precedente abbiamo incontrato la definizione di algebra di Boole come reticolo: un algebra di Boole e un reticolo limitato, complementato e distributivo.
DettagliPredicati e Quantificatori
Predicati e Quantificatori Limitazioni della logica proposizionale! Logica proposizionale: il mondo è descritto attraverso proposizioni elementari e loro combinazioni logiche! I singoli oggetti cui si
DettagliElementi di topologia della retta
Elementi di topologia della retta nome insieme definizione l insieme è un concetto primitivo che si accetta come intuitivamente noto secondo George Cantor, il padre della teoria degli insiemi: Per insieme
DettagliAlgebra booleana. Si dice enunciato una proposizione che può essere soltanto vera o falsa.
Algebra booleana Nel lavoro di programmazione capita spesso di dover ricorrere ai principi della logica degli enunciati e occorre conoscere i concetti di base dell algebra delle proposizioni. L algebra
DettagliProgramma precorso di matematica
Programma precorso di matematica a.a. 015/16 Quello che segue è il programma dettagliato del precorso. Si fa riferimento al testo [MPB] E. Acerbi, G. Buttazzo: Matematica Preuniversitaria di Base, Pitagora
DettagliEsercitazioni di statistica
Esercitazioni di statistica Misure di associazione: Indipendenza assoluta e in media Stefania Spina Universitá di Napoli Federico II stefania.spina@unina.it 22 ottobre 2014 Stefania Spina Esercitazioni
Dettagli1 Giochi a due, con informazione perfetta e somma zero
1 Giochi a due, con informazione perfetta e somma zero Nel gioco del Nim, se semplificato all estremo, ci sono due giocatori I, II e una pila di 6 pedine identiche In ogni turno di gioco I rimuove una
DettagliCalcolatori: Algebra Booleana e Reti Logiche
Calcolatori: Algebra Booleana e Reti Logiche 1 Algebra Booleana e Variabili Logiche I fondamenti dell Algebra Booleana (o Algebra di Boole) furono delineati dal matematico George Boole, in un lavoro pubblicato
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,
Dettagli, )21'$0(17,'(//$0$7(0$7,&$ /$/2*,&$(*/,,16,(0,
/,&(2*,11$6,267$7$/(³*&$5'8&&, &/$66(,9$±$1126&2/$67,&2, )21'$0(17,'(//$0$7(0$7,&$ /$/2*,&$(*/,,16,(0, $OHVVDQGUR&RUGHOOL 6RPPDULR GLI OPERATORI LOGICI... 3 1. Che cos è la logica?... 3 2. Verità e correttezza...
DettagliALGEBRA DELLE PROPOSIZIONI
Università di Salerno Fondamenti di Informatica Corso di Laurea Ingegneria Corso B Docente: Ing. Giovanni Secondulfo Anno Accademico 2010-2011 ALGEBRA DELLE PROPOSIZIONI Fondamenti di Informatica Algebra
DettagliTOPOLOGIE. Capitolo 2. 2.1 Spazi topologici
Capitolo 2 TOPOLOGIE Ogni spazio che si considera in gran parte della matematica e delle sue applicazioni è uno spazio topologico di qualche tipo: qui introduciamo in generale le nozioni di base della
DettagliLICEO STATALE G. MAZZINI
LICEO STATALE G. MAZZINI LICEO LINGUISTICO LICEO DELLE SCIENZE UMANE LICEO DELLE SCIENZE UMANE OPZIONE ECONOMICO-SOCIALE Viale Aldo Ferrari, 37 Tel. 0187743000 19122 La Spezia Fax 0187743208 www.liceomazzini.org
DettagliUNIVERSITÀ DEGLI STUDI DI FERRARA
UNIVERSITÀ DEGLI STUDI DI FERRARA Anno Accademico 2012/2013 REGISTRO DELL ATTIVITÀ DIDATTICA Docente: ANDREOTTI MIRCO Titolo del corso: MATEMATICA ED ELEMENTI DI STATISTICA Corso: CORSO UFFICIALE Corso
DettagliFOCUS GROUP. Trento, 06.02.2004 e 13.02.2004
FOCUS GROUP Trento, 06.02.2004 e 13.02.2004 Progetto Divulgazione della logica come base per la comprensione dell informatica Documentazione C19.2004 Luisa Bortolotti perché un focus group? perché da tempo
DettagliVBA è un linguaggio di scripting derivato da Visual Basic, da cui prende il nome. Come ogni linguaggio ha le sue regole.
Excel VBA VBA Visual Basic for Application VBA è un linguaggio di scripting derivato da Visual Basic, da cui prende il nome. Come ogni linguaggio ha le sue regole. 2 Prima di iniziare. Che cos è una variabile?
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
Dettagli4 Quarta lezione: Spazi di Banach e funzionali lineari. Spazio duale
4 Quarta lezione: Spazi di Banach e funzionali lineari. Spazio duale Spazi Metrici Ricordiamo che uno spazio metrico è una coppia (X, d) dove X è un insieme e d : X X [0, + [ è una funzione, detta metrica,
DettagliLe funzioni reali di variabile reale
Prof. Michele Giugliano (Gennaio 2002) Le funzioni reali di variabile reale ) Complementi di teoria degli insiemi. A) Estremi di un insieme numerico X. Dato un insieme X R, si chiama maggiorante di X un
DettagliSui concetti di definizione, teorema e dimostrazione in didattica della matematica
Liceo Scientifico Statale P. Paleocapa, Rovigo XX Settimana della Cultura Scientifica e Tecnologica 19 marzo 2010 Sui concetti di definizione, teorema e dimostrazione in didattica della matematica Prof.
Dettagli10. Insiemi non misurabili secondo Lebesgue.
10. Insiemi non misurabili secondo Lebesgue. Lo scopo principale di questo capitolo è quello di far vedere che esistono sottoinsiemi di R h che non sono misurabili secondo Lebesgue. La costruzione di insiemi
DettagliAppunti di Complementi di Matematica. Jacobo Pejsachowicz (a cura di Nathan Quadrio)
Appunti di Complementi di Matematica Jacobo Pejsachowicz (a cura di Nathan Quadrio) 1 Indice 1 Cenni della teoria degli insiemi 4 1.1 Classi ed insiemi........................... 4 1.2 Operazioni fra gli
DettagliRELAZIONI E FUNZIONI. Per ricordare. Figura 1. Figura 2. Figura 3. Figura 4
RELAZIONI E FUNZIONI 3 Per ricordare H Dati due insiemi A e B e una proposizione aperta px,y, con x 2 A e y 2 B, si dice che x eá in relazione con y, e si scrive x R y, sepx,y eá vera; si parla allora
DettagliAnno 1. Definizione di Logica e operazioni logiche
Anno 1 Definizione di Logica e operazioni logiche 1 Introduzione In questa lezione ci occuperemo di descrivere la definizione di logica matematica e di operazioni logiche. Che cos è la logica matematica?
DettagliAppunti di LOGICA MATEMATICA (a.a.2009-2010; A.Ursini) Algebre di Boole. 1. Definizione e proprietá
Appunti di LOGICA MATEMATICA (a.a.2009-2010; A.Ursini) [# Aii [10 pagine]] Algebre di Boole Un algebra di Boole è una struttura 1. Definizione e proprietá B =< B,,, ν, 0, 1 > in cui B è un insieme non
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à
DettagliAlcune nozioni preliminari di teoria elementare di insiemi e funzioni
Alcune nozioni preliminari di teoria elementare di insiemi e funzioni Alberto Pinto Corso di Matematica - NUCT 1 Insiemi 1.1 Generalità Diamo la definizione di insieme secondo Georg Cantor, matematico
DettagliCAPITOLO IV RISOLUZIONE DEI SISTEMI LINEARI COL METODO DEI DETERMINANTI
CAPITOLO IV RISOLUZIONE DEI SISTEMI LINEARI COL METODO DEI DETERMINANTI 1. REGOLA DI CRAMER Sia S un sistema lineare di n ( 2) equazioni in n incognite su un campo K : a 11 x 1 + a 12 x 2 + + a 1n x n
DettagliOGNI SPAZIO VETTORIALE HA BASE
1 Mimmo Arezzo OGNI SPAZIO VETTORIALE HA BASE CONVERSAZIONE CON ALCUNI STUDENTI DI FISICA 19 DICEMBRE 2006 2 1 Preliminari Definizione 1.0.1 Un ordinamento parziale (o una relazione d ordine parziale)
DettagliLogica del primo ordine
Università di Bergamo Facoltà di Ingegneria Intelligenza Artificiale Paolo Salvaneschi A7_4 V1.3 Logica del primo ordine Il contenuto del documento è liberamente utilizzabile dagli studenti, per studio
DettagliAncora sugli insiemi. Simbologia
ncora sugli insiemi Un insieme può essere specificato in vari modi; il più semplice è fare un elenco dei suoi elementi. d esempio l insieme delle nostre lauree triennali è { EOOM, EON, EOMM, EOMK EOTU}
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
DettagliInsiemi e funzioni. Lorenzo Pisani Facoltà di Scienze Mm.Ff.Nn. Università degli Studi di Bari
Insiemi e funzioni Lorenzo Pisani Facoltà di Scienze Mm.Ff.Nn. Università degli Studi di Bari ottobre 2007 Indice 1 Insiemi 3 1.1 Inclusione............................... 5 1.2 Famiglie di insiemi..........................
DettagliObiettivi Cognitivi OBIETTIVI MINIMI
Docente Materia Classe Mugno Eugenio Matematica 1F Programmazione Preventiva Anno Scolastico 2012/2013 Data 25/11/2012 Obiettivi Cognitivi OBIETTIVI MINIMI conoscere il concetto di numero intero; conoscere
DettagliL algebra di Boole. Cenni Corso di Reti Logiche B. Mariagiovanna Sami
L algebra di Boole Cenni Corso di Reti Logiche B Mariagiovanna Sami Algebra Booleana: sistema algebrico Operazione: Operazione α sull'insieme S={s1,s2,...} = funzione che da SxS (prodotto cartesiano S
DettagliPROGRAMMA SVOLTO NELLA CLASSE I E A.S. 2012/2013 DISCIPLINA : MATEMATICA DOCENTI : CECILIA SAMPIERI, TAMARA CECCONI
PROGRAMMA SVOLTO NELLA CLASSE I E A.S. 2012/2013 LIBRO DI TESTO:L. Sasso Nuova Matematica a colori Algebra e Geometria 1 edizione Azzurra ed. Petrini TEMA A I numeri e linguaggio della Matemati Unità 1
DettagliLezione 8. La macchina universale
Lezione 8 Algoritmi La macchina universale Un elaboratore o computer è una macchina digitale, elettronica, automatica capace di effettuare trasformazioni o elaborazioni su i dati digitale= l informazione
DettagliPiano di lavoro di Matematica
ISTITUTO DI ISTRUZIONE SUPERIORE Liceo Scientifico ALDO MORO Istituto to Tecnico Via Gallo Pecca n. 4/6-10086 Rivarolo Canavese Tel 0124 454511 - Fax 0124 454545 - Cod. Fiscale 85502120018 E-mail: segreteria@istitutomoro.it
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
DettagliTrentadue lezioni di matematica generale tenute nella facoltà di economia Richard Goodwin dell università di Siena nell anno accademico 2001-2002
Trentadue lezioni di matematica generale tenute nella facoltà di economia Richard Goodwin dell università di Siena nell anno accademico 2001-2002 andrea battinelli Prefazione 1 0.1 Prefazione Questo documento
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
DettagliAPPENDICE NOZIONI BASE E VARIE
pag. 131 Appendice: Nozioni base e varie G. Gerla APPENDICE NOZIONI BASE E VARIE 1. Funzioni e relazioni di equivalenza Questi appunti sono rivolti a persone che abbiano già una conoscenza elementare della
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,
DettagliAPPUNTI ED ESERCIZI DI MATEMATICA DISCRETA. Margherita Roggero
APPUNTI ED ESERCIZI DI MATEMATICA DISCRETA Margherita Roggero A.A. 2005/2006 M. Roggero - Appunti ed Esercizi di Matematica Discreta Introduzione Queste note contengono gli appunti del corso di Matematica
DettagliANALISI DEI DATI PER IL MARKETING 2014
ANALISI DEI DATI PER IL MARKETING 2014 Marco Riani mriani@unipr.it http://www.riani.it MISURE DI DISTANZA E SIMILARITA 1 SCOPI DEL CALCOLO Problema: misurare la diversità (ovvero la rassomiglianza) tra
DettagliCalcolo Relazionale Basi di dati e sistemi informativi 1. Calcolo Relazionale. Angelo Montanari
Calcolo Relazionale Basi di dati e sistemi informativi 1 Calcolo Relazionale Angelo Montanari Dipartimento di Matematica e Informatica Università di Udine Calcolo Relazionale Basi di dati e sistemi informativi
DettagliCenni di Logica matematica
Cenni di Logica matematica May 8, 2007 1 Calcolo proposizionale Una proposizione è una frase che è o vera oppure falsa ma non entrambe. Esempio 1.1 Le seguenti frasi sono proposizioni. 1. Milano è la capitale
DettagliPercorsi di matematica per il ripasso e il recupero
Giacomo Pagina Giovanna Patri Percorsi di matematica per il ripasso e il recupero 1 per la Scuola secondaria di secondo grado UNITÀ CMPIONE Edizioni del Quadrifoglio à t i n U 1 Insiemi La teoria degli
DettagliAPPUNTI DEL CORSO DI ANALISI MATEMATICA 1
APPUNTI DEL CORSO DI ANALISI MATEMATICA 1 Gino Tironi Stesura provvisoria del 24 settembre, 2007. ii Indice 1 Insiemi e logica 1 1.1 Preliminari......................................... 1 1.2 Cenni di
DettagliAnalisi dei Dati 12/13 Esercizi proposti 3 soluzioni
Analisi dei Dati 1/13 Esercizi proposti 3 soluzioni 0.1 Un urna contiene 6 palline rosse e 8 palline nere. Si estraggono simultaneamente due palline. Qual è la probabilità di estrarle entrambe rosse? (6
Dettagli(anno accademico 2008-09)
Calcolo relazionale Prof Alberto Belussi Prof. Alberto Belussi (anno accademico 2008-09) Calcolo relazionale E un linguaggio di interrogazione o e dichiarativo: at specifica le proprietà del risultato
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
DettagliAppendice A. Il sistema assiomatico di Zermelo per la teoria degli insiemi
Appendice A Il sistema assiomatico di Zermelo per la teoria degli insiemi Ernest Zermelo (1871-1953) rilevò che la presenza delle antinomie poteva essere collegata ad un insufficiente definizione del concetto
DettagliPercorsi di matematica per il ripasso e il recupero
Giacomo Pagina Giovanna Patri Percorsi di matematica per il ripasso e il recupero 1 per la Scuola secondaria di secondo grado UNITÀ CAMPIONE Edizioni del Quadrifoglio à t i n U 2 Logica delle proposizioni
DettagliErrori più comuni. nelle prove scritte
Errori più comuni nelle prove scritte Gli errori più frequenti, e reiterati da chi sostiene diverse prove, sono innanzi tutto meta-errori, cioè errori che non riguardano tanto l applicazione delle tecniche,
DettagliPROVA DI VERIFICA DEL 24/10/2001
PROVA DI VERIFICA DEL 24/10/2001 [1] Il prodotto di due numeri non nulli è maggiore di zero se: a. il loro rapporto è maggiore di zero, b. il loro rapporto è minore di zero, c. il loro rapporto è uguale
DettagliPILLOLE DI LOGICA. Piccolo manuale per affrontare gli esercizi di logica delle Olimpiadi di Matematica. Liceo Scientifico A.
PILLOLE DI LOGICA Piccolo manuale per affrontare gli esercizi di logica delle Olimpiadi di Matematica Liceo Scientifico A.Righi Cesena Le basi della logica formale La logica formale è un indagine sul ragionare
DettagliSulla monotonia delle funzioni reali di una variabile reale
Liceo G. B. Vico - Napoli Sulla monotonia delle funzioni reali di una variabile reale Prof. Giuseppe Caputo Premetto due teoremi come prerequisiti necessari per la comprensione di quanto verrà esposto
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
DettagliFondamenti di Informatica II
Fondamenti di Informatica II Ilaria Castelli castelli@dii.unisi.it Università degli Studi di Siena Dipartimento di Ingegneria dell Informazione A.A. 2009/2010 I. Castelli Introduzione, A.A. 2009/2010 1/8
Dettagli