CORSO DI APPROFONDIMENTO

Slides:



Advertisements
Presentazioni simili
LOGICA.
Advertisements

Introduzione ~ 1850 Boole - De Morgan – Schroeder ALGEBRA BOOLEANA
CORSO DI APPROFONDIMENTO
La logica è lo studio del ragionamento.
LOGICA.
ELEMENTI DI LOGICA del Prof. Giovanni Ianne
LA LOGICA MATEMATICA.
Le proposizioni DEFINIZIONE. La logica è un ramo della matematica che studia le regole per effettuare ragionamenti rigorosi e corretti. DEFINIZIONE. Una.
Raccontare la matematica giocare con logica...sin dall'antichità.
passaggi per capire meglio Coding a scuola:
Logica Lezione 25, 20/4/15: ESAME INTERMEDIO IN CLASSE.
Intelligenza Artificiale 1 Sistemi basati su conoscenza Conoscenza e ragionamento Prof. M.T. PAZIENZA a.a
Logica Lezz
Universita’ di Milano Bicocca Corso di Basi di dati 1 in eLearning C
CARTESIO Miceli Roberta IV D A. S. 2016/2017.
Operatori logici.
Universita’ di Milano Bicocca Corso di Basi di dati 1 in eLearning
Fil Ling Lezioni 7-9.
Fil Ling Lezz /2/15.
Fil Ling Lezioni 4-6.
Universita’ di Milano Bicocca Corso di Basi di dati 1 in eLearning C
Universita’ di Milano Bicocca Corso di Basi di dati 1 in eLearning C
Insiemi e logica Insiemi e operazioni insiemistiche
La svolta della filosofia
Le equazioni di II°Grado
Rivoluzione scientifica ( )
Logica
A. A – 2008 Basi di dati 1 Corso Prof
Insiemi e logica Insiemi e operazioni insiemistiche
Le mie emozioni… La mia opinione…
L’ESSERE PARMENIDE ( a.C.) REALIZZATO DA ELEONORA MARCIANTE 3^B
GLI INSIEMI Prof.ssa Maura Roberta Orlando
DIO - INDICE 2. DIO C’È? 3. DIO: SCHEMA A FRECCE
Francesco orilia Logica A.A Francesco orilia
PARTE TERZA OPERAZIONI CON LE PROPOSIZIONI
Universita’ di Milano Bicocca Corso di Basi di dati 1 in eLearning C
CONDIZIONE NECESSARIA
Ripasso… Elementi di logica
Elevamento a potenza di G. CALVI
Gli enti geometrici fondamentali
Filosofia della logica
I NUMERI RELATIVI INTRODUZIONE
L'Insieme.
Logica Lezioni
LA MATEMATICA NELLA COSTITUZIONE
Le proposizioni DEFINIZIONE. La logica è un ramo della matematica che studia le regole per effettuare ragionamenti rigorosi e corretti. DEFINIZIONE. Una.
Algebra di Boole e sue applicazioni
La logica di Aristotele
I RADICALI Definizione di radicali Semplificazione di radicali
TEORIA ELEMENTARE DEGLI INSIEMI.
Algebra Booleana.
Elementi di base per lo studio dei circuiti digitali
Logica Lezioni
CONVEGNO CLARA.
Definizione di linguaggio di programmazione
Algebra di Boole e Funzioni Binarie
Fil Ling Lezioni 7-9.
Teoria della computabilità
Logica Lezioni
Logica Lezioni
Proposizioni Coordinate
Francesco orilia Logica A.A Semestre II Francesco orilia
Logica Lezioni 16-.
ALGORITMO E’ una successione finita di passi che consente di risolvere tutti i problemi di una classe e di determinare il risultato. Caratteristiche: Finito.
Modello matematico per la risoluzione dei problemi
Transcript della presentazione:

CORSO DI APPROFONDIMENTO Parte relativa alla logica: presentazione argomenti ed esercizi CORSO DI APPROFONDIMENTO

ALLENA IL NOSTRO “SENSO CRITICO” Scienza (o tecnica) del discorso LOGICA Piccolo percorso storico: la logica ci aiuta a ragionare e ci porta alla dimostrazione delle nostre affermazioni ALLENA IL NOSTRO “SENSO CRITICO”

Non utilizza solo un modo di ragionare ma molti:dal pensiero deduttivo al correlativo

Cenni storici La logica è la disciplina filosofica che studia le forme del ragionamento corretto. Da Aristotele al secolo scorso la logica è stata impiegata in campo filosofico nelle argomentazioni di tipo essenzialmente metafisico.  La logica matematica nasce con Boole e con la sua idea di quantificare i predicati, cioè di applicare alla vecchia logica formale di derivazione aristotelica le regole e i procedimenti dell'algebra. Utilizza un linguaggio “formale” (cioè fatto di appositi simboli) e rigoroso con lo scopo di controllare le dimostrazioni, ovvero il susseguirsi dei passaggi logici.

LA LOGICA E IL LINGUAGGIO... LE PROPOSIZIONI Che cos’è una proposizione???

CERCA DI CAPIRE LA DIFFERENZA La porta e' chiusa Chiudi la porta È una proposizione Non è una proposizione

In matematica una frase si dice proposizione se è vera o falsa

Quali frasi sono proposizioni? Per ciascuna frase indica se è una proposizione e in tal caso indica se è vera o falsa. a) 4 è un multiplo di 9 b) Rimini è il capoluogo dell’Emilia Romagna c) Domani pioverà.

Le proposizioni si rappresentano con una lettera minuscola dell'alfabeto: r: il delfino e' un mammifero q: il numero 5 e' dispari

ESERCITIAMOCI: LIBRO E PAGINA 294 es dal n° 1 a 9

La logica si basa sul linguaggio degli insiemi…per la vostra gioia! http://www.ripmat.it/mate/j/jb/jb.html

I QUANTIFICATORI Sono elementi della proposizione che indicano a quanti soggetti (o oggetti) si riferisce la frase Nessuno, uno solo, almeno uno, qualche/alcuni, ogni/tutti. IL LINGUAGGIO COMUNE UTILIZZA I QUANTIFICATORI IN MODO DIVERSO

Se p è vera non p è falsa e viceversa La negazione Per negare una proposizione p dobbiamo costruire la frase negativa non p p Se p è vera non p è falsa e viceversa

TAVOLA DI VERITA’ DELLA NEGAZIONE p

Esercitiamoci sulla negazione Ricorda se p e' una proposizione vera il non p e' falsa e viceversa!!

La negazione come l’insieme complementare N= insieme dei numeri naturali Insieme dei numeri pari P

ESERCITIAMOCI: LIBRO E PAGINA 295 es dal n°14-15-16-18-29-30

p: Clara ha gli occhiali q: Clara ha l'apparecchio dentale Le proposizione viste finora sono chiamate semplici. Possiamo però collegare una coppia di proposizioni e formare una proposizione composta. Es: p: Clara ha gli occhiali q: Clara ha l'apparecchio dentale

Clara porta gli occhiali E ha l'apparecchio dentale Connettivo logico "e" Clara porta gli occhiali E ha l'apparecchio dentale

ESERCITIAMOCI: LIBRO E PAGINA 296 es dal n° 34 -35

Il connettivo e nel linguaggio degli insiemi rappresenta l’operazione di intersezione

LA DISGIUNZIONE "O" Proposizioni semplici: p: io mangio q:io ascolto la musica PROPOSIZIONE COMPOSTA Io mangio o ascolto la musica

ESERCITIAMOCI: LIBRO E PAGINA 296 es n°38-39-40-46-47

Nel linguaggio degli insiemi la disgiunzione... O uno o l'altro non entrambi

Corso tenuto dalle prof. T.Franzoni e R. Faziani Fine presentazione Corso tenuto dalle prof. T.Franzoni e R. Faziani