Dall italiano al linguaggio della logica proposizionale

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Dall italiano al linguaggio della logica proposizionale"

Transcript

1 Dall italiano al linguaggio della logica proposizionale Dall italiano al linguaggio della logica proposizionale Enunciati atomici e congiunzione In questa lezione e nelle successive, vedremo come fare uso del linguaggio LP per rappresentare frasi dell italiano. Sandro Zucchi S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 1 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 2 Enunciati atomici dell italiano Rappresentazione in LP degli enunciati atomici Così come alcune formule di LP sono atomiche, cioè non sono composte da altre formule, l italiano ha degli enunciati che non sono composti da altri enunciati, e che, per questa ragione, possiamo chiamare enunciati atomici. In questo senso, (1) è un enunciato atomico dell italiano: (1) L erba è verde. Invece, (2) non è un enunciato atomico dell italiano, è un enunciato complesso, in quanto è composto dagli enunciati l erba è verde e il fumo è giallo : Come si rappresentano in LP gli enunciati atomici dell italiano? Con lettere proposizionali di LP. La scelta della lettera proposizionale da usare per un dato enunciato atomico è arbitraria. Tuttavia, dovremo aver cura di rispettare queste convenzioni: usare la stessa lettera proposizionale per rappresentare occorrenze diverse dello stesso enunciato atomico; usare lettere proposizionali diverse per rappresentare enunciati atomici diversi. (2) L erba è verde e il fumo è giallo. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 3 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 4

2 Una conseguenza Una conseguenza della nostra scelta di rappresentare gli enunciati atomici dell italiano attraverso lettere proposizionali arbitrarie di LP è che la rappresentazione in LP degli enunciati atomici dell italiano non avrà nulla da dirci sulle condizioni di verità di questi enunciati. In altre parole, la rappresentazione in LP non ci darà alcuna informazione su come le condizioni di verità di (1) differiscono dalle condizioni di verità di (3) o di (4): (1) L erba è verde. (3) Il fumo è giallo. (4) Ogni rosa ha la sua spina. Per gli enunciati complessi dell italiano, invece, non sarà così: la scelta di una certa rappresentazione in LP per enunciati complessi dell italiano di una certa forma equivarrà, come vedremo, ad attribuire certe condizioni di verità a enunciati di quella forma. La chiave di rappresentazione Abbiamo detto che rappresenteremo gli enunciati atomici dell italiano con lettere proposizionali arbitrarie di LP. Per chiarezza, ogni volta che rappresentiamo un enunciato dell italiano con una formula di LP è opportuno specificare a quali enunciati atomici dell italiano le lettere proposizionali usate nella formula corrispondono. Chiameremo questa informazione la chiave di rappresentazione. Per esempio, se nella rappresentazione usiamo le lettere p e q per gli enunciati atomici l erba è verde e il fumo è giallo, allora dobbiamo specificare la chiave seguente: p: l erba è verde q: il fumo è giallo S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 5 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 6 Rappresentazione in LP delle congiunzioni Un esempio Considerate ora di nuovo l enunciato (2): (2) L erba è verde e il fumo è giallo. Se è vero che l erba è verde ed è vero che il fumo è giallo, allora, evidentemente, (2) è vero. D altra, se è falso che l erba è verde o è falso che il fumo è giallo, allora (2) è evidentemente falso. Questo suggerisce che un enunciato della forma A e B (una congiunzione di due enunciati) sia vero in italiano se A e B (i congiunti) sono entrambi veri in italiano, altrimenti A e B è falso in italiano. In LP, esiste un connettivo la cui tavola di verità richiede che entrambe le formule che connette siano vere in LP, e cioè. Rappresenteremo dunque gli enunciati dell italiano della forma A e B (le congiunzioni di due enunciati) con formule di LP della forma A B. Enunciato italiano: L erba è verde e il fumo è giallo p : l erba è verde q : il fumo è giallo S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 7 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 8

3 Una riflessione Prima di procedere nella nostra discussione, riflettiamo un momento sul ragionamento che abbiamo fatto quando abbiamo deciso di rappresentare gli enunciati dell italiano della forma A e B con formule di LP della forma A B. Abbiamo detto che è plausibile adottare questa rappresentazione in quanto esiste una corrispondenza tra le condizioni di verità degli enunciati dell italiano della forma A e B e le formule di LP della forma A B : un enunciato della forma A e B è vero in italiano esattamente nel caso in cui entrambi gli enunciati connessi da e sono veri in italiano e una formula della forma A B è vera in LP esattamente nel caso in cui entrambe le formule connesse da sono vere in LP. In questo senso, possiamo dire che, rappresentando gli enunciati dell italiano della forma A e B con formule di LP della forma A B, abbiamo preservato le condizioni di verità degli enunciati italiani della forma A e B. Un criterio di correttezza per le rappresentazioni Nel ragionamento precedente, abbiamo dunque implicitamente fatto uso del criterio seguente per determinare la correttezza della rappresentazione in LP di un enunciato complesso dell italiano: una rappresentazione corretta in un linguaggio formale di un enunciato complesso dell italiano di una certa forma deve preservare le condizioni di verità degli enunciati italiani di quella forma. Possiamo formulare lo stesso requisito dicendo: i connettivi dell italiano devono essere rappresentati da connettivi del linguaggio formale che danno lo stesso contributo alle condizioni di verità delle formule complesse in cui occorrono. Sarà questo criterio a guidarci anche nel rappresentare enunciati italiani di altre forme. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 9 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 10 Discussione di una scelta La decisione di rappresentare e con richiede alcune precisazioni. Infatti, in alcuni casi e viene usato per connettere espressioni diverse da enunciati. Inoltre, ad un primo esame, potrebbe sembrare che esistano alcuni usi di e per connettere enunciati che non sono tradotti correttamente da. È necessario affrontare queste questioni prima di procedere. Congiunzione di espressioni diverse da enunciati Nel linguaggio LP, il connettivo collega tra loro delle formule, cioè si combina con due formule A e B per dar luogo a una nuova formula della forma (A B). In italiano, la congiunzione e può collegare tra loro degli enunciati per formare un enunciato complesso. Ma può anche collegare espressioni diverse da enunciati. Per esempio, mentre in (2) e collega degli enunciati, in (5) collega delle espressioni nominali ( Leo, Lia ), in (6) collega delle espressioni verbali ( fuma, beve ), in (7) collega delle espressioni aggettivali ( generoso, gentile ), e in (8) collega delle espressioni preposizionali ( a Milano, a Napoli ): (2) L erba è verde e fumo è giallo. (5) Leo e Lia corrono. (6) Leo fuma e beve. (7) Leo è generoso e gentile. (8) Leo va spesso a Milano e a Napoli. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 11 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 12

4 Riducibilità alla congiunzione di enunciati Corridori In (5) abbiamo una congiunzione di espressioni nominali. Ma (5) è equivalente alla congiunzione di enunciati in (9): È importante rendersi conto che, mentre alcune occorrenze di e che non connettono enunciati sono riducibili a congiunzioni di enunciati, altre non lo sono. Per questo motivo, nel far uso di per rappresentare e, dobbiamo esercitare una certa cautela. Vediamo alcuni esempi. (5) Leo e Lia corrono. (9) Leo corre e Lia corre. Dal momento che (5) è equivalente a (9), possiamo rappresentare (5) per mezzo di nel modo seguente: Enunciato italiano: Leo e Lia corrono p : Leo corre q : Lia corre S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 13 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 14 Gaudenti In (6) abbiamo una congiunzione di espressioni verbali. Analogamente al caso precedente, (6) è equivalente alla congiunzione di enunciati in (10): (6) Leo fuma e beve. (10) Leo fuma e Leo beve. Dal momento che (6) è equivalente a (10), possiamo rappresentare (6) per mezzo di nel modo seguente: Enunciato italiano : Leo fuma e beve Rappresentazione in LP : (p q) p : Leo fuma q : Leo beve Coppie Si consideri ora l enunciato seguente: (11) Mario e Maria sono una coppia. In questo caso, la congiunzione in (11) non è equivalente alla congiunzione di enunciati in (12): (12) Mario è una coppia e Maria è una coppia. Infatti, mentre (11) può essere vero in alcune circostanze, (12) è invece sicuramente falso, dal momento che nessun individuo singolo può essere una coppia. Per questa ragione, non è corretto rappresentare (11) per mezzo di nel modo seguente: Enunciato italiano: Mario e Maria sono una coppia p : Mario è una coppia q : Maria è una coppia S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 15 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 16

5 Altri gaudenti Morale Un problema analogo è posto dall enunciato (13). Questo enunciato non è equivalente alla congiunzione di enunciati in (14): (13) Alcuni uomini fumano e bevono. (14) Alcuni uomini fumano e alcuni uomini bevono. Infatti, l enunciato (14) è vero nel caso in cui alcuni uomini fumano e alcuni uomini bevono, ma nessun uomo fuma e beve. Invece, (13) è falso in questo caso. Per questa ragione, non è corretto rappresentare (13) così: Enunciato italiano: Alcuni uomini fumano e bevono p : Alcuni uomini fumano q : Alcuni uomini bevono La morale che dobbiamo trarre da queste osservazioni è dunque la seguente: quando, in un enunciato, e congiunge espressioni diverse da enunciati, non è sempre possibile usare per rappresentare l enunciato. Dobbiamo prima accertarci che l enunciato che contiene e sia equivalente alla congiunzione di due enunciati. Se lo è, allora possiamo rappresentare per mezzo di la congiunzione di due enunciati a cui è equivalente. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 17 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 18 Una questione residua Ok, ora sappiamo che (5) è rappresentabile in LP per mezzo del connettivo, mentre (11) e (13) no. (5) Leo e Lia corrono. (11) Mario e Maria sono una coppia. (13) Alcuni uomini fumano e bevono. Ma allora come dobbiamo rappresentare (11) e (13) in LP? Per rappresentare questi enunciati useremo semplicemente delle formule atomiche di LP. Congiunzione e ordine temporale Concentriamo ora la nostra attenzione sugli usi della congiunzione e per collegare enunciati. Nella discussione precedente, abbiamo assunto che, quando e collega enunciati, il suo significato è identico a quello di. Ma è corretta questa assunzione? Si consideri l enunciato seguente: Pare naturale affermare che (15) è vero esattamente nelle circostanze in cui (16) è vero: Se questa affermazione è corretta, tuttavia, c è un problema per la nostra assunzione che e in (15) è rappresentato correttamente da. Vediamo qual è. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 19 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 20

6 Il problema Se è corretto affermare che (15) è vero esattamente nelle circostanze in cui (16) è vero, la nostra decisione di rappresentare la congiunzione tra enunciati e con è sicuramente sbagliata: Infatti, se rappresentiamo e in (15) con, le condizioni di verità della rappresentazione di (15) in LP non dicono nulla sull ordine temporale in cui i congiunti sono veri: la formula (p q) è vera se p è vera e q è vera, non importa in quale ordine. Enunciato italiano: Camilla si è tolta le scarpe ed è saltata nel letto p : Camilla si è tolta le scarpe q : Camilla è saltata nel letto Mantenere la decisione A causa del problema di Camilla, dobbiamo dunque rivedere la nostra decisione di rappresentare il connettivo e (quando congiunge enunciati) con il connettivo? In realtà, contrariamente a quanto parrebbe in base al ragionamento precedente, è plausibile sostenere che il caso di Camilla non ci costringe affatto a tornare su questa decisione. Questo per almeno due ragioni. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 21 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 22 Prima ragione Seconda ragione In primo luogo, non è affatto chiaro che l ordine temporale suggerito da (15) dipenda dal contributo di e alle condizioni di verità di (15): Si noti infatti che esattamente lo stesso ordine temporale è suggerito dal discorso (17), in cui il connettivo e non appare: (17) Camilla si è tolta le scarpe. È saltata nel letto. In secondo luogo, contrariamente a quanto può sembrare a prima vista, non è affatto vero che (15) e (16) sono veri esattamente nelle stesse circostanze: Al contrario di (16), l enunciato (15) può essere vero anche nel caso in cui Camilla si è tolta le scarpe soltanto dopo essere saltata nel letto. Vediamo un esempio che ci mostra come questo sia possibile. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 23 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 24

7 Un esempio a sostegno Confrontate il discorso in (18) con il discorso in (19): (18) Ieri sera, Camilla ha fatto due cose quando è salita in camera: si è tolta le scarpe prima di saltare nel letto. Come al solito, però, si è tolta le scarpe solo dopo essere saltata nel letto. (19) Ieri sera, Camilla ha fatto due cose quando è salita in camera: si è tolta le scarpe ed è saltata nel letto. Come al solito, però, si è tolta le scarpe solo dopo essere saltata nel letto. Mentre (18) è chiaramente contraddittorio, è possibile affermare (19) senza contraddirsi. Questo significa che l enunciato (15), a differenza dell enunciato (16), può essere vero anche nel caso in cui Camilla si è tolta le scarpe soltanto dopo essere saltata nel letto: Conclusione Se (15) può essere vero anche nel caso in cui Camilla si è tolta le scarpe dopo essere saltata nel letto, dobbiamo concludere che le condizioni di verità associate alle congiunzioni dell italiano, così come le condizioni di verità associate a formule di LP in cui il connettivo principale è, non richiedono affatto che il primo congiunto sia vero prima del secondo congiunto. Possiamo dunque mantenere ferma la decisione di rappresentare e (quando collega enunciati) per mezzo di. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 25 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 26 Una questione aperta È chiaro che la discussione precedente, mentre ci consente di sostenere che rappresenta correttamente le occorrenze di e che collegano enunciati, lascia però aperta una questione. Abbiamo sostenuto che le condizioni di verità di (15) non richiedono che (16) sia vero: Resta il fatto che, se asseriamo (15), molto spesso la nostra asserzione suggerisce che l ordine degli eventi sia effettivamente quello descritto da (16). Come mai accade questo? Ordine temporale e ordine degli enunciati La ragione per cui, asserendo (15) suggeriamo che sia vero (16), potrebbe essere questa: ascoltando un discorso, è ragionevole assumere, in assenza di indicazioni contrarie, che il parlante esponga ordinatamente gli eventi che ci racconta. Per questa ragione, in assenza di indicazioni contrarie, assumiamo che l ordine in cui vengono asseriti gli enunciati nel discorso rifletta l ordine temporale degli eventi che essi descrivono. Questo spiegherebbe perché tendiamo a interpretare sia (15) che (17) come l affermazione che Camilla è saltata nel letto dopo essersi tolta le scarpe, benché questo non sia richiesto dalle condizioni di verità di (15) e (17): (17) Camilla si è tolta le scarpe. È saltata nel letto. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 27 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 28

8 Condizioni verità e teoria della comunicazione È importante rendersi conto che il fenomeno evidenziato da (15) è parte di un fenomeno più generale: Il fatto che, asserendo un certo enunciato, possiamo suggerire qualcosa che non è richiesto dalle condizioni di verità di quell enunciato è una situazione che si verifica continuamente quando comunichiamo attraverso il linguaggio. Diciamo il treno parte tra pochi minuti! per suggerire Sei in ritardo!. Eppure le condizioni di verità di il treno parte tra pochi minuti! sono evidentemente diverse dalle condizioni di verità di Sei in ritardo!. Spiegare come sia possibile emettere un enunciato con certe condizioni di verità e suggerire qualcos altro è compito di una teoria della comunicazione. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 29

Dall italiano alla logica proposizionale

Dall italiano alla logica proposizionale Rappresentare l italiano in LP Dall italiano alla logica proposizionale Sandro Zucchi 2009-10 In questa lezione, vediamo come fare uso del linguaggio LP per rappresentare frasi dell italiano. Questo ci

Dettagli

Ascrizioni di credenza

Ascrizioni di credenza Ascrizioni di credenza Ascrizioni di credenza Introduzione Sandro Zucchi 2014-15 Le ascrizioni di credenza sono asserzioni del tipo in (1): Da un punto di vista filosofico, i problemi che pongono asserzioni

Dettagli

2. Semantica proposizionale classica

2. Semantica proposizionale classica 20 1. LINGUAGGIO E SEMANTICA 2. Semantica proposizionale classica Ritorniamo un passo indietro all insieme dei connettivi proposizionali che abbiamo utilizzato nella definizione degli enunciati di L. L

Dettagli

Risoluzione. Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005

Risoluzione. Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005 Risoluzione Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005 1 Risoluzione Introdurremo ora un metodo per capire se un insieme di formule è soddisfacibile o meno. Lo vedremo prima per insiemi

Dettagli

La Logica Proposizionale. (Algebra di Boole)

La Logica Proposizionale. (Algebra di Boole) 1 ISTITUTO DI ISTRUZIONE SUPERIORE ANGIOY La Logica Proposizionale (Algebra di Boole) Prof. G. Ciaschetti 1. Cenni storici Sin dagli antichi greci, la logica è intesa come lo studio del logos, che in greco

Dettagli

Dispense di Filosofia del Linguaggio

Dispense di Filosofia del Linguaggio Dispense di Filosofia del Linguaggio Vittorio Morato II settimana Gottlob Frege (1848 1925), un matematico e filosofo tedesco, è unanimemente considerato come il padre della filosofia del linguaggio contemporanea.

Dettagli

6.1 La metafisica della Credenza e del Pensiero: il Resoconto Positivo

6.1 La metafisica della Credenza e del Pensiero: il Resoconto Positivo EpiLog 16 XII 2013 Marco Volpe Sainsbury &Tye, Seven Puzzles of Thought Cap. VI The Methaphysics of Thought La concezione ortodossa riguardo il pensiero è che pensare che p significa essere in un appropriato

Dettagli

Parte 3. Rango e teorema di Rouché-Capelli

Parte 3. Rango e teorema di Rouché-Capelli Parte 3. Rango e teorema di Rouché-Capelli A. Savo Appunti del Corso di Geometria 203-4 Indice delle sezioni Rango di una matrice, 2 Teorema degli orlati, 3 3 Calcolo con l algoritmo di Gauss, 6 4 Matrici

Dettagli

Anno 1. Definizione di Logica e operazioni logiche

Anno 1. Definizione di Logica e operazioni logiche Anno 1 Definizione di Logica e operazioni logiche 1 Introduzione In questa lezione ci occuperemo di descrivere la definizione di logica matematica e di operazioni logiche. Che cos è la logica matematica?

Dettagli

Può la descrizione quantomeccanica della realtà fisica considerarsi completa?

Può la descrizione quantomeccanica della realtà fisica considerarsi completa? Può la descrizione quantomeccanica della realtà fisica considerarsi completa? A. Einstein, B. Podolsky, N. Rosen 25/03/1935 Abstract In una teoria completa c è un elemento corrispondente ad ogni elemento

Dettagli

Implicazione logica. p q p q falsa falsa vera falsa vera vera vera falsa falsa vera vera vera

Implicazione logica. p q p q falsa falsa vera falsa vera vera vera falsa falsa vera vera vera Implicazione logica L implicazione logica è un connettivo logico attraverso il quale, a partire da due proposizioni p e q, si forma una nuova proposizione,chiamata p implica q e si scrive p q, la quale

Dettagli

Austin propone di chiamare: Gli enunciati descrittivi enunciati constativi Gli enunciati che servono per compiere un atto enunciati performativi

Austin propone di chiamare: Gli enunciati descrittivi enunciati constativi Gli enunciati che servono per compiere un atto enunciati performativi Atti linguistici Per i filosofi del linguaggio ideale: la funzione principale del linguaggio è quella di descrivere stati di cose (descrivere come sarebbe il mondo se l enunciato proferito fosse vero)

Dettagli

La scala maggiore. In questa fase è come se sapessimo il modo giusto di aprire la bocca per parlare ma non avessimo idea delle parole da dire

La scala maggiore. In questa fase è come se sapessimo il modo giusto di aprire la bocca per parlare ma non avessimo idea delle parole da dire La scala maggiore Ora che abbiamo dato un pò di cenni teorici e impostato sia la mano destra che la sinistra è venuto il momento di capire cosa suonare con il basso ( impresa ardua direi ), cioè quando

Dettagli

J.L. Austin. J.L. Austin. Come fare cose con le parole. performativi vs constativi. performativi vs constativi. performativi vs constativi

J.L. Austin. J.L. Austin. Come fare cose con le parole. performativi vs constativi. performativi vs constativi. performativi vs constativi J.L. Austin J.L. Austin, Come fare cose con le parole cap. VII, VIII, IX, XI J.L. Austin e la teoria degli atti linguistici Le lezioni di Austin intitolate How to do things with words sono state tenute

Dettagli

Domanda e offerta di lavoro

Domanda e offerta di lavoro Domanda e offerta di lavoro 1. Assumere (e licenziare) lavoratori Anche la decisione di assumere o licenziare lavoratori dipende dai costi che si devono sostenere e dai ricavi che si possono ottenere.

Dettagli

x u v(p(x, fx) q(u, v)), e poi

x u v(p(x, fx) q(u, v)), e poi 0.1. Skolemizzazione. Ogni enunciato F (o insieme di enunciati Γ) è equisoddisfacibile ad un enunciato universale (o insieme di enunciati universali) in un linguaggio estensione del linguaggio di F (di

Dettagli

Giocando con le parole: auto-referenza e logica matematica

Giocando con le parole: auto-referenza e logica matematica Giocando con le parole: auto-referenza e logica matematica Claudio Bernardi (Sapienza, Università di Roma) autoreferente qualcosa che parla di se stesso o che si riferisce a se stesso un'autoreferenza

Dettagli

Mathematical logic 1 st assessment Propositional Logic 23 October 2014

Mathematical logic 1 st assessment Propositional Logic 23 October 2014 Name ID. 1 Mathematical logic 1 st assessment Propositional Logic 23 October 2014 Instructions Rispondete in Italiano utilizzando una penna ad inchiostro (no matite) a meno che le domande non vi diano

Dettagli

LOGICA PER LA PROGRAMMAZIONE. Franco Turini turini@di.unipi.it

LOGICA PER LA PROGRAMMAZIONE. Franco Turini turini@di.unipi.it LOGICA PER LA PROGRAMMAZIONE Franco Turini turini@di.unipi.it IPSE DIXIT Si consideri la frase: in un dato campione di pazienti, chi ha fatto uso di droghe pesanti ha utilizzato anche droghe leggere. Quali

Dettagli

LOGICA DEI PREDICATI. Introduzione. Predicati e termini individuali. Termini individuali semplici e composti

LOGICA DEI PREDICATI. Introduzione. Predicati e termini individuali. Termini individuali semplici e composti Introduzione LOGICA DEI PREDICATI Corso di Intelligenza Artificiale A.A. 2009/2010 Prof. Ing. Fabio Roli La logica dei predicati, o logica del primo ordine (LPO) considera schemi proposizionali composti

Dettagli

Obiettivo Principale: Spiegare come la stessa cosa possa essere realizzata in molti modi diversi e come, a volte, ci siano modi migliori di altri.

Obiettivo Principale: Spiegare come la stessa cosa possa essere realizzata in molti modi diversi e come, a volte, ci siano modi migliori di altri. 6 LEZIONE: Algoritmi Tempo della lezione: 45-60 Minuti. Tempo di preparazione: 10-25 Minuti (a seconda che tu abbia dei Tangram disponibili o debba tagliarli a mano) Obiettivo Principale: Spiegare come

Dettagli

ALGEBRA DELLE PROPOSIZIONI

ALGEBRA DELLE PROPOSIZIONI Università di Salerno Fondamenti di Informatica Corso di Laurea Ingegneria Corso B Docente: Ing. Giovanni Secondulfo Anno Accademico 2010-2011 ALGEBRA DELLE PROPOSIZIONI Fondamenti di Informatica Algebra

Dettagli

Logica del primo ordine

Logica del primo ordine Università di Bergamo Facoltà di Ingegneria Intelligenza Artificiale Paolo Salvaneschi A7_4 V1.3 Logica del primo ordine Il contenuto del documento è liberamente utilizzabile dagli studenti, per studio

Dettagli

Esercitazione. Proposizioni. April 16, 2015. Esercizi presi dal libro di Rosen (useremo 0 per False e 1 per True). Problema 15, sezione 1.1.

Esercitazione. Proposizioni. April 16, 2015. Esercizi presi dal libro di Rosen (useremo 0 per False e 1 per True). Problema 15, sezione 1.1. Esercitazione Proposizioni April 16, 2015 Esercizi presi dal libro di Rosen (useremo 0 per False e 1 per True). Problema 15, sezione 1.1. 1. Consideriamo le proposizioni: - p : Gli orsi grizzly sono stati

Dettagli

Predicati e Quantificatori

Predicati e Quantificatori Predicati e Quantificatori Limitazioni della logica proposizionale! Logica proposizionale: il mondo è descritto attraverso proposizioni elementari e loro combinazioni logiche! I singoli oggetti cui si

Dettagli

Autismo e teoria della mente

Autismo e teoria della mente Spiegare l autismo Università degli Studi di Milano Autismo e teoria della mente Sandro Zucchi All inizio degli anni 80, Baron-Cohen, Leslie e Frith hanno condotto un esperimento per determinare il meccanismo

Dettagli

Algebra e Logica Matematica. Calcolo delle proposizioni Logica del primo ordine

Algebra e Logica Matematica. Calcolo delle proposizioni Logica del primo ordine Università di Bergamo Anno accademico 2006 2007 Ingegneria Informatica Foglio Algebra e Logica Matematica Calcolo delle proposizioni Logica del primo ordine Esercizio.. Costruire le tavole di verità per

Dettagli

La teoria della finzione di Walton

La teoria della finzione di Walton Mimesis e far finta La teoria della finzione di Walton In questa lezione, discuteremo l analisi della distinzione tra opere di finzione e opere che non sono di finzione proposta da K. Walton in Mimesis

Dettagli

GUIDA A LOGICA. Indicazioni preliminari per lo svolgimento della prima batteria di test

GUIDA A LOGICA. Indicazioni preliminari per lo svolgimento della prima batteria di test GUIDA A LOGICA Indicazioni preliminari per lo svolgimento della prima batteria di test L esame di Stato è certamente uno dei traguardi più significativi nella vita di uno studente e il suo superamento

Dettagli

f(x) = 1 x. Il dominio di questa funzione è il sottoinsieme proprio di R dato da

f(x) = 1 x. Il dominio di questa funzione è il sottoinsieme proprio di R dato da Data una funzione reale f di variabile reale x, definita su un sottoinsieme proprio D f di R (con questo voglio dire che il dominio di f è un sottoinsieme di R che non coincide con tutto R), ci si chiede

Dettagli

Appunti di Logica Matematica

Appunti di Logica Matematica Appunti di Logica Matematica Francesco Bottacin 1 Logica Proposizionale Una proposizione è un affermazione che esprime un valore di verità, cioè una affermazione che è VERA oppure FALSA. Ad esempio: 5

Dettagli

Esercizio per casa. Filosofia della scienza Gianluigi Bellin. October 29, 2013. 1. Si formalizzino i seguenti enunciati nel calcolo dei predicati.

Esercizio per casa. Filosofia della scienza Gianluigi Bellin. October 29, 2013. 1. Si formalizzino i seguenti enunciati nel calcolo dei predicati. Esercizio per casa. Filosofia della scienza Gianluigi Bellin October 29, 2013 1. Si formalizzino i seguenti enunciati nel calcolo dei predicati. 1.1 Condizione necessaria e sufficiente perché un corpo

Dettagli

Proof. Dimostrazione per assurdo. Consideriamo l insieme complementare di P nell insieme

Proof. Dimostrazione per assurdo. Consideriamo l insieme complementare di P nell insieme G Pareschi Principio di induzione Il Principio di Induzione (che dovreste anche avere incontrato nel Corso di Analisi I) consente di dimostrare Proposizioni il cui enunciato è in funzione di un numero

Dettagli

Errori più comuni. nelle prove scritte

Errori più comuni. nelle prove scritte Errori più comuni nelle prove scritte Gli errori più frequenti, e reiterati da chi sostiene diverse prove, sono innanzi tutto meta-errori, cioè errori che non riguardano tanto l applicazione delle tecniche,

Dettagli

Matematica finanziaria: svolgimento della prova di esame del 4 settembre 2007 1

Matematica finanziaria: svolgimento della prova di esame del 4 settembre 2007 1 Matematica finanziaria: svolgimento della prova di esame del 4 settembre. Calcolare il montante che si ottiene dopo anni con un investimento di e in regime nominale al tasso annuale del % pagabile due

Dettagli

Convertitori numerici in Excel

Convertitori numerici in Excel ISTITUTO DI ISTRUZIONE SUPERIORE G. M. ANGIOY CARBONIA Convertitori numerici in Excel Prof. G. Ciaschetti Come attività di laboratorio, vogliamo realizzare dei convertitori numerici con Microsoft Excel

Dettagli

Unità 18. Le certificazioni di italiano L2. Lavoriamo sulla comprensione. Università per Stranieri di Siena Livello A2 CHIAVI

Unità 18. Le certificazioni di italiano L2. Lavoriamo sulla comprensione. Università per Stranieri di Siena Livello A2 CHIAVI Unità 18 Le certificazioni di italiano L2 CHIAVI In questa unità imparerai: a comprendere testi che danno informazioni sul test di lingua per stranieri parole relative alle certificazioni di italiano,

Dettagli

Lezione 9: Cambio di base

Lezione 9: Cambio di base Lezione 9: Cambio di base In questa lezione vogliamo affrontare uno degli argomenti piu ostici per lo studente e cioè il cambio di base all interno di uno spazio vettoriale, inoltre cercheremo di capire

Dettagli

Cognizione, linguaggio e diritti degli animali Introduzione

Cognizione, linguaggio e diritti degli animali Introduzione Guardate queste immagini Università degli Studi di Milano Cognizione, linguaggio e diritti degli animali Introduzione Sandro Zucchi 2012-13 S. Zucchi: Cognizione, linguaggio e diritti degli animali 12-13

Dettagli

CONSIDERAZIONI SUL RAGIONAMENTO

CONSIDERAZIONI SUL RAGIONAMENTO CONSIDERAZIONI SUL RAGIONAMENTO Luca Cilibrasi Matteo Pascucci Mariana Colucci Mirian Frances Garcia Lavoro per il corso di psicologia cognitiva di Scienze della Comunicazione Siena 2009 - con i docenti

Dettagli

Università degli Studi di Napoli Federico II. Facoltà di Scienze MM.FF.NN. Corso di Laurea in Informatica

Università degli Studi di Napoli Federico II. Facoltà di Scienze MM.FF.NN. Corso di Laurea in Informatica Università degli Studi di Napoli Federico II Facoltà di Scienze MM.FF.NN. Corso di Laurea in Informatica Anno Accademico 2009/2010 Appunti di Calcolabilità e Complessità Lezione 9: Introduzione alle logiche

Dettagli

Obiettivo Principale: Aiutare gli studenti a capire cos è la programmazione

Obiettivo Principale: Aiutare gli studenti a capire cos è la programmazione 4 LEZIONE: Programmazione su Carta a Quadretti Tempo della lezione: 45-60 Minuti. Tempo di preparazione: 10 Minuti Obiettivo Principale: Aiutare gli studenti a capire cos è la programmazione SOMMARIO:

Dettagli

2 Progetto e realizzazione di funzioni ricorsive

2 Progetto e realizzazione di funzioni ricorsive 2 Progetto e realizzazione di funzioni ricorsive Il procedimento costruttivo dato dal teorema di ricorsione suggerisce due fatti importanti. Una buona definizione ricorsiva deve essere tale da garantire

Dettagli

Nomi di finzione. Il riferimento dei nomi di finzione. Oggetti inesistenti. Un passo indietro

Nomi di finzione. Il riferimento dei nomi di finzione. Oggetti inesistenti. Un passo indietro Il riferimento dei nomi di finzione Nomi di finzione Sandro Zucchi 2013-14 Ora che ci siamo chiariti le idee sul funzionamento dei nomi propri, siamo pronti per tornare alle domande che ci eravamo posti

Dettagli

Un test per la selezione?

Un test per la selezione? Un test per la selezione? Oggettivo Rapido Efficiente Efficace Ad un buon punteggio alla prova di ammissione consegue: Votazione più alta agli esami e alla tesi Numero di esami per anno maggiore Tempo

Dettagli

Semantica operazionale dei linguaggi di Programmazione

Semantica operazionale dei linguaggi di Programmazione Semantica operazionale dei linguaggi di Programmazione Oggetti sintattici e oggetti semantici Rosario Culmone, Luca Tesei Lucidi tratti dalla dispensa Elementi di Semantica Operazionale R. Barbuti, P.

Dettagli

Scienze e Tecniche Psicologiche dello Sviluppo della Salute in Età Evolutiva

Scienze e Tecniche Psicologiche dello Sviluppo della Salute in Età Evolutiva Scienze e Tecniche Psicologiche dello Sviluppo della Salute in Età Evolutiva ANNO ACCADEMICO 2007-2008 ROBERTO BAIOCCO Università degli Studi di Roma Sapienza Il corso offre una panoramica delle principali

Dettagli

L'impulso di una forza che varia nel tempo

L'impulso di una forza che varia nel tempo Lezione 13 approfondimento pag.1 L'impulso di una forza che varia nel tempo Un riassunto di quel che sappiamo Riprendiamo in esame il solito carrellino che si trova sopra la rotaia a basso attrito. Se

Dettagli

Logica e Filosofia della Scienza M-Z

Logica e Filosofia della Scienza M-Z Logica e Filosofia della Scienza M-Z A.A. 2012-2013 Edoardo Datteri edoardo.datteri@unimib.it INFORMAZIONI GENERALI SUL CORSO Date Inizio: 6 marzo 2013 Fine: giovedì 30 maggio 2013 Orario e aule: Mercoledì

Dettagli

Raccolta degli Scritti d Esame di ANALISI MATEMATICA U.D. 1 assegnati nei Corsi di Laurea di Fisica, Fisica Applicata, Matematica

Raccolta degli Scritti d Esame di ANALISI MATEMATICA U.D. 1 assegnati nei Corsi di Laurea di Fisica, Fisica Applicata, Matematica DIPARTIMENTO DI MATEMATICA Università degli Studi di Trento Via Sommarive - Povo (TRENTO) Raccolta degli Scritti d Esame di ANALISI MATEMATICA U.D. 1 assegnati nei Corsi di Laurea di Fisica, Fisica Applicata,

Dettagli

IDEE PER LO STUDIO DELLA MATEMATICA

IDEE PER LO STUDIO DELLA MATEMATICA IDEE PER LO STUDIO DELLA MATEMATICA A cura del 1 LA MATEMATICA: perché studiarla??? La matematica non è una disciplina fine a se stessa poichè fornisce strumenti importanti e utili in molti settori della

Dettagli

I SISTEMI DI NUMERAZIONE

I SISTEMI DI NUMERAZIONE ISTITUTO DI ISTRUZIONE SUPERIORE G. M. ANGIOY CARBONIA I SISTEMI DI NUMERAZIONE Prof. G. Ciaschetti Fin dall antichità, l uomo ha avuto il bisogno di rappresentare le quantità in modo simbolico. Sono nati

Dettagli

Le parole e le cose - Correttore

Le parole e le cose - Correttore Le parole e le cose - Correttore 5 10 15 20 25 Le cose di per sé 1 non hanno nessun nome. Sono gli uomini che hanno dato e continuano a dare i nomi ad esse. Di solito non ci accorgiamo di questa verità

Dettagli

PERCORSO DI PIANIFICAZIONE DI UN RACCONTO

PERCORSO DI PIANIFICAZIONE DI UN RACCONTO PROF.SSA PEZZIN CORSO METACOGNIZIONE NELLA SCUOLA? UNA POSSIBILE NECESSITA CTRH MONZA CENTRO 2013 Attività di laboratorio di lingua Percorso IL DONO DELLA PECORA Il percorso è rivolto ad un gruppo di 14

Dettagli

LIBO' L'ITALIANO ALLA RADIO

LIBO' L'ITALIANO ALLA RADIO LIBO' L'ITALIANO ALLA RADIO ESERCIZI PUNTATA N. 3 LA SCUOLA CORSI DI ITALIANO PER STRANIERI A cura di Marta Alaimo Voli Società Cooperativa - 2011 DIALOGO PRINCIPALE A- Buongiorno. B- Buongiorno, sono

Dettagli

Correttezza. Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 1. Dispensa 10. A. Miola Novembre 2007

Correttezza. Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 1. Dispensa 10. A. Miola Novembre 2007 Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 1 Dispensa 10 Correttezza A. Miola Novembre 2007 http://www.dia.uniroma3.it/~java/fondinf1/ Correttezza 1 Contenuti Introduzione alla correttezza

Dettagli

Von Neumann fa anche l ipotesi che i funzionali siano lineari sull algebra:

Von Neumann fa anche l ipotesi che i funzionali siano lineari sull algebra: CAPITOLO 6 Il paradosso di Einstein Podolski Rosen Nel 1935 usciva un articolo degli autori sopra indicati, dal titolo Si può ritenere completa la descrizione quantistica della realtà fisica? L articolo

Dettagli

Lezione 1: come si descrive la posizione dei corpi

Lezione 1: come si descrive la posizione dei corpi Lezione 1 - pag.1 Lezione 1: come si descrive la posizione dei corpi 1.1. Tutto si muove Tutto intorno a noi si muove. Le nuvole nel cielo, l acqua negli oceani e nei fiumi, il vento che gonfia le vele

Dettagli

2. Fabula e intreccio

2. Fabula e intreccio 2. Fabula e intreccio Abbiamo detto che un testo narrativo racconta una storia. Ora dobbiamo però precisare, all interno della storia, ciò che viene narrato e il modo in cui viene narrato. Bisogna infatti

Dettagli

FUNZIONI AVANZATE DI EXCEL

FUNZIONI AVANZATE DI EXCEL FUNZIONI AVANZATE DI EXCEL Inserire una funzione dalla barra dei menu Clicca sulla scheda "Formule" e clicca su "Fx" (Inserisci Funzione). Dalla finestra di dialogo "Inserisci Funzione" clicca sulla categoria

Dettagli

D R (S) = ϱ 1 D R (S), e ovviamente per quella passiva

D R (S) = ϱ 1 D R (S), e ovviamente per quella passiva CAPITOLO 1 Introduzione Nella fisica moderna i metodi algebrici e in particolare la teoria dei gruppi hanno acquistato un interesse sconosciuto alla fisica del secolo scorso. Si può vedere la cosa in una

Dettagli

a. Legga questo primo brano e scelga il titolo corretto tra i tre proposti: Una parola chiave non comune di questo primo brano è speculazione.

a. Legga questo primo brano e scelga il titolo corretto tra i tre proposti: Una parola chiave non comune di questo primo brano è speculazione. Recupero TVI per matricole straniere a.a. 2010-11 Rosella Bozzone Costa - Lingua Italiana (13049 e 92020) Materiale 1c PROVA DI COMPRENSIONE SCRITTA TEST D INGRESSO CHIAVI E PRIMI ESERCIZI a. Legga questo

Dettagli

Metodologie di programmazione in Fortran 90

Metodologie di programmazione in Fortran 90 Metodologie di programmazione in Fortran 90 Ing. Luca De Santis DIS - Dipartimento di informatica e sistemistica Anno accademico 2007/2008 Fortran 90: Metodologie di programmazione DIS - Dipartimento di

Dettagli

SOMMARIO. 13.1 I radicali pag. 3. 13.2 I radicali aritmetici pag. 5. 13.3 Moltiplicazione e divisione fra radicali aritmetici pag.

SOMMARIO. 13.1 I radicali pag. 3. 13.2 I radicali aritmetici pag. 5. 13.3 Moltiplicazione e divisione fra radicali aritmetici pag. SOMMARIO CAPITOLO : I RADICALI. I radicali pag.. I radicali aritmetici pag.. Moltiplicazione e divisione fra radicali aritmetici pag.. Potenza di un radicale aritmetico pag.. Trasporto di un fattore esterno

Dettagli

Indecidibilità, indefinibilità e incompletezza. 1

Indecidibilità, indefinibilità e incompletezza. 1 Indecidibilità, indefinibilità e incompletezza. 1 Possiamo ora trattare unitariamente alcuni dei principali risultati negativi della logica: il teorema di Church sull'indecidibilità della logica, il teorema

Dettagli

Programma d aula e d esame Codice 30125 Lingua Italiana Prima Lingua, Primo esame Modulo P1

Programma d aula e d esame Codice 30125 Lingua Italiana Prima Lingua, Primo esame Modulo P1 a.a. 2013 2014 Programma d aula e d esame Codice 30125 Lingua Italiana Prima Lingua, Primo esame Modulo P1 Ordinamento Corsi di Laurea Triennale BIEMF Didattica 1 anno, corso annuale P1 ; (monte ore 96).

Dettagli

Scheda n.5: variabili aleatorie e valori medi

Scheda n.5: variabili aleatorie e valori medi Scheda n.5: variabili aleatorie e valori medi October 26, 2008 1 Variabili aleatorie Per la definizione rigorosa di variabile aleatoria rimandiamo ai testi di probabilità; essa è non del tutto immediata

Dettagli

Esercitazione 2 di verifica

Esercitazione 2 di verifica Architettura degli Elaboratori, 27-8 Esercitazione 2 di verifica Soluzione: mercoledì 24 ottobre Una unità di elaborazione U è così definita: Domanda 1 i) possiede al suo interno due componenti logici

Dettagli

CAPITOLO 8 LA VERIFICA D IPOTESI. I FONDAMENTI

CAPITOLO 8 LA VERIFICA D IPOTESI. I FONDAMENTI VERO FALSO CAPITOLO 8 LA VERIFICA D IPOTESI. I FONDAMENTI 1. V F Un ipotesi statistica è un assunzione sulle caratteristiche di una o più variabili in una o più popolazioni 2. V F L ipotesi nulla unita

Dettagli

FISICA. Le forze. Le forze. il testo: 2011/2012 La Semplificazione dei Testi Scolastici per gli Alunni Stranieri IPSIA A.

FISICA. Le forze. Le forze. il testo: 2011/2012 La Semplificazione dei Testi Scolastici per gli Alunni Stranieri IPSIA A. 01 In questa lezione parliamo delle forze. Parliamo di forza quando: spostiamo una cosa; solleviamo un oggetto; fermiamo una palla mentre giochiamo a calcio; stringiamo una molla. Quando usiamo (applichiamo)

Dettagli

OSSERVAZIONI TEORICHE Lezione n. 4

OSSERVAZIONI TEORICHE Lezione n. 4 OSSERVAZIONI TEORICHE Lezione n. 4 Finalità: Sistematizzare concetti e definizioni. Verificare l apprendimento. Metodo: Lettura delle OSSERVAZIONI e risoluzione della scheda di verifica delle conoscenze

Dettagli

Parte 2. Determinante e matrice inversa

Parte 2. Determinante e matrice inversa Parte. Determinante e matrice inversa A. Savo Appunti del Corso di Geometria 013-14 Indice delle sezioni 1 Determinante di una matrice, 1 Teorema di Cramer (caso particolare), 3 3 Determinante di una matrice

Dettagli

Il modello relazionale

Il modello relazionale Il modello relazionale Il modello relazionale è stato introdotto nel 1970 da E.F. Codd. Soltanto a metà degli anni ottanta ha trovato una buona diffusione sul mercato, in quanto all epoca della sua introduzione

Dettagli

Gli effetti di contenuto. Fondamenti di Psicologia Cognitiva

Gli effetti di contenuto. Fondamenti di Psicologia Cognitiva Gli effetti di contenuto Fondamenti di Psicologia Cognitiva 1 Il problema delle quattro carte Ogni carta ha un lato con un numero e uno con una lettera Regola: Se c è una vocale su un lato, c è un pari

Dettagli

Uso di JUnit. Fondamenti di informatica Oggetti e Java. JUnit. Luca Cabibbo. ottobre 2012

Uso di JUnit. Fondamenti di informatica Oggetti e Java. JUnit. Luca Cabibbo. ottobre 2012 Fondamenti di informatica Oggetti e Java ottobre 2012 1 JUnit JUnit è uno strumento per assistere il programmatore Java nel testing JUnit consente di scrivere test di oggetti e classi Java i test sono

Dettagli

Algebra di Boole ed Elementi di Logica

Algebra di Boole ed Elementi di Logica Algebra di Boole ed Elementi di Logica 53 Cenni all algebra di Boole L algebra di Boole (inventata da G. Boole, britannico, seconda metà 8), o algebra della logica, si basa su operazioni logiche Le operazioni

Dettagli

Per raggiungere il suo scopo, un testo deve innanzitutto essere comprensibile, completo e coerente.

Per raggiungere il suo scopo, un testo deve innanzitutto essere comprensibile, completo e coerente. Che cos è un testo? Il termine testo (dal latino textus "intreccio, tessuto") sta ad indicare un insieme di parole, scritte od orali, strutturato in base alle norme di una certa lingua per comunicare un

Dettagli

lezione 18 AA 2015-2016 Paolo Brunori

lezione 18 AA 2015-2016 Paolo Brunori AA 2015-2016 Paolo Brunori Previsioni - spesso come economisti siamo interessati a prevedere quale sarà il valore di una certa variabile nel futuro - quando osserviamo una variabile nel tempo possiamo

Dettagli

Scheda di Progettazione di un Curricolo verticale

Scheda di Progettazione di un Curricolo verticale Scheda di Progettazione di un Curricolo verticale ISTITUTO COMPRENSIVO Taverna di Montalto Uffugo (CS) Anno Scolastico 2013-2014 Docenti: Anna Maria Santoro e Silvia Mazzeo Nel nostro tempo, dove situazioni

Dettagli

Elementi di Psicometria con Laboratorio di SPSS 1

Elementi di Psicometria con Laboratorio di SPSS 1 Elementi di Psicometria con Laboratorio di SPSS 1 10-Il test t per un campione e la stima intervallare (vers. 1.1, 25 ottobre 2015) Germano Rossi 1 germano.rossi@unimib.it 1 Dipartimento di Psicologia,

Dettagli

Dispense per il laboratorio di rappresentazione e algoritmi

Dispense per il laboratorio di rappresentazione e algoritmi Dispense per il laboratorio di rappresentazione e algoritmi 1. Introduzione All interno di un elaboratore esistono diversi livelli di descrizione delle informazioni. Il livello più basso è rappresentato

Dettagli

Linguaggi. Claudio Sacerdoti Coen 11/04/2011. 18: Semantica della logica del prim ordine. Universitá di Bologna

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

Dettagli

UNA LEZIONE SUI NUMERI PRIMI: NASCE LA RITABELLA

UNA LEZIONE SUI NUMERI PRIMI: NASCE LA RITABELLA UNA LEZIONE SUI NUMERI PRIMI: NASCE LA RITABELLA Tutti gli anni, affrontando l argomento della divisibilità, trovavo utile far lavorare gli alunni sul Crivello di Eratostene. Presentavo ai ragazzi una

Dettagli

La competenza semantica La semantica frasale

La competenza semantica La semantica frasale La competenza semantica La semantica frasale (1) Gianni è arrivato ieri mattina! (2) Gianni è arrivato ieri (implicazione) Linguistica generale, Parte a.a. 2007-2008 (1 ') Nessuno studente è arrivato ieri

Dettagli

Corso di Informatica Generale (C. L. Economia e Commercio) Ing. Valerio Lacagnina Fondamenti di calcolo booleano

Corso di Informatica Generale (C. L. Economia e Commercio) Ing. Valerio Lacagnina Fondamenti di calcolo booleano Breve introduzione storica Nel 1854, il prof. Boole pubblica un trattato ormai famosissimo: Le leggi del pensiero. Obiettivo finale del trattato è di far nascere la matematica dell intelletto umano, un

Dettagli

PREMESSA. L idea è che a studiare si impara. E nessuno lo insegna. Non si insegna a scuola e non si può imparare da soli, nemmeno con grande fatica.

PREMESSA. L idea è che a studiare si impara. E nessuno lo insegna. Non si insegna a scuola e non si può imparare da soli, nemmeno con grande fatica. PREMESSA I libri e i corsi di 123imparoastudiare nascono da un esperienza e un idea. L esperienza è quella di decenni di insegnamento, al liceo e all università, miei e dei miei collaboratori. Esperienza

Dettagli

Super Memoria Copyright Oreste Maria Petrillo e Fabio Santoro www.successo3x.com

Super Memoria Copyright Oreste Maria Petrillo e Fabio Santoro www.successo3x.com Note legali Le strategie riportate in questo documento sono il frutto di anni di studi, quindi non è garantito il raggiungimento dei medesimi risultati. L autore si riserva il diritto di aggiornare o modificarne

Dettagli

0 ) = lim. derivata destra di f in x 0. Analogamente, diremo che la funzione f è derivabile da sinistra in x 0 se esiste finito il limite

0 ) = lim. derivata destra di f in x 0. Analogamente, diremo che la funzione f è derivabile da sinistra in x 0 se esiste finito il limite Questo breve file è dedicato alle questioni di derivabilità di funzioni reali di variabile reale. Particolare attenzione viene posta alla classificazione dei punti di non derivabilità delle funzioni definite

Dettagli

QUESTIONARIO SUGLI STILI DI APPRENDIMENTO

QUESTIONARIO SUGLI STILI DI APPRENDIMENTO QUESTIONARIO SUGLI STILI DI APPRENDIMENTO Le seguenti affermazioni descrivono alcune abitudini di studio e modi di imparare. Decidi in quale misura ogni affermazione si applica nel tuo caso: metti una

Dettagli

Griglia di correzione Fascicolo di Italiano Prova Nazionale anno scolastico 2008-2009

Griglia di correzione Fascicolo di Italiano Prova Nazionale anno scolastico 2008-2009 Griglia di correzione Fascicolo di Italiano Prova Nazionale anno scolastico 2008-2009 Il buon nome - Chiavi di risposta e classificazione degli item Item Risposta corretta Ambito di valutazione Processi

Dettagli

Unità d apprendimento IL TEMPO CORRE E VA

Unità d apprendimento IL TEMPO CORRE E VA MOTIVAZIONE Istituto Comprensivo Gallicano nel Lazio Unità d apprendimento IL TEMPO CORRE E VA La dimensione del tempo, come quella dello spazio, nella società di oggi è stravolta dalla modalità e dalla

Dettagli

Statistiche campionarie

Statistiche campionarie Statistiche campionarie Sul campione si possono calcolare le statistiche campionarie (come media campionaria, mediana campionaria, varianza campionaria,.) Le statistiche campionarie sono stimatori delle

Dettagli

ESERCIZI DI ALGEBRA LINEARE E GEOMETRIA

ESERCIZI DI ALGEBRA LINEARE E GEOMETRIA ESERCIZI DI ALGEBRA LINEARE E GEOMETRIA Francesco Bottacin Padova, 24 febbraio 2012 Capitolo 1 Algebra Lineare 1.1 Spazi e sottospazi vettoriali Esercizio 1.1. Sia U il sottospazio di R 4 generato dai

Dettagli

VERIFICA DELLE IPOTESI

VERIFICA DELLE IPOTESI VERIFICA DELLE IPOTESI Introduzione Livelli di significatività Verifica di ipotesi sulla media di una popolazione normale Verifica di ipotesi sulla varianza di una popolazione normale Verifica di ipotesi

Dettagli

Componenti di un sistema KNOWLEDGE-BASED

Componenti di un sistema KNOWLEDGE-BASED Componenti di un sistema KNOWLEDGE-BASED DYNAMIC DATABASE PROBLEM FORMALIZATION CONTROL STRATEGY IL DATABASE DESCRIVE LA SITUAZIONE CORRENTE NELLA DETERMINAZIONE DELLA SOLUZIONE AL PROBLEMA. LA FORMALIZZAZIONE

Dettagli

Possiamo calcolare facilmente il valore attuale del bond A e del bond B come segue: VA A = 925.93 = 1000/1.08 VA B = 826.45 = 1000/(1.

Possiamo calcolare facilmente il valore attuale del bond A e del bond B come segue: VA A = 925.93 = 1000/1.08 VA B = 826.45 = 1000/(1. Appendice 5A La struttura temporale dei tassi di interesse, dei tassi spot e del rendimento alla scadenza Nel capitolo 5 abbiamo ipotizzato che il tasso di interesse rimanga costante per tutti i periodi

Dettagli

T E M I DESCRIZIONI DEFINITE

T E M I DESCRIZIONI DEFINITE APhEx 8, 2013 (ed. Vera Tripodi) Ricevuto il: 05/03/2013 Accettato il: 31/05/2013 Redattore: Vera Tripodi N 8 GIUGNO 2013 T E M I DESCRIZIONI DEFINITE di Massimiliano Vignolo ABSTRACT - Questo tema è una

Dettagli

Lezione 8. La macchina universale

Lezione 8. La macchina universale Lezione 8 Algoritmi La macchina universale Un elaboratore o computer è una macchina digitale, elettronica, automatica capace di effettuare trasformazioni o elaborazioni su i dati digitale= l informazione

Dettagli

Entropia. Motivazione. ? Quant è l informazione portata dalla sequenza? Abbiamo una sequenza S di N simboli (campioni audio, pixel, caratteri,...

Entropia. Motivazione. ? Quant è l informazione portata dalla sequenza? Abbiamo una sequenza S di N simboli (campioni audio, pixel, caratteri,... Entropia Motivazione Abbiamo una sequenza S di N simboli (campioni audio, pixel, caratteri,... ) s,s 2,s 3,... ognuno dei quali appartiene ad un alfabeto A di M elementi.? Quant è l informazione portata

Dettagli

CAPITOLO SECONDO RICHIAMI DI MICROECONOMIA

CAPITOLO SECONDO RICHIAMI DI MICROECONOMIA CAPITOLO SECONDO RICHIAMI DI MICROECONOMIA SOMMARIO: 2.1 La domanda. - 2.2 Costi, economie di scala ed economie di varietà. - 2.2.1 I costi. - 2.2.2 Le economie di scala. - 2.2.3 Le economie di varietà.

Dettagli