PRINCIPIO DI INDUZIONE E APPLICAZIONI

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "PRINCIPIO DI INDUZIONE E APPLICAZIONI"

Transcript

1 PRINCIPIO DI INDUZIONE E APPLICAZIONI Il principio di induzione è un potente metodo dimostrativo indiretto per stabilire la validità di proposizioni che riguardano una successione infinita di casi. GIZ 005

2 Alcuni problemi che danno luogo ad una successione infinita di casi Problema. Consideriamo la successione dei numeri dispari:,, 5, 7, 9,,..., n-, Osserviamo che: = da cui: = = + // = 4 = + +5 // = 9 I risultati della a colonna suggeriscono, in maniera abbastanza evidente, che possa valere, per ogni nn, la relazione: n n Osservazione critica: chi ci assicura, però, che la formula precedente risulterà valida per ogni n? Problema. Consideriamo la successione dei numeri naturali:,,, 4, 5,,..., n Osserviamo che: = da cui: = = + // = = ++ // = 4 = +++4 // 4 = 0 I risultati della a colonna suggeriscono, anche se in maniera meno evidente rispetto al problema, che possa valere, per ogni nn la relazione: nn ( ) n Osservazione critica: chi ci assicura, però, che la formula precedente risulterà valida per ogni n?

3 Problema. Consideriamo la successione dei numeri primi:,,, 5, 7,..., 4, 47, 5,, 7, 8, 97,...? sembra che tutti i numeri primi da 4 in poi possano essere ottenuti dalla formula: n + n + 4 per n =,,, 4, 5,, 7, n n + n = = = = Osservazione critica: chi ci assicura, però, che la formula precedente risulterà valida per ogni n e che tutti i numeri primi maggiori di 4 saranno ricavabili da essa?

4 Nei problemi precedenti e in tutti quelli che danno luogo ad una successione infinita di casi, la verifica della validità generale di una relazione P(n) dipende da due premesse essenziali: a) La proposizione P() è vera: b) upposta vera la proposizione P() è possibile dimostrare che risulta vera anche la proposizione P(+). La prima premessa è detta base dell induzione, la seconda premessa è detta passo dell induzione e l ipotesi del passo è detta ipotesi induttiva. Dal punto di vista intuitivo: - la base assicura che la proprietà in questione è vera per la proposizione P() (ma come si può facilmente verificare l importante è che la proprietà sia valida per un fissato numero naturale ); - il passo assicura che la proprietà si trasmette da ogni proposizione P() alla successiva. Che queste due condizioni siano sufficienti per stabilire con assoluta certezza la validità della proposizione P(n) per ogni n è un principio fondamentale della logica che va sotto il nome di principio di induzione o di ricorrenza il cui enunciato può esser posto in una delle seguente forme equivalenti: 4

5 ) Principio di induzione o di ricorrenza in forma classica e a) P () vera (base induttiva) b) P () vera per ogni P (+) vera (passo induttivo) allora P(n) è vera per qualunque n N ) Principio di induzione o di ricorrenza in forma estesa e a) P () vera (base induttiva) b) P (), P (),, P () vere per ogni P (+) vera (passo induttivo) allora P(n) è vera per qualunque n N ) Principio del minimo intero e A è un sottoinsieme non vuoto di N allora A ammette minimo, ossia ( A N) (m N tale a N si ha m a ) 4) Principio della discesa infinita e a n è una successione di numeri naturali decrescente in senso largo allora a n è costante da un certo indice in poi ossia a n a n + per ogni n N n 0 N tale che a n = costante per ogni n n 0 5

6 upponendo la validità del principio del minimo intero dimostriamo il principio di induzione in forma classica e a) P () vera (base induttiva) b) P () vera per ogni P (+) vera (passo induttivo) allora P(n) è vera per qualunque n N Dimostreremo il principio di induzione verificando che non esiste alcun n che rende falsa P(n) e di conseguenza P(n) risulterà sempre vera per il principio del terzo escluso. Indichiamo con T l insieme degli interi positivi r per i quali P (r) è falsa ossia: T = r N / P (r) è falsa La proposizione (tesi del teorema) P(n) è vera per qualunque n equivale logicamente a non esiste alcun r tale che P(r) è falsa ossia l insieme T deve essere vuoto Il teorema risulterà allora dimostrato se faremo vedere che T = r N / P (r) è falsa = Procediamo per assurdo ia T, allora T, essendo un insieme di numeri interi, dovrà essere dotato per il principio del minimo intero di minimo m (con m T) Dall ipotesi iniziale a) P () è vera segue che m ed essendo m > 0 risulterà m > ossia m->0 iccome m è il minimo di T e ovviamente m-<m si ha che m-t quindi P(m-) è vera Per l ipotesi induttiva b) essendo P(m-) vera risulterà vera anche P(m- +) ossia P(m) e quindi m T, ciò è assurdo perché il minimo di un insieme appartiene ad esso. Non potendo essere T si avrà T= c.v.d principio del terzo escluso. Una proposizione logica o è vera o è falsa, non esiste quindi un terzo valore di verità; perciò se una proposizione logica non è falsa è necessariamente vera

7 Riprendiamo i problemi precedenti. Alcuni problemi dimostrati con il principio di induzione Problema. Calcolo della somma dei primi n numeri dispari,, 5, 7, 9,,..., n- Avevamo presunto che, per la somma n, potesse valere la formula: n n per ogni nn Per poter applicare il principio di induzione dobbiamo verificare la verità della base e del passo, che nel caso in esame assumono la forma: a) = () (base) b) = vera + = (+) vera (passo) Osserviamo che la base a) = () = è ovviamente vera Verifichiamo la verità del passo b); upponiamo vera = e calcoliamo + + = + (+) - = + (+) - = + + = (+) Da = abbiamo ricavato + = (+), dunque è vero anche il passo induttivo; per il principio di induzione sarà valida allora la formula: n n per ogni nn c.v.d 7

8 Problema. Calcolo della somma dei primi n numeri naturali,,, 4, 5,,..., n Avevamo presunto che, per la somma n, potesse valere la formula: n nn ( ) Per poter applicare il principio di induzione dobbiamo verificare la verità della base e del passo,che nel caso in esame assumono la forma: ( ) a) (base) b) ( ) vera vera (passo) ( ) Osserviamo che la base a) è ovviamente vera, verifichiamo la verità del passo b): supponiamo vera ( ) e calcoliamo ( ) ( ) a dunque è vero anche il passo per il principio di induzione sarà valida allora la formula: n nn ( ) Problema. Calcolo dei numeri primi maggiori di 4,,, 5, 7,..., 4, 47, 5,, 7, 8, 97,...? Avevamo presunto che tutti i numeri primi da 4 in poi potessero essere ottenuti dalla formula: n + n + 4 per ogni nn La formula precedente però è manifestamente falsa per n = 4 e più in generale è sicuramente falsa per n multiplo di 4. Infatti per n = 4 si ha: = = 4 (4 + ) = 4 4 e 4 4 ovviamente non è un numero primo. 8

9 Problema 4. Formula per il calcolo del termine n-esimo di una progressione aritmetica Una progressione aritmetica è una successione di numeri reali tali che la differenza tra due numeri consecutivi (tranne il primo) è costante, detta costante è indicata con d ed è chiamata ragione della progressione. Una progressione aritmetica si indica simbolicamente con: a, a, a,, a n, e per definizione i suoi termini sono tali che a n+ - a n = d n. La relazione precedente è equivalente a: a n+ = a n + d n : da cui a = a + d a = a + d = a + d + d = a + d a 4 = a + d = a + d + d = a + d I primi e gli ultimi membri delle uguaglianze precedenti suggeriscono, in maniera abbastanza evidente, che possa valere, per ogni nn, la relazione: a n = a +(n-) d Per poter applicare il principio di induzione dobbiamo verificare la verità della base e del passo,che nel caso in esame assumono la forma: a) a a ( ) d (base) b) a a ( ) d vera a a d vera (passo) Osserviamo che la base a) a a ( ) d a è ovviamente vera, verifichiamo la verità del passo b): supponiamo vera a a ( ) d e calcoliamo a + a a d a d d a d d d a d dunque è vero anche il passo induttivo, per il principio di induzione sarà valida allora la formula: an a ( n ) d n 9

10 Problema 5. Formula per il calcolo della somma dei primi n termini di una progressione aritmetica di primo termine noto a e di ragione nota d n( a an ) n Per poter applicare il principio di induzione dobbiamo verificare la verità n della base e del passo,che nel caso in esame assumono la forma: a) b) ( a a ) (base) ( a a ) vera a a vera (passo) Osserviamo che la base a) la verità del passo b): supponiamo vera ( a a ) ( a a ) a è ovviamente vera, verifichiamo e calcoliamo ( a a ) a a a a a a a a a a a a a d a d a a a d a d a a a a a a a a a dunque è vero anche il passo induttivo, per il principio di induzione sarà valida allora la formula: n( a a ) n n n 0

11 Problema. I numeri del tipo n + n, per ogni numero naturale n, sono divisibili per. Pn n n è divisibile per n Per poter applicare il principio di induzione dobbiamo verificare la verità della base e del passo,che nel caso in esame assumono la forma: a) b) P è divisibile per (base) P è divisibile per vera P è divisibile per vera (passo) Osserviamo che la base a) P è divisibile per P è divisibile per equivalente a è ovviamente vera, verifichiamo la verità del passo b): supponiamo vera P è divisibile per e sviluppiamo 4 Essendo per l ipotesi induttiva P divisibile per, per dimostrare P+ è sufficiente dimostrare che 4 è divisibile per Osserviamo che 4 = 4 e che è sicuramente pari e 4 è ovviamente pari, quindi 4 è pari ossia è divisibile per. dunque è vero anche il passo induttivo, per il principio di induzione sarà valida allora la proposizione: Pn n n è divisibile per n e è pari allora è pari; se è dispari il successivo + è pari e quindi il prodotto è pari

12 Problema 7. Disuguaglianza di Bernoulli. P x nx n n n e x R tale che x Per poter applicare il principio di induzione dobbiamo verificare la verità della base e del passo,che nel caso in esame x R tale che x assumono la forma: a) P x x (base) b) P x x P x x (passo) La base è ovviamente vera. Dimostriamo il passo): upponiamo vera la proposizione x x e moltiplichiamo ambo i membri per la quantità positiva x ottenendo x x x x x x x x x e il passo induttivo è dimostrato. Da x si ha x 0

13 Problema 8. Calcolo della somma dei quadrati dei primi n numeri naturali. n n( n )(n ) 4... n a) b) ( )( ) (base) ( )( ) ( )( )( ) (passo) La base è ovviamente vera. Dimostriamo il passo): upponiamo vera la proposizione ( )( )( ) i ha: ( )( ) e dimostriamo ( )( ) 4... = () = ( ) = ( ) = ( ) 7 = = ( ) 7 = ( )( )( ) e il passo induttivo è dimostrato.

14 Note: 4

15 5

16

NUMERI COMPLESSI. Test di autovalutazione

NUMERI COMPLESSI. Test di autovalutazione NUMERI COMPLESSI Test di autovalutazione 1. Se due numeri complessi z 1 e z 2 sono rappresentati nel piano di Gauss da due punti simmetrici rispetto all origine: (a) sono le radici quadrate di uno stesso

Dettagli

Riconoscere e formalizzare le dipendenze funzionali

Riconoscere e formalizzare le dipendenze funzionali Riconoscere e formalizzare le dipendenze funzionali Giorgio Ghelli 25 ottobre 2007 1 Riconoscere e formalizzare le dipendenze funzionali Non sempre è facile indiduare le dipendenze funzionali espresse

Dettagli

TEOREMA FONDAMENTALE DEI NUMERI PRIMI

TEOREMA FONDAMENTALE DEI NUMERI PRIMI TEOREMA FONDAMENTALE DEI NUMERI PRIMI Filippo Giordano/2009-Mistretta (ME) dal libro di Filippo Giordano "Origine e funzione dei numeri primi" in vetrina sul sito internet www.ilmiolibro.it Enunciato Sia

Dettagli

Syllabus: argomenti di Matematica delle prove di valutazione

Syllabus: argomenti di Matematica delle prove di valutazione Syllabus: argomenti di Matematica delle prove di valutazione abcdef... ABC (senza calcolatrici, senza palmari, senza telefonini... ) Gli Argomenti A. Numeri frazioni e numeri decimali massimo comun divisore,

Dettagli

INDICAZIONI PER LA RICERCA DEGLI ASINTOTI VERTICALI

INDICAZIONI PER LA RICERCA DEGLI ASINTOTI VERTICALI 2.13 ASINTOTI 44 Un "asintoto", per una funzione y = f( ), è una retta alla quale il grafico della funzione "si avvicina indefinitamente", "si avvicina di tanto quanto noi vogliamo", nel senso precisato

Dettagli

La logica modale e la dimostrazione dell esistenza di Dio di Gödel. LOGICA MODALE

La logica modale e la dimostrazione dell esistenza di Dio di Gödel. LOGICA MODALE La logica modale e la dimostrazione dell esistenza di Dio di Gödel. In alcuni giornali ho letto che di recente ci sono stati diversi studi che hanno riportato alla ribalta la dimostrazione dell esistenza

Dettagli

Il Metodo Scientifico

Il Metodo Scientifico Unita Naturali Il Metodo Scientifico La Fisica si occupa di descrivere ed interpretare i fenomeni naturali usando il metodo scientifico. Passi del metodo scientifico: Schematizzazione: modello semplificato

Dettagli

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014

I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014 I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova I.T.I, Marzotto, Valdagno 24 febbraio 2014 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità di ragionamento

Dettagli

Normalizzazione. Definizione

Normalizzazione. Definizione Normalizzazione Definizione Le forme normali 2 Una forma normale è una proprietà di una base di dati relazionale che ne garantisce la qualità, cioè l'assenza di determinati difetti Quando una relazione

Dettagli

Geometria Superiore Esercizi 1 (da consegnare entro... )

Geometria Superiore Esercizi 1 (da consegnare entro... ) Geometria Superiore Esercizi 1 (da consegnare entro... ) In questi esercizi analizziamo il concetto di paracompattezza per uno spazio topologico e vediamo come questo implichi l esistenza di partizioni

Dettagli

0.1 Esercizi calcolo combinatorio

0.1 Esercizi calcolo combinatorio 0.1 Esercizi calcolo combinatorio Esercizio 1. Sia T l insieme dei primi 100 numeri naturali. Calcolare: 1. Il numero di sottoinsiemi A di T che contengono esattamente 8 pari.. Il numero di coppie (A,

Dettagli

Prof.ssa Laura Pagnozzi Prof. Ivano Coccorullo. Calcolo Combinatorio

Prof.ssa Laura Pagnozzi Prof. Ivano Coccorullo. Calcolo Combinatorio Prof.ssa Laura Pagnozzi Prof. Ivano Coccorullo Calcolo Combinatorio Calcolo Combinatorio ü Molti dei problemi classici di calcolo delle probabilità si riducono al calcolo dei casi favorevoli e di quelli

Dettagli

CAPITOLO IV RISOLUZIONE DEI SISTEMI LINEARI COL METODO DEI DETERMINANTI

CAPITOLO IV RISOLUZIONE DEI SISTEMI LINEARI COL METODO DEI DETERMINANTI CAPITOLO IV RISOLUZIONE DEI SISTEMI LINEARI COL METODO DEI DETERMINANTI 1. REGOLA DI CRAMER Sia S un sistema lineare di n ( 2) equazioni in n incognite su un campo K : a 11 x 1 + a 12 x 2 + + a 1n x n

Dettagli

Massimi e minimi vincolati in R 2 - Esercizi svolti

Massimi e minimi vincolati in R 2 - Esercizi svolti Massimi e minimi vincolati in R 2 - Esercizi svolti Esercizio 1. Determinare i massimi e minimi assoluti della funzione f(x, y) = 2x + 3y vincolati alla curva di equazione x 4 + y 4 = 1. Esercizio 2. Determinare

Dettagli

FUNZIONI CONTINUE - ESERCIZI SVOLTI

FUNZIONI CONTINUE - ESERCIZI SVOLTI FUNZIONI CONTINUE - ESERCIZI SVOLTI 1) Verificare che x è continua in x 0 per ogni x 0 0 ) Verificare che 1 x 1 x 0 è continua in x 0 per ogni x 0 0 3) Disegnare il grafico e studiare i punti di discontinuità

Dettagli

Analisi. Calcolo Combinatorio. Ing. Ivano Coccorullo

Analisi. Calcolo Combinatorio. Ing. Ivano Coccorullo Analisi Ing. Ivano Coccorullo Prof. Ivano Coccorullo ü Molti dei problemi classici di calcolo delle probabilità si riducono al calcolo dei casi favorevoli e di quelli possibili. Quando le situazioni diventano

Dettagli

IGiochidiArchimede--Soluzionibiennio

IGiochidiArchimede--Soluzionibiennio PROGETTO OLIMPIDI DI MTEMTI U.M.I. UNIONE MTEMTI ITLIN MINISTERO DELL PULI ISTRUZIONE SUOL NORMLE SUPERIORE IGiochidirchimede--Soluzionibiennio 18 novembre 2009 Griglia delle risposte corrette Problema

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

Criterio del rapporto. Sia n a n una successione in [0, + ) ]0, + ) ]0, 1[ Criterio del rapporto. Sia n a n una successione in ]0, + ).

Criterio del rapporto. Sia n a n una successione in [0, + ) ]0, + ) ]0, 1[ Criterio del rapporto. Sia n a n una successione in ]0, + ). Criterio del rapporto. Si una successione in IR [0, + ) ]0, + ) ]0, [ Criterio del rapporto. Si una successione in ]0, + ). Se esiste k [0, ] ]0, [ [0, [ ]0, ] Criterio del rapporto. Si una successione

Dettagli

x log(x) + 3. f(x) =

x log(x) + 3. f(x) = Università di Bari, Corso di Laurea in Economia e Commercio Esame di Matematica per l Economia L/Z Dr. G. Taglialatela 03 giugno 05 Traccia dispari Esercizio. Calcolare Esercizio. Calcolare e cos log d

Dettagli

Studio di funzione. Tutti i diritti sono riservati. E vietata la riproduzione, anche parziale, senza il consenso dell autore. Funzioni elementari 2

Studio di funzione. Tutti i diritti sono riservati. E vietata la riproduzione, anche parziale, senza il consenso dell autore. Funzioni elementari 2 Studio di funzione Copyright c 2009 Pasquale Terrecuso Tutti i diritti sono riservati. E vietata la riproduzione, anche parziale, senza il consenso dell autore. Funzioni elementari 2 Studio di funzione

Dettagli

Algebra e Geometria. Ingegneria Meccanica e dei Materiali Sez (2) Ingegneria dell Automazione Industriale Sez (2)

Algebra e Geometria. Ingegneria Meccanica e dei Materiali Sez (2) Ingegneria dell Automazione Industriale Sez (2) Algebra e Geometria Ingegneria Meccanica e dei Materiali Sez (2) Ingegneria dell Automazione Industriale Sez (2) Traccia delle lezioni che saranno svolte nell anno accademico 2012/13 I seguenti appunti

Dettagli

Esercizi sulla conversione tra unità di misura

Esercizi sulla conversione tra unità di misura Esercizi sulla conversione tra unità di misura Autore: Enrico Campanelli Prima stesura: Settembre 2013 Ultima revisione: Settembre 2013 Per segnalare errori o per osservazioni e suggerimenti di qualsiasi

Dettagli

CAPITOLO V. DATABASE: Il modello relazionale

CAPITOLO V. DATABASE: Il modello relazionale CAPITOLO V DATABASE: Il modello relazionale Il modello relazionale offre una rappresentazione matematica dei dati basata sul concetto di relazione normalizzata. I principi del modello relazionale furono

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

L indagine statistica

L indagine statistica 1 L indagine statistica DEFINIZIONE. La statistica è quella disciplina che si occupa della raccolta di dati quantitativi relativi a diversi fenomeni, della loro elaborazione e del loro utilizzo a fini

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

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

Matematica con il foglio di calcolo

Matematica con il foglio di calcolo Matematica con il foglio di calcolo Sottotitolo: Classe: V primaria Argomento: Numeri e operazioni Autore: Guido Gottardi, Alberto Battaini Introduzione: l uso del foglio di calcolo offre l opportunità

Dettagli

3.1 Successioni. R Definizione (Successione numerica) E Esempio 3.1 CAPITOLO 3

3.1 Successioni. R Definizione (Successione numerica) E Esempio 3.1 CAPITOLO 3 CAPITOLO 3 Successioni e serie 3. Successioni Un caso particolare di applicazione da un insieme numerico ad un altro insieme numerico è quello delle successioni, che risultano essere definite nell insieme

Dettagli

Generalità sugli algoritmi

Generalità sugli algoritmi Appunti di Fondamenti di Informatica Generalità sugli algoritmi La nozione di algoritmo...1 Rappresentazione grafica degli algoritmi...2 Diagrammi di flusso...4 Esempi di algoritmi numerici...6 La strutturazione

Dettagli

1 Portofoglio autofinanziante

1 Portofoglio autofinanziante 1 Portofoglio autofinanziante Supponiamo che l evoluzione del titolo A 1 sia S 1 t) e l evoluzione del titolo A sia S t). Supponiamo che al tempo 0 io abbia una somma X0) che voglio investire parte in

Dettagli

Inferenza statistica

Inferenza statistica Inferenza statistica Si tratta di un complesso di tecniche, basate sulla teoria della probabilità, che consentono di verificare se sia o no possibile trasferire i risultati ottenuti per un campione ad

Dettagli

SUCCESSIONI NUMERICHE

SUCCESSIONI NUMERICHE SUCCESSIONI NUMERICHE Definizione: Si chiama successione numerica una funzione definita su IN a valori in IR, cioè una legge che associa ad ogni intero n un numero reale a n. Per abuso di linguaggio, si

Dettagli

Matematica Discreta. Gianfranco Niesi. Appunti per il corso di. C.S. in Informatica. Dipartimento di Matematica A.A. 2005-2006

Matematica Discreta. Gianfranco Niesi. Appunti per il corso di. C.S. in Informatica. Dipartimento di Matematica A.A. 2005-2006 Appunti per il corso di Matematica Discreta C.S. in Informatica UNIVERSITÀ DI GENOVA A.A. 2005-2006 Gianfranco Niesi Dipartimento di Matematica URL: http://www.dima.unige.it/ niesi 4 ottobre 2005 2 Indice

Dettagli

5. La teoria astratta della misura.

5. La teoria astratta della misura. 5. La teoria astratta della misura. 5.1. σ-algebre. 5.1.1. σ-algebre e loro proprietà. Sia Ω un insieme non vuoto. Indichiamo con P(Ω la famiglia di tutti i sottoinsiemi di Ω. Inoltre, per ogni insieme

Dettagli

Chiusura lineare. N.B. A può essere indifferentemente un insieme, finito o no, o un sistema. Es.1. Es.2

Chiusura lineare. N.B. A può essere indifferentemente un insieme, finito o no, o un sistema. Es.1. Es.2 Chiusura lineare Def. Sia A V (K) con A. Si dice copertura lineare (o chiusura lineare) di A, e si indica con L(A), l insieme dei vettori di V che risultano combinazioni lineari di un numero finito di

Dettagli

TEST DI INGRESSO. Al seguente indirizzo puoi trovare il test di matematica di base per scienze biotecnologiche http://www.testingressoscienze.

TEST DI INGRESSO. Al seguente indirizzo puoi trovare il test di matematica di base per scienze biotecnologiche http://www.testingressoscienze. TEST DI INGRESSO http://www.smfn.unipi.it/prova_ingresso/verifica2009.aspx Al precedente sito internet puoi trovare un esempio pubblico di test di matematica di base e un test di matematica di base del

Dettagli

Calcolo delle Probabilità

Calcolo delle Probabilità Calcolo delle Probabilità Il calcolo delle probabilità studia i modelli matematici delle cosidette situazioni di incertezza. Molte situazioni concrete sono caratterizzate a priori da incertezza su quello

Dettagli

Calcolo delle probabilità (riassunto veloce) Laboratorio di Bioinformatica Corso A aa 2005-2006

Calcolo delle probabilità (riassunto veloce) Laboratorio di Bioinformatica Corso A aa 2005-2006 Calcolo delle probabilità riassunto veloce Laboratorio di Bioinformatica Corso aa 2005-2006 Teoria assiomatica della probabilità S = spazio campionario = insieme di tutti i possibili esiti di un esperimento

Dettagli

A i è un aperto in E. i=1

A i è un aperto in E. i=1 Proposizione 1. A è aperto se e solo se A c è chiuso. Dimostrazione. = : se x o A c, allora x o A = A o e quindi esiste r > 0 tale che B(x o, r) A; allora x o non può essere di accumulazione per A c. Dunque

Dettagli

Lezione 3: Il problema del consumatore: Il

Lezione 3: Il problema del consumatore: Il Corso di Economica Politica prof. Stefano Papa Lezione 3: Il problema del consumatore: Il vincolo di bilancio Facoltà di Economia Università di Roma La Sapienza Il problema del consumatore 2 Applichiamo

Dettagli

Serie 1200 Placche a pulsanti in singola fila

Serie 1200 Placche a pulsanti in singola fila Serie 1200 Placche a pulsanti in singola fila Serie 1200 Placche 122N e 123N Serie 1200 Placche 12Nx Serie 1300 Placche a pulsanti in singola fila Serie 8000 Moduli a pulsanti in singola fila Serie 8000

Dettagli

Sulla monotonia delle funzioni reali di una variabile reale

Sulla monotonia delle funzioni reali di una variabile reale Liceo G. B. Vico - Napoli Sulla monotonia delle funzioni reali di una variabile reale Prof. Giuseppe Caputo Premetto due teoremi come prerequisiti necessari per la comprensione di quanto verrà esposto

Dettagli

SCUOLA PRIMARIA - MORI

SCUOLA PRIMARIA - MORI ISTITUTO COMPRENSIVO DI MORI Via Giovanni XXIII, n. 64-38065 MORI Cod. Fisc. 94024510227 - Tel. 0464-918669 Fax 0464-911029 www.icmori.it e-mail: segr.ic.mori@scuole.provincia.tn.it REPUBBLICA ITALIANA

Dettagli

razionali Figura 1. Rappresentazione degli insiemi numerici Numeri reali algebrici trascendenti frazionari decimali finiti

razionali Figura 1. Rappresentazione degli insiemi numerici Numeri reali algebrici trascendenti frazionari decimali finiti 4. Insiemi numerici 4.1 Insiemi numerici Insieme dei numeri naturali = {0,1,,3,,} Insieme dei numeri interi relativi = {..., 3,, 1,0, + 1, +, + 3, } Insieme dei numeri razionali n 1 1 1 1 = : n, m \{0}

Dettagli

OGNI SPAZIO VETTORIALE HA BASE

OGNI SPAZIO VETTORIALE HA BASE 1 Mimmo Arezzo OGNI SPAZIO VETTORIALE HA BASE CONVERSAZIONE CON ALCUNI STUDENTI DI FISICA 19 DICEMBRE 2006 2 1 Preliminari Definizione 1.0.1 Un ordinamento parziale (o una relazione d ordine parziale)

Dettagli

LA FUNZIONE ESPONENZIALE E IL LOGARITMO

LA FUNZIONE ESPONENZIALE E IL LOGARITMO LA FUNZIONE ESPONENZIALE E IL LOGARITMO APPUNTI PER IL CORSO DI ANALISI MATEMATICA I G. MAUCERI Indice 1. Introduzione 1 2. La funzione esponenziale 2 3. Il numero e di Nepero 9 4. L irrazionalità di e

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

IL TEOREMA FONDAMENTALE DELL ARITMETICA: FATTORIZZAZIONE IN NUMERI PRIMI.

IL TEOREMA FONDAMENTALE DELL ARITMETICA: FATTORIZZAZIONE IN NUMERI PRIMI. IL TEOREMA FONDAMENTALE DELL ARITMETICA: FATTORIZZAZIONE IN NUMERI PRIMI. PH. ELLIA Indice Introduzione 1 1. Divisori di un numero. 2 2. Numeri primi: definizioni. 4 2.1. Fare la lista dei numeri primi.

Dettagli

Informatica Teorica. Macchine a registri

Informatica Teorica. Macchine a registri Informatica Teorica Macchine a registri 1 Macchine a registri RAM (Random Access Machine) astrazione ragionevole di un calcolatore nastro di ingresso nastro di uscita unità centrale in grado di eseguire

Dettagli

Moto uniforme sul toro bidimensionale

Moto uniforme sul toro bidimensionale 4/3/06 Luigi Chierchia Moto uniforme sul toro bidimensionale 1. Il toro bidimensionale Denotiamo con R l insieme dei numeri reali e con Z l insieme dei numeri interi (con segno) {..., 2, 1, 0, 1, 2,...};

Dettagli

Corso di Analisi Matematica. Successioni e serie numeriche

Corso di Analisi Matematica. Successioni e serie numeriche a.a. 2011/12 Laurea triennale in Informatica Corso di Analisi Matematica Successioni e serie numeriche Avvertenza Questi sono appunti informali delle lezioni, che vengono resi disponibili per comodità

Dettagli

Programmazione Dichiarativa. Programmazione Logica. SICStus PROLOG PROLOG. http://www.sics.se/sicstus/ Bob Kowalski: "Algoritmo = Logica + Controllo"

Programmazione Dichiarativa. Programmazione Logica. SICStus PROLOG PROLOG. http://www.sics.se/sicstus/ Bob Kowalski: Algoritmo = Logica + Controllo Programmazione Logica Bob Kowalski: "Algoritmo = Logica + Controllo" nella programmazione tradizionale: il programmatore deve occuparsi di entrambi gli aspetti nella programmazione dichiarativa: il programmatore

Dettagli

Regola del partitore di tensione

Regola del partitore di tensione Regola del partitore di tensione Se conosciamo la tensione ai capi di una serie di resistenze e i valori delle resistenze stesse, è possibile calcolare la caduta di tensione ai capi di ciascuna R resistenza,

Dettagli

AA.SS. nn. 2233 e 2229

AA.SS. nn. 2233 e 2229 AA.SS. nn. 2233 e 2229 Misure per la tutela del lavoro autonomo non imprenditoriale e misure volte a favorire l'articolazione flessibile nei tempi e nei luoghi del lavoro subordinato Audizione ANIA 11a

Dettagli

Funzione reale di variabile reale

Funzione reale di variabile reale Funzione reale di variabile reale Siano A e B due sottoinsiemi non vuoti di. Si chiama funzione reale di variabile reale, di A in B, una qualsiasi legge che faccia corrispondere, a ogni elemento A x A

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

EQUAZIONI CON VALORE ASSOLUTO DISEQUAZIONI CON VALORE ASSOLUTO

EQUAZIONI CON VALORE ASSOLUTO DISEQUAZIONI CON VALORE ASSOLUTO EQUAZIONI CON VALORE AOLUTO DIEQUAZIONI CON VALORE AOLUTO Prima di tutto: che cosa è il valore assoluto di un numero? Il valore assoluto è quella legge che ad un numero (positivo o negativo) associa sempre

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

+ P a n n=1 + X. a n = a m 3. n=1. m=4. Per poter dare un significato alla somma (formale) di infiniti termini, ricorriamo al seguente procedimento:

+ P a n n=1 + X. a n = a m 3. n=1. m=4. Per poter dare un significato alla somma (formale) di infiniti termini, ricorriamo al seguente procedimento: Capitolo 3 Serie 3. Definizione Sia { } una successione di numeri reali. Ci proponiamo di dare significato, quando possibile, alla somma a + a 2 +... + +... di tutti i termini della successione. Questa

Dettagli

Convessità e derivabilità

Convessità e derivabilità Convessità e derivabilità Definizione 1 (convessità per funzioni derivabili) Sia f : (a, b) R derivabile su (a, b). Diremo che f è convessa o concava su (a, b) se per ogni 0 (a,b) il grafico di f sta tutto

Dettagli

, )21'$0(17,'(//$0$7(0$7,&$ /$/2*,&$(*/,,16,(0,

, )21'$0(17,'(//$0$7(0$7,&$ /$/2*,&$(*/,,16,(0, /,&(2*,11$6,267$7$/(³*&$5'8&&, &/$66(,9$±$1126&2/$67,&2, )21'$0(17,'(//$0$7(0$7,&$ /$/2*,&$(*/,,16,(0, $OHVVDQGUR&RUGHOOL 6RPPDULR GLI OPERATORI LOGICI... 3 1. Che cos è la logica?... 3 2. Verità e correttezza...

Dettagli

Prova parziale di Geometria e Topologia I - 5 mag 2008 (U1-03, 13:30 16:30) 1/8. Cognome:... Nome:... Matricola:...

Prova parziale di Geometria e Topologia I - 5 mag 2008 (U1-03, 13:30 16:30) 1/8. Cognome:... Nome:... Matricola:... Prova parziale di Geometria e Topologia I - 5 mag 2008 (U1-03, 13:30 16:30) 1/8 Cognome:................ Nome:................ Matricola:................ (Dare una dimostrazione esauriente di tutte le

Dettagli

ELENCHI DEL PERSONALE

ELENCHI DEL PERSONALE ELENCHI DEL PERSONALE Cineca CSA Pagina 1 di 23 Funzione di menu: ELENCHI DEL PERSONALE. Percorso di menu (previa necessaria autorizzazione all uso): PERSONALE > ELENCHI DEL PERSONALE Nelle pagine successive

Dettagli

Dispense del corso di ALGEBRA 1 a.a. 2008 2009

Dispense del corso di ALGEBRA 1 a.a. 2008 2009 Dispense del corso di ALGEBRA 1 a.a. 2008 2009 2 Indice I INSIEMI E NUMERI 5 1 Insiemi e applicazioni 7 1.1 Insiemi..................................... 7 1.2 Operazioni tra insiemi.............................

Dettagli

Elementi di matematica finanziaria

Elementi di matematica finanziaria Elementi di matematica finanziaria 1. Percentuale Si dice percentuale di una somma di denaro o di un altra grandezza, una parte di questa, calcolata in base ad un tanto per cento, che si chiama tasso percentuale.

Dettagli

APPUNTI ANALISI MATEMATICA

APPUNTI ANALISI MATEMATICA APPUNTI DEL CORSO DI ANALISI MATEMATICA PER IL DIPLOMA UNIVERSITARIO PARTE PRIMA INDICE Capitolo Primo: INSIEMI, APPLICAZIONI, RELAZIONI Gli insiemi... Pag 2 Operazioni fra insiemi... 3 3 Applicazioni...

Dettagli

LOCKE. Empirismo = teoria della ragione come un insieme di poteri limitati dall esperienza:

LOCKE. Empirismo = teoria della ragione come un insieme di poteri limitati dall esperienza: LOCKE L empirismo inglese e il suo fondatore Empirismo = teoria della ragione come un insieme di poteri limitati dall esperienza: - Fonte del processo conoscitivo - Strumento di certificazione delle tesi

Dettagli

p k q n k = p n (k) = n 12 = 1 = 12 1 12 11 10 9 1 0,1208. q = 1 2 e si ha: p 12 (8) = 12 8 4

p k q n k = p n (k) = n 12 = 1 = 12 1 12 11 10 9 1 0,1208. q = 1 2 e si ha: p 12 (8) = 12 8 4 CAPITOLO QUARTO DISTRIBUZIONE BINOMIALE (O DI BERNOULLI) Molti degli esempi che abbiamo presentato nei capitoli precedenti possono essere pensati come casi particolari di uno schema generale di prove ripetute,

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

BOOK IN PROGRESS MATEMATICA GEOMETRIA SECONDO ANNO TOMO NR. 2

BOOK IN PROGRESS MATEMATICA GEOMETRIA SECONDO ANNO TOMO NR. 2 OOK IN PROGRESS MTEMTIC GEOMETRI SECONDO NNO TOMO NR. 2 SOMMRIO DEL TOMO 2 SECONDO NNO UNITÀ 9: LE GRNDEZZE E L PROPORZIONLIT...2 9.1 Generalità...2 9.2 Grandezze commensurabili e incommensurabili...3

Dettagli

Presentazione delle lezioni (I parte del corso di Statistica sociale) Corso di Matematica e Statistica 1 Logica, simboli, successioni

Presentazione delle lezioni (I parte del corso di Statistica sociale) Corso di Matematica e Statistica 1 Logica, simboli, successioni Pordenone Corso di Matematica e Statistica Logica, simboli, successioni Presentazione delle lezioni (I parte del corso di Statistica sociale) Lezione : Logica, simboli, successioni Lezione 2: Funzioni,

Dettagli

1. Intorni di un punto. Punti di accumulazione.

1. Intorni di un punto. Punti di accumulazione. 1. Intorni di un punto. Punti di accumulazione. 1.1. Intorni circolari. Assumiamo come distanza di due numeri reali x e y il numero non negativo x y (che, come sappiamo, esprime la distanza tra i punti

Dettagli

Corso di Calcolo Numerico

Corso di Calcolo Numerico Corso di Calcolo Numerico Dottssa MC De Bonis Università degli Studi della Basilicata, Potenza Facoltà di Ingegneria Corso di Laurea in Ingegneria Meccanica Corso di Calcolo Numerico - Dottssa MC De Bonis

Dettagli

MATEMATICA e COMPLEMENTI di MATEMATICA

MATEMATICA e COMPLEMENTI di MATEMATICA ALLEGATO N.8_b MATEMATICA e COMPLEMENTI di MATEMATICA DESTINATARI gli studenti delle classi: terze e quarte nuovo ordinamento RISULTATI DI APPRENDIMENTO DELL OBBLIGO D ISTRUZIONE, CHIAVE EUROPEA Padroneggiare

Dettagli

Lezione 6. Divisibilità e divisori. Teorema di divisione euclidea. Algoritmo delle divisioni successive.

Lezione 6. Divisibilità e divisori. Teorema di divisione euclidea. Algoritmo delle divisioni successive. Lezione 6 Prerequisiti: L'insieme dei numeri interi. Lezione 5. Divisibilità e divisori. Teorema di divisione euclidea. Algoritmo delle divisioni successive. Questa è la prima lezione dedicata all'anello

Dettagli

Linguaggi. Claudio Sacerdoti Coen 11/04/2011. 18: Semantica della logica del prim ordine. <sacerdot@cs.unibo.it> Universitá di Bologna

Linguaggi. Claudio Sacerdoti Coen 11/04/2011. 18: Semantica della logica del prim ordine. <sacerdot@cs.unibo.it> Universitá di Bologna Linguaggi 18: Semantica della logica del prim ordine Universitá di Bologna 11/04/2011 Outline Semantica della logica del prim ordine 1 Semantica della logica del prim ordine Semantica

Dettagli

CAPITOLO 16 SUCCESSIONI E SERIE DI FUNZIONI

CAPITOLO 16 SUCCESSIONI E SERIE DI FUNZIONI CAPITOLO 16 SUCCESSIONI E SERIE DI FUNZIONI Abbiamo studiato successioni e serie numeriche, ora vogliamo studiare successioni e serie di funzioni. Dato un insieme A R, chiamiamo successione di funzioni

Dettagli

Tutti i Diritti Riservati Vietata qualsiasi duplicazione del presente ebook

Tutti i Diritti Riservati Vietata qualsiasi duplicazione del presente ebook 1 MATTEO CONSOLE BATTI I BOOKMAKERS SFRUTTANDO LA STATISTICA Guadagna applicando la statistica alle scommesse calcistiche 2 Titolo BATTI I BOOKMAKERS SFRUTTANDO LA STATISTICA Autore Matteo Console Editore

Dettagli

Soluzioni del giornalino n. 16

Soluzioni del giornalino n. 16 Soluzioni del giornalino n. 16 Gruppo Tutor Soluzione del Problema 1 Soluzioni corrette ci sono pervenute da : Gianmarco Chinello, Andrea Conti, Simone Costa, Marco Di Liberto, Simone Di Marino, Valerio

Dettagli

Particelle identiche : schema (per uno studio più dettagliato vedi lezione 2) φ 1

Particelle identiche : schema (per uno studio più dettagliato vedi lezione 2) φ 1 Particelle identiche : schema (per uno studio più dettagliato vedi lezione ) Funzioni d onda di un sistema composto Sistema costituito da due particelle (eventualmente identiche) H φ q H φ H ψ φ φ stato

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 A volte i fenomeni economici che ci interessano non variano con continuitá oppure non possono essere osservati con continuitá, ma solo a intervalli

Dettagli

Corso di Analisi Matematica Serie numeriche

Corso di Analisi Matematica Serie numeriche Corso di Analisi Matematica Serie numeriche Laurea in Informatica e Comunicazione Digitale A.A. 2013/2014 Università di Bari ICD (Bari) Analisi Matematica 1 / 25 1 Definizione e primi esempi 2 Serie a

Dettagli

CORSO DI STATISTICA (parte 1) - ESERCITAZIONE 5

CORSO DI STATISTICA (parte 1) - ESERCITAZIONE 5 CORSO DI STATISTICA (parte 1) - ESERCITAZIONE 5 Dott.ssa Antonella Costanzo a.costanzo@unicas.it Esercizio 1. Misura dell associazione tra due caratteri Uno store manager è interessato a studiare la relazione

Dettagli

SVILUPPO IN SERIE DI FOURIER. Prof. Attampato Daniele

SVILUPPO IN SERIE DI FOURIER. Prof. Attampato Daniele SVILUPPO IN SERIE DI FOURIER Prof. Attampato Daniele SVILUPPO IN SERIE DI UNA FUNZIONE Uno dei problemi più frequenti in matematica è legato alla necessità di approssimare una funzione. Uno degli strumenti

Dettagli

Parte I. Relazioni di ricorrenza

Parte I. Relazioni di ricorrenza Parte I Relazioni di ricorrenza 1 Capitolo 1 Relazioni di ricorrenza 1.1 Modelli Nel seguente capitolo studieremo le relazioni di ricorrenza. Ad esempio sono relazioni di ricorrenza a n = a n 1 + n, a

Dettagli

MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITÀ, DELLA RICERCA SCUOLE ITALIANE ALL ESTERO

MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITÀ, DELLA RICERCA SCUOLE ITALIANE ALL ESTERO Sessione Ordinaria in America 4 MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITÀ, DELLA RICERCA SCUOLE ITALIANE ALL ESTERO (Americhe) ESAMI DI STATO DI LICEO SCIENTIFICO Sessione Ordinaria 4 SECONDA PROVA SCRITTA

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

Definizione Dati due insiemi A e B, contenuti nel campo reale R, si definisce funzione reale di variabile reale una legge f : A

Definizione Dati due insiemi A e B, contenuti nel campo reale R, si definisce funzione reale di variabile reale una legge f : A Scopo centrale, sia della teoria statistica che della economica, è proprio quello di esprimere ed analizzare le relazioni, esistenti tra le variabili statistiche ed economiche, che, in linguaggio matematico,

Dettagli

VBA è un linguaggio di scripting derivato da Visual Basic, da cui prende il nome. Come ogni linguaggio ha le sue regole.

VBA è un linguaggio di scripting derivato da Visual Basic, da cui prende il nome. Come ogni linguaggio ha le sue regole. Excel VBA VBA Visual Basic for Application VBA è un linguaggio di scripting derivato da Visual Basic, da cui prende il nome. Come ogni linguaggio ha le sue regole. 2 Prima di iniziare. Che cos è una variabile?

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

1. I limiti delle funzioni.

1. I limiti delle funzioni. 1. I iti delle funzioni. 1.1. Considerazioni introduttive. La nozione di ite di una funzione reale di variabile reale costituisce una naturale generalizzazione della nozione di ite di una successione.

Dettagli

4 Quarta lezione: Spazi di Banach e funzionali lineari. Spazio duale

4 Quarta lezione: Spazi di Banach e funzionali lineari. Spazio duale 4 Quarta lezione: Spazi di Banach e funzionali lineari. Spazio duale Spazi Metrici Ricordiamo che uno spazio metrico è una coppia (X, d) dove X è un insieme e d : X X [0, + [ è una funzione, detta metrica,

Dettagli

Programmazione per competenze del corso Matematica, Secondo biennio

Programmazione per competenze del corso Matematica, Secondo biennio Programmazione per del corso Matematica, Secondo biennio Competenze di area Traguardi per lo sviluppo delle degli elementi del calcolo algebrico algebriche di primo e secondo grado di grado superiore al

Dettagli

16. Vari modi di convergenza delle successioni di funzioni reali misurabili.

16. Vari modi di convergenza delle successioni di funzioni reali misurabili. 16. Vari modi di convergenza delle successioni di funzioni reali misurabili. L argomento centrale di questa ultima parte del corso è lo studio in generale della convergenza delle successioni negli spazi

Dettagli

e l insieme delle soluzioni, dopo le analoghe riduzioni del caso n = 2, si scrive come

e l insieme delle soluzioni, dopo le analoghe riduzioni del caso n = 2, si scrive come Numeri complessi 9 Da questi esempi si può osservare che, facendo le successive potene di un numero complesso, i punti corrispondenti girano attorno all origine. Se inoltre > allora i punti si allontanano

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

Due dimostrazioni alternative nella teoria di Ramsey

Due dimostrazioni alternative nella teoria di Ramsey Due dimostrazioni alternative nella teoria di Ramsey 28 Marzo 2007 Introduzione Teoria di Ramsey: sezione della matematica a metà tra la combinatoria e la teoria degli insiemi. La questione tipica è quella

Dettagli