Appunti di (test di) logica

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Appunti di (test di) logica"

Transcript

1 Appunti di (test di) logica Luca Mari, - maggio 2010 Questi Appunti sono stati redatti per un ciclo di quattro seminari tenuti nei mesi di febbraio e marzo 2009, e ripetuti nei mesi di aprile e maggio 2010, per gli studenti del Liceo C.Rebora, di Rho, con l obiettivo di presentare ai partecipanti, alcune decine di studenti degli ultimi anni di scuola superiore, elementi di logica utili come strumenti per affrontare in modo appropriato i test di logica tipicamente proposti nelle prove di ammissione ai corsi di laurea. Sommario 0. Premessa Introduzione Cenni di (test di) logica proposizionale Cenni di (test di) logica predicativa Cenni di (test di) logica in senso lato Premessa (dal sito: enfatizzazioni mie) Sui test in generale I test sono generalmente composti da una sezione verbale, che misura la comprensione linguistica e concettuale, e da una sezione matematica, che verifica la capacità di risolvere problemi che richiedano il ragionamento logico-matematico e una conoscenza di base dell algebra e della geometria. Il test, dunque, sebbene prenda in esame quanto appreso nel corso dell istruzione, soprattutto, secondaria, tenta di evitare di porre quesiti che dipendano dalla conoscenza di argomenti specifici, per mettere invece l accento sulla capacità di utilizzare abilità acquisite per risolvere problemi nuovi. Di fronte alla crescente diffusione dei test di selezione molti studenti chiedono se valga la pena di svolgere una specifica preparazione. In questo senso una certa familiarità con i test è fondamentale: chi ha già avuto esperienze di test, e sa quindi cosa aspettarsi, è più sicuro di sé rispetto a chi non ne ha avute. Per esempio, si può essere avvantaggiati dalla familiarità con le schede di risposta e con il modo corretto di compilarle, dalla capacità di esaminare attentamente tutte le risposte di un test a scelta multipla anziché scegliere la prima soluzione che sembra corretta, dal sapere di non dovere perdere troppo tempo per le domande che non si riescono a risolvere, dal capire se e quando vale la pena di rischiare una risposta casuale (se non vi sono penalizzazioni per le risposte errate, vale la pena di tentare comunque a caso; se la risposta errata comporta una penalizzazione è più opportuno cercare di ridurre le alternative eliminando le risposte che sembrano più improbabili). Sulla parte dei test relativa alla cultura generale e capacità logica Per queste prove non esiste un programma specifico. I test mirano a saggiare il livello culturale degli studenti oppure la loro capacità di comprendere e di interpretare un testo (comprensione verbale). I test di capacità logica consistono prevalentemente in problemi la cui soluzione richiede facoltà di concentrazione, di analisi e di sintesi; non si richiedono nozioni specifiche, ma di volta in volta nell enunciato dei test vengono forniti tutti gli elementi necessari per risolverli correttamente. Le domande di capacità logica valutano: 1. la capacità di comprendere il significato preciso dei termini, di cogliere termini simili e analogie etimologiche; di capire quale categoria mentale (causa-effetto, contrapposizione, identità,...) stabilisce un rapporto tra coppie di parole; di scegliere tra varie parole quelle che possono essere inserite opportunamente in un discorso dato o di riconoscere quelle che non rispondono alla logica del discorso stesso; 2. la capacità di distinguere, tra le diverse interpretazioni di grafici, quelle ammissibili da quelle errate o arbitrarie; 3. la capacità di ritenere le informazioni che si sono appena lette, di interpretarle, di trarre delle conclusioni conseguenti e di scartare conclusioni errate, arbitrarie o non rigorosamente giustificate. I test di capacità logica presentano domande di carattere molto diversificato sia nella lunghezza 1

2 dell enunciato, sia nel contenuto. Alcuni contengono testi di attualità comparsi su quotidiani o su riviste di ampia tiratura, altri di autori del passato o contemporanei che presentano riflessioni di carattere sociale o morale, o passi significativi di recenti testi di narrativa. Tra questi quesiti possono comparire anche problemi in cui si delinea una situazione puramente teorica, alla quale vengono proposte soluzioni da vagliare sulla base dei dati forniti; è richiesta quindi molta attenzione alla definizione della situazione e alla distinzione tra ciò che in essa è possibile, necessario o logicamente inammissibile. I quesiti di logica non richiedono comunque una specifica preparazione culturale in definiti ambiti disciplinari. 1. Introduzione Per superare un test occorre essere allenati a sufficienza, per gestire il (generalmente non tanto) tempo in modo efficiente, applicando sia il ragionamento in avanti / forward chaining (l unico in generale possibile se la domanda non fosse a risposte chiuse) ma anche all indietro / backward chaining (dato il fatto che le risposte possibili sono pre-identificate, operare per esclusione, eliminando progressivamente i distrattori ). Di fronte a un problema, il primo passo da compiere generalmente consiste nell individuarne la struttura, separando forma da contenuto, con un processo di astrazione (nota che generalmente l enfasi è al contrario...) che porta a mantenere appunto solo la struttura del problema. Per esempio: PROBLEMA 1 Il beffardo mago Atlante ha rinchiuso in un castello fatato Angelica, l intelligente principessa cinese. Angelica è confinata in una stanza con cinque porte contrassegnate UNO, DUE, TRE, QUATTRO, CINQUE davanti a ciascuna delle quali sta un aiutante di Atlante, con il contrassegno della porta ricamato sul cappello. Lei sa che quattro di essi mentono sempre e uno sempre dice la verità. Dietro alle porte dei mentitori c è un disgustoso e vorace drago, ma dietro alla porta dell aiutante che dice la verità c è il corridoio che porta fuori dal castello. Angelica rivolge alcune domande agli aiutanti del mago, ricevendo queste informazioni: - UNO dice che TRE, QUATTRO e CINQUE mentono - TRE dice che UNO o DUE dicono il vero - QUATTRO dice che TRE dice il vero Da quale porta deve uscire Angelica? A) CINQUE B) UNO C) QUATTRO D) TRE E) DUE Individuando la struttura del problema, si tralasciano tutti i dettagli a proposito di beffardi maghi, intelligenti principesse,... Ciò che rimane è che ci sono cinque proposizioni, una vera e quattro false, e che occorre individuare quella vera. Ciò è tipico della logica, che infatti assume la verità delle asserzioni di partenza e si accontenta di trarne le conclusioni, come per il sillogismo: ((Socrate è un uomo) e (ogni uomo è mortale)) implica (Socrate è mortale) e assume solo poche, e generalmente non particolarmente significative (significative, appunto...) verità logiche (chiamate tautologie ), come A=A, dove A è il simbolo per una proposizione qualsiasi. Questa è poi la ragione per cui si possono proporre test di logica: non si deve essere esperti di beffardi maghi e intelligenti principesse, ma solo di ragionamento, acquisendo familiarità con alcune strutture logiche di base (connettivi proposizionali, quantificatori, condizioni necessarie e sufficienti, ). Al proposito, due considerazioni: 1. l uso di simboli, che avvicina la logica alla matematica, presenta vari benefici (elimina, o almeno riduce, le ambiguità delle espressioni nei linguaggi storico-naturali; è sintetico; consente di calcolare la verità di proposizioni composte a partire dalla verità delle proposizioni componenti: vedremo in che senso e come), ma comporta una, per qualcuno innaturale, attenzione alle questioni specificamente notazionali. Per esempio: 2

3 PROBLEMA 2 Se x è il numero mancante nella seguente successione: 1, 1; 9, 3; 25, 5; 49, 7; x, 9;... dire quante tra le seguenti conclusioni sono corrette: x > 9 x > 98 x < 100 x < 50 A) 2 B) 4 C) 3 D) 1 E) 0 un problema davvero semplice non appena ci si accorga dell uso specificamente notazionale, appunto della virgola e del punto e virgola nella successione, eseguendo quindi con cura i due passi: - trovare il valore di x: x=81; - contare il numero di conclusioni corrette. 2. Il punto di partenza dei test è generalmente un affermazione, cioè una proposizione che viene dichiarata vera (per cui per esempio A=A si può scrivere anche A A, a significare A è vero se e solo se A è vero ). Se dunque scrivere A corrisponde in effetti a scrivere A è (considerata) vero, ci occorre una notazione per asserire invece che A non è vero: A, che si legge anche A è falso a causa dei principi di bivalenza, A A (non-non-a è vero se e solo se A è vero) e del terzo escluso, A o non-a, in simboli A A (è sempre vero, cioè è una tautologia, che A o non-a). Applicando poi le leggi di De Morgan, (A B) ( A B) (il simbolo rappresenta la congiunzione e ) e (A B) ( A B), si mostra facilmente che i principi del terzo escluso e di non contraddizione sono equivalenti: (A A) (A A)). Dal principio di bivalenza segue tra l altro che nella logica che stiamo considerando che si rifa a quella che può essere chiamata logica classica sono previsti solo due valori di verità, vero e falso. Quando si vuole mettere in evidenza la presenza di tali valori di verità, l asserzione della verità di una proposizione A può essere essere scritta v(a)=v, oppure v(a)=f per indicare la falsità di A, dunque mediante una funzione v, verità di, che attribuisce un valore di verità, V o F, a una proposizione A. Tornando a questioni più generali, quando ci si trova di fronte a un test è utile identificare il tipo di problema che pone. Si possono forse identificare tre categorie generali di test generalmente considerati di logica : 1. test di logica in senso stretto (come il PROBLEMA 1); 2. test di ragionamento matematico ipotetico (o ipotetico-deduttivo) (come il PROBLEMA 2); 3. test di ragionamento matematico deduttivo. Un esempio di questa terza categoria è il seguente: PROBLEMA 3 Del numero intero n sappiamo che è compreso tra 2 e 6 (precisamente 2 n 6) e che rende vera una e una sola delle seguenti affermazioni: n è divisibile per 4 n è divisibile per 6 n è divisibile per 2 n è un divisore proprio di 6 Qual è il valore di n? A) 3 B) 6 C) 5 D) 4 E) 2 3

4 non particolarmente complesso non appena ci si ricordi il significato dei concetti di divisibilità e di divisore proprio. In questo caso non sembra possibile se non andare per tentativi, considerando via via tutti i numeri 2, 3,, 6. 2: verifica due affermazioni; 3: verifica un affermazione; 4: verifica due affermazioni; 5: non verifica alcuna affermazione; 6: verifica due affermazioni. Le tre categorie di problemi citate sono sufficientemente diverse tra loro non tanto per la forma con cui si presentano, ma per le condizioni di soluzione che prospettano: 1. i test di logica in senso stretto sono generalmente risolubili con un ragionamento formale (cioè: un po di intuizione può essere utile, ma non è necessaria); 2. i test di ragionamento matematico ipotetico richiedono alcune competenze di base ma anche intuizione; 3. i test di ragionamento matematico deduttivo richiedono generalmente solo alcune competenze di base. Torniamo ora a considerare il PROBLEMA 1. Abbiamo già individuato la struttura del problema, tralasciando dunque tutti i dettagli a proposito di beffardi maghi, intelligenti principesse,...: ci sono cinque proposizioni, indichiamole semplicemente 1,..., 5, una vera e quattro false. Occorre individuare quale è vera. Conosciamo in modo diretto solo tre di esse: 1 = 3 4 5:? 3 = 1 2:? 4 = 3:? La verità di 4 implicherebbe che anche 3 sia vera, cosa non possibile. Dunque 4 e perciò 3. Da 3 segue (1 2), che per la legge di De Morgan è equivalente a 1 2. Ciò è già sufficiente per concludere che 5. Verifichiamo comunque questa conclusione analizzando anche 1. Poiché 1, allora ( 3 4 5), che ancora per la legge di De Morgan è equivalente a 3 4 5, compatibile con l asserzione di verità di Cenni di (test di) logica proposizionale [esistono numerosi testi di introduzione alla logica; un buon riferimento sugli argomenti di questo e del prossimo capitolo è in particolare: W. Hodges, Logica, Garzanti, 1986] Lavoriamo un po sulla prima categoria di problemi, i test di logica in senso stretto. Un semplice esempio è il seguente: PROBLEMA 4 L affermazione quando bevo troppo, mi si gonfia lo stomaco implica che: A) se non mi si gonfia lo stomaco allora non ho bevuto troppo B) non mi si gonfia lo stomaco pur avendo bevuto troppo C) a volte capita che non mi si gonfi lo stomaco pur avendo bevuto troppo D) se mi si gonfia lo stomaco vuol dire che ho bevuto troppo E) o bevo troppo o mi si gonfia lo stomaco Si può certamente cercare di vedere intuitivamente la soluzione, e in casi semplici come questo, per chi ne è in grado, è forse perfino la tecnica più efficiente. Ma esiste anche una tecnica semi-algoritmica, che è sufficientemente generale e ha tra il vantaggio di limitare il ruolo dell intuizione, e quindi di essere impiegabile anche dai non intuitivi. Tale tecnica si basa sui seguenti passi, applicabili a ogni affermazione A da considerare, per esempio A= quando bevo troppo, mi si gonfia lo stomaco. 1. Si analizza la struttura di A e si stabilisce se sia una proposizione elementare, cioè non costituita da due o più proposizioni, o sia una proposizione composta. Un criterio empirico per stabilire se un espressione candidata x sia o meno una proposizione è il seguente: se è vero che x è grammaticalmente corretto, naturalmente sostituendo a x l espressione candidata, allora tale espressione è una proposizione. Le 4

5 proposizioni elementari sono allora proposizioni non scomponibili. Nell esempio, A è chiaramente una proposizione composta, le proposizioni elementari componenti essendo bevo troppo e mi si gonfia lo stomaco. E immediato constatare che anche le proposizioni A)-E) sono composte. 2. Nel caso in cui la proposizione considerata sia composta, la si riscrive isolando i connettivi dalle proposizioni elementari e, per sintesi, sostituendo queste ultime con dei simboli; A potrebbe diventare perciò: quando B, S, avendo sostituito B= bevo troppo e S= mi si gonfia lo stomaco. In questa riscrittura, modi e tempi dei verbi tendono a perdere di importanza. Per esempio B= bevo troppo, ma anche B= ho bevuto troppo, come nella proposizione A). 3. Il problema che si pone ora è di ricondurre il valore di verità della proposizione composta al valore di verità delle proposizioni elementari; nell esempio, la domanda da porsi è: come dipende il valore di verità di quando B, S dal valore di verità di B e di S? Ancora più concretamente, se per esempio B (cioè è falso che abbia bevuto troppo) e S (mi si è comunque gonfiato lo stomaco), diremmo che quando B, S è vera o falsa? Data la ricchezza espressiva di una lingua come l italiano, una soluzione generale a problemi di questo genere è difficile da trovare. E anche per questo che i logici, anche al costo di perdere alcuni dettagli e sfumature semantiche, hanno individuato alcune forme standard, a cui le proposizioni che ci vengono proposte dovrebbero essere ricondotte, per parafrasi. Tali forme standard sono, in particolare: - non A (in simboli A): negazione; - A o B (in simboli A B): disgiunzione; - o A o B (in simboli A B): disgiunzione esclusiva; - A e B (in simboli A B): congiunzione; - A implica B (o: se A allora B ) (in simboli A B): implicazione; - A se e solo B (in simboli A B): bi-implicazione o equivalenza. Parafrasiamo dunque l affermazione iniziale del problema e le proposizioni A)-E) in modo da ricondurle a forme standard (si noti ancora che nelle parafrasi modi e tempi verbali tendono a non essere importanti): quando B, S diventa se B allora S : B S A) se non S allora non B non richiede parafrasi: S B B) non S pur B diventa non S e B : S B C) a volte non S pur B contiene il problematico a volte, che non sappiamo come trattare; per il resto è identico a B D) se S vuol dire che B diventa se S allora B : S B E) o B o S non richiede parafrasi: B S 4. I connettivi che caratterizzano le forme standard sono tali che il valore di verità di una proposizione composta mediante ognuno di essi dipende esclusivamente dal valore di verità delle proposizioni componenti (e perciò in logica sono chiamati vero-funzionali ). Tali relazioni di dipendenza sono presentate in modo efficace mediante le cosiddette tavole della verità : A A V F F V (da leggere: se A è vero allora A è falso, e se A è falso allora A è vero) A B A B A B A B A B A B A B A B V V V V V F V V V V V V V F V V F V V F F V F F F V V F V V F V F F V F F F F F F F F F F F F V 5

6 tutti non solo ragionevoli ma anche semplici da comprendere (ma si noti la differenza tra disgiunzione e disgiunzione esclusiva). Per ultima, perché particolarmente importante e perché non così intuitivamente semplice, la tavola della verità dell implicazione: A B A B V V V V F F F V V F F V che si può leggere così: A implica B è sempre vero salvo quando da una premessa, A, vera si ottiene una conseguenza, B, falsa; oppure anche: mentre da una premessa vera si può dedurre solo una conseguenza vera, da una premessa falsa si può dedurre qualsiasi conclusione. Il problema che ci siamo posti è dunque: (B S)? Non bisogna però lasciarsi trarre in inganno dalla condizione di implicazione: dato che affermare una proposizione significa asserirne la verità, la situazione corrisponde in effetti alla sola prima riga della tavola di verità, e quindi il problema è in effetti (B S)? Si tratta, in pratica, di verificare se: A) (B S) ( S B)? B) (B S) ( S B)? e così via. Applicando passo passo le tavole della verità, controlliamo la prima (tra parentesi l ordine di calcolo): B (0) (1) S (0) (4) S (2) (3) B (2) V V V V F V F V F F V V F F F V V V F V V F V F V V V V che ne dimostra la correttezza: (B S) ( S B) è una tautologia, e quindi A) è la risposta esatta. Per completezza, controlliamo anche la seconda: B (0) (1) S (0) (4) S (2) (3) B (2) V V V F F F V V F F V V V V F V V F F F F F V F F V F F che invece nella colonna (4) contiene dei valori F, cosa che indica che l ipotesi B) è sbagliata. Un altro problema: PROBLEMA 5 Da Chi dorme non piglia pesci segue logicamente: A) chi piglia pesci non dorme B) chi non piglia pesci non dorme C) chi non piglia pesci dorme D) chi piglia pesci dorme E) Nessuna delle altre alternative proposte Riscriviamo l affermazione iniziale in forma standard: se uno dorme, allora non piglia pesci. La simbolizzazione di questa affermazione secondo le modalità introdotte finora, dunque D P, nasconde un problema, dato che non consente di distinguere se uno dorme, allora non piglia pesci da se uno dorme, allora un altro non piglia pesci, proposizioni la cui verità non è evidentemente la stessa. Vedremo nel seguito come affrontare questo genere di problemi; per ora manteniamo la forma proposizionale: D P. 6

7 Trasformiamo corrispondentemente anche le risposte: A) P D B) P D C) P D D) P D A questo punto si può operare con le tavole della verità per trovare a quale tra le proposizioni A)-E) l affermazione di partenza è equivalente. Ancora un problema: PROBLEMA 6 Nel diario del giovane Telesforo è scritto: Nonno Ubaldo dice che quando era giovane ha traversato l oceano Atlantico a nuoto e che riusciva a battere in velocità le balene. Secondo me questa è una bugia. Si dica cosa si può correttamente dedurre dalla convinzione di Telesforo. A) Se Nonno Ubaldo riusciva a battere in velocità le balene allora non ha traversato l oceano Atlantico a nuoto B) A Nonno Ubaldo non piacciono le balene C) Nonno Ubaldo ha traversato l oceano Atlantico a nuoto ma non riusciva a battere in velocità le balene D) Nonno Ubaldo non ha traversato l oceano Atlantico a nuoto ma riusciva comunque a battere in velocità le balene E) Nonno Ubaldo non ha traversato l oceano Atlantico a nuoto e non riusciva a battere in velocità le balene Indichiamo T= Nonno Ubaldo quando era giovane ha traversato l oceano Atlantico a nuoto e B= Nonno Ubaldo riusciva a battere in velocità le balene. Dunque la convinzione di Telesforo è che (T B). Per De Morgan, ciò è equivalente a T B. Riscriviamo ora anche le proposizioni A)-E): A) B T B)... C) T B D) T B E) T B Nuovamente, si può ora operare con le tavole della verità. Come si vede, le leggi di De Morgan: (A B) ( A B) (A B) ( A B) sono spesso utili per trasformare le proposizioni, mantenendone le condizioni di verità. Analogamente, è utile imparare le seguenti due equivalenze, relative all implicazione: (A B) ( A B) (A B) ( B A) Dimostriamo, a titolo di esempio, la seconda: A (0) (1) B (0) (4) Β (2) (3) A (2) V V V V F V F V F F V V F F F V V V F V V F V F V V V V E plausibile che con queste poche, e semplici, regole la gran parte dei test di logica delle proposizioni possano essere interpretati e risolti. Facciamo qualche esercizio di parafrasi, in particolare per trovare esempi di proposizioni equivalenti, compatibili e incompatibili a quella di partenza: 7

8 Sarai bocciato, a meno che tu non ti metta a studiare Tale affermazione è parafrasabile in se non S allora B, equivalente a S o B : studi o sarai bocciato (attenzione: non si tratta della disgiunzione esclusiva, o studi o sarai bocciato, che nega la possibilità che pur studiando si sia bocciati). Per analizzare le condizioni di verità dell affermazione, è particolarmente efficace sfruttare la corrispondenza tra logica e insiemistica, e quindi rappresentare A B in un diagramma di Venn come: così che S B si rappresenta: A B Grazie a tale rappresentazione possiamo posizionare nel diagramma i casi seguenti: S B. 1 S B I punti 1, 2 e 3 corrispondono rispettivamente a S B ( non studi e sei bocciato ), S B ( studi e sei bocciato ) e S B ( studi e sei non bocciato ), tutte compatibili con l affermazione iniziale, cioè tali da essere equivalenti a S B almeno in qualche caso. Viceversa, il caso rimanente, S B ( pur non studiando non sarai bocciato ), non può essere rappresentato nel diagramma, cosa che ne mostra l incompatibilità con l affermazione iniziale. In termini, ( S B) ( S B) è sempre falso, cioè è una contraddizione, e quindi (( S B) ( S B)) è una tautologia. Un secondo esercizio: Andrò al mare solo se c è bel tempo Tale affermazione è equivalente (un po controintuitivamente) a se M allora B, e quindi non M o B, e quindi l unica proposizione incompatibile è M e non B : andrò al mare e non c è bel tempo. 3. Cenni di (test di) logica predicativa [a differenza della logica delle proposizioni, la logica dei predicati porta a risultati espressi nella forma di teoremi profondi e complessi: quanto segue è dunque solo preliminare a un discorso di logica dei predicati vero e proprio] Un nuovo problema: PROBLEMA 7 Negare che ogni gatto miagola equivale a dire che: A) c è un gatto che non miagola B) se non miagola non è un gatto C) c è un gatto che miagola 8

9 D) ogni gatto non miagola E) nessun gatto miagola Siamo qui di fronte a una difficoltà, dovuta alla non riducibilità dell affermazione di partenza a una proposizione, a causa del fatto che il problema si gioca sulla presenza dei termini ogni, c è, nessuno,... E questo il primo esempio di un problema per la cui soluzione la logica delle proposizioni con cui abbiamo operato finora non è sufficiente: occorre passare a una logica più generale, e più complessa, chiamata dei predicati. Per lo scopo di affrontare efficacemente test come il PROBLEMA 7, è generalmente sufficiente imparare una versione delle leggi di De Morgan generalizzata alla logica dei predicati. Ripartiamo da: (A B) ( A B) (A e B è falso se e solo se sono falsi A o B; detto altrimenti: A e B è una bugia se e solo A è una bugia, oppure B è una bugia, oppure lo sono entrambi). Ciò è generalizzabile a tre o più proposizioni: (A B C) ( A B C) e quindi: (A 1... A n ) ( A 1... A n ) Supponiamo ora che le n proposizioni A i abbiano tutte la stessa forma: dato un insieme di n individui, l individuo i-esimo ha la proprietà A. Per esempio, A 1 = il gatto 1 miagola ; A 2 = il gatto 2 miagola ;... Allora in particolare (A 1... A n ) e (A 1... A n ) significano tutti i gatti (dell insieme considerato) miagolano, e almeno un gatto miagola, rispettivamente. Per denotare in modo sintetico situazioni di questo genere si introducono il quantificatore universale: x, A(x): per ogni elemento x dell insieme considerato, x ha la proprietà A e il quantificatore esistenziale: x, A(x): esiste almeno un elemento x nell insieme considerato tale che x ha la proprietà A Le leggi di De Morgan generalizzate sono allora: x, A(x) x, A(x) ( non tutti i gatti miagolano è equivalente a esiste un gatto che non miagola, cioè almeno un gatto non miagola ) x, A(x) x, A(x) ( non esiste un gatto che miagola, cioè nessun gatto miagola, è equivalente a tutti i gatti non miagolano ) Tornando allora al problema, l affermazione iniziale, negare che ogni gatto miagola, si scrive x, M(x), e altrettanto facilmente si possono scrivere le asserzioni A)-E): A) c è un gatto che non miagola: x, M(x) B) se non miagola non è un gatto: x, M(x) G(x) C) c è un gatto che miagola: x, M(x) D) ogni gatto non miagola: x, M(x) E) nessun gatto miagola: x, M(x) Applicando le leggi di De Morgan a x, M(x) si ottiene x, M(x). Un problema analogo: PROBLEMA 8 Un grande teorico dei numeri ha scoperto i numeri troppobelli, e, avendo osservato che tutti quelli che ha scoperto sono pari, congettura che esistano solo numeri troppobelli pari. Un suo allievo, studiando con cura questi numeri, afferma che la congettura del maestro è falsa. Dunque l allievo sostiene che: A) c è almeno un numero troppobello dispari B) nessun numero pari è troppobello C) c è almeno un numero pari che non è troppobello D) esiste solo un numero finito di troppobelli pari E) tutti i numeri troppobelli sono dispari 9

10 La congettura è x, T(x) P(x). Poiché si assume che sia falsa: ( x, T(x) P(x)), che per De Morgan è equivalente a x, (T(x) P(x)) e quindi x, ( T(x) P(x)) e ancora per De Morgan x, T(x) P(x). Infine, un problema ancora analogo ma un poco più complesso: PROBLEMA 9 C è una casa con almeno due porte; si consideri l affermazione: Esiste una chiave che apre tutte le porte di casa, ma non la porta della cantina. Indicare quale tra le seguenti frasi costituisce la negazione dell affermazione riportata sopra. A) Per ogni chiave, o esiste una porta che non è quella della cantina che non viene aperta da quella chiave, oppure quella chiave apre la porta della cantina B) Esiste una chiave che apre tutte le porte di casa, compresa quella della cantina C) Esiste una chiave che non apre nessuna porta, se non quella della cantina D) Nessuna chiave apre tutte le porte E) Per ogni chiave, esiste una porta che non è quella della cantina che viene aperta da quella chiave Riscriviamo l affermazione iniziale in forma standard e cercando di semplificarla, in particolare assumendo che oggetto di base del discorso siano implicitamente sempre chiavi: esiste un elemento tale da essere onniaprente e non cantina-aprente. Dunque: x, O(x) C(x). Poiché dobbiamo analizzare la negazione dell affermazione, applichiamo la versione generalizzata della legge di De Morgan: x, A(x) x, A(x). Dunque la negazione dell affermazione precedente è equivalente a x, (O(x) C(x)). Applicando la legge di De Morgan: x, O(x) C(x)). 4. Cenni di (test di) logica in senso lato [non è facile trovare testi di introduzione alla logica in senso lato ; un interessante riferimento al proposito è: G. Polya, Come risolvere i problemi di matematica, Feltrinelli, 1976] Infine, lavoriamo per esempi su alcuni problemi di tipo matematico, o comunque di logica in senso lato, per i quali la procedura introdotta e adottata finora non è generalmente applicabile, e quindi, oltre ad alcune competenze matematiche di base, occorre disporre di un metodo di approccio ai problemi. Cominciamo con un tipico problema continua la successione : PROBLEMA 10 Indicare quale numero prosegue la successione: 7, 20, 46, 98, 202, 410,... A) 826 B) 820 C) 612 D) 814 E) 938 Il problema è dunque: dati i termini x 1 =7, x 2 =20, x 3 =46, x 4 =98, x 5 =202, x 6 =410 di una successione, qual è il valore di x 7? Si vede che x 2 x 1 =13 e x 3 x 2 =26. Potremmo allora formulare l ipotesi che la differenza tra ogni coppia di termini della successione sia un multiplo crescente di 13, cioè che x i+1 x i =13i. In questo caso, sarebbe che x 4 x 3 =39, e quindi x 4 =39+46=85. L ipotesi è errata, dunque. Guardiamo le differenze successive: x 4 x 3 =52; x 5 x 4 =104; x 6 x 5 =208. Ogni differenza è il doppio della precedente. Partendo dai suoi primi due termini: x 1 =7 x 2 =20 la successione è dunque definita dalla regola: x i+1 -x i =2(x i x i 1 ) e quindi, con un po di algebra: x i+1 =3x i 2x i 1 10

11 Perciò x 7 =3x 6 2x 5. Spesso i test chiedono di analizzare la relazione tra due gruppi di individui, come in questo semplicissimo caso: PROBLEMA 11 A una conferenza, 8 persone prendono appunti, 5 hanno un registratore. Con questi dati si può concludere con certezza che il numero totale N degli ascoltatori a quella conferenza è: A) N >= 8 B) N = 13 C) N > 8 D) N < 8 E) N > 13 in cui è sufficiente riconoscere che si considerano due proprietà indipendenti. Più complesso è invece quest altro problema. PROBLEMA 12 Nell harem del sultano Alì Babà i 4/5 delle odalische hanno i capelli neri e i 3/4 hanno gli occhi neri. Si può concludere che: A) almeno 11/20 delle odalische hanno sia capelli sia occhi neri B) 3/5 delle odalische hanno sia capelli sia occhi neri C) al più 11/20 delle odalische hanno sia capelli sia occhi neri D) 4/5 delle odalische hanno sia capelli sia occhi neri E) 3/4 delle odalische hanno sia capelli sia occhi neri Tutte le risposte possibili si riferiscono al problema di determinare la frazione di individui (odalische, in questo caso) che hanno sia la proprietà A (capelli neri) sia la proprietà B (occhi neri), indichiamola f A B, a partire dalle frazioni f A e f B. Se il problema fosse: la frazione f A =4/5 di individui ha la proprietà A e la frazione f B =3/4 di questi ha la proprietà B, allora la frazione f A B sarebbe semplicemente 4/5 x 3/4 = 12/20 = 3/5. Ma le due frazioni sono invece espresse senza relazione l una con l altra. Proviamo ad analizzare il problema generale in questo caso. Date le frazioni f A e f B, la richiesta tipicamente potrebbe riguardare la frazione f A B (come appunto nel nostro problema) ma anche la frazione f A B degli individui che hanno la proprietà A o la proprietà B (chiamiamoli per brevità individui-a e individui-b ). Consideriamo prima di tutto la situazione particolare in cui una delle due frazioni, supponiamo f A, è uguale a 0 o 1. La soluzione è evidentemente: f A B f A B f A=0 0 f B f A=1 f B 1 Per esempio quanto è indicato nella prima riga della tabella, se non ci sono individui-a allora non ci possono essere individui-aeb, mentre la frazione di individui-aob coincide con la frazione di individui-b. Assumiamo ora invece che 0<f A <1 e 0<f B <1, e ipotizziamo per esempio che f A f B. Come si vede anche dalle risposte A)-E), in questo caso si può dover stabilire non solo il valore di f A B (o f A B ), ma anche il suo valore minimo ( almeno..., come nella risposta A)) o il suo valore massimo ( al più, come nella risposta C)). Cominciamo a prendere in considerazione il caso, più semplice, f A B. Il valore massimo di f A B si presenta nel caso in cui c è intersezione minima tra individui-a e individui-b, quindi per f A +f B. D altra parte, occorre garantire che f A B abbia al massimo il valore 1, corrispondente alla situazione in cui tutti gli individui sono individui-a o individui-b, cosa che richiede di calcolare il massimo di f A B come il minimo tra 1 e f A +f B : 11

APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI

APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI Indice 1 Le frazioni algebriche 1.1 Il minimo comune multiplo e il Massimo Comun Divisore fra polinomi........ 1. Le frazioni algebriche....................................

Dettagli

risulta (x) = 1 se x < 0.

risulta (x) = 1 se x < 0. Questo file si pone come obiettivo quello di mostrarvi come lo studio di una funzione reale di una variabile reale, nella cui espressione compare un qualche valore assoluto, possa essere svolto senza necessariamente

Dettagli

f(x) = 1 x. Il dominio di questa funzione è il sottoinsieme proprio di R dato da

f(x) = 1 x. Il dominio di questa funzione è il sottoinsieme proprio di R dato da Data una funzione reale f di variabile reale x, definita su un sottoinsieme proprio D f di R (con questo voglio dire che il dominio di f è un sottoinsieme di R che non coincide con tutto R), ci si chiede

Dettagli

Dall italiano al linguaggio della logica proposizionale

Dall italiano al linguaggio della logica proposizionale Dall italiano al linguaggio della logica proposizionale Dall italiano al linguaggio della logica proposizionale Enunciati atomici e congiunzione In questa lezione e nelle successive, vedremo come fare

Dettagli

Esercizio 1 Dato il gioco ({1, 2, 3}, v) con v funzione caratteristica tale che:

Esercizio 1 Dato il gioco ({1, 2, 3}, v) con v funzione caratteristica tale che: Teoria dei Giochi, Trento, 2004/05 c Fioravante Patrone 1 Teoria dei Giochi Corso di laurea specialistica: Decisioni economiche, impresa e responsabilità sociale, A.A. 2004/05 Soluzioni degli esercizi

Dettagli

Capitolo 2. Operazione di limite

Capitolo 2. Operazione di limite Capitolo 2 Operazione di ite In questo capitolo vogliamo occuparci dell operazione di ite, strumento indispensabile per scoprire molte proprietà delle funzioni. D ora in avanti riguarderemo i domini A

Dettagli

OSSERVAZIONI TEORICHE Lezione n. 4

OSSERVAZIONI TEORICHE Lezione n. 4 OSSERVAZIONI TEORICHE Lezione n. 4 Finalità: Sistematizzare concetti e definizioni. Verificare l apprendimento. Metodo: Lettura delle OSSERVAZIONI e risoluzione della scheda di verifica delle conoscenze

Dettagli

UNA LEZIONE SUI NUMERI PRIMI: NASCE LA RITABELLA

UNA LEZIONE SUI NUMERI PRIMI: NASCE LA RITABELLA UNA LEZIONE SUI NUMERI PRIMI: NASCE LA RITABELLA Tutti gli anni, affrontando l argomento della divisibilità, trovavo utile far lavorare gli alunni sul Crivello di Eratostene. Presentavo ai ragazzi una

Dettagli

Errori più comuni. nelle prove scritte

Errori più comuni. nelle prove scritte Errori più comuni nelle prove scritte Gli errori più frequenti, e reiterati da chi sostiene diverse prove, sono innanzi tutto meta-errori, cioè errori che non riguardano tanto l applicazione delle tecniche,

Dettagli

ALGEBRA DELLE PROPOSIZIONI

ALGEBRA DELLE PROPOSIZIONI Università di Salerno Fondamenti di Informatica Corso di Laurea Ingegneria Corso B Docente: Ing. Giovanni Secondulfo Anno Accademico 2010-2011 ALGEBRA DELLE PROPOSIZIONI Fondamenti di Informatica Algebra

Dettagli

I libri di testo. Carlo Tarsitani

I libri di testo. Carlo Tarsitani I libri di testo Carlo Tarsitani Premessa Per accedere ai contenuti del sapere scientifico, ai vari livelli di istruzione, si usa comunemente anche un libro di testo. A partire dalla scuola primaria, tutti

Dettagli

Dimensione di uno Spazio vettoriale

Dimensione di uno Spazio vettoriale Capitolo 4 Dimensione di uno Spazio vettoriale 4.1 Introduzione Dedichiamo questo capitolo ad un concetto fondamentale in algebra lineare: la dimensione di uno spazio vettoriale. Daremo una definizione

Dettagli

INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI

INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI Prima di riuscire a scrivere un programma, abbiamo bisogno di conoscere un metodo risolutivo, cioè un metodo che a partire dai dati di ingresso fornisce i risultati attesi.

Dettagli

1. PRIME PROPRIETÀ 2

1. PRIME PROPRIETÀ 2 RELAZIONI 1. Prime proprietà Il significato comune del concetto di relazione è facilmente intuibile: due elementi sono in relazione se c è un legame tra loro descritto da una certa proprietà; ad esempio,

Dettagli

Il principio di induzione e i numeri naturali.

Il principio di induzione e i numeri naturali. Il principio di induzione e i numeri naturali. Il principio di induzione è un potente strumento di dimostrazione, al quale si ricorre ogni volta che si debba dimostrare una proprietà in un numero infinito

Dettagli

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

4 3 4 = 4 x 10 2 + 3 x 10 1 + 4 x 10 0 aaa 10 2 10 1 10 0 Rappresentazione dei numeri I numeri che siamo abituati ad utilizzare sono espressi utilizzando il sistema di numerazione decimale, che si chiama così perché utilizza 0 cifre (0,,2,3,4,5,6,7,8,9). Si dice

Dettagli

Matematica generale CTF

Matematica generale CTF Successioni numeriche 19 agosto 2015 Definizione di successione Monotonìa e limitatezza Forme indeterminate Successioni infinitesime Comportamento asintotico Criterio del rapporto per le successioni Definizione

Dettagli

Un test per la selezione?

Un test per la selezione? Un test per la selezione? Oggettivo Rapido Efficiente Efficace Ad un buon punteggio alla prova di ammissione consegue: Votazione più alta agli esami e alla tesi Numero di esami per anno maggiore Tempo

Dettagli

Iniziamo con un esercizio sul massimo comun divisore: Esercizio 1. Sia d = G.C.D.(a, b), allora:

Iniziamo con un esercizio sul massimo comun divisore: Esercizio 1. Sia d = G.C.D.(a, b), allora: Iniziamo con un esercizio sul massimo comun divisore: Esercizio 1. Sia d = G.C.D.(a, b), allora: G.C.D.( a d, b d ) = 1 Sono state introdotte a lezione due definizioni importanti che ricordiamo: Definizione

Dettagli

Predicati e Quantificatori

Predicati 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

Dettagli

Siamo così arrivati all aritmetica modulare, ma anche a individuare alcuni aspetti di come funziona l aritmetica del calcolatore come vedremo.

Siamo così arrivati all aritmetica modulare, ma anche a individuare alcuni aspetti di come funziona l aritmetica del calcolatore come vedremo. DALLE PESATE ALL ARITMETICA FINITA IN BASE 2 Si è trovato, partendo da un problema concreto, che con la base 2, utilizzando alcune potenze della base, operando con solo addizioni, posso ottenere tutti

Dettagli

1 Serie di Taylor di una funzione

1 Serie di Taylor di una funzione Analisi Matematica 2 CORSO DI STUDI IN SMID CORSO DI ANALISI MATEMATICA 2 CAPITOLO 7 SERIE E POLINOMI DI TAYLOR Serie di Taylor di una funzione. Definizione di serie di Taylor Sia f(x) una funzione definita

Dettagli

Alcune nozioni di base di Logica Matematica

Alcune nozioni di base di Logica Matematica Alcune nozioni di base di Logica Matematica Ad uso del corsi di Programmazione I e II Nicola Galesi Dipartimento di Informatica Sapienza Universitá Roma November 1, 2007 Questa é una breve raccolta di

Dettagli

2. Semantica proposizionale classica

2. Semantica proposizionale classica 20 1. LINGUAGGIO E SEMANTICA 2. Semantica proposizionale classica Ritorniamo un passo indietro all insieme dei connettivi proposizionali che abbiamo utilizzato nella definizione degli enunciati di L. L

Dettagli

Un gioco con tre dadi

Un gioco con tre dadi Un gioco con tre dadi Livello scolare: biennio Abilità interessate Costruire lo spazio degli eventi in casi semplici e determinarne la cardinalità. Valutare la probabilità in diversi contesti problematici.

Dettagli

Parte 2. Determinante e matrice inversa

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

Dettagli

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

Proof. Dimostrazione per assurdo. Consideriamo l insieme complementare di P nell insieme G Pareschi Principio di induzione Il Principio di Induzione (che dovreste anche avere incontrato nel Corso di Analisi I) consente di dimostrare Proposizioni il cui enunciato è in funzione di un numero

Dettagli

Test d ipotesi. Statistica e biometria. D. Bertacchi. Test d ipotesi

Test d ipotesi. Statistica e biometria. D. Bertacchi. Test d ipotesi In molte situazioni una raccolta di dati (=esiti di esperimenti aleatori) viene fatta per prendere delle decisioni sulla base di quei dati. Ad esempio sperimentazioni su un nuovo farmaco per decidere se

Dettagli

Algebra booleana. Si dice enunciato una proposizione che può essere soltanto vera o falsa.

Algebra 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

Dettagli

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

SOMMARIO. 13.1 I radicali pag. 3. 13.2 I radicali aritmetici pag. 5. 13.3 Moltiplicazione e divisione fra radicali aritmetici pag. SOMMARIO CAPITOLO : I RADICALI. I radicali pag.. I radicali aritmetici pag.. Moltiplicazione e divisione fra radicali aritmetici pag.. Potenza di un radicale aritmetico pag.. Trasporto di un fattore esterno

Dettagli

(anno accademico 2008-09)

(anno accademico 2008-09) Calcolo relazionale Prof Alberto Belussi Prof. Alberto Belussi (anno accademico 2008-09) Calcolo relazionale E un linguaggio di interrogazione o e dichiarativo: at specifica le proprietà del risultato

Dettagli

LE FUNZIONI A DUE VARIABILI

LE FUNZIONI A DUE VARIABILI Capitolo I LE FUNZIONI A DUE VARIABILI In questo primo capitolo introduciamo alcune definizioni di base delle funzioni reali a due variabili reali. Nel seguito R denoterà l insieme dei numeri reali mentre

Dettagli

Lezioni di Matematica 1 - I modulo

Lezioni di Matematica 1 - I modulo Lezioni di Matematica 1 - I modulo Luciano Battaia 16 ottobre 2008 Luciano Battaia - http://www.batmath.it Matematica 1 - I modulo. Lezione del 16/10/2008 1 / 13 L introduzione dei numeri reali si può

Dettagli

LA MOLTIPLICAZIONE IN CLASSE SECONDA

LA MOLTIPLICAZIONE IN CLASSE SECONDA LA MOLTIPLICAZIONE IN CLASSE SECONDA Rossana Nencini, 2013 Le fasi del lavoro: 1. Proponiamo ai bambini una situazione reale di moltiplicazione: portiamo a scuola una scatola di biscotti (. ) e diamo la

Dettagli

4. Operazioni elementari per righe e colonne

4. Operazioni elementari per righe e colonne 4. Operazioni elementari per righe e colonne Sia K un campo, e sia A una matrice m n a elementi in K. Una operazione elementare per righe sulla matrice A è una operazione di uno dei seguenti tre tipi:

Dettagli

Analisi e diagramma di Pareto

Analisi e diagramma di Pareto Analisi e diagramma di Pareto L'analisi di Pareto è una metodologia statistica utilizzata per individuare i problemi più rilevanti nella situazione in esame e quindi le priorità di intervento. L'obiettivo

Dettagli

Rappresentare i nessi logici con gli insiemi

Rappresentare i nessi logici con gli insiemi Rappresentare i nessi logici con gli insiemi È un operazione molto utile in quesiti come quello nell Esempio 1, in cui gruppi di persone o cose vengono distinti in base a delle loro proprietà. Un elemento

Dettagli

1 Giochi a due, con informazione perfetta e somma zero

1 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

Dettagli

Corso di Laurea in Scienze della Formazione Primaria Università di Genova MATEMATICA Il

Corso di Laurea in Scienze della Formazione Primaria Università di Genova MATEMATICA Il Lezione 5:10 Marzo 2003 SPAZIO E GEOMETRIA VERBALE (a cura di Elisabetta Contardo e Elisabetta Pronsati) Esercitazione su F5.1 P: sarebbe ottimale a livello di scuola dell obbligo, fornire dei concetti

Dettagli

Funzioni funzione dominio codominio legge argomento variabile indipendente variabile dipendente

Funzioni funzione dominio codominio legge argomento variabile indipendente variabile dipendente Funzioni In matematica, una funzione f da X in Y consiste in: 1. un insieme X detto dominio di f 2. un insieme Y detto codominio di f 3. una legge che ad ogni elemento x in X associa uno ed un solo elemento

Dettagli

Appunti di informatica. Lezione 2 anno accademico 2015-2016 Mario Verdicchio

Appunti 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

Dettagli

Capitolo 4 Probabilità

Capitolo 4 Probabilità Levine, Krehbiel, Berenson Statistica II ed. 2006 Apogeo Capitolo 4 Probabilità Insegnamento: Statistica Corso di Laurea Triennale in Economia Facoltà di Economia, Università di Ferrara Docenti: Dott.

Dettagli

Probabilità discreta

Probabilità discreta Probabilità discreta Daniele A. Gewurz 1 Che probabilità c è che succeda...? Una delle applicazioni della combinatoria è nel calcolo di probabilità discrete. Quando abbiamo a che fare con un fenomeno che

Dettagli

Non è un problema! Esperienze in atto per guardare senza timore il problema

Non è un problema! Esperienze in atto per guardare senza timore il problema Non è un problema! Esperienze in atto per guardare senza timore il problema Un po di storia Da sempre vi sono momenti in cui ciascun insegnante fa il punto sul percorso proposto ai suoi alunni e spesso

Dettagli

Politecnico di Milano. Facoltà di Ingegneria Industriale. Corso di Analisi e Geometria 2. Sezione D-G. (Docente: Federico Lastaria).

Politecnico di Milano. Facoltà di Ingegneria Industriale. Corso di Analisi e Geometria 2. Sezione D-G. (Docente: Federico Lastaria). Politecnico di Milano. Facoltà di Ingegneria Industriale. Corso di Analisi e Geometria 2. Sezione D-G. (Docente: Federico Lastaria). Aprile 20 Indice Serie numeriche. Serie convergenti, divergenti, indeterminate.....................

Dettagli

Guida Compilazione Piani di Studio on-line

Guida Compilazione Piani di Studio on-line Guida Compilazione Piani di Studio on-line SIA (Sistemi Informativi d Ateneo) Visualizzazione e presentazione piani di studio ordinamento 509 e 270 Università della Calabria (Unità organizzativa complessa-

Dettagli

Premesse alla statistica

Premesse alla statistica Premesse alla statistica Versione 22.10.08 Premesse alla statistica 1 Insiemi e successioni I dati di origine sperimentale si presentano spesso non come singoli valori, ma come insiemi di valori. Richiamiamo

Dettagli

Per lo svolgimento del corso risulta particolarmente utile considerare l insieme

Per lo svolgimento del corso risulta particolarmente utile considerare l insieme 1. L insieme R. Per lo svolgimento del corso risulta particolarmente utile considerare l insieme R = R {, + }, detto anche retta reale estesa, che si ottiene aggiungendo all insieme dei numeri reali R

Dettagli

Processo di risoluzione di un problema ingegneristico. Processo di risoluzione di un problema ingegneristico

Processo di risoluzione di un problema ingegneristico. Processo di risoluzione di un problema ingegneristico Processo di risoluzione di un problema ingegneristico 1. Capire l essenza del problema. 2. Raccogliere le informazioni disponibili. Alcune potrebbero essere disponibili in un secondo momento. 3. Determinare

Dettagli

Lezione 8. La macchina universale

Lezione 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

Dettagli

TRAGUARDI PER LO SVILUPPO DELLE COMPETENZE AL TERMINE DELLA SCUOLA PRIMARIA

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

Dettagli

Lezione 9: Cambio di base

Lezione 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

Dettagli

Schemi delle Lezioni di Matematica Generale. Pierpaolo Montana

Schemi delle Lezioni di Matematica Generale. Pierpaolo Montana Schemi delle Lezioni di Matematica Generale Pierpaolo Montana Al-giabr wa al-mukabalah di Al Khuwarizmi scritto approssimativamente nel 820 D.C. Manuale arabo da cui deriviamo due nomi: Algebra Algoritmo

Dettagli

LE SUCCESSIONI 1. COS E UNA SUCCESSIONE

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

Dettagli

IDEE PER LO STUDIO DELLA MATEMATICA

IDEE PER LO STUDIO DELLA MATEMATICA IDEE PER LO STUDIO DELLA MATEMATICA A cura del 1 LA MATEMATICA: perché studiarla??? La matematica non è una disciplina fine a se stessa poichè fornisce strumenti importanti e utili in molti settori della

Dettagli

Correttezza. Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 1. Dispensa 10. A. Miola Novembre 2007

Correttezza. Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 1. Dispensa 10. A. Miola Novembre 2007 Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 1 Dispensa 10 Correttezza A. Miola Novembre 2007 http://www.dia.uniroma3.it/~java/fondinf1/ Correttezza 1 Contenuti Introduzione alla correttezza

Dettagli

IGiochidiArchimede-SoluzioniBiennio 22 novembre 2006

IGiochidiArchimede-SoluzioniBiennio 22 novembre 2006 PROGETTO OLIMPII I MTEMTI U.M.I. UNIONE MTEMTI ITLIN SUOL NORMLE SUPERIORE IGiochidirchimede-Soluzioniiennio novembre 006 Griglia delle risposte corrette Problema Risposta corretta E 4 5 6 7 8 9 E 0 Problema

Dettagli

Parte 3. Rango e teorema di Rouché-Capelli

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

Dettagli

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

x u v(p(x, fx) q(u, v)), e poi 0.1. Skolemizzazione. Ogni enunciato F (o insieme di enunciati Γ) è equisoddisfacibile ad un enunciato universale (o insieme di enunciati universali) in un linguaggio estensione del linguaggio di F (di

Dettagli

Statistica. Lezione 6

Statistica. Lezione 6 Università degli Studi del Piemonte Orientale Corso di Laurea in Infermieristica Corso integrato in Scienze della Prevenzione e dei Servizi sanitari Statistica Lezione 6 a.a 011-01 Dott.ssa Daniela Ferrante

Dettagli

Esercizi su. Funzioni

Esercizi su. Funzioni Esercizi su Funzioni ๒ Varie Tracce extra Sul sito del corso ๓ Esercizi funz_max.cc funz_fattoriale.cc ๔ Documentazione Il codice va documentato (commentato) Leggibilità Riduzione degli errori Manutenibilità

Dettagli

Numeri naturali numeri naturali minore maggiore Operazioni con numeri naturali

Numeri naturali numeri naturali minore maggiore Operazioni con numeri naturali 1 Numeri naturali La successione di tutti i numeri del tipo: 0,1, 2, 3, 4,..., n,... forma l'insieme dei numeri naturali, che si indica con il simbolo N. Tale insieme si può disporre in maniera ordinata

Dettagli

Guardiamo ora però la cosa da un altro punto di vista analizzando il seguente grafico a forma di torta. La torta in 5 parti

Guardiamo ora però la cosa da un altro punto di vista analizzando il seguente grafico a forma di torta. La torta in 5 parti L EQUIVALENZA FRA I NUMERI RAZIONALI (cioè le frazioni), I NUMERI DECIMALI (quelli spesso con la virgola) ED I NUMERI PERCENTUALI (quelli col simbolo %). Ora vedremo che ogni frazione (sia propria, che

Dettagli

Il Test d ingresso per la Facoltà à di Scienze. PISA 3 dicembre 2008

Il Test d ingresso per la Facoltà à di Scienze. PISA 3 dicembre 2008 Il Test d ingresso per la Facoltà à di Scienze PISA 3 dicembre 2008 SOMMARIO Il documento ufficiale Esempio di test I punti del documento ufficiale della Conferenza delle Facoltà di Scienze Necessità di

Dettagli

Interesse, sconto, ratei e risconti

Interesse, sconto, ratei e risconti TXT HTM PDF pdf P1 P2 P3 P4 293 Interesse, sconto, ratei e risconti Capitolo 129 129.1 Interesse semplice....................................................... 293 129.1.1 Esercizio per il calcolo dell

Dettagli

Analisi dei Dati 12/13 Esercizi proposti 3 soluzioni

Analisi 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

MATEMATICA DEL DISCRETO elementi di teoria dei grafi. anno acc. 2009/2010

MATEMATICA DEL DISCRETO elementi di teoria dei grafi. anno acc. 2009/2010 elementi di teoria dei grafi anno acc. 2009/2010 Grafi semplici Un grafo semplice G è una coppia ordinata (V(G), L(G)), ove V(G) è un insieme finito e non vuoto di elementi detti vertici o nodi di G, mentre

Dettagli

( x) ( x) 0. Equazioni irrazionali

( x) ( x) 0. Equazioni irrazionali Equazioni irrazionali Definizione: si definisce equazione irrazionale un equazione in cui compaiono uno o più radicali contenenti l incognita. Esempio 7 Ricordiamo quanto visto sulle condizioni di esistenza

Dettagli

Si sa che la via più breve tra due punti è la linea retta. Ma vi siete mai chiesti, Qual è la via più breve tra tre punti? o tra quattro punti?

Si sa che la via più breve tra due punti è la linea retta. Ma vi siete mai chiesti, Qual è la via più breve tra tre punti? o tra quattro punti? Dov'è Moriart? Cerchiamo la via più breve con Mathcad Potete determinare la distanza più breve da tre punti e trovare Moriart? Si sa che la via più breve tra due punti è la linea retta. Ma vi siete mai

Dettagli

(concetto classico di probabilità)

(concetto classico di probabilità) Probabilità matematica (concetto classico di probabilità) Teoria ed esempi Introduzione Il calcolo delle probabilità è la parte della matematica che si occupa di prevedere, sulla base di regole e leggi

Dettagli

Convertitori numerici in Excel

Convertitori numerici in Excel ISTITUTO DI ISTRUZIONE SUPERIORE G. M. ANGIOY CARBONIA Convertitori numerici in Excel Prof. G. Ciaschetti Come attività di laboratorio, vogliamo realizzare dei convertitori numerici con Microsoft Excel

Dettagli

Statistica e biometria. D. Bertacchi. Variabili aleatorie. V.a. discrete e continue. La densità di una v.a. discreta. Esempi.

Statistica e biometria. D. Bertacchi. Variabili aleatorie. V.a. discrete e continue. La densità di una v.a. discreta. Esempi. Iniziamo con definizione (capiremo fra poco la sua utilità): DEFINIZIONE DI VARIABILE ALEATORIA Una variabile aleatoria (in breve v.a.) X è funzione che ha come dominio Ω e come codominio R. In formule:

Dettagli

Vincere a testa o croce

Vincere a testa o croce Vincere a testa o croce Liceo Scientifico Pascal Merano (BZ) Classe 2 Liceo Scientifico Tecnologico Insegnante di riferimento: Maria Elena Zecchinato Ricercatrice: Ester Dalvit Partecipanti: Jacopo Bottonelli,

Dettagli

Polli e conigli. problemi Piano cartesiano. Numeri e algoritmi Sistemi e loro. geometrica. Relazioni e funzioni Linguaggio naturale e

Polli e conigli. problemi Piano cartesiano. Numeri e algoritmi Sistemi e loro. geometrica. Relazioni e funzioni Linguaggio naturale e Polli e conigli Livello scolare: primo biennio Abilità Interessate Calcolo di base - sistemi Risolvere per via grafica e algebrica problemi che si formalizzano con equazioni. Analizzare semplici testi

Dettagli

APPUNTI SU PROBLEMI CON CALCOLO PERCENTUALE

APPUNTI SU PROBLEMI CON CALCOLO PERCENTUALE APPUNTI SU PROBLEMI CON CALCOLO PERCENTUALE 1. Proporzionalità diretta e proporzionalità inversa Analizziamo le seguenti formule Peso Lordo = Peso Netto + Tara Ricavo = Utile + Costo Rata = Importo + Interesse

Dettagli

Teoria dei Giochi. Anna Torre

Teoria dei Giochi. Anna Torre Teoria dei Giochi Anna Torre Almo Collegio Borromeo 26 marzo 2015 email: anna.torre@unipv.it sito web del corso:www-dimat.unipv.it/atorre/borromeo2015.html COOPERAZIONE Esempio: strategie correlate e problema

Dettagli

1. Limite finito di una funzione in un punto

1. Limite finito di una funzione in un punto . Limite finito di una funzione in un punto Consideriamo la funzione: f ( ) = il cui dominio risulta essere R {}, e quindi il valore di f ( ) non è calcolabile in =. Quest affermazione tuttavia non esaurisce

Dettagli

PROBABILITÀ - SCHEDA N. 2 LE VARIABILI ALEATORIE

PROBABILITÀ - SCHEDA N. 2 LE VARIABILI ALEATORIE Matematica e statistica: dai dati ai modelli alle scelte www.dima.unige/pls_statistica Responsabili scientifici M.P. Rogantin e E. Sasso (Dipartimento di Matematica Università di Genova) PROBABILITÀ -

Dettagli

Teoria delle code. Sistemi stazionari: M/M/1 M/M/1/K M/M/S

Teoria delle code. Sistemi stazionari: M/M/1 M/M/1/K M/M/S Teoria delle code Sistemi stazionari: M/M/1 M/M/1/K M/M/S Fabio Giammarinaro 04/03/2008 Sommario INTRODUZIONE... 3 Formule generali di e... 3 Leggi di Little... 3 Cosa cerchiamo... 3 Legame tra N e le

Dettagli

Indice. 1 Il monitoraggio del progetto formativo --------------------------------------------------------------- 3. 2 di 6

Indice. 1 Il monitoraggio del progetto formativo --------------------------------------------------------------- 3. 2 di 6 LEZIONE MONITORARE UN PROGETTO FORMATIVO. UNA TABELLA PROF. NICOLA PAPARELLA Indice 1 Il monitoraggio del progetto formativo --------------------------------------------------------------- 3 2 di 6 1 Il

Dettagli

I CIRCUITI ELETTRICI. Prima di tutto occorre mettersi d accordo anche sui nomi di alcune parti dei circuiti stessi.

I CIRCUITI ELETTRICI. Prima di tutto occorre mettersi d accordo anche sui nomi di alcune parti dei circuiti stessi. I CIRCUITI ELETTRICI Prima di tutto occorre mettersi d accordo anche sui nomi di alcune parti dei circuiti stessi. Definiamo ramo un tratto di circuito senza diramazioni (tratto evidenziato in rosso nella

Dettagli

10. Insiemi non misurabili secondo Lebesgue.

10. Insiemi non misurabili secondo Lebesgue. 10. Insiemi non misurabili secondo Lebesgue. Lo scopo principale di questo capitolo è quello di far vedere che esistono sottoinsiemi di R h che non sono misurabili secondo Lebesgue. La costruzione di insiemi

Dettagli

PROGETTO EM.MA PRESIDIO

PROGETTO EM.MA PRESIDIO PROGETTO EM.MA PRESIDIO di PIACENZA Bentornati Il quadro di riferimento di matematica : INVALSI e TIMSS A CONFRONTO LE PROVE INVALSI Quadro di riferimento per la valutazione Quadro di riferimento per i

Dettagli

Sommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi.

Sommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. Algoritmi 1 Sommario Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. 2 Informatica Nome Informatica=informazione+automatica. Definizione Scienza che si occupa dell

Dettagli

APPUNTI DI MATEMATICA ALGEBRA \ INSIEMISTICA \ TEORIA DEGLI INSIEMI (1)

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

Dettagli

Ancora sugli insiemi. Simbologia

Ancora 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}

Dettagli

Tavola riepilogativa degli insiemi numerici

Tavola 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

Dettagli

Esempi di algoritmi. Lezione III

Esempi di algoritmi. Lezione III Esempi di algoritmi Lezione III Scopo della lezione Implementare da zero algoritmi di media complessità. Verificare la correttezza di un algoritmo eseguendolo a mano. Imparare a valutare le prestazioni

Dettagli

Algebra di Boole ed Elementi di Logica

Algebra di Boole ed Elementi di Logica Algebra di Boole ed Elementi di Logica 53 Cenni all algebra di Boole L algebra di Boole (inventata da G. Boole, britannico, seconda metà 8), o algebra della logica, si basa su operazioni logiche Le operazioni

Dettagli

DA GIOCHI D AUTUNNO 2006 SOLUZIONI E COMMENTI

DA GIOCHI D AUTUNNO 2006 SOLUZIONI E COMMENTI DA GIOCHI D AUTUNNO 2006 SOLUZIONI E COMMENTI 1. GIOCO DI CUBI L altezza della piramide di Luca è 95 cm. = (14 + 13 + 12 + + 7 + 6 + 5) 2. LA PARTENZA Anna saluterà le amiche nel seguente ordine: S-I-G-C

Dettagli

Ricerca Operativa Esercizi sul metodo del simplesso. Luigi De Giovanni, Laura Brentegani

Ricerca Operativa Esercizi sul metodo del simplesso. Luigi De Giovanni, Laura Brentegani Ricerca Operativa Esercizi sul metodo del simplesso Luigi De Giovanni, Laura Brentegani 1 1) Risolvere il seguente problema di programmazione lineare. ma + + 3 s.t. 2 + + 2 + 2 + 3 5 2 + 2 + 6,, 0 Soluzione.

Dettagli

Appunti sulla Macchina di Turing. Macchina di Turing

Appunti sulla Macchina di Turing. Macchina di Turing Macchina di Turing Una macchina di Turing è costituita dai seguenti elementi (vedi fig. 1): a) una unità di memoria, detta memoria esterna, consistente in un nastro illimitato in entrambi i sensi e suddiviso

Dettagli

PROVA INVALSI Scuola Secondaria di I grado Classe Prima

PROVA INVALSI Scuola Secondaria di I grado Classe Prima SNV 2010-2011; SNV 2011-2012; SNV 2012-2013 SPAZIO E FIGURE SNV 2011 10 quesiti su 29 (12 item di cui 6 a risposta aperta) SNV 2012 11 quesiti su 30 (13 item di cui 2 a risposta aperta) SNV 2013 9 quesiti

Dettagli

Trascrizione completa della lezione Lezione 002

Trascrizione completa della lezione Lezione 002 Trascrizione completa della lezione Lezione 002 Adam: Salve, il mio nome e Adam Kirin: E io sono Kirin. Adam: e noi siano contenti che vi siete sintonizzati su ChineseLearnOnline.com dove noi speriamo

Dettagli

Il calcolo letterale per risolvere problemi e per dimostrare

Il calcolo letterale per risolvere problemi e per dimostrare Il calcolo letterale per risolvere problemi e per dimostrare (si prevedono circa 25 ore di lavoro in classe) Nome e cognome dei componenti del gruppo che svolge le attività di gruppo di questa lezione

Dettagli

L insegnamento del Laboratorio di Fisica. Alcune considerazioni didattiche

L insegnamento del Laboratorio di Fisica. Alcune considerazioni didattiche L insegnamento del Laboratorio di Fisica Alcune considerazioni didattiche La Fisica nasce come scienza sperimentale, ma è spesso insegnata in modo soltanto teorico. Senza il supporto del laboratorio, si

Dettagli

2.1 Definizione di applicazione lineare. Siano V e W due spazi vettoriali su R. Un applicazione

2.1 Definizione di applicazione lineare. Siano V e W due spazi vettoriali su R. Un applicazione Capitolo 2 MATRICI Fra tutte le applicazioni su uno spazio vettoriale interessa esaminare quelle che mantengono la struttura di spazio vettoriale e che, per questo, vengono dette lineari La loro importanza

Dettagli

Anno 1. Definizione di Logica e operazioni logiche

Anno 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?

Dettagli

ANALISI DELLE FREQUENZE: IL TEST CHI 2

ANALISI DELLE FREQUENZE: IL TEST CHI 2 ANALISI DELLE FREQUENZE: IL TEST CHI 2 Quando si hanno scale nominali o ordinali, non è possibile calcolare il t, poiché non abbiamo medie, ma solo frequenze. In questi casi, per verificare se un evento

Dettagli