METODI MATEMATICI PER L INFORMATICA

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "METODI MATEMATICI PER L INFORMATICA"

Transcript

1 METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 5 05/05/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo

2 Dimostrazioni e prove Esercizio 7 pagina 91 Utilizzare una prova diretta per dimostrare che ogni numero dispari è la differenza di due quadrati. Ricordiamo che p q viene dimostrata mostrando che Se p è vera allora q è vera Sapendo che n = 2k + 1, vogliamo che esistono x e y interi tali che Facciamo qualche esempio: Il caso generale è quindi n = x 2 y 2 n = a = 2, b = 1 n = 5 a =, b = 2 n = 7 a = 4, b = n = 9 a = 5, b = 4 n = 11 a = 6, b = 5 n = (k + 1) 2 k 2 = k 2 + 2k + 1 k 2 = 2k + 1 Gli interi x e y cercati sono dunque k+1 e k. Applicando la generalizzazione esistenziale abbiamo dimostrato lo statement cercato con una prova diretta. Esercizio 16 pagina 91 Dimostrare che se m e n sono interi e mn è pari, allora m è pari o n è pari. Lo dimostriamo con una dimostrazione per contrapposizione. Ricordiamo che p q viene dimostrata mostrando che Quindi, sia m che n sono dispari. Se q è vera allora p è vera (contronominale) m = 2i + 1; n = 2j + 1, con i e j interi m n = (2i + 1) (2j + 1) = 4ij + 2i + 2j + 1 = 2(2ij + i + j) + 1 = 2x + 1, con x intero Quindi, mn è dispari. Poiché la negazione della conclusione implica che l'ipotesi è falsa, lo statement originario è vero. La prova per contrapposizione è dimostrata. Esercizio 17 pagina 91 Dimostrare che se n è un intero e n + 5 è dispari, allora n è pari, b) utilizzando una prova per contraddizione. Ricordiamo che p q viene dimostrata mostrando che Se p è vera e q è vera allora si giunge ad un asserzione falsa Supponiamo quindi che n + 5 è dispari e n è dispari. Quindi, n = 2k + 1

3 n + 5 = (2k + 1) + 5 = 8k + 12k 2 + 6k = = 8k + 12k 2 + 6k + 6 = 2(4k + 6k 2 + k + ) Quindi, n + 5 è pari. Dall assunzione che n è dispari siamo arrivati all assurdo che n + 5 sia al tempo stesso pari (per quanto dimostrato) e dispari (per ipotesi). Da cui segue che n deve essere pari. Esercizio 28 pagina 91 Dimostrare che m 2 = n 2 se e solo se m = n oppure m = n. Lo dimostriamo con una dimostrazione per equivalenza. Poiché Entrambe le implicazioni devono essere vere. Dimostriamo la prima implicazione (verso destra): Quindi, o m = n oppure m = n. p q (p q) (q p) m 2 = n 2 m 2 n 2 = 0 (m n)(m + n) = 0 Dimostriamo la seconda implicazione (verso sinistra) per casi: 1. m = n. 2. m = n. m 2 = (m)(m) = (n)(n) = n 2 m 2 = (m)(m) = ( n)( n) = n 2 Esercizio 41 pagina 92 Mostrare che se n è un intero, queste quattro asserzioni sono equivalenti: 1. n è pari 2. n + 1 è dispari. n + 1 è dispari 4. n è pari 1 -> 2: Se n è pari, allora n + 1 è dispari. Assumiamo che n è pari. Quindi n + 1 è dispari. 2 -> : Se n + 1 è dispari, allora n + 1 è dispari: Assumiamo che n + 1 è dispari. n = 2k n + 1 = 2k + 1

4 n + 1 = 2k + 1 n + 1 = 2n + (n + 1) = 2n + 2k + 1 = 2(n + k) + 1 Quindi n + 1 è dispari. -> 4: Se n + 1 è dispari, allora n è pari. Assumiamo che n + 1 è dispari. n + 1 = 2k + 1 n = 2k n = 2k Quindi n è pari 4 -> 1: Se n è pari, allora n è pari. Lo dimostriamo per contrapposizione. Supponiamo che n non è pari. n = 2k + 1 n = (2k + 1) = 6k + = 2(k + 1) + 1 Quindi n + 1 è dispari. Abbiamo completato la prova per contrapposizione Induzione Molte asserzioni matematiche affermano che una proprietà è vera per ogni intero positivo, come, ad esempio, la somma dei primi n numeri naturali è n(n+1)/2. Questo tipo di risultato è dimostrato attraverso l induzione matematica. L induzione consiste di due parti: nella prima si dimostra che lo statement è vero per il numero 1 (base); nella seconda (passo induttivo), si dimostra che se l asserzione è vera per un intero positivo, deve avere anche per quello successivo. Si basa dunque sulla regola di inferenza che afferma: Se P(1) e k(p(k) P(k + 1)) sono vere, allora np(n) è vera. L assunzione che P(k) sia vera è detta ipotesi induttiva. Si può anche riscrivere come (P(1) k(p(k) P(k + 1))) np(n) Non assumiamo che P(k) sia vera per tutti gli interi positivi. È solo mostrato che se assumiamo che P(k) è vera, allora anche P(k+1) è vera. Esercizio pagina 29 P(n): n 2 = n(n+1)(2n+1)/6 a) Determinare P(1): b) Mostrare che P(1) è vero: 1 2 = (1 (1 + 1) (2(1) + 1))/6 1 = (1 2 )/6 1 = 1

5 c) Qual è l ipotesi induttiva? Assumiamo per un intero positivo n che P(n): n 2 = n(n+1)(2n+1)/6 d) Cosa c è bisogno di dimostrare nel passo induttivo? Nel passo induttivo occorre provare che P(n+1) è vero. P(n + 1): n 2 + (n + 1) 2 = ((n+1)(n+2)(2n+))/6 e) Completare il passo induttivo. Per completare il passo induttivo, occorre che n 2 + (n + 1) 2 = (n(n+1)(2n + 1))/6 + (n + 1) 2 = (n(n + 1)(2n + 1)+6(n + 1) 2 )/6 = ((n + 1)(n(2n + 1)+6(n + 1))/6 = ((n + 1)(2n 2 + n + 6n + 6))/6 = ((n + 1)(2n 2 + 7n + 6))/6 = ((n + 1)(n + 2)(2n + ))/6 in cui l = vale per l ipotesi induttiva. f) Spiegare perché i passi precedenti mostrano che questa formula è vera con n intero positivo. Poiché abbiamo dimostrato che lo statement vale anche per P(n+1) quando vale per P(n), abbiamo completato entrambi i passi (base e induttivo), quindi abbiamo provato l induzione. Esercizio 5 pagina 29 Dimostrare che (2n + 1) 2 = (n+1)(2n+1)(2n+)/ per ogni intero non negativo. P(k) è l ipotesi che (2k + 1) 2 = (k+1)(2k+1)(2k+)/. Caso base: per k = 0, 1 = 1. Passo induttivo: assumiamo che P(k) è vero per un generico intero k; quindi, (2k + 1) 2 = (k+1)(2k+1)(2k+)/ Vogliamo mostrare che il passo induttivo, ovvero P(k+1), è vero: Consideriamo la parte a sinistra dell equazione: (2k + 1) 2 + (2k + ) 2 = (k+2)(2k+)(2k+5)/ (2k + 1) 2 + (2k + ) 2 = ( (2k + 1) 2 ) + (2k + ) 2 = ((k+1)(2k+1)(2k+)) (k+1)(2k+1)(2k+) + (2k + ) 2 = + (2k+)2 = 2k+ ((k + 1)(2k + 1) + (2k + )) = 2k+ (2k 2 + 9k + 10) = 2k+ ((k + 2)(2k + 5)) = (k+2)(2k+)(2k+5) in cui l = vale per l ipotesi induttiva. Esercizio 11 pagina 0 a) Occorre trovare una formula, esaminando solo valori piccoli di n, per

6 n Per n = 1 la somma è 1, per n = 2 è, per n = la somma è 7 15, per n = 4 la somma è Quindi, la formula è 2n 1 2 n. b) Proviamo la formula trovata. Assumiamo che P(k) è vero per un generico intero k: k = 2k 1 2 k Dobbiamo dimostrare P(k+1) (il passo induttivo): k + 1 2k k+1 Consideriamo solo la parte sinistra dell equazione: ( k) k 1 2 k (2 k 1) k in cui l = vale per l ipotesi induttiva. 2 k k+1 Cosa è stato fatto 1. Teoria su dimostrazioni e prove 2. Esercizi su dimostrazioni e prove (esercizi da pagina 91 a pagina 92, numeri 7,16,17,28,41). Teoria su induzione 4. Esercizi su induzione (esercizi da pagina 29 a 0, numeri,5,11)

METODI MATEMATICI PER L INFORMATICA

METODI MATEMATICI PER L INFORMATICA METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 6 12/05/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Induzione Esercizio 20 pagina 330 Mostrare che 3 n < n! se

Dettagli

METODI MATEMATICI PER L INFORMATICA

METODI MATEMATICI PER L INFORMATICA METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 7 19/05/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Ricorsione Esercizio 2 pagina 357 Trovare f(1), f(2), f(3),

Dettagli

INDUZIONE E NUMERI NATURALI

INDUZIONE E NUMERI NATURALI INDUZIONE E NUMERI NATURALI 1. Il principio di induzione Il principio di induzione è una tecnica di dimostrazione molto usata in matematica. Lo scopo di questa sezione è di enunciare tale principio e di

Dettagli

(Ciascuno dei quiz non ha necessariamente una ed una sola risposta giusta) 1. Sia f : X X una funzione totale e iniettiva e sia R X X definito da

(Ciascuno dei quiz non ha necessariamente una ed una sola risposta giusta) 1. Sia f : X X una funzione totale e iniettiva e sia R X X definito da Sapienza Università di Roma Corso di Laurea in Informatica Insegnamento di Metodi matematici per l Informatica, canale A-D Esame scritto del 26/01/2009 1. Nome e Cognome Matricola Anno di corso secondo

Dettagli

02 - Logica delle dimostrazioni

02 - Logica delle dimostrazioni Università degli Studi di Palermo Facoltà di Economia Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 0 - Logica delle dimostrazioni Anno Accademico 015/016

Dettagli

Fondamenti teorici e programmazione

Fondamenti teorici e programmazione Fondamenti teorici e programmazione FTP(A) - modb Lezione 8 F.Bonchi Dip.to Informatica Fondamenti teorici e programmazione (A) - modb a.a. 2018/19 pag. 1 Ragionamento formale Comprendere le basi del ragionamento

Dettagli

INDUZIONE MATEMATICA

INDUZIONE MATEMATICA Regola d induzione matematica P(0), n(p(n) P(n+1)) Regola d induzione completa n(n

Dettagli

04 - Logica delle dimostrazioni

04 - Logica delle dimostrazioni Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,

Dettagli

Ragionamento formalei. Ragionamento formale

Ragionamento formalei. Ragionamento formale Ragionamento formale La necessità e l importanza di comprendere le basi del ragionamento formale, utilizzato in matematica per dimostrare teoremi all interno di teorie, è in generale un argomento piuttosto

Dettagli

Esercitazioni per il corso di Logica Matematica

Esercitazioni per il corso di Logica Matematica Esercitazioni per il corso di Logica Matematica Luca Motto Ros 27 febbraio 2005 Nota importante. Queste pagine contengono appunti personali dell esercitatore e sono messe a disposizione nel caso possano

Dettagli

1 ANALISI MATEMATICA A - Esercizi della settimana 3

1 ANALISI MATEMATICA A - Esercizi della settimana 3 1 ANALISI MATEMATICA A - Esercizi della settimana 3 1.1 Esercizio Una funzione f : R R si dice pari se f (x) = f ( x) per ogni x R; una funzione g : R R si dice dispari se g(x) = g( x) per ogni x R. 1.

Dettagli

Esercizio 2. Spiegare perché è falsa la seguente affermazione: Se n è un numero negativo, allora anche n + 3 è negativo.

Esercizio 2. Spiegare perché è falsa la seguente affermazione: Se n è un numero negativo, allora anche n + 3 è negativo. Sapienza Università di Roma - Facoltà I3S Corso di Laurea in Statistica Economia Finanza e Assicurazioni Corso di Laurea in Statistica Economia e Società Corso di Laurea in Statistica gestionale Matematica

Dettagli

Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1

Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Esercizio 1.12 Per dimostrare che per ogni funzione esiste una formula in cui compaiono le variabili tale che la corrispondente

Dettagli

ANALISI 1 1 QUARTA LEZIONE

ANALISI 1 1 QUARTA LEZIONE ANALISI 1 1 QUARTA LEZIONE 1 prof. Claudio Saccon, Dipartimento di Matematica Applicata, Via F. Buonarroti 1/C email: saccon@mail.dm.unipi.it web: http://www2.ing.unipi.it/ d6081/index.html Ricevimento:

Dettagli

NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE AL110 - Algebra 1 - A.A. 2015/2016 Valutazione in itinere - I Prova (Novembre 2015) Matricola (O ALTRO IDENTIFICATIVO) Cognome:...................................... Nome:......................................

Dettagli

Relazioni e Principio di Induzione

Relazioni e Principio di Induzione Relazioni e Principio di Induzione Giovanna Carnovale October 12, 2011 1 Relazioni Dato un insieme S, un sottoinsieme fissato R del prodotto cartesiano S S definisce una relazione ρ tra gli elementi di

Dettagli

PRINCIPIO DI INDUZIONE E APPLICAZIONI

PRINCIPIO DI INDUZIONE E APPLICAZIONI 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

Dettagli

1 Principio di Induzione

1 Principio di Induzione 1 Principio di Induzione Per numeri naturali, nel linguaggio comune, si intendono i numeri interi non negativi 0, 1,, 3, Da un punto di vista insiemistico costruttivo, a partire dall esistenza dell insieme

Dettagli

Progamma sintetico. Nozioni preliminari Automi Finiti Macchine di Turing Limiti delle macchine di Turing La tesi di Church-Turing Le classi P e NP

Progamma sintetico. Nozioni preliminari Automi Finiti Macchine di Turing Limiti delle macchine di Turing La tesi di Church-Turing Le classi P e NP Progamma sintetico Nozioni preliminari Automi Finiti Macchine di Turing Limiti delle macchine di Turing La tesi di Church-Turing Le classi P e NP Nozioni preliminari Conoscenza del significato dei termini:

Dettagli

DIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini

DIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini DIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini INFERENZE CORRETTE E TAUTOLOGIE Il Calcolo Proposizionale permette di formalizzare

Dettagli

Esercizi per il corso Matematica clea

Esercizi per il corso Matematica clea Esercizi per il corso Matematica clea Daniele Ritelli anno accademico 008/009 Lezione : Numeri naturali e principio di induzione Esercizi svolti. Provare che + + + n. Provare che + + + n n(n + ) n(n +

Dettagli

04 - Numeri Complessi

04 - Numeri Complessi Università degli Studi di Palermo Scuola Politecnica Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 04 - Numeri Complessi Anno Accademico 2015/2016 M. Tumminello,

Dettagli

Esercizi sul Calcolo Proposizionale

Esercizi sul Calcolo Proposizionale Esercizi sul Calcolo Proposizionale Francesco Sborgia Matricola: 459245 December 7, 2015 1 Esercizio 1 Per ogni formula A dimostrare che ρ(a) = min{n A F n } Definizione 1. Ricordiamo che, dato un linguaggio

Dettagli

Università degli Studi di Roma Tor Vergata. Principio di induzione matematica

Università degli Studi di Roma Tor Vergata. Principio di induzione matematica Università degli Studi di Roma Tor Vergata. Principio di induzione matematica Il Principio di induzione matematica è una tecnica di dimostrazione che permette la dimostrazione simultanea di infinite affermazioni.

Dettagli

METODI MATEMATICI PER L INFORMATICA

METODI MATEMATICI PER L INFORMATICA METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 2 17/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Applicazioni della logica proposizionale La logica ha una

Dettagli

Problema 1 Sia data la seguente successione: n 1. i=1. Riscriviamo la successione nel seguente modo

Problema 1 Sia data la seguente successione: n 1. i=1. Riscriviamo la successione nel seguente modo Lezione - Algebra Problema Sia data la seguente successione: n a = 9, a n = 9 + a i a n R n N, n Determinare a 000. i= Riscriviamo la successione nel seguente modo n a n = 9 + a n + a i = 9 + a n + (a

Dettagli

Lo sviluppo di un semplice programma e la dimostrazione della sua correttezza

Lo sviluppo di un semplice programma e la dimostrazione della sua correttezza Il principio di induzione Consideriamo inizialmente solo il principio di induzione per i numeri non-negativi, detti anche numeri naturali. Sia P una proprietà (espressa da una frase o una formula che contiene

Dettagli

Definizione 1.1. Sia A un sottoinsieme dei numeri reali. Diciamo che A è un insieme induttivo se

Definizione 1.1. Sia A un sottoinsieme dei numeri reali. Diciamo che A è un insieme induttivo se 1 Numeri naturali, interi e razionali Definizione 1.1. Sia A un sottoinsieme dei numeri reali. Diciamo che A è un insieme induttivo se 1. 1 A. per ogni x A, si ha x + 1 A Definizione 1.. Chiamo insieme

Dettagli

Gli insiemi N, Z e Q. I numeri naturali

Gli insiemi N, Z e Q. I numeri naturali Università Roma Tre L. Chierchia 1 Gli insiemi N, Z e Q Il sistema dei numeri reali (R, +,, ) può essere definito tramite sedici assiomi: quindici assiomi algebrici (si veda ad esempio 2.3 in [Giusti,

Dettagli

2. Soluzione degli esercizi su: dimostrazioni per induzione. " # œ#

2. Soluzione degli esercizi su: dimostrazioni per induzione.  # œ# M Barlotti Soluzioni per gli Esercizi di Algebra v " Capitolo 2 Pag 1 2 Soluzione degli esercizi su: dimostrazioni per induzione Esercizio 21 Si dimostri che per ogni numero naturale si ha " 3 3 Soluzione

Dettagli

Complemento 1 Gli insiemi N, Z e Q

Complemento 1 Gli insiemi N, Z e Q AM110 Mat, Univ. Roma Tre (AA 2010/11 L. Chierchia) 30/9/10 1 Complemento 1 Gli insiemi N, Z e Q Il sistema dei numeri reali (R, +,, ) può essere definito tramite sedici assiomi: quindici assiomi algebrici

Dettagli

Errata corrige del libro Introduzione alla logica e al linguaggio matematico

Errata corrige del libro Introduzione alla logica e al linguaggio matematico Errata corrige del libro Introduzione alla logica e al linguaggio matematico 28 gennaio 2009 Capitolo 1 Pag. 7, Definizione 6. Il complemento di un sottoinsieme A di I è il sottoinsieme A = {x I : x /

Dettagli

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati Analisi asintotica e Ricorrenze Esercizi Maria Rita Di Berardini, Emanuela Merelli 1 1 Dipartimento di Matematica e Informatica Università di Camerino A.A. 2006/07 Notazioni O, Ω e Θ Parte I Notazioni

Dettagli

a cura di Luca Cabibbo e Walter Didimo

a cura di Luca Cabibbo e Walter Didimo a cura di Luca Cabibbo e Walter Didimo Esercizi di Informatica teorica - Luca Cabibbo e Walter Didimo 1 principio di induzione finita (o matematica) cardinalità di insiemi pigeonhole principle espressioni

Dettagli

Ragionamenti e metodi di dimostrazione. Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica

Ragionamenti e metodi di dimostrazione. Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica Ragionamenti e metodi di dimostrazione Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica Proposizioni Si definisce proposizione una frase alla quale è possibile attribuire uno e un solo valore

Dettagli

ANALISI 1 1 TERZA LEZIONE

ANALISI 1 1 TERZA LEZIONE ANALISI 1 1 TERZA LEZIONE 1 prof. Claudio Saccon, Dipartimento di Matematica Applicata, Via F. Buonarroti 1/C email: saccon@mail.dm.unipi.it web: http://www2.ing.unipi.it/ d6081/index.html Ricevimento:

Dettagli

Elementi di Teoria della Computazione (ETC) Classe 2: matricole congrue a 1 (mod 3) Docente: Prof. Luisa Gargano BENVENUTI!

Elementi di Teoria della Computazione (ETC) Classe 2: matricole congrue a 1 (mod 3) Docente: Prof. Luisa Gargano BENVENUTI! Elementi di Teoria della Computazione (ETC) Classe 2: matricole congrue a 1 (mod 3) Docente: Prof. Luisa Gargano BENVENUTI! Finalità: Fornire gli elementi di base delle teorie che sono di fondamento all'informatica

Dettagli

ALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI

ALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI ALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI 1. GLI ASSIOMI DI PEANO Come puro esercizio di stile voglio offrire una derivazione delle proprietà elementari dei numeri naturali e delle operazioni

Dettagli

METODI MATEMATICI PER L INFORMATICA

METODI MATEMATICI PER L INFORMATICA P METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 3 31/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Predicati e quantificatori Esercizio 9 pagina 53 P(x): x

Dettagli

04 - Numeri Complessi

04 - Numeri Complessi Università degli Studi di Palermo Facoltà di Economia CdS Statistica per l Analisi dei Dati Appunti del corso di Matematica 04 - Numeri Complessi Anno Accademico 2013/2014 M. Tumminello, V. Lacagnina e

Dettagli

ELEMENTI DI LOGICA MATEMATICA LEZIONE VII

ELEMENTI DI LOGICA MATEMATICA LEZIONE VII ELEMENTI DI LOGICA MATEMATICA LEZIONE VII MAURO DI NASSO In questa lezione introdurremo i numeri naturali, che sono forse gli oggetti matematici più importanti della matematica. Poiché stiamo lavorando

Dettagli

Corso di Laurea in Fisica. Geometria. a.a Prof. P. Piazza Soluzione compito a casa del 24/10/09

Corso di Laurea in Fisica. Geometria. a.a Prof. P. Piazza Soluzione compito a casa del 24/10/09 Corso di Laurea in Fisica. Geometria. a.a. 29-. Prof. P. Piazza Soluzione compito a casa del 24//9 Soluzione esercizio. Siano A e B due matrici simmetriche e λ un numero reale. Dobbiamo mostrare che anche

Dettagli

FUNZIONI ELEMENTARI, DISEQUAZIONI, NUMERI REALI, PRINCIPIO DI INDUZIONE Esercizi risolti

FUNZIONI ELEMENTARI, DISEQUAZIONI, NUMERI REALI, PRINCIPIO DI INDUZIONE Esercizi risolti FUNZIONI ELEMENTARI, DISEQUAZIONI, NUMERI REALI, PRINCIPIO DI INDUZIONE Esercizi risolti Discutendo graficamente la disequazione x > 3 + x, verificare che l insieme delle soluzioni è un intervallo e trovarne

Dettagli

Esercizi riguardanti limiti di successioni e di funzioni

Esercizi riguardanti limiti di successioni e di funzioni Esercizi riguardanti iti di successioni e di funzioni Davide Boscaini Queste sono le note da cui ho tratto le esercitazioni del giorno 0 Novembre 20. Come tali sono ben lungi dall essere esenti da errori,

Dettagli

A.A CORSO DI ALGEBRA 1. PROFF. P. PIAZZA, E. SPINELLI. SOLUZIONE ESERCIZI FOGLIO 5.

A.A CORSO DI ALGEBRA 1. PROFF. P. PIAZZA, E. SPINELLI. SOLUZIONE ESERCIZI FOGLIO 5. A.A. 2015-2016. CORSO DI ALGEBRA 1. PROFF. P. PIAZZA, E. SPINELLI. SOLUZIONE ESERCIZI FOGLIO 5. Esercizio 5.1. Determinare le ultime tre cifre di n = 13 1625. (Suggerimento. Sfruttare il Teorema di Eulero-Fermat)

Dettagli

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati Algoritmi Ricorsivi e Maria Rita Di Berardini, Emanuela Merelli 1 1 Dipartimento di Matematica e Informatica Università di Camerino I conigli di Fibonacci Ricerca Binaria L isola dei conigli Leonardo da

Dettagli

Il principio di Induzione Matematica

Il principio di Induzione Matematica Il principio di Induzione Matematica prf.ssa Giovanna Corsi 11 luglio 2004 Il principio di induzione matematica è un metodo dimostrativo che fa esplicito riferimento ai numeri naturali.... Il riferimento

Dettagli

1.3. Se esistono i limiti sinistro e destro della funzione in un punto, allora esiste anche il limite della funzione nel punto stesso.

1.3. Se esistono i limiti sinistro e destro della funzione in un punto, allora esiste anche il limite della funzione nel punto stesso. Esercitazione 8 Novembre 018 1. Stabilire quali delle seguenti affermazioni sono vere e quali false. 1.1. Se una funzione f(x) è definita in un intervallo aperto (a, b), ha senso chiedersi se esistono

Dettagli

Il Piacere della Logica. La Torre di Hanoi. Il Piacere della Logica. Prof. Ivano Coccorullo

Il Piacere della Logica. La Torre di Hanoi. Il Piacere della Logica. Prof. Ivano Coccorullo La Torre di Hanoi Le Torri di Hanoi Il problema delle Torri di Hanoi deriva da una antica leggenda indiana che recita così: «nel grande tempio di Brahma a Benares, su di un piatto di ottone, sotto la cupola

Dettagli

Soluzioni degli esercizi di Analisi Matematica I

Soluzioni degli esercizi di Analisi Matematica I Soluzioni degli esercizi di Analisi Matematica I (Prof. Pierpaolo Natalini) Roberta Bianchini 30 ottobre 07 FOGLIO. Determinare il dominio e il segno della funzione ( ) f(x) = arccos x x + π/3.. Verificare

Dettagli

LOGICA PER LA PROGRAMMAZIONE a.a. 2016/17 Seconda esercitazione - 11/10/16 - Soluzioni Proposte

LOGICA PER LA PROGRAMMAZIONE a.a. 2016/17 Seconda esercitazione - 11/10/16 - Soluzioni Proposte LOGICA ER LA ROGRAMMAZIONE a.a. 2016/17 Seconda esercitazione - 11/10/16 - Soluzioni roposte 1. Nei seguenti passi di dimostrazione, indicare il connettivo logico corretto da sostituire a? applicando il

Dettagli

Un po di logica. Christian Ferrari. Laboratorio di matematica

Un po di logica. Christian Ferrari. Laboratorio di matematica Un po di logica Christian Ferrari Laboratorio di matematica 1 Introduzione La logica è la disciplina che studia le condizioni di correttezza del ragionamento. Il suo scopo è quindi quello di elaborare

Dettagli

ù ={0,1,2,3, } la cui prima funzione è contare.

ù ={0,1,2,3, } la cui prima funzione è contare. ESERCITAZIONE N.3 1 ottobre 007 I NUMERI NATURALI L'insieme dei numeri naturali è l insieme infinito ù {0,1,,3, } la cui prima funzione è contare. Abbiamo già visto che la scrittura ù {0,1,,3, } è scorretta,

Dettagli

NOZIONI DI LOGICA PROPOSIZIONI.

NOZIONI DI LOGICA PROPOSIZIONI. NOZIONI DI LOGICA PROPOSIZIONI. Una proposizione è un affermazione che è vera o falsa, ma non può essere contemporaneamente vera e falsa. ESEMPI Sono proposizioni : 7 è maggiore di 2 Londra è la capitale

Dettagli

AM110 - Analisi Matematica 1- Tutorato I Docente: Prof. Pierpaolo Esposito Tutori: A. Mazzoccoli, M. Nanni SOLUZIONI

AM110 - Analisi Matematica 1- Tutorato I Docente: Prof. Pierpaolo Esposito Tutori: A. Mazzoccoli, M. Nanni SOLUZIONI Corso di laurea in Matematica - Anno Accademico 2013/201 AM110 - Analisi Matematica 1- Tutorato I Docente: Prof. Pierpaolo Esposito Tutori: A. Mazzoccoli, M. Nanni SOLUZIONI Esercizio 1. N.B. Le soluzioni

Dettagli

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati Algoritmi Ricorsivi e Maria Rita Di Berardini, Emanuela Merelli 1 1 Dipartimento di Matematica e Informatica Università di Camerino A.A. 2006/07 I conigli di Fibonacci Ricerca Binaria L isola dei conigli

Dettagli

Logica: materiale didattico

Logica: materiale didattico Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica

Dettagli

ANALISI MATEMATICA A SECONDO MODULO SOLUZIONI DEGLI ESERCIZI DELLA SETTIMANA 15. x 2 i

ANALISI MATEMATICA A SECONDO MODULO SOLUZIONI DEGLI ESERCIZI DELLA SETTIMANA 15. x 2 i ANALISI MATEMATICA A SECONDO MODULO SOLUZIONI DEGLI ESERCIZI DELLA SETTIMANA 15 (1) (Es 9 pag 117) Se per ogni x R n ( x := x 2 i ) 1/2 verificate che per ogni x, y R n vale la seguente legge del parallelogramma:

Dettagli

Intelligenza Artificiale. Logica proposizionale: calcolo simbolico

Intelligenza Artificiale. Logica proposizionale: calcolo simbolico Intelligenza Artificiale Logica proposizionale: calcolo simbolico Marco Piastra Logica formale (Parte 2) - 1 Parte 2 Calcolo logico Assiomi Derivazioni Derivazioni e conseguenza logica Completezza Logica

Dettagli

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati Algoritmi Ricorsivi e Ricorrenze Maria Rita Di Berardini 2, Emanuela Merelli 1 1 Dipartimento di Matematica e Informatica Università di Camerino 2 Polo di Scienze Università di Camerino ad Ascoli Piceno

Dettagli

Esercizi di Logica Matematica (parte 2)

Esercizi di Logica Matematica (parte 2) Luca Costabile Esercizio 317 Esercizi di Logica Matematica (parte 2) Dimostro per induzione sulla costruzione del termine : - Supponiamo che sia una variabile :, - Supponiamo che sia una variabile diversa

Dettagli

Sistemi Deduttivi. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Sistemi Deduttivi[1]

Sistemi Deduttivi. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Sistemi Deduttivi[1] Intelligenza Artificiale I Sistemi Deduttivi Marco Piastra Intelligenza Artificiale I - A.A. 2010- Sistemi Deduttivi[1] Calcolo simbolico? Una fbf è conseguenza logica di un insieme di fbf sse qualsiasi

Dettagli

acuradi Luca Cabibbo e Walter Didimo Esercizi di Informatica teorica - Luca Cabibbo e Walter Didimo 1

acuradi Luca Cabibbo e Walter Didimo Esercizi di Informatica teorica - Luca Cabibbo e Walter Didimo 1 acuradi Luca Cabibbo e Walter Didimo Esercizi di Informatica teorica - Luca Cabibbo e Walter Didimo 1 principio di induzione finita (o matematica) cardinalità di insiemi pigeonhole principle espressioni

Dettagli

Tecniche di prova per induzione

Tecniche di prova per induzione Aniello Murano Tecniche di prova per induzione 3 Lezione n. Parole chiave: Induzione Corso di Laurea: Informatica Codice: Email Docente: murano@ na.infn.it A.A. 2008-2009 Riassunto delle lezioni precedenti

Dettagli

Algoritmi Avanzati Soluzioni dello scritto del 2 febbraio 2004 (appello straordinario)

Algoritmi Avanzati Soluzioni dello scritto del 2 febbraio 2004 (appello straordinario) Algoritmi Avanzati Soluzioni dello scritto del febbraio 004 (appello straordinario) 1. Tengo nascosto nel taschino della giacca un grafo misterioso di 7 nodi. Vi dico solo che listando le valenze (= numero

Dettagli

Lo studioso di logica si chiede se la conclusione segue correttamente dalla premesse fornite e se premesse sono buone per accettare la conclusione.

Lo studioso di logica si chiede se la conclusione segue correttamente dalla premesse fornite e se premesse sono buone per accettare la conclusione. Logica binaria La logica è la scienza del corretto ragionamento e consiste nello studio dei principi e dei metodi che consentono di individuare il corretto ragionamento. Lo studioso di logica si chiede

Dettagli

Lezione 4. Problemi trattabili e soluzioni sempre più efficienti. Gianluca Rossi

Lezione 4. Problemi trattabili e soluzioni sempre più efficienti. Gianluca Rossi Lezione 4 Problemi trattabili e soluzioni sempre più efficienti Gianluca Rossi Trattabile o intrattabile? Consideriamo ora il problema, ben noto a tutti gli studenti a partire dalla scuola media, di calcolare

Dettagli

MATRICI E OPERAZIONI

MATRICI E OPERAZIONI MATRICI E SISTEMI MATRICI E OPERAZIONI Matrici, somma e prodotto (definizioni, esempi, non commutatività del prodotto, legge di annullamento del prodotto Potenze e inverse di matrici quadrate (definizioni

Dettagli

Soluzioni degli Esercizi da Svolgere Capitolo 8

Soluzioni degli Esercizi da Svolgere Capitolo 8 Soluzioni degli Esercizi da Svolgere Capitolo 8 Esercizio 8.19 1. Sia p = 3 + 2 = 7 e q = 4 + 4 = 8 ; la formalizzazione dell enunciato in esame è quindi p q che risulta VERO, essendo la premessa dell

Dettagli

Il Principio di Induzione

Il Principio di Induzione Il Principio di Induzione dott.ssa Angelica Malaspina Di.M.I.E., Università degli Studi della Basilicata, Italy angelica.malaspina@unibas.it Denotiamo con N = {0,, 2, 3,...} l insieme dei numeri naturali.

Dettagli

Informatica

Informatica Informatica 2019-01-18 Nota: Scrivete su tutti i fogli nome e matricola. Esercizio 1. Si enuncino, senza dimostrarli, i risultati relativi al determinismo e alla totalità della semantica delle espressioni

Dettagli

Teoria dei Numeri. Lezione del 15/12/2009. Stage di Treviso Progetto Olimpiadi

Teoria dei Numeri. Lezione del 15/12/2009. Stage di Treviso Progetto Olimpiadi Teoria dei Numeri Lezione del 15/12/2009 Stage di Treviso Progetto Olimpiadi Criteri di Divisibilità 2: ultima cifra pari 3: somma (o somma della somma) delle cifre divisibile per 3 4: ultima due cifre

Dettagli

Lezione 3 - Teoria dei Numeri

Lezione 3 - Teoria dei Numeri Lezione 3 - Teoria dei Numeri Problema 1 Sia k un numero pari. È possibile scrivere 1 come la somma dei reciproci di k interi dispari? Soluzione: Siano n 1,..., n k interi dispari tali che 1 = 1 n 1 +

Dettagli

Filosofia della Scienza Soluzioni Compito 2

Filosofia della Scienza Soluzioni Compito 2 Filosofia della Scienza 2010-11 Soluzioni Compito 2 Gianluigi Bellin 10 gennaio 2011 1 Domanda 1 - Teorema di Cantor Una funzione f : A B si dice iniettiva se per ogni x, y A, f(x) f(y) implica x y. Una

Dettagli

2 per ogni n N +. k=1 a k) ( n. k=1 b k) n

2 per ogni n N +. k=1 a k) ( n. k=1 b k) n (ii) il prodotto di due irrazionali è irrazionale; (iii) la somma di un razionale e di un irrazionale è irrazionale; (iv) il prodotto di un razionale e di un irrazionale è irrazionale. 5. Siano a, b R.

Dettagli

Logica per la Programmazione

Logica per la Programmazione Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 9 Proof System per la Logica del Primo Ordine Leggi per i Quantificatori Regole di inferenza: Generalizzazione

Dettagli

CORSO DI GEOMETRIA DETERMINANTE A.A. 2018/2019 PROF. VALENTINA BEORCHIA

CORSO DI GEOMETRIA DETERMINANTE A.A. 2018/2019 PROF. VALENTINA BEORCHIA CORSO DI GEOMETRIA DETERMINANTE AA 2018/2019 PROF VALENTINA BEORCHIA INDICE 1 Definizione induttiva di determinante 1 2 Caratterizzazione delle matrici quadrate di rango massimo 5 3 Regole di Laplace 6

Dettagli

ISTITUZIONI DI ALGEBRA SUPERIORE ESAME

ISTITUZIONI DI ALGEBRA SUPERIORE ESAME ISTITUZIONI DI ALGEBRA SUPERIORE ESAME CLAUDIA MALVENUTO 2 GENNAIO 2016 Istruzioni. Completare subito la parte inferiore di questa pagina con il proprio nome, cognome e firma. Scrivere solamente su questi

Dettagli

Tutti i numeri qui considerati sono interi. Se si tratta in particolare di numeri Naturali (quindi non negativi) verrà specificato.

Tutti i numeri qui considerati sono interi. Se si tratta in particolare di numeri Naturali (quindi non negativi) verrà specificato. LICEO B. RUSSELL A.S. 2010/2011 DALLA TEORIA DEI NUMERI ALLE CONGRUENZE Tutti i numeri qui considerati sono interi. Se si tratta in particolare di numeri Naturali (quindi non negativi) verrà specificato.

Dettagli

IL TEOREMA DEGLI ZERI Una dimostrazione di Ezio Fornero

IL TEOREMA DEGLI ZERI Una dimostrazione di Ezio Fornero IL TEOREMA DEGLI ZERI Una dimostrazione di Ezio Fornero Il teorema degli zeri è fondamentale per determinare se una funzione continua in un intervallo chiuso [ a ; b ] si annulla in almeno un punto interno

Dettagli

17. Zeri di una funzione continua: esercizi

17. Zeri di una funzione continua: esercizi 7. Zeri di una funzione continua: esercizi Esercizio 7.4. Dimostrare che le seguenti equazioni. e x x =,. x + x = 0,. x = x + x, 4. x( x ) = x, hanno un unica soluzione x 0 R e calcolarne un valore approssimato

Dettagli

Successioni ricorsive

Successioni ricorsive Successioni ricorsive Emanuele Paolini Analisi Matematica I, 015 016 In queste note prenderemo in considerazione le successioni a n definite per ricorrenza o ricorsivamente dalle condizioni: a1 = α, (1)

Dettagli

ESERCIZI DI LOGICA MATEMATICA A.A Alessandro Combi

ESERCIZI DI LOGICA MATEMATICA A.A Alessandro Combi ESERCIZI DI LOGICA MATEMATICA A.A. 2015-16 Alessandro Combi Esercizio 1.7 Per ogni formula A, dimostrare che ρ(a) = min{n A F n } Soluzione: Chiamo rank(a) = min{n A F n }. Bisogna provare che rank segue

Dettagli

Logica per la Programmazione

Logica per la Programmazione Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 7 Formule Valide, Conseguenza Logica Proof System per la Logica del Primo Ordine Leggi per i Quantificatori

Dettagli

Principio di induzione: esempi ed esercizi

Principio di induzione: esempi ed esercizi Principio di induzione: esempi ed esercizi Principio di induzione: Se una proprietà P n dipendente da una variabile intera n vale per n e se, per ogni n N vale P n P n + allora P vale su tutto N Variante

Dettagli

IL CALCOLO DEL PRIMO ORDINE. Corso di Logica per la Programmazione A.A. 2010/11 Andrea Corradini, Paolo Mancarella

IL CALCOLO DEL PRIMO ORDINE. Corso di Logica per la Programmazione A.A. 2010/11 Andrea Corradini, Paolo Mancarella IL CALCOLO DEL PRIMO ORDINE Corso di Logica per la Programmazione A.A. 2010/11 Andrea Corradini, Paolo Mancarella ANCORA SU SISTEMI DI DIMOSTRAZIONE (PROOF SYSTEMS) Dato un insieme di formule, un sistema

Dettagli

LOGICA DEL PRIMO ORDINE: PROOF SYSTEM. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini

LOGICA DEL PRIMO ORDINE: PROOF SYSTEM. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini LOGICA DEL PRIMO ORDINE: PROOF SYSTEM Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini LOGICA DEL PRIMO ORDINE: RIASSUNTO Sintassi: grammatica libera da contesto (BNF), parametrica rispetto

Dettagli

ENDOMORFISMI. NOTE DI ALGEBRA LINEARE

ENDOMORFISMI. NOTE DI ALGEBRA LINEARE ENDOMORFISMI. NOTE DI ALGEBRA LINEARE 2010-11 MARCO MANETTI: 15 GENNAIO 2011 1. Endomorfismi e sottospazi invarianti Definizione 1.1. Sia V uno spazio vettoriale su K. Un endomorfismo di V è una qualsiasi

Dettagli

NOTE DI ALGEBRA LINEARE v = a 1 v a n v n, w = b 1 v b n v n

NOTE DI ALGEBRA LINEARE v = a 1 v a n v n, w = b 1 v b n v n NOTE DI ALGEBRA LINEARE 2- MM 9 NOVEMBRE 2 Combinazioni lineari e generatori Sia K un campo e V uno spazio vettoriale su K Siano v,, v n vettori in V Definizione Un vettore v V si dice combinazione lineare

Dettagli

Introduzione a una teoria assiomatica materiale

Introduzione a una teoria assiomatica materiale Introduzione a una teoria assiomatica materiale Una teoria assiomatica (o, sistema assiomatico) comprende il seguente insieme di informazioni: 1. Un elenco di termini primitivi (o indefiniti), cioè un

Dettagli

Successioni e serie di funzioni

Successioni e serie di funzioni Capitolo 2 Successioni e serie di funzioni In questo capitolo studiamo le successioni e le serie di funzioni. quindi particolari metodi per approssimare una data funzione Studiamo CAPITOLO 2. SUCCESSIONI

Dettagli

Esercizi di Analisi Matematica

Esercizi di Analisi Matematica Università degli Studi di Udine Anno Accademico 00/ Facoltà di Scienze Matematiche Fisiche e Naturali Corso di Laurea in Informatica e TWM Esercizi di Analisi Matematica Esercizi sul primo semestre del

Dettagli

F 2. i = F n F n+1. i=1 F 2 1 = 1 = F 1 F 2. Per n 1, supponiamo vero per n, dimostriamo per n + 1. F 2i+1 = F 2n+2. i=0

F 2. i = F n F n+1. i=1 F 2 1 = 1 = F 1 F 2. Per n 1, supponiamo vero per n, dimostriamo per n + 1. F 2i+1 = F 2n+2. i=0 1 ESERCIZI 1 Esercizi 1.1 Fibonacci1 Dimostrare che F 2 i = F n F n+1. Dimostrazione. Per induzione su n. Per n = 1 si ha F 2 1 = 1 = F 1 F 2. Per n 1, supponiamo vero per n, dimostriamo per n + 1. n+1

Dettagli

1. Esistono numeri della forma , ottenuti cioè ripetendo le cifre 2006 un certo numero di volte, che siano quadrati perfetti?

1. Esistono numeri della forma , ottenuti cioè ripetendo le cifre 2006 un certo numero di volte, che siano quadrati perfetti? 1 Congruenze 1. Esistono numeri della forma 200620062006...2006, ottenuti cioè ripetendo le cifre 2006 un certo numero di volte, che siano quadrati perfetti? No, in quanto tutti questi numeri sono congrui

Dettagli

Riassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria.

Riassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria. Capitolo 2 Campi 2.1 Introduzione Studiamo ora i campi. Essi sono una generalizzazione dell insieme R dei numeri reali con le operazioni di addizione e di moltiplicazione. Nel secondo paragrafo ricordiamo

Dettagli

Lezione di Laboratorio di Prgrammazione: /05/2019 a.a. 2018/2019 R.Prevete

Lezione di Laboratorio di Prgrammazione: /05/2019 a.a. 2018/2019 R.Prevete Lezione di Laboratorio di Prgrammazione: 19 13/05/2019 a.a. 2018/2019 R.Prevete Ricorsione La struttura di una funzione ricorsiva per un problema P di dimensione n (n è la dimensione dei dati input, ad

Dettagli

1 (a) [3 punti] Si consideri la successione (a n ) n N definita per ricorrenza nel modo seguente: a 0 = 1 2 a n = a n

1 (a) [3 punti] Si consideri la successione (a n ) n N definita per ricorrenza nel modo seguente: a 0 = 1 2 a n = a n Dipartimento di Matematica e Informatica Anno Accademico 2016-2017 Corso di Laurea in Informatica (L-31) Prova in itinere di Matematica Discreta (12 CFU) 5 Dicembre 2016 A1 Compito A Tempo a disposizione

Dettagli

Elementi di Algebra e Logica Esercizi 1. Insiemi, funzioni, cardinalità, induzione, funzioni ricorsive.

Elementi di Algebra e Logica Esercizi 1. Insiemi, funzioni, cardinalità, induzione, funzioni ricorsive. Elementi di Algebra e Logica 2008 Esercizi 1 Insiemi, funzioni, cardinalità, induzione, funzioni ricorsive 1 Siano A = {0, 2, 4,, 8, 10}, B = {0, 1, 2, 3, 4, 5, } e C = {4, 5,, 7, 8, 9, 10} Determinare:

Dettagli