Mailing List. Elementi di logica formale STRUTTURA DEL CORSO LOGICA E FILOSOFIA DELLA SCIENZA. La logica categorica. Concetti fondamentali

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Mailing List. Elementi di logica formale STRUTTURA DEL CORSO LOGICA E FILOSOFIA DELLA SCIENZA. La logica categorica. Concetti fondamentali"

Transcript

1 LOGICA E FILOSOFIA DELLA SCIENZA Anno accademico STRUTTURA DEL CORSO Elementi di logica formale Concetti fondamentali Argomenti validi Argomenti fondati Non contraddittorietà La logica degli enunciati Nozioni sintattiche Nozioni semantiche Derivazioni La logica categorica La logica dei predicati Nozioni sintattiche Nozioni semantiche Derivazioni Cenni di metalogica 1 2 COMPITINI Durante il corso saranno proposti due compitini in aula, costituiti da semplici esercizi. Il primo compitino si svolgerà al termine del I semestre, il secondo alla fine del corso. Ciascun compitino sarà preceduto da una simulazione che verrà corretta in aula. Al compitino sarà dato un giudizio qualitativo. Alla fine del corso, se il compitino ha ottenuto la sufficienza, lo studente dovrà rimediare agli eventuali errori contenuti nel compito, spiegando in che cosa aveva sbagliato. Inoltre a tutti nella prova orale saranno fatte domande non tecniche di carattere concettuale. La prova orale sarà quindi molto più leggera per chi avrà superato i compitini. A chi non avesse superato i compitini (o uno di essi) sarà richiesto di eseguire durante l esame qualche esercizio tecnico sul genere di quelli proposti nei compitini (o nel compitino) non superati. 3 Mailing List Associata al corso è una mailing list, il cui indirizzo è il seguente: logica@copins.gotdns.org Tutte le studentesse e gli studenti muniti di indirizzo e- mail saranno iscritti alla mailing list. Ad essa sono iscritti anche i docenti, il prof. Mura, la dott.ssa Melas e il dott. Angius. Gli iscritti alla mailing list possono inviare messaggi all indirizzo di cui sopra, una copia dei quali arriverà a ogni iscritto alla lista. Inviando all indirizzo della lista messaggi nei quali il campo Oggetto (o Subject) contiene una determinata parola chiave (es.: HELP) si possono eseguire alcuni comandi come: Richiedere il reinvio di messaggi Sospendersi temporaneamente dalla lista Passare alla modalita` digest che consente di ricevere periodicamente tutti i messaggi di un dato intervallo temporale riuniti in un unico messaggio Ecc. La mailing list ha lo scopo di creare un contatto continuo tra gli studenti. Inoltre i docenti potranno informare gli studenti tempestivamente e inviare loro materiale didattico o proporre esercizi. 4 1

2 Esercitazioni Accanto alle lezioni vi saranno esercitazioni la cui frequenza è parte integrante del corso. Non si tratta di un carico aggiuntivo. Le esercitazioni sono volte a facilitare la padronanza tecnica di quanto spiegato a lezione. Nell ambito delle ore previste per la preparazione degli esami queste ore vanno viste come ore di studio. Nel corso delle esercitazioni saranno svolti esercizi del tipo di quelli che saranno via via assegnati a casa e proposti nei compitini. Chi non dovesse avere la possibilità materiale di seguire le esercitazioni è invitato a svolgere a casa gli esercizi assegnati, che saranno resi disponibili via mailing list e pubblicati sul sito del Dipartimento. Le esercitazioni saranno tenute dal dott. Angius e dalla dott.ssa Melas (in ordine alfabetico). Le modalità delle esercitazioni i i saranno messe a punto nei prossimi giorni. Chi segue assiduamente le lezioni, fa regolarmente gli esercizi assegnati a casa, frequenta le esercitazioni e supera i compitini dovrebbe essere in grado di sostenere con successo l esame al primo o al secondo appello successivi al termine del corso. Ciò è realmente accaduto negli anni accademici e e Prerequisiti Le conoscenze generali di chi ha superato un esame di maturità. In particolare non sarà richiesta alcuna nozione di storia della filosofia. 6 Frequenza La frequenza del corso, pur non essendo statutariamente obbligatoria, risulta essere in pratica quasi indispensabile per l apprendimento della materia e il superamento dei compitini e della prova finale. Ciò non toglie che uno studente volenteroso possa in teoria, sia pure con improba fatica, apprendere la materia studiando sul testo e facendo tutti gli esercizi. È assai più conveniente avvalersi delle lezioni e delle esercitazioni per giungere pronti per la prova finale al termine del corso. Eventuali eccezioni, che comportano un programma alternativo, dovranno essere discusse caso per caso con il docente e giustificate con serie e documentate motivazioni. Testi di studio (12 crediti) Varzi, Nolt, Rohatyn, Logica. McGraw Hill, 2007 (seconda edizione). C è un sito dedicato agli studenti che adoperano questo libro con la soluzione di esercizi. Del libro fanno parte del programma solamente le seguenti sezioni: Capitolo 1, limitatamente alle sezioni 1.1 e 1.7 Capitolo 3: (tutto, esclusa la sezione 3.7) Capitoli 4, 5 (integralmente) Capitolo 6 (tutto escluse le sezioni 6.5 e 6.6) Capitolo 7 (integralmente). Nel corso delle lezioni ed esercitazioni di Logica faremo anche uso del software associato al volume seguente: Barwise, Etchemendy, Language Proof and Logic. CSLI, Stanford,

3 Parole logiche e parole non logiche La logica ha a che fare con il linguaggio. Infatti le relazioni logiche sono relazioni tra oggetti linguistici. Un linguaggio ha un alfabeto (i segni elementari del linguaggio), delle parole (combinazioni opportune di segni) tra cui vi sono gli enunciati. Gli enunciati sono quelle parole che hanno un contenuto che trasmettono informazione e che possono essere vere o false. Gli enunciati sono gli oggetti più importanti del linguaggio e studio delle relazioni tra le forme di enunciato è lo scopo principale della logica. 9 Il significato di logica formale In generale la logica formale è lo studio di quelle relazioni tra proposizioni che prescindono completamente dal contenuto di tali proposizioni ( materia ), ma dipendono solo dalla loro forma logica. Chiariremo in seguito che cosa si intende per forma logica e per materia. Ma in via preliminare si può dire che una relazione logica è formale (e non materiale) se permane invariata quando si sostituiscono parole non logiche con altre parole non logiche. P. es. Il sillogismo: Tutti gli uomini sono mortali Socrate è un uomo Socrate è mortale stabilisce una relazione di conseguenza logica tra le premesse e la conclusione, nel senso che Socrate è mortale consegue logicamente dagli altri due enunciati. Ma se si sostituisce Socrate con Platone (in tutte le occorrenze) la relazione di conseguenza logica non viene distrutta. Ciò perché la relazione di conseguenza logica è una relazione formale. 10 Insiemi contraddittori di enunciati Un insieme di enunciati è detto contraddittorio se è logicamente impossibile che essi siano tutti quanti veri. L insieme { piove, non piove } è contraddittorio perché se piove allora non è vero che non piove e se non piove non è vero che piove. L insieme { piove, o non piove o tira vento, non tira vento } è contraddittorio. I tre enunciati non possono essere tutti e tre veri simultaneamente. Perché? Un argomento valido consente di costruire un insieme contraddittorio È l insieme che comprende tutte le premesse e la negazione della conclusione ESEMPIO O piove o tira vento Non piove tira vento { o piove o tira vento, non piove, non tira vento }

4 Da un insieme contraddittorio si possono ricavare tanti argomenti validi quanti sono i suoi elementi Consideriamo ad esempio l insieme { o piove o tira vento, non piove, non tira vento } Per costruire un argomento valido: 1. Si estrae dall insieme un elemento e lo si nega. Tale elemento negato sarà la conclusione. 2. Gli altri elementi sono le premesse. 3. Quindi abbiamo i seguenti argomenti validi: O piove o tira vento Non piove tira vento Non piove Non tira vento Non si dà il caso che o piove o tira vento O piove o tira vento Non tira vento piove Significato ristretto In un senso più specifico la logica formale può essere caratterizzata in due maniere equivalenti: 1. Come lo studio degli insiemi contraddittori di enunciati. 2. Come lo studio degli argomenti validi (o logicamente corretti) Un argomento è costituito da un insieme di premesse e da una conclusione Sia le premesse sia la conclusione sono enunciati, vale a dire espressioni linguistiche che hanno la proprietà di poter essere vere oppure false Un argomento è valido quando sotto l ipotesi che le premesse siano vere, anche la conclusione deve di necessità essere vera. Equivalentemente: se la conclusione è falsa e le premesse vere allora l insieme costituito dalle premesse più la conclusione e contraddittorio Verità logiche V è però un terzo modo di con cui si è vista la logica formale: quello di dire che si tratta dello studio delle verità logiche. Un esempio di verità logica potrebbe esse la proposizione: p piove oppure non piove Che cosa dice sul tempo questo enunciato? La risposta è, naturalmente, nulla. Si tratta di una vuota tautologia. Si tratta però di una proposizione. E anche di una proposizione vera. E altresì di una proposizione necessariamente vera. In passato, quando i filosofi hanno preso in considerazione la logica come lo studio di queste proposizioni, spesso ne hanno tratto la conclusione che si tratta di una scienza del tutto futile, in quanto del tutto vuota di contenuto informativo. Al giorno d oggi si deve convenire che se la logica si limitasse a fare l elenco (peraltro infinito) delle verità logiche sarebbe davvero un esercizio futile. Ma non è così. Verità logiche e forma logica Anche le verità logiche sono vere solamente in virtù della loro forma logica: piove o non piove è una verità logica. nevica o non nevica è una verità logica Maria studia o Maria non studia è una verità logica E così via. Cosa hanno in comune tutte queste proposizioni? La loro struttura in quanto caratterizzata dalle parole logiche o e non. Se mettiamo delle lettere segnaposto in luogo delle rispettive sottoposizioni ( piove, nevica etc.) possiamo dire che tutte queste proposizioni sono della forma. P o non P Rimpiazzando P con qualsiasi altra proposizione si ottiene sempre una verità logica. Così arriviamo i alla conclusione che le verità logiche sono quelle proposizioni che sono vere in virtù del significato delle parole logiche che occorrono in esse. P o non P è come una matrice da cui si possono ricavare infinite verità logiche, rimpiazzando P in tutte e due le sue occorrenze con una qualsiasi proposizione

5 Leggi logiche Espressioni con lettere segnaposto come P o non P sono spesso indicate con la denominazione di leggi logiche. Questo modo di esprimersi rivela una certa concezione del linguaggio e del mondo. Secondo tale concezione il linguaggio è formato essenzialmente di nomi e le proposizioni rispecchiano le relazioni che sussistono tra le cose designate dai nomi. Anche le parole logiche sarebbero nomi che designano proprietà strutturali del mondo, sì che le leggi logiche, nelle quali occorrono solo parole logiche, mostrerebbero la struttura più generale (l intelaiatura) del mondo. Leggi logiche e mondo Questa concezione è molto antica. Aristotele (384 a. C a. C.) pensava che il principio del terzo escluso (una forma ristretta della legge logica P o non P fosse un principio che riguarda il linguaggio solo di riflesso, in quanto in primo luogo riguarda le cose del mondo. Ora, tra gli opposti la contraddizione non ammette un intermedio (giacché la parola contraddizione [antífasis] designa un antitesi di cui uno solo dei termini è presente in una cosa qualsiasi, e che non ha perciò un intermedio) (Met. X, 7, 1057 a, 32-36) Wittgenstein Il filosofo che ha preso più sul serio questa concezione è Ludwig Wittgenstein nel Tractatus logicophilosophicus (1921): Le proposizioni i i della logica descrivono l armatura (Gerüst) del mondo, o piuttosto la rappresentano. Esse trattano di nulla. Esse presuppongono che i nomi abbiano significato e le proposizioni elementari senso: E questo è il loro nesso con il mondo. È chiaro che deve indicare qualcosa sul mondo il fatto che certi nessi di simboli che per essenza hanno un determinato carattere siano tautologie. (Tractatus logico-philosophicus, 6.124). 19 La relazione tra leggi logiche e argomenti validi C è una relazione tra leggi logiche e argomenti validi? La risposta è positiva: una proposizione C è la conclusione di un argomento corretto (valido) con le premesse P 1, P 2,,P n, se esolo se la proposizione: Se P 1 e P 2 e P n allora C è una legge logica. Quindi è possibile convertire gli argomenti validi in leggi logiche e viceversa. E per questa via ritrovare anche gli insiemi contraddittori e non contraddittori. 20 5

6 Non ampliatività Se la relazione tra le premesse e la conclusione di un argomento valido si riduce a una tautologia, allora l inferenza non può portarci a dedurre nulla che non sia già contenuto nelle premesse. La conclusione di un argomento valido è non ampliativa nel senso che il contenuto t informativo della conclusione non aggiunge nulla al contenuto informativo delle premesse nel loro complesso. Il paradosso della logica Ciò genera un paradosso. Pensate alla geometria euclidea. Essa si basa su cinque postulati dai quali sono tratti i teoremi deduttivamente. Ma allora i teoremi della geometria non fanno che ripetere in parte quel che è detto nei cinque postulati. Che cosa si apprende studiando geometria? Idealizzazione Il linguaggio naturale è molto complesso e i ragionamenti spesso dipendono dalla vaghezze dei termini, dal contesto, da presupposizioni e dall incertezza. Noi faremo astrazione sia dal contesto sia dalla vaghezza o imprecisione dei termini sia dalle presupposizioni. Ciò non significa che il linguaggio naturale sia difettoso o che sia sempre un male usare termini imprecisi! La logica che svilupperemo è essenzialmente quella usata dai matematici nelle loro dimostrazioni. In quel campo le nostre idealizzazioni sono opportune servono a mettere a nudo la struttura logica del ragionamento. Tuttavia questa limitazione ci fornirà le basi tecniche per affrontare il ben più complicato problema del ragionamento nel linguaggio i naturale. I logici che studiano il ragionamento del linguaggio naturale hanno sempre come oggetto di confronto la logica formale che svilupperemo noi (chiamata anche logica classica o logica standard ). Linguaggio naturale Entro certi limiti la logica formale consente di ricostruire le argomentazioni della vita quotidiana. Non tutte le argomentazioni sono però argomenti validi nel senso della logica che studieremo. La maggior parte delle argomentazioni quotidiane mirano a rendere plausibile la conclusione, piuttosto che a provare deduttivamente che consegue dalle premesse. In tal caso le argomentazioni si lasciano meglio formalizzare attraverso la teoria della probabilità. L unico campo nel quale la logica che studieremo trova perfetta applicazione è la matematica. Non è un caso che la logica moderna sia chiamata anche logica matematica Essa lo è in due sensi: nel senso che è logica sviluppata con metodi matematici Nel senso che è logica della matematica. Ciò non esclude, tuttavia, che essa possa applicarsi con certe precauzioni anche nel linguaggio ordinario in determinati contesti. Gli argomenti della vita reale sono tipicamente ellittici, possono cioè essere trasformati in argomenti validi aggiungendo alcune premesse mancanti, che però sono all opera anche se assunte implicitamente

7 Validità e fondatezza Se un argomento è logicamente valido non è detto che la sua conclusione sia vera. Per avere questa certezza bisogna che anche le premesse siano vere. Ma la verità di una proposizione non è una condizione formale (che possa essere stabilita con il puro ragionamento), bensì una condizione materiale, che non può essere stabilita mediante considerazioni puramente logiche. La verità non si conserva se sostituisco una proposizione con un altra! Quindi non è una proprietà formale. Quando un argomento soddisfa sia la condizione formale della validità sia quella materiale della verità delle sue premesse, allora ci fornisce la garanzia che la conclusione è vera e si dice che esso è un argomento fondato. Chiaramente ogni argomento fondato è anche valido ma non tutti gli argomenti validi sono fondati. Fondato = Valido + Premesse vere Argomenti fondati Argomenti validi Esempi di argomenti validi Il sole splende nel cielo Se il sole splende nel cielo allora il prato è asciutto Il prato è asciutto Il prato non è asciutto Se il sole splende nel cielo allora il prato è asciutto Il sole non splende nel cielo Validità e verità La validità è indipendente dal valore di verità delle premesse. Le premesse possono essere tutte vere (e allora se l argomento è valido anche la conclusione è vera) Possono esservi una o più premesse false. In tal caso non c è più più la garanzia che anche la conclusione sia vera. Ma se le premesse sono false ciò non significa che la conclusione sia necessariamente falsa. La conclusione essere falsa così come può essere vera. Se però l argomento è valido e la conclusione è falsa, allora almeno una delle premesse è falsa. 27 Esempi di argomenti validi con qualche premessa falsa Tutti gli animali che vivono nell acqua sono pesci Tutte le balene vivono nell acqua Tutte le balene sono pesci Tutti gli animali con 4 zampe hanno le ali Tutti gli uccelli hanno 4 zampe Tutti gli uccelli hanno le ali Tutti i pesci sono immortali Tutti gli italiani sono pesci Tutti gli italiani sono immortali 28 7

8 Validità e falsità Può accadere che sia tutte le premesse sia la conclusione siano vere senza che l argomento sia valido. In questo caso la verità della conclusione non è formalmente implicata dalle premesse. Si tratta di una verità accidentale, cioè la conclusione è vera benché la sua verità non discenda da quella delle premesse. Argomenti non validi con premesse e conclusione vere Tutti i sassaresi sono sardi Nessun tedesco è sassarese Nessun tedesco è sardo Questa barretta di metallo viene riscaldata questa barretta di metallo si dilata Fallacie Si chiamano fallacie argomenti non validi che tuttavia appaiono a prima vista fondati (quindi anche validi). Es. Tutti i sardi sono mortali Tutti gli italiani sono mortali Tutti i sardi sono italiani Questo argomento è fallace perché sembra fondato mentre non lo è nonostante abbia entrambe le premesse vere. Esso non è infatti valido. Se, infatti, sostituiamo ovunque italiano con tedesco, la conclusione diventa falsa: Tutti i sardi sono mortali Tutti i tedeschi sono mortali Tutti i sardi sono tedeschi Forma logica I Consideriamo i seguenti enunciati: Pioveoppure non piove Nevicaoppure non nevica Mariaè bionda oppure Maria non è bionda

9 Forma logica II Negli enunciati dichiarativi occorrono (cioè compaiono) due generi idit termini: i 1. Termini non logici (o descrittivi): essi sono nomi che denotano un referente a sé stante (individuo, proprietà, relazione, enunciato) 2. termini logici (chiamati anche costanti logiche): non sono nomi, bensì parole che servono per combinare tra loro i termini non logici, sì da consentire la costruzione di un nuovo termine non logico. Forma logica III Ritorniamo ai nostri esempi Il primo enunciato contiene un termine non logico: piove e due termini logici: oppure e non ; Anche il secondo enunciato contiene un termine non logico: nevica e gli stessi termini logici: oppure e non ; Il terzo enunciato contiene due termini non logici ( Maria e bionda ) e tre termini logici ( è, oppure e non ) Forma logica IV Consideriamo i primi due enunciati: Piove oppure non piove Nevica oppure non nevica E immediato constatare che il secondo può essere ottenuto a partire dal primo sostituendo in tutte le sue occorrenze il termine non logico piove con il termine non logico nevica 35 Forma logica V La forma logica dipende solamente dai termini non logici e dal modo in cui occorrono (compaiono) in una proposizione; Ma, a meno della scelta del termine non logico piove piuttosto che nevica i due enunciati coincidono. Si dice in questo caso che essi hanno la stessa forma logica (oppure che essi sono logicamente isomorfi) 36 9

10 Forma logica VI La forma logica è quindi quella proprietà che non cambia al variare dei termini non logici. Per identificarla si usa rimpiazzare i termini non logici con altrettante variabili, che svolgono la funzione di segnaposto, di lacune che possono essere riempite con qualsiasi enunciato. Scrivendo p al posto di piove e nevica non si ottiene più un enunciato bensì una forma enunciativa: p oppure non p Si può dire allora che sia il primo enunciato sia il secondo sono della forma p oppure non p. Linguaggio oggetto e metalinguaggio Il linguaggio oggetto parla di determinate cose cui si riferiscono i termini occorrenti nelle proposizioni. Per esempio se dico Maria è bionda parlo di Maria e della proprietà essere biondo dicendo di Maria che ella è bionda e della proprietà essere biondo che conviene a Maria. Ma un linguaggio può anche parlare di oggetti linguistici (segni, parole etc. di un dato linguaggio). Un linguaggio che parla di un altro linguaggio si chiama metalinguaggio. In questo caso è molto importante non mescolare linguaggio e metalinguaggio perché altrimenti ne risultano paradossi logici Paradosso del mentitore La proposizione scritta in rosso sul lucido N 30 della presentazione Powerpoint LezioniLogicaIsemestre ppt è falsa. Supponiamo che questa proposizione sia vera. Allora deve essere vero quello che dice, cioè che essa stessa è falsa. Quindi sotto l ipotesi che la proposizione è vera essa è falsa. Supponiamo ora che essa sia falsa. Allora deve essere falso quello che dice, dunque dovrebbe essere falso che essa sia falsa. Quindi, in tal caso, essa sarebbe vera. Se ragioniamo per assurdo escludiamo sia l ipotesi che la frase sia vera sia che essa sia falsa. Poiché, per il principio del terzo escluso, ciò è impossibile, questo è un antinomia (come si suol dire). 39 Paradosso di Grelling Chiamiamo un aggettivo autologico se e solo se può essere validamente applicato a se stesso; eterologico se e solo se non può essere validamente applicato a se stesso. In base a questa definizione italiano e polisillabo sono autologici, mentre rosso è eterologico. Chiediamoci se eterologico è eterologico. Se esso è eterologico può essere validamente applicato a se stesso e quindi è autologico. Se è autologico non può essere validamente applicato a se stesso e quindi è eterologico. Siamo quindi in presenza di una contraddizione. Se usiamo linguaggi distinti per gli aggettivi e per gli aggettivi che si riferiscono ad aggettivi, allora aggettivi come autologico e eterologico sono esclusi, perché riferendosi a se stessi comportano una confusione tra linguaggio e metalinguaggio

11 Parole logiche: costanti Un enunciato (ciò che ha un contenuto e un valore di verità) è una concatenazione di parole. Abbiamo distinto le parole logiche da quelle non logiche e abbiamo visto che la forma logica dipende essenzialmente dal modo con cui le prime occorrono nell enunciato Le parole logiche sono anche dette costanti logiche perché hanno un significato fissato una volta per tutte Ad esempio il significato ifi di non designa una operazione logica che partendo da un enunciato vero dà luogo a un enunciato falso e viceversa; Parole non logiche Le parole non logiche possono essere costanti oppure variabili. Se in un enunciato si sostituisce una costante non logica con una corrispondente variabile non si ottiene più un enunciato, ma una forma di enunciato. Es = 5 è un enunciato aritmetico, ma x +2 = 5 NON è un enunciato, non rappresenta un proposizione vera oppure falsa. Tuttavia questa forma può essere soddisfatta da alcuni valori di x. I matematici chiamano equazioni espressioni come questa e soluzioni dell equazione quei valori di x che sostituiti a x danno luogo a un enunciato vero. Ma se scrivo x ama Antonio siamo in una situazione logicamente identica. Qui le soluzioni sono costituite dalle persone che amano Antonio Uso e menzione dei simboli Nel metalinguaggio sarebbe poco pratico attribuire un nome metalinguistico a ogni segno o combinazione di segni cui ci si può riferire (le combinazioni sono troppe). Il modo standard per generare un nome di un oggetto linguistico è quello di racchiuderlo tra virgolette singole. Così nella proposizione «bello contiene due occorrenze della lettera l», non parlo di ciò a cui bello si riferisce (la proprietà di essere belli) ma della parola costituita da cinque lettere in quanto successione di segni. Nulla vieterebbe di inventare un nome per la parola bello, ma è più pratico considerare la parola racchiusa tra virgolette semplici come un nome di essa. Quindi quando usiamo una parola (p. es. dicendo «il paesaggio è bello» non usiamo le virgolette semplici ma se menzioniamo la parola dobbiamo usarle oppure battezzare quella parola con un altro termine. Esempi Roma ha quattro lettere Roma è la capitale d Italia Per designare un oggetto linguistico lo si deve far precedere dal segno e seguire dal segno. Il nonno di Antonio si chiama Antonio anch egli egli

12 Uso autonimo dei segni Tuttavia il continuo ricorso a virgolette può risultare fastidioso. Quando non vi sia ambiguità (ad esempio quando il metalinguaggio adoperato non contiene segni in comune con il linguaggio oggetto) si ammette di menzionare le sequenze (o stringhe) di segni del linguaggio oggetto saranno menzionati mediante un segno identico al segno menzionato. Ogni sequenza di segni sarà denotata da se stessa. A rigore ciò sarebbe scorretto (per quel che si è detto). Il ricorso a questa convenzione richiede molta cautela e le debite precauzioni. Se in un determinato contesto non c è alcun uso dei segni del linguaggio oggetto (ma solo menzione), non può esservi confusione tra uso e menzione se si adotta consapevolmente questa convenzione. 45 SINTASSI E SEMANTICA Quando nel metalinguaggio parliamo di un certo linguaggio oggetto, possiamo riferirci ai segni di tale linguaggio oggetto e alle regole combinatorie che ne governano l uso prescindendo dal loro significato. Questo vale anche per le lingue naturali. Quando un libro di sintassi ci spiega che certe frasi condizionali richiedono l uso del congiuntivo, non è necessario comprendere quelle frasi per applicare la regola. Cosa significhi frase condizionale dipende solo dalla forma della frase non da suo contenuto. Analogamente noi quando costruiremo un nostro linguaggio artificiale, dovremo distinguere le regole puramente combinatorie (cioè sintattiche) che governano l uso dei segni di quel linguaggio dal significato che dall uso secondo quelle regole deriva. Le regole che governano il modo con cui si combinano i segni di un linguaggio gg L nelle frasi prescindendo dal loro significato costituisce la sintassi di L. Lo studio invece dei rapporti tra un dato linguaggio L e gli oggetti di cui esso parla costituisce la semantica di L. 46 La nuova concezione del ragionamento Secondo la tradizione moderna (che comincia con Cartesio) la logica ha a che vedere essenzialmente con la mente e le regole logiche sono leggi del pensiero. Cartesio ( ) pensava che le verità provate (= conclusioni di argomenti fondati) fossero a veris cognitisque principiis deducantur per continuum & nullibi interruptum cogitationis motum singula perspicue intuentis. Il processo di deduzione è, in questa prospettiva: Un processo che coinvolge essenzialmente l intuizione Un procedimento continuo e non passo dopo passo. Questa concezione della deduzione è stata rivoluzionata dalla logica contemporanea: La deduzione, come passaggio valido da premesse a conclusioni è: Non coinvolge alcun processo mentale in modo essenziale, perché può essere eseguito attraverso l esecuzione di regole sintattiche di manipolazione di segni che sono puramente meccaniche (algoritmiche) È un processo discreto, cioè passo dopo passo e non è coinvolto alcun moto continuo. 47 Linguaggio naturale L analisi logica degli argomenti espressi nel linguaggio naturale è difficile perché il linguaggio naturale adopera molte costanti logiche con significati non esatti. Inoltre le espressioni del linguaggio naturale hanno anche conseguenze non formali, che dipendono dal contesto. Noi vogliamo depurare l aspetto formale degli argomenti da tutto ciò che non è formale. Pertanto abbiamo bisogno di un linguaggio in cui: Le regole sintattiche sono: perfettamente esplicitate ed esatte (tali che anche una macchina le possa eseguire); I significati dei simboli sono : indipendenti dal contesto e privi di qualsiasi ambiguità

13 Le argomentazioni del linguaggio naturale Per concludere un argomento il linguaggio naturale usa una varietà di parole: quindi, pertanto, perciò etc. (v. pagina 4 del Varzi) Idem per segnalare che un enunciato è una premessa: infatti, poiché, dal momento che etc. (ibidem). Inoltre nel linguaggio naturale alcune premesse sono implicite. Ciò rende tipicamente l argomento dipendente dal contesto. Infatti la premessa mancante è spesso vera nel contesto in cui l argomento è usato, ma non in tutti i contesti. In matematica questo non accade: 2+2 = 4 2 = = 4 Questo argomento presuppone la regola della sostituibilità di termini che tra cui sussiste una relazione di uguaglianza. In virtù della seconda premessa posso sostituire nella prima premessa 2 con 1 +1 e così ottenere la conclusione. Questa regola, in aritmetica, è sempre valida. Inoltre non ci sono premesse implicite Nel linguaggio naturale oltre avere e proprie premesse mancanti (date per scontate) vi sono anche le cosiddette implicature, (sottointesi) su cui ha insistito il filosofo del linguaggio Paul Grice ( ). Esempio d implicatura Se dico: Che brutta figura feci il 29 dicembre 2004 quando al bar versai, in presenza di tanti colleghi, il cappuccino sulla giacca del professore che aveva preso servizio in questa università proprio quel giorno! suggerisco di aver versato il cappuccino sulla giacca di qualche malcapitato collega. Nessuno penserebbe che mi sia versato il cappuccino addosso. Eppure il professore che prese servizio il 29 dicembre 2004 sono proprio io! In questo caso il contenuto letterale della frase è diverso da ciò che essa lascia intendere all ascoltatore Linguaggio artificiale Il linguaggio artificiale che definiremo è un linguaggio simbolico, in cui si usano simboli speciali che non appartengono al linguaggio naturale per riferirsi alle parole logiche. Esso non è contestuale e le sue regole sono esatte e del tutto esplicitate. Inoltre ogni sottointeso o ambiguità è deliberatamente evitata. Ciò non è tuttavia una caratteristica essenziale, come sarebbe suggerito dall espressione logica simbolica per riferirsi alla logica formale moderna. Il ricorso ai simboli, pur non essendo, a rigore, imprescindibile, è assai utile in quanto: Rende più difficile confondere linguaggio e metalinguaggio; Consente di fare uso autonimo dei segni del linguaggio oggetto nel metalinguaggio (cioè di usare nel metalinguaggio i simboli del linguaggio oggetto come nomi di questi ultimi senza pericoli ). Rende più perspicua la struttura sintattica degli enunciati Consente una più agevole applicazione delle regole della sintassi e quindi la manipolazione dei segni Consente di evidenziare subito le parole logiche all interno degli enunciati. 51 ~, &, ~ è il simbolo della negazione (si legge non ); & è il simbolo della congiunzione (si legge e ); è il simbolo della disgiunzione (si legge o ) N.B. Questi tre simboli si chiamano connettivi booleani, in quanto il loro studio risale al logico inglese George Boole ( )

14 Connettivo unario ~ è un connettivo unario: Dato un enunciato esso consente di costruire un nuovo enunciato in base alla regola metalinguistica: R1. Se è un enunciato allora anche ~ è un enunciato. L italiano non ha una sintassi diversa e molto più complessa perché può occorrere anche all interno di enunciati e talvolta non può occorrere immediatamente prima di un enunciato. Antonio non è studioso Secondo la R1 bisognerebbe scrivere: non Antonio è studioso, che tuttavia non è ammesso in italiano. Invece non mangio dolci è ammessa. Connettivi binari e & sono connettivi binari: Dati due enunciati essi consentono di combinarli in maniera tale da dar luogo a un terzo enunciato mediante le seguenti regole sintattiche: R2. Se e sono enunciati, allora anche ( & ) è un enunciato R3. Se e sono enunciati, allora anche ( ) è un enunciato In italiano e e o sono chiamate congiunzioni correlative (contrapposte alle congiunzioni che introducono proposizioni subordinate, le quali di solito iniziano con la parola che ) e possono essere usate anche per combinare nomi o verbi. Non così per i simboli logici e & che, nella logica degli enunciati, sono strettamente enunciativi. Esempi: Antonio e Maria sono andati al mare. Noi dovremo prima esplicitare due enunciati e collegarli dopo con la congiunzione & : Antonio è andato al mare & Maria è andata al mare. Anna ha inciampato e si è fatta male. Noi diremmo: Anna ha inciampato & Anna si è fatta male. Si noti che gli enunciati originari hanno implicature (allusioni) che in logica non trovano posto. Tutto deve essere esplicitato Schemi Le regole R1 R3 possono considerarsi come istruzioni per la costruzione di un nuovo enunciato a partire da enunciati dati La regola R2, ad esempio esprime in forma più sintetica la seguente regola: Se sono dati due enunciati qualsiasi, chiamiamoli rispettivamente e, allora la successione di simboli ottenuta concatenando nell ordine il segno (,, il segno, e il segno ) è un enunciato. ( ) è un espressione del metalinguaggio (qui è messa tra virgolette in quanto è menzionata, quindi, parlandone siamo in un metametalinguaggio) nella quale ( è un nome dell identico segno del linguaggio oggetto (, mentre e sono variabili metalinguistiche. Una espressione di questo tipo contenente variabili metalinguistiche e nomi di segni del linguaggio oggetto identici i a ciò che designano (autonimia) i si chiamano schemi. Sostituendo le variabili metalinguistiche di uno schema come ( ) con enunciati del linguaggio oggetto si ottengono (in virtù della regola R2) ancora enunciati del linguaggio oggetto. Regole ricorsive Le regole R1, R2 e R3 possono essere iterate: Esse consentono di costruire enunciati arbitrariamente complicati: ~ (~ ) ((~ ) & ~~~ ) Una regola può essere indefinitamente iterata si dice ricorsiva

15 Parentesi I Le regole R2-R3 governano anche l uso delle parentesi Esse evitano ogni possibile ambiguità è ambiguo perché può voler dire: 1. (( ) ) 2. ( ( )) Nel metalinguaggio possiamo denotare un enunciato con una sua copia autonima e possiamo accettare che nel nome le parentesi più esterne siano omesse, dato che ciò non dà luogo ad ambiguità. Non lo possiamo però fare nelle regole R2 e R3. Perché? Parentesi II Se consideriamo una congiunzione con più di due congiunti secondo lo schema : (( ) ) notiamo che essa ha sempre (cioè indipendentemente dal valore di verità di,, ) )lo stesso valore di verità di ( ( )) Inoltre anche dal punto di vista sintattico tutto ciò che vale per la prima congiunzione vale anche per la seconda. Possiamo allora scrivere in notazione semplificata l enunciato secondo lo schema è un nome metalinguistico che si riferisce agli elementi dell insieme di enunciati delle due forme seguenti: (( ) ) e ( ( )). Questa ambiguità del metalinguaggio quasi sempre non dà luogo a problemi perché ogni affermazione logicamente rilevante su un enunciato conforme allo schema (( ) ) è vera se e solo se è vera anche se riferita al corrispondente enunciato conforme allo schema ( ( )). Se tuttavia fosse necessario distinguere i due casi sarebbe necessario ricorrere alle parentesi per distinguere le due forme enunciative Semantica Regole semantiche Si tratta di studiare in che modo il valore di verità degli enunciati ottenuti ti attraverso le regole R1-R3R3 dipende dagli enunciati più semplici con i quali è stato costruito. Le regole R1-R3 sono regole sintattiche, perché governano la combinazione dei segni di cui gli enunciati sono costituiti; Dobbiamo associare a ciascuna delle regole R1-R3 una corrispondente regola semantica, che specifichi il significato dei connettivi booleani S1. ~ è vero se e solo se èfalso; S2. ( ) è vero se e solo se sia sia sono veri; S3. ( ) è vero se almeno uno degli enunciati e è vero

16 Linguaggio naturale Sul piano semantico i simboli e & hanno solo uno dei vari significati di e e o della lingua italiana. o in italiano può essere usato anche nel significato esclusivo, ad es. in frasi della forma delle due l una: o o. Si dice spesso, nei libri di logica che il latino ha due parole distinte: vel e aut la prima riferendosi alla o non esclusiva, la seconda a quella esclusiva. Tuttavia tutto ciò è un mito perché in latino le due parole sono in realtà intercambiabili. e in italiano può suggerire un ordine (p. es. temporale o causale) tra i congiunti: Anna ha inciampato e si è fatta male Tavole di verità ~ La regola S1 può essere rappresentata dalla seguente tavola di verità V F ~ F V Tavola di verità & Tavola di verità ( & ) V V V V F F F V F ( ) V V V V F V F V V F F F F F F

17 Condizionale filoniano È un connettivo verofunzionale (una funzione di verità) L enunciato a sinistra del segno è chiamato l antecedente, quello alla destra il conseguente Traduce all incirca l italiano se allora oppure solo se, ma anche espressione contenenti altre congiunzioni come purché, salvo, supposto che ecc. Regole sintattiche e semantiche di La regola sintattica di formazione relativa al segno è analoga a quella che governa i segni e : R4. Se e sono enunciati, allora anche ( ) è un enunciato. La regola semantica è la seguente: S4. ( ) è vera se e solo se non si dà il caso che sia vera e falsa Tavola di verità di ( ) V V V V F F F V V F F V Il bicondizionale Il bicondizionale sta per l espressione del linguaggio naturale se e solo se. La regola sintattica è analoga a quella degli altri connettivi binari: R5. Se e sono enunciati, allora anche ( ) è un enunciato. La tavola di verità è la seguente: p q (p q) V V V V F F F V F F F V

18 Il Linguaggio LE Segni di LE. Enunciati atomici. p, q, r, s, t (con eventuali indici: es. p 1, t 12. Un indice è una sequenza di cifre sottoscritte) ; Parentesi: (, ) ; Connettivi:,,,, Formule ben formate (f.b.f.) 1. Se è un enunciato atomico, allora è una f.b.f. 2. Se è una f.b.f. allora è una f.b.f. 3. Se e sono f.b.f., allora anche ( ), ( & ), ( ), ( ) sono f.b.f. 4. Niente altro è una fbf f.b.f Enunciati composti o molecolari Es: ((( ) ) ) Occorrenza principale di connettivo. È quella tra gli enunciati racchiusi dalle parentesi più esterne 71 Esempio di linguaggio inventato Segni: A, B, *, (, ) Definizione di f.b.f. 1. A e B sono f.b.f. 2. Se e sono f.b.f. allora anche *( ) è una f.b.f. 3. Niente altro è una f.b.f. È facile verificare che la stringa (= sequenza di segni): *(B*(AB)) è una f.b.f. in base alle regole 1-3 Infatti A e B sono f.b.f. per la regola 1 e quindi anche *(AB) è una fbf f.b.f. per la regola 2. e poiché B, per la regola 1 è una f.b.f., anche *(B*(AB)) è una f.b.f. per la regola 2. Viceversa la stringa S= *(AB)*(AA) non è una f.b.f. Per provare che una sequenza di segni del linguaggio oggetto non è una f.b.f. bisogna ragionare per assurdo. Assumiano quindi che S sia una f.b.f. e mostriamo che tale assunzione viola le regole 1-3. È chiaro che S non è una f.b.f. in virtù della sola regola 1 perché in tal caso potrebbe essere solo S = A oppure S = B, mentre S = *(AB)*(AA). Quindi la sua costruzione deve richiedere necessariamente l applicazione della regola 2. Debbono allora esistere due sottosequenze di segni di S, diciamo S 1 e S 2 tali che S = *(S 1 S 2 ). Ora S inizia con la sequenza *( e termina con la sequenza A). Per la regola 1 A è una f.b.f. Quindi possiamo assumere S 2 = A). Ne consegue che S 1 = AB)*(A ed è una fbf f.b.f. Ora S 1 non può essere costruita con la sola regola 1 perché in tal caso potrebbe essere solo S 1 = A oppure S 1 = B, mentre S 1 = AB)*(A. Dunque deve essere costruita applicando la regola 2. Ma ciò è impossibile perché tutte le formule ottenute attraverso la regola 2 iniziano con il segno * mentre S 1 non inizia con tale segno. Quindi S 1 non costruibile con le regole 1 e 2 e per la regola 3 non è una f.b.f. Ne consegue che neanche S è costruibile con le regole 1 e 2, il che contraddice l ipotesi, in virtù della regola 3, che S sia una f.b.f. Concludiamo: S non è una f.b.f

19 Tavole di verità (P (P & Q)) P Q V V V V V V V V F V F F V F F V F F V F V F V F F F F F Tautologie e contraddizioni Un enunciato è una tautologia se e solo se la sua colonna principale reca solamente V. Un enunciato è detto una contraddizione se e solo se la sua colonna principale p reca solamente F Esempio di Tautologia Esempio di contraddizione (P (Q P)) P Q V V V V V V V V V F V V V F F V V F F F V F V F V F F F (P & (Q & P)) P Q V F V F F V V V V F F F F V V F F F V V V F F V F F F F V F F F

20 Tavole di verità di più enunciati 1. Si costruiscono le colonne di riferimento con tutti gli enunciati atomici che occorrano almeno una volta in uno degli enunciati di cui si vuole costruire la tavola di verità 2. Si costruisce la tavola di verità di ciascuno degli enunciati Conseguenze tautologiche Un enunciato q è una conseguenza tautologica di p 1, p n se e solo se la colonna principale di q reca V in tutte le righe in cui le colonne principali di tutti gli enunciati p 1, p n recano V Es. (p q) è conseguenza tautologica di p Le tautologie conseguono logicamente da ogni insieme di enunciati Dimostrazione Sia K un insieme di enunciati e t una tautologia. Supponiamo per assurdo che t non sia conseguenza logica di K. Allora nella tavola di verità congiunta dovrebbe esistere almeno una riga in cui tutti gli elementi di K sono veri e t falsa. Ma t è vera in tutte le righe quindi ciò è impossibile. Che cosa succede se K è l insieme vuoto? In questo caso K non contiene alcun enunciato. Ma proprio per questo non è possibile che esista una riga con tutti gli elementi di K veri e t falsa. Quindi t è conseguenza logica (tautologica) dell insieme vuoto di enunciati. Teorema semantico di deduzione È data dal metateorema (semantico) di deduzione, che lega il condizionale filoniano alla nozione di conseguenza tautologica. Un enunciato è conseguenza tautologica di un insieme { 1, n, } di enunciati se e solo se ( ) è conseguenza tautologica di { 1, n }. Adoperando il simbolo metalinguitico per la relazione di conseguenza tautologica e l espressione sse per se e solo se si suole scrivere: { 1, n, } sse { 1, n } Nel caso in cui n = 0 il metateorema si riduce al seguente (dove sta per l insieme vuoto): sse Poiché sappiamo che l insieme degli enunciati che sono conseguenza tautologica dell insieme vuoto coincide con l insieme linsieme delle tautologie, un corollario del teorema di deduzione è il seguente: è conseguenza tautologica di sse è una tautologia. Questa proprietà giustifica l uso da parte di Russell dell espressione implicazione materiale per riferirsi al condizionale filoniano contrapposta a implicazione formale per riferirsi alla conseguenza tautologica

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

Algebra booleana. Si dice enunciato una proposizione che può essere soltanto vera o falsa.

Algebra booleana. Si dice enunciato una proposizione che può essere soltanto vera o falsa. Algebra booleana Nel lavoro di programmazione capita spesso di dover ricorrere ai principi della logica degli enunciati e occorre conoscere i concetti di base dell algebra delle proposizioni. L algebra

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

Dall italiano al linguaggio della logica proposizionale

Dall italiano al linguaggio della logica proposizionale 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

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

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

risulta (x) = 1 se x < 0.

risulta (x) = 1 se x < 0. Questo file si pone come obiettivo quello di mostrarvi come lo studio di una funzione reale di una variabile reale, nella cui espressione compare un qualche valore assoluto, possa essere svolto senza necessariamente

Dettagli

LE FUNZIONI A DUE VARIABILI

LE FUNZIONI A DUE VARIABILI Capitolo I LE FUNZIONI A DUE VARIABILI In questo primo capitolo introduciamo alcune definizioni di base delle funzioni reali a due variabili reali. Nel seguito R denoterà l insieme dei numeri reali mentre

Dettagli

Dimensione di uno Spazio vettoriale

Dimensione di uno Spazio vettoriale Capitolo 4 Dimensione di uno Spazio vettoriale 4.1 Introduzione Dedichiamo questo capitolo ad un concetto fondamentale in algebra lineare: la dimensione di uno spazio vettoriale. Daremo una definizione

Dettagli

Alcune nozioni di base di Logica Matematica

Alcune nozioni di base di Logica Matematica Alcune nozioni di base di Logica Matematica Ad uso del corsi di Programmazione I e II Nicola Galesi Dipartimento di Informatica Sapienza Universitá Roma November 1, 2007 Questa é una breve raccolta di

Dettagli

Siamo così arrivati all aritmetica modulare, ma anche a individuare alcuni aspetti di come funziona l aritmetica del calcolatore come vedremo.

Siamo così arrivati all aritmetica modulare, ma anche a individuare alcuni aspetti di come funziona l aritmetica del calcolatore come vedremo. DALLE PESATE ALL ARITMETICA FINITA IN BASE 2 Si è trovato, partendo da un problema concreto, che con la base 2, utilizzando alcune potenze della base, operando con solo addizioni, posso ottenere tutti

Dettagli

Appunti sulla Macchina di Turing. Macchina di Turing

Appunti sulla Macchina di Turing. Macchina di Turing Macchina di Turing Una macchina di Turing è costituita dai seguenti elementi (vedi fig. 1): a) una unità di memoria, detta memoria esterna, consistente in un nastro illimitato in entrambi i sensi e suddiviso

Dettagli

Calcolatori: Algebra Booleana e Reti Logiche

Calcolatori: Algebra Booleana e Reti Logiche Calcolatori: Algebra Booleana e Reti Logiche 1 Algebra Booleana e Variabili Logiche I fondamenti dell Algebra Booleana (o Algebra di Boole) furono delineati dal matematico George Boole, in un lavoro pubblicato

Dettagli

Capitolo 2. Operazione di limite

Capitolo 2. Operazione di limite Capitolo 2 Operazione di ite In questo capitolo vogliamo occuparci dell operazione di ite, strumento indispensabile per scoprire molte proprietà delle funzioni. D ora in avanti riguarderemo i domini A

Dettagli

4 3 4 = 4 x 10 2 + 3 x 10 1 + 4 x 10 0 aaa 10 2 10 1 10 0

4 3 4 = 4 x 10 2 + 3 x 10 1 + 4 x 10 0 aaa 10 2 10 1 10 0 Rappresentazione dei numeri I numeri che siamo abituati ad utilizzare sono espressi utilizzando il sistema di numerazione decimale, che si chiama così perché utilizza 0 cifre (0,,2,3,4,5,6,7,8,9). Si dice

Dettagli

Funzioni funzione dominio codominio legge argomento variabile indipendente variabile dipendente

Funzioni funzione dominio codominio legge argomento variabile indipendente variabile dipendente Funzioni In matematica, una funzione f da X in Y consiste in: 1. un insieme X detto dominio di f 2. un insieme Y detto codominio di f 3. una legge che ad ogni elemento x in X associa uno ed un solo elemento

Dettagli

LE SUCCESSIONI 1. COS E UNA SUCCESSIONE

LE SUCCESSIONI 1. COS E UNA SUCCESSIONE LE SUCCESSIONI 1. COS E UNA SUCCESSIONE La sequenza costituisce un esempio di SUCCESSIONE. Ecco un altro esempio di successione: Una successione è dunque una sequenza infinita di numeri reali (ma potrebbe

Dettagli

APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI

APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI Indice 1 Le frazioni algebriche 1.1 Il minimo comune multiplo e il Massimo Comun Divisore fra polinomi........ 1. Le frazioni algebriche....................................

Dettagli

Lezioni di Matematica 1 - I modulo

Lezioni di Matematica 1 - I modulo Lezioni di Matematica 1 - I modulo Luciano Battaia 16 ottobre 2008 Luciano Battaia - http://www.batmath.it Matematica 1 - I modulo. Lezione del 16/10/2008 1 / 13 L introduzione dei numeri reali si può

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

1. PRIME PROPRIETÀ 2

1. PRIME PROPRIETÀ 2 RELAZIONI 1. Prime proprietà Il significato comune del concetto di relazione è facilmente intuibile: due elementi sono in relazione se c è un legame tra loro descritto da una certa proprietà; ad esempio,

Dettagli

CALCOLO COMBINATORIO

CALCOLO COMBINATORIO CALCOLO COMBINATORIO 1 Modi di formare gruppi di k oggetti presi da n dati 11 disposizioni semplici, permutazioni Dati n oggetti distinti a 1,, a n si chiamano disposizioni semplici di questi oggetti,

Dettagli

Per lo svolgimento del corso risulta particolarmente utile considerare l insieme

Per lo svolgimento del corso risulta particolarmente utile considerare l insieme 1. L insieme R. Per lo svolgimento del corso risulta particolarmente utile considerare l insieme R = R {, + }, detto anche retta reale estesa, che si ottiene aggiungendo all insieme dei numeri reali R

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

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 informatica. Lezione 2 anno accademico 2015-2016 Mario Verdicchio

Appunti di informatica. Lezione 2 anno accademico 2015-2016 Mario Verdicchio Appunti di informatica Lezione 2 anno accademico 2015-2016 Mario Verdicchio Sistema binario e logica C è un legame tra i numeri binari (0,1) e la logica, ossia la disciplina che si occupa del ragionamento

Dettagli

PROCESSO DI INDICIZZAZIONE SEMANTICA

PROCESSO DI INDICIZZAZIONE SEMANTICA PROCESSO DI INDICIZZAZIONE SEMANTICA INDIVIDUAZIONE DEI TEMI/CONCETTI SELEZIONE DEI TEMI/CONCETTI ESPRESSIONE DEI CONCETTI NEL LINGUAGGIO DI INDICIZZAZIONE TIPI DI INDICIZZAZIONE SOMMARIZZAZIONE INDICIZZAZIONE

Dettagli

L espressione torna invece sempre vera (quindi la soluzione originale) se cambiamo contemporaneamente il verso: 1 < 0.

L espressione torna invece sempre vera (quindi la soluzione originale) se cambiamo contemporaneamente il verso: 1 < 0. EQUAZIONI E DISEQUAZIONI Le uguaglianze fra espressioni numeriche si chiamano equazioni. Cercare le soluzioni dell equazione vuol dire cercare quelle combinazioni delle lettere che vi compaiono che la

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

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

INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI

INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI Prima di riuscire a scrivere un programma, abbiamo bisogno di conoscere un metodo risolutivo, cioè un metodo che a partire dai dati di ingresso fornisce i risultati attesi.

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

Corso di Calcolo Numerico

Corso di Calcolo Numerico Corso di Calcolo Numerico Dott.ssa M.C. De Bonis Università degli Studi della Basilicata, Potenza Facoltà di Ingegneria Corso di Laurea in Ingegneria Meccanica Sistemi di Numerazione Sistema decimale La

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

Sommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi.

Sommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. Algoritmi 1 Sommario Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. 2 Informatica Nome Informatica=informazione+automatica. Definizione Scienza che si occupa dell

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

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

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

Operatori logici e porte logiche

Operatori logici e porte logiche Operatori logici e porte logiche Operatori unari.......................................... 730 Connettivo AND........................................ 730 Connettivo OR..........................................

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

19. Inclusioni tra spazi L p.

19. Inclusioni tra spazi L p. 19. Inclusioni tra spazi L p. Nel n. 15.1 abbiamo provato (Teorema 15.1.1) che, se la misura µ è finita, allora tra i corispondenti spazi L p (µ) si hanno le seguenti inclusioni: ( ) p, r ]0, + [ : p

Dettagli

Rappresentare i nessi logici con gli insiemi

Rappresentare i nessi logici con gli insiemi Rappresentare i nessi logici con gli insiemi È un operazione molto utile in quesiti come quello nell Esempio 1, in cui gruppi di persone o cose vengono distinti in base a delle loro proprietà. Un elemento

Dettagli

Algebra Di Boole. Definiamo ora che esiste un segnale avente valore opposto di quello assunto dalla variabile X.

Algebra Di Boole. Definiamo ora che esiste un segnale avente valore opposto di quello assunto dalla variabile X. Algebra Di Boole L algebra di Boole è un ramo della matematica basato sul calcolo logico a due valori di verità (vero, falso). Con alcune leggi particolari consente di operare su proposizioni allo stesso

Dettagli

I libri di testo. Carlo Tarsitani

I libri di testo. Carlo Tarsitani I libri di testo Carlo Tarsitani Premessa Per accedere ai contenuti del sapere scientifico, ai vari livelli di istruzione, si usa comunemente anche un libro di testo. A partire dalla scuola primaria, tutti

Dettagli

Il principio di induzione e i numeri naturali.

Il principio di induzione e i numeri naturali. Il principio di induzione e i numeri naturali. Il principio di induzione è un potente strumento di dimostrazione, al quale si ricorre ogni volta che si debba dimostrare una proprietà in un numero infinito

Dettagli

Modulo 1: Motori di ricerca

Modulo 1: Motori di ricerca Contenuti Architettura di Internet Principi di interconnessione e trasmissione World Wide Web Posta elettronica Motori di ricerca Antivirus Personal firewall Tecnologie delle reti di calcolatori Servizi

Dettagli

Complemento al corso di Fondamenti di Informatica I corsi di laurea in ingegneria, settore dell informazione Università la Sapienza Consorzio Nettuno

Complemento al corso di Fondamenti di Informatica I corsi di laurea in ingegneria, settore dell informazione Università la Sapienza Consorzio Nettuno Rappresentazione di numeri Complemento al corso di Fondamenti di Informatica I corsi di laurea in ingegneria, settore dell informazione Università la Sapienza Consorzio Nettuno Un numero e un entità teorica,

Dettagli

Il concetto di valore medio in generale

Il concetto di valore medio in generale Il concetto di valore medio in generale Nella statistica descrittiva si distinguono solitamente due tipi di medie: - le medie analitiche, che soddisfano ad una condizione di invarianza e si calcolano tenendo

Dettagli

Prodotto libero di gruppi

Prodotto libero di gruppi Prodotto libero di gruppi 24 aprile 2014 Siano (A 1, +) e (A 2, +) gruppi abeliani. Sul prodotto cartesiano A 1 A 2 definiamo l operazione (x 1, y 1 ) + (x 2, y 2 ) := (x 1 + x 2, y 1 + y 2 ). Provvisto

Dettagli

REGOLE PER L ESAME (agg.te settembre 2015)

REGOLE PER L ESAME (agg.te settembre 2015) Informatica e Programmazione (9 CFU) Ingegneria Meccanica e dei Materiali REGOLE PER L ESAME (agg.te settembre 2015) Modalità d esame (note generali) Per superare l esame, lo studente deve sostenere due

Dettagli

UTILIZZATORI A VALLE: COME RENDERE NOTI GLI USI AI FORNITORI

UTILIZZATORI A VALLE: COME RENDERE NOTI GLI USI AI FORNITORI UTILIZZATORI A VALLE: COME RENDERE NOTI GLI USI AI FORNITORI Un utilizzatore a valle di sostanze chimiche dovrebbe informare i propri fornitori riguardo al suo utilizzo delle sostanze (come tali o all

Dettagli

1 Applicazioni Lineari tra Spazi Vettoriali

1 Applicazioni Lineari tra Spazi Vettoriali 1 Applicazioni Lineari tra Spazi Vettoriali Definizione 1 (Applicazioni lineari) Si chiama applicazione lineare una applicazione tra uno spazio vettoriale ed uno spazio vettoriale sul campo tale che "!$%!

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

Statistica e biometria. D. Bertacchi. Variabili aleatorie. V.a. discrete e continue. La densità di una v.a. discreta. Esempi.

Statistica e biometria. D. Bertacchi. Variabili aleatorie. V.a. discrete e continue. La densità di una v.a. discreta. Esempi. Iniziamo con definizione (capiremo fra poco la sua utilità): DEFINIZIONE DI VARIABILE ALEATORIA Una variabile aleatoria (in breve v.a.) X è funzione che ha come dominio Ω e come codominio R. In formule:

Dettagli

I sistemi di numerazione

I sistemi di numerazione I sistemi di numerazione 01-INFORMAZIONE E SUA RAPPRESENTAZIONE Sia dato un insieme finito di caratteri distinti, che chiameremo alfabeto. Utilizzando anche ripetutamente caratteri di un alfabeto, si possono

Dettagli

(anno accademico 2008-09)

(anno accademico 2008-09) Calcolo relazionale Prof Alberto Belussi Prof. Alberto Belussi (anno accademico 2008-09) Calcolo relazionale E un linguaggio di interrogazione o e dichiarativo: at specifica le proprietà del risultato

Dettagli

SISTEMI DI NUMERAZIONE E CODICI

SISTEMI DI NUMERAZIONE E CODICI SISTEMI DI NUMERAZIONE E CODICI Il Sistema di Numerazione Decimale Il sistema decimale o sistema di numerazione a base dieci usa dieci cifre, dette cifre decimali, da O a 9. Il sistema decimale è un sistema

Dettagli

Laboratorio di Pedagogia Sperimentale. Indice

Laboratorio di Pedagogia Sperimentale. Indice INSEGNAMENTO DI LABORATORIO DI PEDAGOGIA SPERIMENTALE LEZIONE III INTRODUZIONE ALLA RICERCA SPERIMENTALE (PARTE III) PROF. VINCENZO BONAZZA Indice 1 L ipotesi -----------------------------------------------------------

Dettagli

ESEMPIO 1: eseguire il complemento a 10 di 765

ESEMPIO 1: eseguire il complemento a 10 di 765 COMPLEMENTO A 10 DI UN NUMERO DECIMALE Sia dato un numero N 10 in base 10 di n cifre. Il complemento a 10 di tale numero (N ) si ottiene sottraendo il numero stesso a 10 n. ESEMPIO 1: eseguire il complemento

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

LEZIONE 23. Esempio 23.1.3. Si consideri la matrice (si veda l Esempio 22.2.5) A = 1 2 2 3 3 0

LEZIONE 23. Esempio 23.1.3. Si consideri la matrice (si veda l Esempio 22.2.5) A = 1 2 2 3 3 0 LEZIONE 23 231 Diagonalizzazione di matrici Abbiamo visto nella precedente lezione che, in generale, non è immediato che, data una matrice A k n,n con k = R, C, esista sempre una base costituita da suoi

Dettagli

Corso di Informatica

Corso di Informatica Corso di Informatica Modulo T3 1-Sottoprogrammi 1 Prerequisiti Tecnica top-down Programmazione elementare 2 1 Introduzione Lo scopo di questa Unità è utilizzare la metodologia di progettazione top-down

Dettagli

1 Serie di Taylor di una funzione

1 Serie di Taylor di una funzione Analisi Matematica 2 CORSO DI STUDI IN SMID CORSO DI ANALISI MATEMATICA 2 CAPITOLO 7 SERIE E POLINOMI DI TAYLOR Serie di Taylor di una funzione. Definizione di serie di Taylor Sia f(x) una funzione definita

Dettagli

Matematica generale CTF

Matematica generale CTF Successioni numeriche 19 agosto 2015 Definizione di successione Monotonìa e limitatezza Forme indeterminate Successioni infinitesime Comportamento asintotico Criterio del rapporto per le successioni Definizione

Dettagli

10. Insiemi non misurabili secondo Lebesgue.

10. Insiemi non misurabili secondo Lebesgue. 10. Insiemi non misurabili secondo Lebesgue. Lo scopo principale di questo capitolo è quello di far vedere che esistono sottoinsiemi di R h che non sono misurabili secondo Lebesgue. La costruzione di insiemi

Dettagli

Ottimizazione vincolata

Ottimizazione vincolata Ottimizazione vincolata Ricordiamo alcuni risultati provati nella scheda sulla Teoria di Dini per una funzione F : R N+M R M di classe C 1 con (x 0, y 0 ) F 1 (a), a = (a 1,, a M ), punto in cui vale l

Dettagli

Alessandro Pellegrini

Alessandro Pellegrini Esercitazione sulle Rappresentazioni Numeriche Esistono 1 tipi di persone al mondo: quelli che conoscono il codice binario e quelli che non lo conoscono Alessandro Pellegrini Cosa studiare prima Conversione

Dettagli

Osservazioni sulla continuità per le funzioni reali di variabile reale

Osservazioni sulla continuità per le funzioni reali di variabile reale Corso di Matematica, I modulo, Università di Udine, Osservazioni sulla continuità Osservazioni sulla continuità per le funzioni reali di variabile reale Come è noto una funzione è continua in un punto

Dettagli

LA TRASMISSIONE DELLE INFORMAZIONI QUARTA PARTE 1

LA TRASMISSIONE DELLE INFORMAZIONI QUARTA PARTE 1 LA TRASMISSIONE DELLE INFORMAZIONI QUARTA PARTE 1 I CODICI 1 IL CODICE BCD 1 Somma in BCD 2 Sottrazione BCD 5 IL CODICE ECCESSO 3 20 La trasmissione delle informazioni Quarta Parte I codici Il codice BCD

Dettagli

Epoca k Rata Rk Capitale Ck interessi Ik residuo Dk Ek 0 S 0 1 C1 Ik=i*S Dk=S-C1. n 0 S

Epoca k Rata Rk Capitale Ck interessi Ik residuo Dk Ek 0 S 0 1 C1 Ik=i*S Dk=S-C1. n 0 S L AMMORTAMENTO Gli ammortamenti sono un altra apllicazione delle rendite. Il prestito è un operazione finanziaria caratterizzata da un flusso di cassa positivo (mi prendo i soldi in prestito) seguito da

Dettagli

Luigi Piroddi piroddi@elet.polimi.it

Luigi Piroddi piroddi@elet.polimi.it Automazione industriale dispense del corso 10. Reti di Petri: analisi strutturale Luigi Piroddi piroddi@elet.polimi.it Analisi strutturale Un alternativa all analisi esaustiva basata sul grafo di raggiungibilità,

Dettagli

I database relazionali sono il tipo di database attualmente piu diffuso. I motivi di questo successo sono fondamentalmente due:

I database relazionali sono il tipo di database attualmente piu diffuso. I motivi di questo successo sono fondamentalmente due: Il modello relazionale I database relazionali sono il tipo di database attualmente piu diffuso. I motivi di questo successo sono fondamentalmente due: 1. forniscono sistemi semplici ed efficienti per rappresentare

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

Algebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE

Algebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE Algebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE Andrea Bobbio Anno Accademico 2000-2001 Algebra Booleana 2 Calcolatore come rete logica Il calcolatore può essere visto come una rete logica

Dettagli

~ Copyright Ripetizionando - All rights reserved ~ http://ripetizionando.wordpress.com STUDIO DI FUNZIONE

~ Copyright Ripetizionando - All rights reserved ~ http://ripetizionando.wordpress.com STUDIO DI FUNZIONE STUDIO DI FUNZIONE Passaggi fondamentali Per effettuare uno studio di funzione completo, che non lascia quindi margine a una quasi sicuramente errata inventiva, sono necessari i seguenti 7 passaggi: 1.

Dettagli

Esercizi su. Funzioni

Esercizi su. Funzioni Esercizi su Funzioni ๒ Varie Tracce extra Sul sito del corso ๓ Esercizi funz_max.cc funz_fattoriale.cc ๔ Documentazione Il codice va documentato (commentato) Leggibilità Riduzione degli errori Manutenibilità

Dettagli

Funzioni in C. Violetta Lonati

Funzioni in C. Violetta Lonati Università degli studi di Milano Dipartimento di Scienze dell Informazione Laboratorio di algoritmi e strutture dati Corso di laurea in Informatica Funzioni - in breve: Funzioni Definizione di funzioni

Dettagli

Spinoza e il Male. Saitta Francesco

Spinoza e il Male. Saitta Francesco Spinoza e il Male di Saitta Francesco La genealogia del male è sempre stato uno dei problemi più discussi nella storia della filosofia. Trovare le origini del male è sempre stato l oggetto principale di

Dettagli

Lezione 1. Gli Insiemi. La nozione di insieme viene spesso utilizzata nella vita di tutti i giorni; si parla dell insieme:

Lezione 1. Gli Insiemi. La nozione di insieme viene spesso utilizzata nella vita di tutti i giorni; si parla dell insieme: Lezione 1 Gli Insiemi La nozione di insieme viene spesso utilizzata nella vita di tutti i giorni; si parla dell insieme: degli iscritti ad un corso di laurea delle stelle in cielo dei punti di un piano

Dettagli

IL SISTEMA INFORMATIVO

IL SISTEMA INFORMATIVO LEZIONE 15 DAL MODELLO DELLE CONDIZIONI DI EQUILIBRIO AL MODELLO CONTABILE RIPRESA DEL CONCETTO DI SISTEMA AZIENDALE = COMPLESSO DI ELEMENTI MATERIALI E NO CHE DIPENDONO RECIPROCAMENTE GLI UNI DAGLI ALTRI

Dettagli

Matematica in laboratorio

Matematica in laboratorio Unità 1 Attività guidate Attività 1 Foglio elettronico Divisibilità tra numeri naturali Costruisci un foglio di lavoro per determinare se a è divisibile per b, essendo a e b due numeri naturali, con a

Dettagli

INTEGRALI DEFINITI. Tale superficie viene detta trapezoide e la misura della sua area si ottiene utilizzando il calcolo di un integrale definito.

INTEGRALI DEFINITI. Tale superficie viene detta trapezoide e la misura della sua area si ottiene utilizzando il calcolo di un integrale definito. INTEGRALI DEFINITI Sia nel campo scientifico che in quello tecnico si presentano spesso situazioni per affrontare le quali è necessario ricorrere al calcolo dell integrale definito. Vi sono infatti svariati

Dettagli

Le query. Lezione 6 a cura di Maria Novella Mosciatti

Le query. Lezione 6 a cura di Maria Novella Mosciatti Lezione 6 a cura di Maria Novella Mosciatti Le query Le query sono oggetti del DB che consentono di visualizzare, modificare e analizzare i dati in modi diversi. Si possono utilizzare query come origine

Dettagli

APPUNTI DI MATEMATICA ALGEBRA \ INSIEMISTICA \ TEORIA DEGLI INSIEMI (1)

APPUNTI DI MATEMATICA ALGEBRA \ INSIEMISTICA \ TEORIA DEGLI INSIEMI (1) ALGEBRA \ INSIEMISTICA \ TEORIA DEGLI INSIEMI (1) Un insieme è una collezione di oggetti. Il concetto di insieme è un concetto primitivo. Deve esistere un criterio chiaro, preciso, non ambiguo, inequivocabile,

Dettagli

MICROECONOMIA La teoria del consumo: Alcuni Arricchimenti. Enrico Saltari Università di Roma La Sapienza

MICROECONOMIA La teoria del consumo: Alcuni Arricchimenti. Enrico Saltari Università di Roma La Sapienza MICROECONOMIA La teoria del consumo: Alcuni Arricchimenti Enrico Saltari Università di Roma La Sapienza 1 Dotazioni iniziali Il consumatore dispone ora non di un dato reddito monetario ma di un ammontare

Dettagli

Studio di una funzione ad una variabile

Studio di una funzione ad una variabile Studio di una funzione ad una variabile Lo studio di una funzione ad una variabile ha come scopo ultimo quello di pervenire a un grafico della funzione assegnata. Questo grafico non dovrà essere preciso

Dettagli

Logica Numerica Approfondimento 1. Minimo Comune Multiplo e Massimo Comun Divisore. Il concetto di multiplo e di divisore. Il Minimo Comune Multiplo

Logica Numerica Approfondimento 1. Minimo Comune Multiplo e Massimo Comun Divisore. Il concetto di multiplo e di divisore. Il Minimo Comune Multiplo Logica Numerica Approfondimento E. Barbuto Minimo Comune Multiplo e Massimo Comun Divisore Il concetto di multiplo e di divisore Considerato un numero intero n, se esso viene moltiplicato per un numero

Dettagli

Corrispondenze e funzioni

Corrispondenze e funzioni Corrispondenze e funzioni L attività fondamentale della mente umana consiste nello stabilire corrispondenze e relazioni tra oggetti; è anche per questo motivo che il concetto di corrispondenza è uno dei

Dettagli

Soluzione dell esercizio del 2 Febbraio 2004

Soluzione dell esercizio del 2 Febbraio 2004 Soluzione dell esercizio del 2 Febbraio 2004 1. Casi d uso I casi d uso sono riportati in Figura 1. Figura 1: Diagramma dei casi d uso. E evidenziato un sotto caso di uso. 2. Modello concettuale Osserviamo

Dettagli

Algoritmi e strutture dati. Codici di Huffman

Algoritmi e strutture dati. Codici di Huffman Algoritmi e strutture dati Codici di Huffman Memorizzazione dei dati Quando un file viene memorizzato, esso va memorizzato in qualche formato binario Modo più semplice: memorizzare il codice ASCII per

Dettagli

Politecnico di Milano. Facoltà di Ingegneria Industriale. Corso di Analisi e Geometria 2. Sezione D-G. (Docente: Federico Lastaria).

Politecnico di Milano. Facoltà di Ingegneria Industriale. Corso di Analisi e Geometria 2. Sezione D-G. (Docente: Federico Lastaria). Politecnico di Milano. Facoltà di Ingegneria Industriale. Corso di Analisi e Geometria 2. Sezione D-G. (Docente: Federico Lastaria). Aprile 20 Indice Serie numeriche. Serie convergenti, divergenti, indeterminate.....................

Dettagli

UNIVERSITÀ DEGLI STUDI DI TERAMO

UNIVERSITÀ DEGLI STUDI DI TERAMO UNIVERSITÀ DEGLI STUDI DI TERAMO CORSO DI LAUREA IN ECONOMIA BANCARIA FINANZIARIA ED ASSICURATIVA (Classe 7) Corso di Matematica per l Economia (Prof. F. Eugeni) TEST DI INGRESSO Teramo, ottobre 00 SEZIONE

Dettagli

Le funzioni continue. A. Pisani Liceo Classico Dante Alighieri A.S. 2002-03. A. Pisani, appunti di Matematica 1

Le funzioni continue. A. Pisani Liceo Classico Dante Alighieri A.S. 2002-03. A. Pisani, appunti di Matematica 1 Le funzioni continue A. Pisani Liceo Classico Dante Alighieri A.S. -3 A. Pisani, appunti di Matematica 1 Nota bene Questi appunti sono da intendere come guida allo studio e come riassunto di quanto illustrato

Dettagli

Database 1 biblioteca universitaria. Testo del quesito

Database 1 biblioteca universitaria. Testo del quesito Database 1 biblioteca universitaria Testo del quesito Una biblioteca universitaria acquista testi didattici su indicazione dei professori e cura il prestito dei testi agli studenti. La biblioteca vuole

Dettagli

Dispense di Informatica per l ITG Valadier

Dispense di Informatica per l ITG Valadier La notazione binaria Dispense di Informatica per l ITG Valadier Le informazioni dentro il computer All interno di un calcolatore tutte le informazioni sono memorizzate sottoforma di lunghe sequenze di

Dettagli

Introduzione alla programmazione in C

Introduzione alla programmazione in C Introduzione alla programmazione in C Testi Consigliati: A. Kelley & I. Pohl C didattica e programmazione B.W. Kernighan & D. M. Ritchie Linguaggio C P. Tosoratti Introduzione all informatica Materiale

Dettagli

Processo di risoluzione di un problema ingegneristico. Processo di risoluzione di un problema ingegneristico

Processo di risoluzione di un problema ingegneristico. Processo di risoluzione di un problema ingegneristico Processo di risoluzione di un problema ingegneristico 1. Capire l essenza del problema. 2. Raccogliere le informazioni disponibili. Alcune potrebbero essere disponibili in un secondo momento. 3. Determinare

Dettagli

PROBABILITÀ - SCHEDA N. 2 LE VARIABILI ALEATORIE

PROBABILITÀ - SCHEDA N. 2 LE VARIABILI ALEATORIE Matematica e statistica: dai dati ai modelli alle scelte www.dima.unige/pls_statistica Responsabili scientifici M.P. Rogantin e E. Sasso (Dipartimento di Matematica Università di Genova) PROBABILITÀ -

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