Giocando con le parole: auto-referenza e logica matematica

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Giocando con le parole: auto-referenza e logica matematica"

Transcript

1 Giocando con le parole: auto-referenza e logica matematica Claudio Bernardi (Sapienza, Università di Roma) autoreferente qualcosa che parla di se stesso o che si riferisce a se stesso un'autoreferenza si presenta per esempio quando in un romanzo si racconta della scrittura di un romanzo Otto e mezzo di Fellini Effetto notte è un film sulla realizzazione di un film e dove il regista François Truffaut è anche attore e interpreta il regista nella commedia Sei personaggi in cerca d'autore di Pirandello si costruisce una commedia all'interno di una commedia

2 Spesso, la presenza di aspetti autoreferenti in un'opera conferisce un fascino e una suggestione particolare. Maurits Cornelis Escher, Mani che disegnano (1948)

3 Jan Vermeer, L'arte della pittura, o L'atelier, 1672

4 Iniziamo con un rompicapo di Raphael Robinson (un logico). La frase che segue è corretta. «In questa frase la cifra 0 compare 1 volte, la cifra 1 compare 11 volte, la cifra 2 compare 2 volte, la cifra 3 compare 1 volte, la cifra 4 compare 1 volte, la cifra 5 compare 1 volte, la cifra 6 compare 1 volte, la cifra 7 compare 1 volte, la cifra 8 compare 1 volte, la cifra 9 compare 1 volte» Modificare i numeri scritti in rosso in modo che la frase risulti ancora corretta (c'è un solo modo).

5 In numerazione binaria, abbiamo: «In questa frase la cifra 0 compare 11 volte, la cifra 1 compare 100 volte». (11) 2 = = 3, mentre (100) 2 = = 4 Poniamoci ora il problema della verità o falsità delle frasi. Ogni enunciato o frase di senso compiuto è o vero o falso (anche se noi non siamo sempre in grado di stabilirlo). Il paradosso del mentitore, noto fin dall'antichità Il poeta cretese Epimenide disse: «tutti i cretesi sono bugiardi». Se Epimenide dice la verità allora Epimenide, essendo cretese, è un bugiardo e quindi dice il falso. Ma se mente,...

6 A rigore, se Epimenide mente, se ne deduce solo che non tutti i cretesi mentono: questo non significa che tutti i cretesi dicono la verità, ma che almeno un cretese dice la verità. Quindi, non c'è una contraddizione logica. La conclusione è anzi ragionevole: almeno un cretese dice la verità e il giudizio sommario di Epimenide è errato. Tuttavia, è sconcertante che dall'affermazione di Epimenide segua (logicamente!) che almeno un cretese diceva la verità. Comunque, per ottenere una contraddizione basta considerare la frase «io sto mentendo» Se dico la verità, allora mento; se mento, allora dico la verità! Variante più semplice: «questa frase è falsa».

7 Il paradosso del mentitore è attribuito a Eubulide di Mileto, (IV secolo a.c.) Una variante spiritosa Quanti errori contiene la frase seguente? «cuesta fraze contiene tre errori». Ci sono due errori ortografici, quindi è sbagliato anche il numero degli errori. In conclusione la frase contiene... errori. Ne siamo sicuri? È impossibile dare una risposta coerente alla domanda: la risposta due va corretta in tre, ma la risposta tre va corretta in due.

8 Paradosso di Jourdain «la frase scritta in basso è vera» «la frase scritta in alto è falsa» Se la frase in alto è vera, anche la frase in basso è vera. Ma allora... Se la frase in alto è falsa,... Esiste una frase vera, tale che anche la sua negazione sia vera? «Questa frase contiene cinque parole» «Questa frase non contiene cinque parole»

9 (paradosso non troppo diverso dal paradosso di Russell) uno scrittore vuole scrivere la biografia di tutti gli scrittori che non hanno scritto (né stanno scrivendo) la loro autobiografia Si potrebbe pensare che, escludendo frasi e situazioni autoreferenti, superiamo tutti i paradossi. Tuttavia l'autoreferenza viene correntemente accettata. Io parlo un italiano perfetto. Questa è una lettera di protesta Come si modifica la Costituzione Italiana? E' stato inserito nella Costituzione un articolo specifico (il n. 138) che precisa come procedere. Si sarebbe potuta fare una legge costituzionale a parte? Forse sì, ma per spiegare la procedura per modificare questa legge... era necessaria un'altra legge. E per modificare quest'ultima...

10 Esempi in cui una frase descrive la frase stessa (le frasi che vedremo sono vere e dunque sensate) «Questa frase contiene trentasette lettere» «Questa frase comprende trentasei lettere» «Questa frase contiene esattamente quarantotto lettere» «Questa frase contiene esattamente quarantanove lettere» «This sentence has thirtythree letters» «Questa frase contiene ventiquattro vocali e trenta consonanti» «Questa frase contiene dieci parole, ventisette sillabe e sessantasei lettere»

11 Più difficile è costruire una coppia di frasi, ciascuna delle quali parla dell'altra. Un esempio (Roberta Bindi): «La frase seguente contiene novanta consonanti e novanta vocali.» «La frase precedente contiene una parola di una lettera, una parola di due lettere, una parola di cinque lettere, una parola di sei lettere, due parole di sette lettere, due parole di otto lettere, una parola di dieci lettere.»

12 Un esempio divertente di Scott Kim e Douglas Hofstadter «La frase seguente è sostanzialmente diversa da questa, dato che sono state scambiate le parole "seguente" e "precedente", così come le parole "tranne" e "dato" e le espressioni "identica a" e "diversa da".» «La frase precedente è sostanzialmente identica a questa, tranne che sono state scambiate le parole "precedente" e "seguente", così come le parole "dato" e "tranne" e le espressioni "diversa da" e "identica a".»

13 frasi che si autoriproducono Il risultato di sostituire «3» in «x è pari» è: 3 è pari. Che cosa si trova partendo dalla frase che segue? Il risultato di sostituire «Il risultato di sostituire «x» in «x»» in «Il risultato di sostituire «x» in «x»». Problema non banale in ambito informatico: scrivere un programma che stampa se stesso Ma l'autoreferenza non è solo un gioco!

14 autoreferenza e logica matematica In una teoria matematica (assiomatica) per i numeri naturali (cioè 0, 1, 2, 3,...) si dimostrano teoremi; per esempio: - la somma di un numero con il suo quadrato è sempre pari - esistono infiniti numeri primi - ogni numero è la somma di quattro quadrati L'ultimo enunciato non è affatto banale; non è vero che ogni numero si può esprimere come somma di tre quadrati (per es. 6 = , ma 15 =?) Ci sono anche enunciati dei quali non si sa se sono corretti o sbagliati, come: - ogni numero pari maggiore di 2 si può esprimere come somma di due primi

15 Come ci convinciamo che «la somma di un numero con il suo quadrato è pari»? controllo diretto: è il metodo più spontaneo, ma sarebbero necessarie infinite verifiche; un procedimento concettualmente diverso consiste nel dimostrare quell'enunciato n + n 2 = n(n + 1) fra i due numeri n e n + 1 uno è pari, e quindi anche il prodotto è pari Una differenza fondamentale: - enunciato vero esprime una proprietà di cui godono i numeri naturali (ma, in genere, non siamo in grado di eseguire un controllo) - teorema è un enunciato che si dimostra nella teoria (e ogni dimostrazione ha lunghezza finita)

16 Se dimostriamo un enunciato, allora sappiamo che è vero, cioè che vale per tutti i numeri naturali. I teorema di Gödel. In una teoria non contraddittoria per i numeri naturali, esiste un enunciato G che è vero per i numeri naturali, ma che non si riesce a dimostrare. Cenno della dimostrazione. Si codificano gli enunciati con i numeri, cioè si associa un numero a ogni enunciato. La cosa più interessante è che proprietà di un enunciato (per esempio, il fatto che sia un teorema) si traducono in proprietà del numero associato a quell'enunciato. In particolare, esiste una formula della teoria Theor (x) x è il numero associato a un teorema In questo modo, la teoria permette costruzioni autoreferenti.

17 Per la dimostrazione del I teorema di Gödel si riprende l'idea del paradosso del mentitore nella forma «io sto mentendo». Si riesce a costruire una formula G tale che è un teorema G Theor (G) Se G fosse un teorema, allora sarebbero teoremi Theor (G) perché equivale a G), Theor (G) perché Theor (G) esprime che G è un teorema Se G fosse un teorema, allora sarebbe un teorema anche Theor (G) e quindi sarebbe un teorema anche G. In entrambi i casi, fra i teoremi troveremmo un enunciato e la sua negazione (ma allora la teoria sarebbe contraddittoria). In conclusione: G non è un teorema e G non è un teorema.

18 I giochi logici sono cose serie? I paradossi sono cose serie? Di fronte a un paradosso, la reazione di un matematico è il tentativo di "far tornare le cose", per chiarire se c'è un errore. Ma capire un paradosso non significa solo superarlo: la cosa più importante è approfondire quel ragionamento, senza paura. È molto probabile che si possa riprodurre quel ragionamento in altri contesti, con risultati interessanti.

19 Il paradosso di Yablo. Nell'isola dei furfanti e cavalieri incontriamo infinite persone: a 0, a 1, a 2,... Ciascuno di loro afferma che «tutti quelli che hanno un indice maggiore del mio sono furfanti». Quali sono cavalieri? La situazione porta ad una contraddizione, nel senso che non riusciamo a trovare una soluzione del problema. Infatti, se a 0 è un cavaliere, tutti gli altri sono furfanti; ma, in tal caso, l affermazione di a 1 risulterebbe vera. Se a 0 è un furfante, uno degli altri dovrebbe essere un cavaliere, e la situazione si ripropone come prima. C'è un'analogia con il paradosso del mentitore, ma in questo caso nessuna affermazione si riferisce a sé stessa.

PILLOLE 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. 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

Dettagli

La Logica Proposizionale. (Algebra di Boole)

La Logica Proposizionale. (Algebra di Boole) 1 ISTITUTO DI ISTRUZIONE SUPERIORE ANGIOY La Logica Proposizionale (Algebra di Boole) Prof. G. Ciaschetti 1. Cenni storici Sin dagli antichi greci, la logica è intesa come lo studio del logos, che in greco

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

LABORATORIO GIOCHI MATEMATICI ANNO SCOLASTICO 2010/2011 PRIMO QUADRIMESTRE

LABORATORIO GIOCHI MATEMATICI ANNO SCOLASTICO 2010/2011 PRIMO QUADRIMESTRE LABORATORIO GIOCHI MATEMATICI ANNO SCOLASTICO 2010/2011 PRIMO QUADRIMESTRE Le immagini contenute in questa presentazione sono estratte da pagine web, se qualcuno dovesse trovare immagini coperte da copyright,

Dettagli

Dispense di Filosofia del Linguaggio

Dispense di Filosofia del Linguaggio Dispense di Filosofia del Linguaggio Vittorio Morato II settimana Gottlob Frege (1848 1925), un matematico e filosofo tedesco, è unanimemente considerato come il padre della filosofia del linguaggio contemporanea.

Dettagli

Fondamenti di Informatica. Cenni di Algebra di Boole. Prof. Franco Zambonelli Gennaio 2011

Fondamenti di Informatica. Cenni di Algebra di Boole. Prof. Franco Zambonelli Gennaio 2011 Fondamenti di Informatica Cenni di Algebra di Boole Prof. Franco Zambonelli Gennaio 2011 Letture Consigliate: Roger Penrose, La Mente Nuova dell Imperatore, Sansoni Editrice. Martin Davis, Il Calcolatore

Dettagli

6.1 La metafisica della Credenza e del Pensiero: il Resoconto Positivo

6.1 La metafisica della Credenza e del Pensiero: il Resoconto Positivo EpiLog 16 XII 2013 Marco Volpe Sainsbury &Tye, Seven Puzzles of Thought Cap. VI The Methaphysics of Thought La concezione ortodossa riguardo il pensiero è che pensare che p significa essere in un appropriato

Dettagli

L infinito nell aritmetica. Edward Nelson Dipartimento di matematica Università di Princeton

L infinito nell aritmetica. Edward Nelson Dipartimento di matematica Università di Princeton L infinito nell aritmetica Edward Nelson Dipartimento di matematica Università di Princeton Poi lo condusse fuori e gli disse: . E soggiunse:

Dettagli

Precorsi: 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 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,

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

LA MONTAGNA. Prima parte

LA MONTAGNA. Prima parte LA MONTAGNA Prima parte 1 In letteratura scientifica esistono vari modelli per spiegare i processi neuropsicologici coinvolti dal calcolo, tra i quali quelli molto diffusi di Mc Kloskey, di Campbell, e

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

Algebra e Logica Matematica. Calcolo delle proposizioni Logica del primo ordine

Algebra 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

Dettagli

Implicazione logica. p q p q falsa falsa vera falsa vera vera vera falsa falsa vera vera vera

Implicazione logica. p q p q falsa falsa vera falsa vera vera vera falsa falsa vera vera vera Implicazione logica L implicazione logica è un connettivo logico attraverso il quale, a partire da due proposizioni p e q, si forma una nuova proposizione,chiamata p implica q e si scrive p q, la quale

Dettagli

Dispense del corso di Logica a.a. 2015/16: Problemi di primo livello. V. M. Abrusci

Dispense del corso di Logica a.a. 2015/16: Problemi di primo livello. V. M. Abrusci Dispense del corso di Logica a.a. 2015/16: Problemi di primo livello V. M. Abrusci 12 ottobre 2015 0.1 Problemi logici basilari sulle classi Le classi sono uno dei temi della logica. Esponiamo in questa

Dettagli

LOGICA E LINGUAGGIO. Caserta, 21 febbraio 2011. Dott. Michele Bovenzi

LOGICA E LINGUAGGIO. Caserta, 21 febbraio 2011. Dott. Michele Bovenzi LOGICA E LINGUAGGIO Caserta, 2 febbraio 2 Dott. Michele Bovenzi Una breve introduzione La logica nasce nell antichità come disciplina che studia i principi e le regole del ragionamento, ne valuta la correttezza

Dettagli

Logica dei predicati

Logica dei predicati IV Logica dei predicati 14. FORMULE PREDICATIVE E QUANTIFICATORI 14.1. Dalla segnatura alle formule predicative Il simbolo (x).ϕ(x) [per ogni x, ϕ(x) è vera] denota una proposizione definita, e non c è

Dettagli

Il primo teorema di incompletezza di Gödel

Il primo teorema di incompletezza di Gödel Il primo teorema di incompletezza di Gödel Stefano Nasini Dept. of Statistics and Operations Research Universitat Politécnica de Catalunya 1. Introduzione Questo documento vuole essere una spiegazione

Dettagli

Fondamenti di Informatica. Computabilità e Macchine di Turing. Prof. Franco Zambonelli Gennaio 2011

Fondamenti di Informatica. Computabilità e Macchine di Turing. Prof. Franco Zambonelli Gennaio 2011 Fondamenti di Informatica Computabilità e Macchine di Turing Prof. Franco Zambonelli Gennaio 2011 Letture Consigliate: Roger Penrose, La Mente Nuova dell Imperatore, Sansoni Editrice. Martin Davis, Il

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

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

Componenti di un sistema KNOWLEDGE-BASED

Componenti di un sistema KNOWLEDGE-BASED Componenti di un sistema KNOWLEDGE-BASED DYNAMIC DATABASE PROBLEM FORMALIZATION CONTROL STRATEGY IL DATABASE DESCRIVE LA SITUAZIONE CORRENTE NELLA DETERMINAZIONE DELLA SOLUZIONE AL PROBLEMA. LA FORMALIZZAZIONE

Dettagli

LA ROSA DEI SETTE DESIDERI

LA ROSA DEI SETTE DESIDERI Carlo Scataglini LA ROSA DEI SETTE DESIDERI Il mio quaderno degli esercizi SERIE BLU Prime letture: fino a 1000 parole Erickson Indice 7 Introduzione 11 PRIMA SEZIONE Ecco i personaggi della storia 15

Dettagli

INTRODUZIONE AI CICLI

INTRODUZIONE AI CICLI www.previsioniborsa.net INTRODUZIONE AI CICLI _COSA SONO E A COSA SERVONO I CICLI DI BORSA. Partiamo dalla definizione di ciclo economico visto l argomento che andremo a trattare. Che cos è un ciclo economico?

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

FINESTRE INTERCULTURALI

FINESTRE INTERCULTURALI Scuola Classe 1C FINESTRE INTERCULTURALI DIARIO DI BORDO 2013 / 2014 IC Gandhi - Secondaria di primo grado Paolo Uccello Insegnante / materia Anelia Cassai/lettere Data Febbraio Durata 4h TITOLO DELLA

Dettagli

un nastro di carta prolungabile a piacere e suddiviso in celle vuote o contenenti al più un unico carattere;

un nastro di carta prolungabile a piacere e suddiviso in celle vuote o contenenti al più un unico carattere; Algoritmi 3 3.5 Capacità di calcolo Il matematico inglese Alan Turing (1912-1954) descrisse nel 1936 un tipo di automi, oggi detti macchine di Turing, e fornì una della prime definizioni rigorose di esecuzione

Dettagli

I FONDAMENTI DELLA MATEMATICA

I FONDAMENTI DELLA MATEMATICA I FONDAMENTI DELLA MATEMATICA Concettina Gaccetta 1 Sunto: La scoperta delle geometrie non euclidee ha dimostrato la possibilità di formulare più teorie ugualmente coerenti, riferite agli stessi enti matematici.

Dettagli

ALGEBRA I: CARDINALITÀ DI INSIEMI

ALGEBRA 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

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

FINESTRE INTERCULTURALI

FINESTRE INTERCULTURALI Scuola Classe 1C FINESTRE INTERCULTURALI DIARIO DI BORDO 2013 / 2014 IC Gandhi - Secondaria di primo grado Paolo Uccello Insegnante / materia lettere Data Febbraio Durata 4h TITOLO DELLA FINESTRA INTERCULTURALE

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

ROMANZO «DI» O «CON» IMMAGINI?

ROMANZO «DI» O «CON» IMMAGINI? ROMANZO «DI» O «CON» IMMAGINI? Lui. Tempo fa ho scritto un libro tutto parole niente immagini. Lei. Bravo. Ma non mi sembra una grande impresa. Lui. Adesso vedrai: ho appena finito un libro tutto immagini

Dettagli

I SISTEMI DI NUMERAZIONE

I SISTEMI DI NUMERAZIONE ISTITUTO DI ISTRUZIONE SUPERIORE G. M. ANGIOY CARBONIA I SISTEMI DI NUMERAZIONE Prof. G. Ciaschetti Fin dall antichità, l uomo ha avuto il bisogno di rappresentare le quantità in modo simbolico. Sono nati

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

Alcune nozioni preliminari di teoria elementare di insiemi e funzioni

Alcune 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

Dettagli

GRAMMATICA. Con l aiuto del professore, completa questa tabella per capire dove sei migliorato e in che cosa devi ancora esercitarti.

GRAMMATICA. Con l aiuto del professore, completa questa tabella per capire dove sei migliorato e in che cosa devi ancora esercitarti. Come sto andando in... analisi grammaticale Con l aiuto del professore, completa questa tabella per capire dove sei migliorato e in che cosa devi ancora esercitarti. NON HO FATTO ERRORI IN... ARTICOLO

Dettagli

INTERVISTA LICIA TROISI ASTROFISICA CON UNA MARCIA IN PIÙ

INTERVISTA LICIA TROISI ASTROFISICA CON UNA MARCIA IN PIÙ INTERVISTA LICIA TROISI ASTROFISICA CON UNA MARCIA IN PIÙ Licia Troisi ASTROFISICA CON UNA MARCIA IN PIÙ Licia Troisi, di professione astrofisica, è senza dubbio l autrice fantasy italiana più amata. All

Dettagli

Corso di Matematica e Statistica 4 Calcolo combinatorio e probabilità. Le disposizioni semplici di n elementi di classe k

Corso di Matematica e Statistica 4 Calcolo combinatorio e probabilità. Le disposizioni semplici di n elementi di classe k Pordenone Corso di Matematica e Statistica 4 Calcolo combinatorio e probabilità UNIVERSITAS STUDIORUM UTINENSIS Giorgio T. Bagni Facoltà di Scienze della Formazione Dipartimento di Matematica e Informatica

Dettagli

Tabella 7. Dado truccato

Tabella 7. Dado truccato 0 ALBERTO SARACCO 4. Compiti a casa 7novembre 200 4.. Ordini di grandezza e calcolo approssimato. Esercizio 4.. Una valigia misura 5cm di larghezza, 70cm di lunghezza e 45cm di altezza. Quante palline

Dettagli

La probabilità frequentista e la legge dei grandi numeri

La probabilità frequentista e la legge dei grandi numeri La probabilità frequentista e la legge dei grandi numeri La definizione di probabilità che abbiamo finora considerato è anche nota come probabilità a priori poiché permette di prevedere l'esito di un evento

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

IGiochidiArchimede--Soluzionitriennio

IGiochidiArchimede--Soluzionitriennio PROGETTO OLIMPIADI DI MATEMATICA U.M.I. UNIONE MATEMATICA ITALIANA MINISTERO DELLA PUBBLICA ISTRUZIONE SCUOLA NORMALE SUPERIORE IGiochidiArchimede--Soluzionitriennio 18 novembre 2009 Griglia delle risposte

Dettagli

Learning News Giugno 2012, anno VI - N. 6

Learning News Giugno 2012, anno VI - N. 6 Learning News Giugno 2012, anno VI - N. 6 A che ruolo giochiamo? Il teatro al servizio della formazione di Francesco Marino Una premessa: di che cosa parliamo quando parliamo di Parleremo di teatro (che

Dettagli

_COSA SONO E A COSA SERVONO I CICLI DI BORSA.

_COSA SONO E A COSA SERVONO I CICLI DI BORSA. CAPITOLO 1 VUOI IMPARARE AD OPERARE IN BORSA CON IL METODO CICLICO? VISITA IL LINK: http://www.fsbusiness.net/metodo-ciclico/index.htm _COSA SONO E A COSA SERVONO I CICLI DI BORSA. Partiamo dalla definizione

Dettagli

Codici Numerici. Modifica dell'informazione. Rappresentazione dei numeri.

Codici Numerici. Modifica dell'informazione. Rappresentazione dei numeri. Codici Numerici. Modifica dell'informazione. Rappresentazione dei numeri. A partire da questa lezione, ci occuperemo di come si riescono a codificare con sequenze binarie, quindi con sequenze di 0 e 1,

Dettagli

Statistica 1. Esercitazioni. Dott. Luigi Augugliaro 1. Università di Palermo

Statistica 1. Esercitazioni. Dott. Luigi Augugliaro 1. Università di Palermo Statistica 1 Esercitazioni Dott. 1 1 Dipartimento di Scienze Statistiche e Matematiche S. Vianelli, Università di Palermo ricevimento: lunedì ore 15-17 mercoledì ore 15-17 e-mail: luigi.augugliaro@unipa.it

Dettagli

Gruppo per la Collaborazione tra Scuola e Famiglie GENITORI RAPPRESENTANTI NELLA SCUOLA Incontri formativi novembre 2013

Gruppo per la Collaborazione tra Scuola e Famiglie GENITORI RAPPRESENTANTI NELLA SCUOLA Incontri formativi novembre 2013 Gruppo per la Collaborazione tra Scuola e Famiglie GENITORI RAPPRESENTANTI NELLA SCUOLA Incontri formativi novembre 2013 Breve saluto con tre slides. Chi siamo: fondamentalmente siamo genitori per genitori

Dettagli

1. Calcolare la probabilità che estratte a caso ed assieme tre carte da un mazzo di 40, fra di esse vi sia un solo asso, di qualunque seme.

1. Calcolare la probabilità che estratte a caso ed assieme tre carte da un mazzo di 40, fra di esse vi sia un solo asso, di qualunque seme. Esercizi difficili sul calcolo delle probabilità. Calcolare la probabilità che estratte a caso ed assieme tre carte da un mazzo di, fra di esse vi sia un solo asso, di qualunque seme. Le parole a caso

Dettagli

LIBO' L'ITALIANO ALLA RADIO

LIBO' L'ITALIANO ALLA RADIO LIBO' L'ITALIANO ALLA RADIO ESERCIZI PUNTATA N. 3 LA SCUOLA CORSI DI ITALIANO PER STRANIERI A cura di Marta Alaimo Voli Società Cooperativa - 2011 DIALOGO PRINCIPALE A- Buongiorno. B- Buongiorno, sono

Dettagli

11010010 = 1*2^7 + 1*2^6 + 0*2^5 + 1*2^4 + 0*2^3 + 0*2^2 + 1*2^1 + 0*2^0 = 210

11010010 = 1*2^7 + 1*2^6 + 0*2^5 + 1*2^4 + 0*2^3 + 0*2^2 + 1*2^1 + 0*2^0 = 210 Il sistema BINARIO e quello ESADECIMALE. Il sistema di numerazione binario è particolarmente legato ai calcolatori in quanto essi possono riconoscere solo segnali aventi due valori: uno alto e uno basso;

Dettagli

Fondamenti di Informatica 2. Le operazioni binarie

Fondamenti di Informatica 2. Le operazioni binarie Corso di per il corso di Laurea di Ingegneria Gestionale Le operazioni binarie Università degli Studi di Udine - A.A. 2010-2011 Docente Ing. Sandro Di Giusto Ph.D. 1 L'algebra binaria Il fatto di aver

Dettagli

Ascrizioni di credenza

Ascrizioni di credenza Ascrizioni di credenza Ascrizioni di credenza Introduzione Sandro Zucchi 2014-15 Le ascrizioni di credenza sono asserzioni del tipo in (1): Da un punto di vista filosofico, i problemi che pongono asserzioni

Dettagli

APPUNTI DI MATEMATICA LE DISEQUAZIONI NON LINEARI

APPUNTI DI MATEMATICA LE DISEQUAZIONI NON LINEARI APPUNTI DI MATEMATICA LE DISEQUAZIONI NON LINEARI Le disequazioni fratte Le disequazioni di secondo grado I sistemi di disequazioni Alessandro Bocconi Indice 1 Le disequazioni non lineari 2 1.1 Introduzione.........................................

Dettagli

Progetto costo I. O. I.A. A 5 9 4 B 8 15 9 C 4 3 3 D 9 7 1

Progetto costo I. O. I.A. A 5 9 4 B 8 15 9 C 4 3 3 D 9 7 1 Tecniche di Valutazione Economica Processo di aiuto alla decisione lezione 13.04.2005 Modello di valutazione Dobbiamo riuscire a mettere insieme valutazioni che sono espresse con dimensioni diverse. Abbiamo

Dettagli

N. 4 I ludi geometrici di Leonardo da Vinci Un gioco per avvicinarsi al concetto di area franco ghione, daniele pasquazi

N. 4 I ludi geometrici di Leonardo da Vinci Un gioco per avvicinarsi al concetto di area franco ghione, daniele pasquazi N. 4 I ludi geometrici di Leonardo da Vinci Un gioco per avvicinarsi al concetto di area franco ghione, daniele pasquazi Tra i molteplici interessi scientifici di Leonardo non dobbiamo dimenticare la matematica.

Dettagli

Kangourou Italia Gara del 20 marzo 2014 Categoria Junior Per studenti di seconda e terza della secondaria di secondo grado

Kangourou Italia Gara del 20 marzo 2014 Categoria Junior Per studenti di seconda e terza della secondaria di secondo grado Kangourou Italia Gara del 20 marzo 2014 Categoria Junior Per studenti di seconda e terza della secondaria di secondo grado I quesiti dal N. 1 al N. 10 valgono 3 punti ciascuno 1. Una grande nave cargo

Dettagli

Semantica operazionale dei linguaggi di Programmazione

Semantica operazionale dei linguaggi di Programmazione Semantica operazionale dei linguaggi di Programmazione Oggetti sintattici e oggetti semantici Rosario Culmone, Luca Tesei Lucidi tratti dalla dispensa Elementi di Semantica Operazionale R. Barbuti, P.

Dettagli

1. LA MOTIVAZIONE. Imparare è una necessità umana

1. LA MOTIVAZIONE. Imparare è una necessità umana 1. LA MOTIVAZIONE Imparare è una necessità umana La parola studiare spesso ha un retrogusto amaro e richiama alla memoria lunghe ore passate a ripassare i vocaboli di latino o a fare dei calcoli dei quali

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

Obiettivo Principale: Spiegare come la stessa cosa possa essere realizzata in molti modi diversi e come, a volte, ci siano modi migliori di altri.

Obiettivo Principale: Spiegare come la stessa cosa possa essere realizzata in molti modi diversi e come, a volte, ci siano modi migliori di altri. 6 LEZIONE: Algoritmi Tempo della lezione: 45-60 Minuti. Tempo di preparazione: 10-25 Minuti (a seconda che tu abbia dei Tangram disponibili o debba tagliarli a mano) Obiettivo Principale: Spiegare come

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

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

MANDALA PER BAMBINI COLORARE INCOLLARE DISEGNARE SCIENZA E NATURA

MANDALA PER BAMBINI COLORARE INCOLLARE DISEGNARE SCIENZA E NATURA MANDALA PER BAMBINI COLORARE INCOLLARE DISEGNARE SCIENZA E NATURA PROGETTO MANDALA PER BAMBINI CONOSCERSI, GIOCANDO CON IL MANDALA E possibile imparare la geometria, le scienze, un metodo di studio e rappresentare

Dettagli

LA TRADER'S TRICK. Lo scopo della entrata Trader s Trick (TTE) è di permetterci di iniziare un trade prima dell entrata di altri trader.

LA TRADER'S TRICK. Lo scopo della entrata Trader s Trick (TTE) è di permetterci di iniziare un trade prima dell entrata di altri trader. LA TRADER'S TRICK Lo scopo della entrata Trader s Trick (TTE) è di permetterci di iniziare un trade prima dell entrata di altri trader. Siamo realistici. Il trading è un business in cui chi ha più conoscenza

Dettagli

I PROBLEMI ALGEBRICI

I PROBLEMI ALGEBRICI I PROBLEMI ALGEBRICI La risoluzione di problemi è una delle attività fondamentali della matematica. Una grande quantità di problemi è risolubile mediante un modello algebrico costituito da equazioni e

Dettagli

Il mistero dei muoni: perché arrivano sulla terra e cosa c entra la relatività del tempo e dello spazio?

Il mistero dei muoni: perché arrivano sulla terra e cosa c entra la relatività del tempo e dello spazio? Il mistero dei muoni: perché arrivano sulla terra e cosa c entra la relatività del tempo e dello spazio? Carlo Cosmelli, Dipartimento di Fisica, Sapienza Università di Roma Abbiamo un problema, un grosso

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

CHIAVI DEGLI ESERCIZI

CHIAVI DEGLI ESERCIZI Lycée Blaise-Cendrars/ sr + cr Febbraio 2012 Unità 1 : 1. Completa con il verbo essere. 2. sono 3. Siamo 4. Siete 5. Sei 6. Sono CHIAVI DEGLI ESERCIZI 2. Metti le frasi dell esercizio 1 alla forma negativa.

Dettagli

ci sono più problemi che programmi esiste un problema che non si può risolvere con un programma

ci sono più problemi che programmi esiste un problema che non si può risolvere con un programma Calcolabilità problemi facili trovare la media di due numeri stampare le linee di un file che contengono una parola problemi difficili trovare il circuito minimo data una tabella determinare la migliore

Dettagli

Dall italiano alla logica proposizionale

Dall italiano alla logica proposizionale Rappresentare l italiano in LP Dall italiano alla logica proposizionale Sandro Zucchi 2009-10 In questa lezione, vediamo come fare uso del linguaggio LP per rappresentare frasi dell italiano. Questo ci

Dettagli

Laboratorio di Informatica

Laboratorio di Informatica per chimica industriale e chimica applicata e ambientale LEZIONE 2 Rappresentazione delle informazioni: numeri e caratteri 1 Codice La relazione che associa ad ogni successione ben formata di simboli di

Dettagli

Risoluzione. Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005

Risoluzione. Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005 Risoluzione Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005 1 Risoluzione Introdurremo ora un metodo per capire se un insieme di formule è soddisfacibile o meno. Lo vedremo prima per insiemi

Dettagli

Quanti cubetti ha utilizzato in tutto Sofia per costruire la sua doppia scala?

Quanti cubetti ha utilizzato in tutto Sofia per costruire la sua doppia scala? 10 RALLY MATEMATICO TRANSALPINO - PROVA I - gennaio-febbraio 2002 /ARMT/2002 p. 1 7. Doppia scala (Cat. 4, 5, 6) /ARMT/2002-10 - I prova Sofia ha costruito una doppia scala regolare di 1 metro di altezza

Dettagli

LEZIONE 3 DIRE, FARE, PARTIRE! ESERCIZI DI ITALIANO PER BRASILIANI

LEZIONE 3 DIRE, FARE, PARTIRE! ESERCIZI DI ITALIANO PER BRASILIANI Nella lezione scorsa, Gabriella Stellutti ci ha parlato delle difficoltà di uno studente brasiliano, dal punto di vista dell apprendente. In questa lezione abbiamo ricevuto la Prof.ssa Roberta Ferroni

Dettagli

Seconda parte Trovami

Seconda parte Trovami Seconda parte Trovami Dal diario di Mose Astori, pagina 1 Dovrei iniziare questo diario inserendo la data in cui sto scrivendo, e poi fare lo stesso per ogni capitolo successivo, in modo da annotare il

Dettagli

Lezione 3 - Probabilità totale, Bayes -Alberi PROBABILITÀ TOTALE TEOREMA DI BAYES ALBERI E GRAFI

Lezione 3 - Probabilità totale, Bayes -Alberi PROBABILITÀ TOTALE TEOREMA DI BAYES ALBERI E GRAFI Lezione 3 - robabilità totale, ayes -lberi ROILITÀ TOTLE TEOREM DI YES LERI E GRFI GRUO MT06 Dip. Matematica, Università di Milano - robabilità e Statistica per le Scuole Medie -SILSIS - 2007 Lezione 3

Dettagli

Indecidibilità, indefinibilità e incompletezza. 1

Indecidibilità, indefinibilità e incompletezza. 1 Indecidibilità, indefinibilità e incompletezza. 1 Possiamo ora trattare unitariamente alcuni dei principali risultati negativi della logica: il teorema di Church sull'indecidibilità della logica, il teorema

Dettagli

Tutti i giovedì lavoro al computer e vado in palestra. 1. Qualche giovedì non lavoro al computer e non vado in palestra.

Tutti i giovedì lavoro al computer e vado in palestra. 1. Qualche giovedì non lavoro al computer e non vado in palestra. Test Logica Domanda 1 Sapendo che la seguente frase Tutti i giovedì lavoro al computer e vado in palestra è falsa, se ne deduce necessariamente che: 1. Qualche giovedì non lavoro al computer e non vado

Dettagli

Variabili logiche e circuiti combinatori

Variabili logiche e circuiti combinatori Variabili logiche e circuiti combinatori Si definisce variabile logica binaria una variabile che può assumere solo due valori a cui si fa corrispondere, convenzionalmente, lo stato logico 0 e lo stato

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

*** SASHA per SEMPRE ***

*** SASHA per SEMPRE *** *** SASHA per SEMPRE *** Siamo una coppia di portoghesi che abita in Italia da più di 10 anni. Abbiamo un figlio piccolo e nel 2010 abbiamo deciso di avventurarci in un progetto di solidarietà e di Amore:

Dettagli

IGiochidiArchimede--Soluzionibiennio

IGiochidiArchimede--Soluzionibiennio PROGETTO OLIMPIADI DI MATEMATICA U.M.I. UNIONE MATEMATICA ITALIANA MINISTERO DELLA PUBBLICA ISTRUZIONE SCUOLA NORMALE SUPERIORE IGiochidiArchimede--Soluzionibiennio 17 novembre 2010 Griglia delle risposte

Dettagli

PREMESSA. L idea è che a studiare si impara. E nessuno lo insegna. Non si insegna a scuola e non si può imparare da soli, nemmeno con grande fatica.

PREMESSA. L idea è che a studiare si impara. E nessuno lo insegna. Non si insegna a scuola e non si può imparare da soli, nemmeno con grande fatica. PREMESSA I libri e i corsi di 123imparoastudiare nascono da un esperienza e un idea. L esperienza è quella di decenni di insegnamento, al liceo e all università, miei e dei miei collaboratori. Esperienza

Dettagli

CORSO BIELLA CONCETTI FONDAMENTALI DI ARITMETICA, ALGEBRA E GEOMETRIA PER LA SCUOLA DELL OBBLIGO MARTEDI 19/02/2013 TEMA

CORSO BIELLA CONCETTI FONDAMENTALI DI ARITMETICA, ALGEBRA E GEOMETRIA PER LA SCUOLA DELL OBBLIGO MARTEDI 19/02/2013 TEMA CORSO BIELLA CONCETTI FONDAMENTALI DI ARITMETICA, ALGEBRA E GEOMETRIA PER LA SCUOLA DELL OBBLIGO MARTEDI 19/02/201 TEMA OPERAZIONI CON I NUMERI E LORO PROPRIETA. NASCONO LE STRUTTURE ALGEBRICHE. 1 TESTO

Dettagli

Considero 2x e sostituisco elemento del dominio con x, 2(-3)=6, oppure e il doppio?

Considero 2x e sostituisco elemento del dominio con x, 2(-3)=6, oppure e il doppio? Avvertenza: Le domande e a volte le risposte, sono tratte dal corpo del messaggio delle mails in cui non si ha a disposizione un editor matematico e quindi presentano una simbologia non corretta, ma comprensibile

Dettagli

Società Italiana di Psiconcologia Sezione Toscana Giornata Studio Medicina Narrativa In Oncologia Rappresentazione di sé e evento malattia

Società Italiana di Psiconcologia Sezione Toscana Giornata Studio Medicina Narrativa In Oncologia Rappresentazione di sé e evento malattia Società Italiana di Psiconcologia Sezione Toscana Giornata Studio Medicina Narrativa In Oncologia Rappresentazione di sé e evento malattia Dr.ssa Valentina Panella Psicologa - Psicoterapeuta Firenze, 6

Dettagli

DAI NUMERI COMPLESSI ALLA REALTA FISICA. (in particolare gli ottonioni)

DAI NUMERI COMPLESSI ALLA REALTA FISICA. (in particolare gli ottonioni) DAI NUMERI COMPLESSI ALLA REALTA FISICA (in particolare gli ottonioni) Gruppo B. Riemann Michele Nardelli, Francesco Di Noto *Gruppo amatoriale per la ricerca matematica sui numeri primi, sulle loro congetture

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

Capitolo II Le reti elettriche

Capitolo II Le reti elettriche Capitolo II Le reti elettriche Fino ad ora abbiamo immaginato di disporre di due soli bipoli da collegare attraverso i loro morsetti; supponiamo ora, invece, di disporre di l bipoli e di collegarli tra

Dettagli

INFINITO & CARDINALITÀ

INFINITO & CARDINALITÀ SAPIENZA - UNIVERSITÀ DI ROMA TFA-A059 Didattica della Matematica II INFINITO & CARDINALITÀ A cura di: Andrei Catalioto Docente: Prof. Paolo Piccinni ANNO ACCADEMICO 2014-2015 Il Paradosso del Hotel Infinito

Dettagli

1. Introduzione al corso

1. Introduzione al corso E107 WEB SYSTEM Corso on line di progettazione siti dinamici: livello base R E A L I Z Z A Z I O N E D I 1. Introduzione al corso By e107 Italian Team Sito web:http://www.e107italia.org Contatto: admin@e107italia.org

Dettagli

Parteciperò all evento: Sì No Forse Ignora

Parteciperò all evento: Sì No Forse Ignora Parteciperò all evento: Sì No Forse Ignora Febbraio 2008 La nazionale egiziana è in finale: domenica si giocherà la Coppa d Africa. Non serve certo che io mi registri all evento su facebook, per ricordarmi

Dettagli

IL CALCOLO COMBINATORIO

IL CALCOLO COMBINATORIO IL CALCOLO COMBINATORIO Giochiamo a dadi Nel XVII secolo il cavaliere De Meré, forte giocatore, come spesso accadeva fra la nobiltà di quel tempo, si pose questo quesito: Che cosa è più conveniente, scommettere

Dettagli

Corrispondenze e relazioni - Complementi

Corrispondenze e relazioni - Complementi PRODOTTO CARTESIANO Nell elencare gli elementi di un insieme, l ordine non ha alcuna importanza; ma ci sono situazioni in cui l ordine con cui si indicano gli elementi è fondamentale. La partita Milan

Dettagli

Su alcuni paradossi in matematica e in logica (Claudio Bernardi

Su alcuni paradossi in matematica e in logica (Claudio Bernardi Paderno del Grappa, 24 agosto 2011 Su alcuni paradossi in matematica e in logica (Claudio Bernardi claudio.bernardi@uniroma1.it) La parola paradosso assume almeno tre significati: a) un'affermazione che

Dettagli

I SISTEMI DI NUMERAZIONE

I SISTEMI DI NUMERAZIONE Istituto di Istruzione Superiore G. Curcio Ispica I SISTEMI DI NUMERAZIONE Prof. Angelo Carpenzano Dispensa di Informatica per il Liceo Scientifico opzione Scienze Applicate Sommario Sommario... I numeri...

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

LE GEOMETRIE NON EUCLIDEE FRA CULTURA, STORIA E DIDATTICA DELLA MATEMATICA. Dario Palladino (Università di Genova)

LE GEOMETRIE NON EUCLIDEE FRA CULTURA, STORIA E DIDATTICA DELLA MATEMATICA. Dario Palladino (Università di Genova) LE GEOMETRIE NON EUCLIDEE FRA CULTURA, STORIA E DIDATTICA DELLA MATEMATICA Dario Palladino (Università di Genova) Seconda parte Momenti della storia dei tentativi di dimostrazione del V postulato di Euclide

Dettagli