METODI MATEMATICI PER L INFORMATICA
|
|
- Leonzio Graziano
- 5 anni fa
- Visualizzazioni
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 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
DettagliMETODI 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),
DettagliINDUZIONE 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
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
Dettagli02 - 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
DettagliFondamenti 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
DettagliINDUZIONE MATEMATICA
Regola d induzione matematica P(0), n(p(n) P(n+1)) Regola d induzione completa n(n
Dettagli04 - 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,
DettagliRagionamento 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
DettagliEsercitazioni 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
Dettagli1 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.
DettagliEsercizio 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
DettagliLuca 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
DettagliANALISI 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:
DettagliNON 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:......................................
DettagliRelazioni 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
DettagliPRINCIPIO 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
Dettagli1 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
DettagliProgamma 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:
DettagliDIMOSTRAZIONI 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
DettagliEsercizi 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 +
Dettagli04 - 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,
DettagliEsercizi 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
DettagliUniversità 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.
DettagliMETODI 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
DettagliProblema 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
DettagliLo 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
DettagliDefinizione 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
DettagliGli 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,
Dettagli2. 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
DettagliComplemento 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
DettagliErrata 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 /
DettagliAlgoritmi 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
Dettaglia 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
DettagliRagionamenti 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
DettagliANALISI 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:
DettagliElementi 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
DettagliALGEBRA 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
DettagliMETODI 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
Dettagli04 - 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
DettagliELEMENTI 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
DettagliCorso 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
DettagliFUNZIONI 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
DettagliEsercizi 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,
DettagliA.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)
DettagliAlgoritmi 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
DettagliIl 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
Dettagli1.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
DettagliIl 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
DettagliSoluzioni 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
DettagliLOGICA 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
DettagliUn 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.
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,
DettagliNOZIONI 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
DettagliAM110 - 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
DettagliAlgoritmi 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
DettagliLogica: 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
DettagliANALISI 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:
DettagliIntelligenza 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
DettagliAlgoritmi 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
DettagliEsercizi 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
DettagliSistemi 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
Dettagliacuradi 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
DettagliTecniche 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
DettagliAlgoritmi 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
DettagliLo 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
DettagliLezione 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
DettagliMATRICI 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
DettagliSoluzioni 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
DettagliIl 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.
DettagliInformatica
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
DettagliTeoria 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
DettagliLezione 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 +
DettagliFilosofia 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
Dettagli2 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.
DettagliLogica 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
DettagliCORSO 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
DettagliISTITUZIONI 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
DettagliTutti 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.
DettagliIL 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
Dettagli17. 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
DettagliSuccessioni 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)
DettagliESERCIZI 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
DettagliLogica 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
DettagliPrincipio 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
DettagliIL 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
DettagliLOGICA 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
DettagliENDOMORFISMI. 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
DettagliNOTE 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
DettagliIntroduzione 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
DettagliSuccessioni 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
DettagliEsercizi 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
DettagliF 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
Dettagli1. 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
DettagliRiassumiamo 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
DettagliLezione 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
Dettagli1 (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
DettagliElementi 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