SlideShare a Scribd company logo
1 of 52
Download to read offline
OFA Matematica
Giacomo di Tollo
Dipartimento di Economia
Università Ca’ Foscari di Venezia
Info Generali
• mail: giacomo.ditollo@unive.it
• ricevimento: lunedi’ 16-18
• Materiale didattico: - Battaia L. (2015) Matematica di
base. http://www.batmath.it/matematica/mat_base/mbase.pdf
[Capitoli 1 (senza la sezione 1.8), 2 (senza le sezioni 2.1.1, 2.1.2, 2.1.7,
2.1.8, 2.3.2, 2.4 e 2.5.8), 3 (senza le sezioni 3.2.2, 3.4 e 3.9), 4, 5, 6, 7 e
8 (senza le sezioni 8.4, 8.6.2, 8.10 e tutte le seguenti)]
Logica e Insiemi
• Proposizioni : V / F (1 / 0)
• Logica Fuzzy
• In alcuni casi assegnare un valore di verità non ha senso
• Proposizione : enunciato
• Enunciati atomici ; connettivi
• Attenzione : enunciati, non PREDICATI
Logica e Insiemi
• Proposizioni : V / F (1 / 0)
Logica e Insiemi
• Proposizioni : V / F (1 / 0)
• Logica Fuzzy
Logica e Insiemi
• Proposizioni : V / F (1 / 0)
• Logica Fuzzy
• In alcuni casi assegnare un valore di verità non ha senso
Logica e Insiemi
• Proposizioni : V / F (1 / 0)
• Logica Fuzzy
• In alcuni casi assegnare un valore di verità non ha senso
• Proposizione : Enunciato
Logica e Insiemi
• Proposizioni : V / F (1 / 0)
• Logica Fuzzy
• In alcuni casi assegnare un valore di verità non ha senso
• Proposizione : Enunciato
• Enunciati atomici ; connettivi
Logica e Insiemi
• Proposizioni : V / F (1 / 0)
• Logica Fuzzy
• In alcuni casi assegnare un valore di verità non ha senso
• Proposizione : Enunciato
• Enunciati atomici ; connettivi
• Attenzione : enunciati, non PREDICATI
Connettivi Logici
• NOT
Connettivi Logici
• NOT
• AND
Connettivi Logici
• NOT
• AND
• OR
Connettivi Logici
• NOT
• AND
• OR
• XOR (AUT)
Connettivi Logici
• NOT
• AND
• OR
• XOR (AUT)
• Implicazione Materiale
Connettivi Logici
• NOT
• AND
• OR
• XOR (AUT)
• Implicazione Materiale
• Iff : equivalenza
Connettivi Logici
• NOT
• AND
• OR
• XOR (AUT)
• Implicazione Materiale
• Iff : equivalenza
• Leggi di De Morgan
Predicati
• x : variabile
Predicati
• x : variabile
• P(x) : predicato
Predicati
• x : variabile
• P(x) : predicato
• Predicato : espressione il cui valore di verità dipende da una (o più)
variabili
Predicati
• x : variabile
• P(x) : predicato
• Predicato : espressione il cui valore di verità dipende da una (o più)
variabili
• Relazioni : predicati a più variabili
Stenografia Matematica
• Esiste / Non Esiste
Stenografia Matematica
• Esiste / Non Esiste
• Per ogni
Stenografia Matematica
• Esiste / Non Esiste
• Per ogni
• Sommatoria
Stenografia Matematica
• Esiste / Non Esiste
• Per ogni
• Sommatoria
• Produttoria
Concetti base
• Concetti primitivi
Concetti base
• Concetti primitivi
• Assiomi
Concetti base
• Concetti primitivi
• Assiomi
• Teoremi : Ipotesi → Tesi (tramite dimostrazioni)
Concetti base
• Concetti primitivi
• Assiomi
• Teoremi : Ipotesi → Tesi (tramite dimostrazioni)
• A→ B : Condizione sufficiente
Concetti base
• Concetti primitivi
• Assiomi
• Teoremi : Ipotesi → Tesi (tramite dimostrazioni)
• A→ B : Condizione sufficiente
• B → A : Condizione necessaria
Concetti base
• Concetti primitivi
• Assiomi
• Teoremi : Ipotesi → Tesi (tramite dimostrazioni)
• A→ B : Condizione sufficiente
• B → A : Condizione necessaria
• Lemmi : considerazioni intermedie
Concetti base
• Concetti primitivi
• Assiomi
• Teoremi : Ipotesi → Tesi (tramite dimostrazioni)
• A→ B : Condizione sufficiente
• B → A : Condizione necessaria
• Lemmi : considerazioni intermedie
• Corollari : conseguenze semplici
Insiemi
• Collezione di oggetti
Insiemi
• Collezione di oggetti
• Appartenenza, Insieme vuoto
Insiemi
• Collezione di oggetti
• Appartenenza, Insieme vuoto
• Sottoinsieme, sottoinsieme proprio
Insiemi
• Collezione di oggetti
• Appartenenza, Insieme vuoto
• Sottoinsieme, sottoinsieme proprio
• 2 tipi di rappresentazione
Insiemi
• Collezione di oggetti
• Appartenenza, Insieme vuoto
• Sottoinsieme, sottoinsieme proprio
• 2 tipi di rappresentazione
• Insieme delle parti: insieme contenente tutti i sottoinsiemi
Insiemi
• Collezione di oggetti
• Appartenenza, Insieme vuoto
• Sottoinsieme, sottoinsieme proprio
• 2 tipi di rappresentazione
• Insieme delle parti: insieme contenente tutti i sottoinsiemi
• Unione e intersezione
Insiemi
• Collezione di oggetti
• Appartenenza, Insieme vuoto
• Sottoinsieme, sottoinsieme proprio
• 2 tipi di rappresentazione
• Insieme delle parti: insieme contenente tutti i sottoinsiemi
• Unione e intersezione
• Operazioni base su insiemi
Insiemi
• Collezione di oggetti
• Appartenenza, Insieme vuoto
• Sottoinsieme, sottoinsieme proprio
• 2 tipi di rappresentazione
• Insieme delle parti: insieme contenente tutti i sottoinsiemi
• Unione e intersezione
• Operazioni base su insiemi
• Prodotto cartesiano, Partizione
Funzioni
• A → B ; ad ogni elemento di A deve corrispondere UN SOLO elemento
di B
Funzioni
• A → B ; ad ogni elemento di A deve corrispondere UN SOLO elemento
di B
• Notazione 1 nome : DOM → COD, var → funzione
Funzioni
• A → B ; ad ogni elemento di A deve corrispondere UN SOLO elemento
di B
• Notazione 1 nome : DOM → COD, var → funzione
• Alternative : var → funzione ; y = funzione
Funzioni
• A → B ; ad ogni elemento di A deve corrispondere UN SOLO elemento
di B
• Notazione 1 nome : DOM → COD, var → funzione
• Alternative : var → funzione ; y = funzione
• Insieme immagine
Cardinalità
• Insiemi equipotenti
Cardinalità
• Insiemi equipotenti
• Insieme finito: se non è equipotente a nessun sottoinsieme proprio
Numeri
• Kroneker : formalizzò la differenza tra numeri razionali e numeri reali
• Delta di Kroneker
• Concetto di zero : Silvestro II
Numeri Naturali (N)
• Cardinalità (insiemi numerabili)
• Ordinato (< : antiriflessiva, antisimmetrica, transitiva, tricotomia)
• Esistono il seguente, precedente
• Ogni sottoinsieme (Anche N) ha un minimo
• Sottoinsiemi superiormente limitati hanno un massimo
• Operazioni interne di somma e prodotto : associativa, commutativa,
distributiva elemento neutro
• Leggi di annullamento del prodotto, cancellazione della somma e del
prodotto, compatibilità di somma e moltiplicazione con ordine
Numeri Naturali: differenza e divisione
• NON associativa, NON commutativa, distributiva elemento neutro
• La divisione è associativa a sinistra
• La divisione non è propriamente un’operazione perché gli output
sono due: quoziente e resto
• Numero primo: divisibile per se stesso e per 1 (resto 0)
• TEOREMA FONDAMENTALE DELL’ARITMETICA: ogni numero naturale
è il prodotto di UNA SOLA combinazione di numeri primi
Numeri Naturali: Potenza e Parentesi
• Proprietà delle potenze, potenza di potenza
• La potenza è associativa a destra
• Precedenza di operazioni : potenza, moltiplicazione, addizione
• Mcm e MCD
Numeri Interi (Z)
• Cardinalità: numerabile (2n → n ; 2n+1 →-n )
• Ordinato; esiste l’opposto di un numero
• Esistono il seguente, precedente
• L’insieme non ha minimo e massimo (per insiemi superiormente
limitati)
• Operazioni interne di somma, differenza e prodotto
• Divisione : quoziente e resto
Numeri razionali (Q)
• Cardinalità: numerabili Classi di equivalenza
• Gli elementi non hanno seguente, precedente
• Esiste il reciproco per la moltiplicazione
• Non esiste più la divisione con resto
• Si puo’ espandere la potenza considerando l’esponente razionale

More Related Content

Featured

Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsSocial Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie Insights
Kurio // The Social Media Age(ncy)
 

Featured (20)

PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024
 
Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)
 
How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024
 
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsSocial Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie Insights
 
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024
 
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary
 
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd
 
Getting into the tech field. what next
Getting into the tech field. what next Getting into the tech field. what next
Getting into the tech field. what next
 
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentGoogle's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search Intent
 
How to have difficult conversations
How to have difficult conversations How to have difficult conversations
How to have difficult conversations
 
Introduction to Data Science
Introduction to Data ScienceIntroduction to Data Science
Introduction to Data Science
 
Time Management & Productivity - Best Practices
Time Management & Productivity -  Best PracticesTime Management & Productivity -  Best Practices
Time Management & Productivity - Best Practices
 
The six step guide to practical project management
The six step guide to practical project managementThe six step guide to practical project management
The six step guide to practical project management
 
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
 
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
 
12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at Work12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at Work
 
ChatGPT webinar slides
ChatGPT webinar slidesChatGPT webinar slides
ChatGPT webinar slides
 
More than Just Lines on a Map: Best Practices for U.S Bike Routes
More than Just Lines on a Map: Best Practices for U.S Bike RoutesMore than Just Lines on a Map: Best Practices for U.S Bike Routes
More than Just Lines on a Map: Best Practices for U.S Bike Routes
 
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
 
Barbie - Brand Strategy Presentation
Barbie - Brand Strategy PresentationBarbie - Brand Strategy Presentation
Barbie - Brand Strategy Presentation
 

Slides of the "Maths" Lectures, Treviso, 2018 (in Italian)

  • 1. OFA Matematica Giacomo di Tollo Dipartimento di Economia Università Ca’ Foscari di Venezia
  • 2. Info Generali • mail: giacomo.ditollo@unive.it • ricevimento: lunedi’ 16-18 • Materiale didattico: - Battaia L. (2015) Matematica di base. http://www.batmath.it/matematica/mat_base/mbase.pdf [Capitoli 1 (senza la sezione 1.8), 2 (senza le sezioni 2.1.1, 2.1.2, 2.1.7, 2.1.8, 2.3.2, 2.4 e 2.5.8), 3 (senza le sezioni 3.2.2, 3.4 e 3.9), 4, 5, 6, 7 e 8 (senza le sezioni 8.4, 8.6.2, 8.10 e tutte le seguenti)]
  • 3. Logica e Insiemi • Proposizioni : V / F (1 / 0) • Logica Fuzzy • In alcuni casi assegnare un valore di verità non ha senso • Proposizione : enunciato • Enunciati atomici ; connettivi • Attenzione : enunciati, non PREDICATI
  • 4. Logica e Insiemi • Proposizioni : V / F (1 / 0)
  • 5. Logica e Insiemi • Proposizioni : V / F (1 / 0) • Logica Fuzzy
  • 6. Logica e Insiemi • Proposizioni : V / F (1 / 0) • Logica Fuzzy • In alcuni casi assegnare un valore di verità non ha senso
  • 7. Logica e Insiemi • Proposizioni : V / F (1 / 0) • Logica Fuzzy • In alcuni casi assegnare un valore di verità non ha senso • Proposizione : Enunciato
  • 8. Logica e Insiemi • Proposizioni : V / F (1 / 0) • Logica Fuzzy • In alcuni casi assegnare un valore di verità non ha senso • Proposizione : Enunciato • Enunciati atomici ; connettivi
  • 9. Logica e Insiemi • Proposizioni : V / F (1 / 0) • Logica Fuzzy • In alcuni casi assegnare un valore di verità non ha senso • Proposizione : Enunciato • Enunciati atomici ; connettivi • Attenzione : enunciati, non PREDICATI
  • 13. Connettivi Logici • NOT • AND • OR • XOR (AUT)
  • 14. Connettivi Logici • NOT • AND • OR • XOR (AUT) • Implicazione Materiale
  • 15. Connettivi Logici • NOT • AND • OR • XOR (AUT) • Implicazione Materiale • Iff : equivalenza
  • 16. Connettivi Logici • NOT • AND • OR • XOR (AUT) • Implicazione Materiale • Iff : equivalenza • Leggi di De Morgan
  • 17. Predicati • x : variabile
  • 18. Predicati • x : variabile • P(x) : predicato
  • 19. Predicati • x : variabile • P(x) : predicato • Predicato : espressione il cui valore di verità dipende da una (o più) variabili
  • 20. Predicati • x : variabile • P(x) : predicato • Predicato : espressione il cui valore di verità dipende da una (o più) variabili • Relazioni : predicati a più variabili
  • 22. Stenografia Matematica • Esiste / Non Esiste • Per ogni
  • 23. Stenografia Matematica • Esiste / Non Esiste • Per ogni • Sommatoria
  • 24. Stenografia Matematica • Esiste / Non Esiste • Per ogni • Sommatoria • Produttoria
  • 26. Concetti base • Concetti primitivi • Assiomi
  • 27. Concetti base • Concetti primitivi • Assiomi • Teoremi : Ipotesi → Tesi (tramite dimostrazioni)
  • 28. Concetti base • Concetti primitivi • Assiomi • Teoremi : Ipotesi → Tesi (tramite dimostrazioni) • A→ B : Condizione sufficiente
  • 29. Concetti base • Concetti primitivi • Assiomi • Teoremi : Ipotesi → Tesi (tramite dimostrazioni) • A→ B : Condizione sufficiente • B → A : Condizione necessaria
  • 30. Concetti base • Concetti primitivi • Assiomi • Teoremi : Ipotesi → Tesi (tramite dimostrazioni) • A→ B : Condizione sufficiente • B → A : Condizione necessaria • Lemmi : considerazioni intermedie
  • 31. Concetti base • Concetti primitivi • Assiomi • Teoremi : Ipotesi → Tesi (tramite dimostrazioni) • A→ B : Condizione sufficiente • B → A : Condizione necessaria • Lemmi : considerazioni intermedie • Corollari : conseguenze semplici
  • 33. Insiemi • Collezione di oggetti • Appartenenza, Insieme vuoto
  • 34. Insiemi • Collezione di oggetti • Appartenenza, Insieme vuoto • Sottoinsieme, sottoinsieme proprio
  • 35. Insiemi • Collezione di oggetti • Appartenenza, Insieme vuoto • Sottoinsieme, sottoinsieme proprio • 2 tipi di rappresentazione
  • 36. Insiemi • Collezione di oggetti • Appartenenza, Insieme vuoto • Sottoinsieme, sottoinsieme proprio • 2 tipi di rappresentazione • Insieme delle parti: insieme contenente tutti i sottoinsiemi
  • 37. Insiemi • Collezione di oggetti • Appartenenza, Insieme vuoto • Sottoinsieme, sottoinsieme proprio • 2 tipi di rappresentazione • Insieme delle parti: insieme contenente tutti i sottoinsiemi • Unione e intersezione
  • 38. Insiemi • Collezione di oggetti • Appartenenza, Insieme vuoto • Sottoinsieme, sottoinsieme proprio • 2 tipi di rappresentazione • Insieme delle parti: insieme contenente tutti i sottoinsiemi • Unione e intersezione • Operazioni base su insiemi
  • 39. Insiemi • Collezione di oggetti • Appartenenza, Insieme vuoto • Sottoinsieme, sottoinsieme proprio • 2 tipi di rappresentazione • Insieme delle parti: insieme contenente tutti i sottoinsiemi • Unione e intersezione • Operazioni base su insiemi • Prodotto cartesiano, Partizione
  • 40. Funzioni • A → B ; ad ogni elemento di A deve corrispondere UN SOLO elemento di B
  • 41. Funzioni • A → B ; ad ogni elemento di A deve corrispondere UN SOLO elemento di B • Notazione 1 nome : DOM → COD, var → funzione
  • 42. Funzioni • A → B ; ad ogni elemento di A deve corrispondere UN SOLO elemento di B • Notazione 1 nome : DOM → COD, var → funzione • Alternative : var → funzione ; y = funzione
  • 43. Funzioni • A → B ; ad ogni elemento di A deve corrispondere UN SOLO elemento di B • Notazione 1 nome : DOM → COD, var → funzione • Alternative : var → funzione ; y = funzione • Insieme immagine
  • 45. Cardinalità • Insiemi equipotenti • Insieme finito: se non è equipotente a nessun sottoinsieme proprio
  • 46. Numeri • Kroneker : formalizzò la differenza tra numeri razionali e numeri reali • Delta di Kroneker • Concetto di zero : Silvestro II
  • 47.
  • 48. Numeri Naturali (N) • Cardinalità (insiemi numerabili) • Ordinato (< : antiriflessiva, antisimmetrica, transitiva, tricotomia) • Esistono il seguente, precedente • Ogni sottoinsieme (Anche N) ha un minimo • Sottoinsiemi superiormente limitati hanno un massimo • Operazioni interne di somma e prodotto : associativa, commutativa, distributiva elemento neutro • Leggi di annullamento del prodotto, cancellazione della somma e del prodotto, compatibilità di somma e moltiplicazione con ordine
  • 49. Numeri Naturali: differenza e divisione • NON associativa, NON commutativa, distributiva elemento neutro • La divisione è associativa a sinistra • La divisione non è propriamente un’operazione perché gli output sono due: quoziente e resto • Numero primo: divisibile per se stesso e per 1 (resto 0) • TEOREMA FONDAMENTALE DELL’ARITMETICA: ogni numero naturale è il prodotto di UNA SOLA combinazione di numeri primi
  • 50. Numeri Naturali: Potenza e Parentesi • Proprietà delle potenze, potenza di potenza • La potenza è associativa a destra • Precedenza di operazioni : potenza, moltiplicazione, addizione • Mcm e MCD
  • 51. Numeri Interi (Z) • Cardinalità: numerabile (2n → n ; 2n+1 →-n ) • Ordinato; esiste l’opposto di un numero • Esistono il seguente, precedente • L’insieme non ha minimo e massimo (per insiemi superiormente limitati) • Operazioni interne di somma, differenza e prodotto • Divisione : quoziente e resto
  • 52. Numeri razionali (Q) • Cardinalità: numerabili Classi di equivalenza • Gli elementi non hanno seguente, precedente • Esiste il reciproco per la moltiplicazione • Non esiste più la divisione con resto • Si puo’ espandere la potenza considerando l’esponente razionale