LE ESPRESSIONI CONDIZIONALI (O LOGICHE)

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "LE ESPRESSIONI CONDIZIONALI (O LOGICHE)"

Transcript

1 LE ESPRESSIONI CONDIZIONALI (O LOGICHE) Un espressione condizionale è costruita utilizzando i seguenti elementi: operatori di confronto: > maggiore < minore = uguale >= maggiore o uguale <= minore o uguale <> diverso funzioni logiche: AND e OR oppure NOT non costanti: numeri stringhe date variabili: di tipo numerico di tipo stringa di tipo data parentesi: ( ) Un espressione condizionale restituisce sempre uno dei due possibili risultati: ERO, ALSO. ediamo ora come si costruiscono le espressioni condizionali. ESPRESSIONI CONDIZIONALI CONTENENTI SOLO COSTANTI 10 > 20 dà risultato falso ALSO perché 10 non è maggiore di < 20 dà risultato ERO perché 10 è minore di >= 20 dà risultato ALSO perché 10 non è né maggiore di 20, né uguale a < = 20 dà risultato ERO perché 10 è minore di < = 10 dà risultato ERO perché 10 è uguale a = 20 è ALSO perché 10 non è uguale a = 10 è ERO perché 20 è uguale a 20

2 ediamo come valutare le espressioni che contengono la funzione AND. La funzione AND ha la seguente tabella di verità: E1 E2 E1 AND E2 cioè un espressione E1 AND E2 è vera solamente quando sono vere E1 e E2, in tutti gli altri casi è falsa. Allora, ad esempio 12 > 20 AND 25 < 30 è un espressione complessivamente ALSA. Infatti è: 12 > 20 AND 25 < 30 AND (dove significa ALSO, mentre significa ERO). Invece l espressione 34 < 200 AND 150 < 300 è complessivamente ERA, infatti: 34 < 200 AND 150 < 300 AND ediamo come valutare le espressioni che contengono la funzione OR. La funzione OR ha la seguente tabella di verità: E1 E2 E1 OR E2 cioè un espressione E1 OR E2 è falsa solamente quando sono false E1 e E2, in tutti gli altri casi è vera. Allora, ad esempio 12 > 20 OR 25 < 30 è un espressione complessivamente ERA. Infatti è: 12 > 20 AND 25 < 30 OR La negazione NOT ha la seguente tabella di verità: E NOT E

3 cioè la NOT cambia il senso di una espressione condizionale. ale a dire, nega un espressione. Ad esempio 10 > 5 è un espressione ERA, mentre la stessa espressione negata NOT(10 > 5) dà risultato ALSO. Dunque il senso di queste espressioni è il seguente: 10 > 5 dieci è maggiore di cinque (chiaramente ERA) NOT(10 > 5) dieci non è maggiore di cinque (chiaramente ALSA) ediamo un altro esempio: 10 < 3 dieci è minore di tre (chiaramente ALSA) NOT(10 < 3) dieci non è minore di tre (chiaramente ERA) Dunque se applichiamo NOT ad un espressione ERA, essa diventa ALSA; viceversa se applichiamo NOT ad un espressione ALSA, essa diventa ERA. alutiamo ora un espressione contenente AND, OR e NOT: (3 >= 5 OR 14 <= 20) AND (NOT(23 < 12 AND 22 > 3)) ( OR ) AND (NOT( AND )) AND (NOT ) AND ESPRESSIONI CONDIZIONALI CONTENENTI ANCHE ARIABILI L espressione A > 10 sarà vera per quei valori della variabile A che sono maggiori di 10, mentre risulterà falsa quando in A memorizziamo un valore inferiore o uguale a 10. Graficamente: 10 A Se invece scriviamo A >= 10, abbiamo: 10 A Nel caso dunque di espressioni elementari (cioè che non includono la AND, la OR o la NOT) è facile rappresentare graficamente i valori che le rendono vere e i valori che le rendono false. Per esercitarsi, rappresentare graficamente le zone di verità delle espressioni seguenti: X < 20 X <= 33 Y > 45 Y > = 45

4 ediamo cosa accade se le espressioni con una variabile includono AND, OR o NOT. 1. Espressioni con la AND, nella variabile H. l espressione H > 20 AND H < 30 è vera nelle seguenti zone: H Cioè quando vogliamo che un espressione condizionale sia vera in un intervallo di valori (della variabile data, ad esempio la H come in questo caso) limitato a sinistra e a destra (in questo esempio, da 20 e da 30), allora si deve utilizzare la funzione AND. 2. Espressioni con la OR, nella variabile H. l espressione H < 20 OR H > 30 è vera nelle seguenti zone: H Cioè quando vogliamo che un espressione condizionale sia vera in due intervalli separati di valori (della variabile data, ad esempio la H come in questo caso), allora si deve utilizzare la funzione OR. ediamo ad esempio come convertire in espressione condizionale la seguente situazione rappresentata graficamente: AND OR AND OR X sarà: (X>=10 AND X<20) OR (X>30 AND X<=40) OR (X>50) Questa espressione è stata ottenuta secondo la seguente procedura: o si scrive l espressione relativa al primo intervallo: considerato che esso è limitato a destra e a sinistra, si deve utilizzare la AND; inoltre è accettato anche il valore 10 (notare il ero sopra di esso), per cui l intervallo sarà definito così: (X >= 10 AND X < 20) o si scrive l espressione relativa al secondo intervallo: considerato che esso è limitato a destra e a sinistra, si deve utilizzare la AND; inoltre è accettato anche il valore 40 (notare il ero sopra di esso), per cui l intervallo sarà definito così: (X > 30 AND X <= 40) o si scrive l espressione relativa al terzo intervallo: considerato che esso non è limitato a destra, e il valore 50 non è accettato, sarà così definito: (X>50)

5 o a questo punto i tre intervalli separati vengono uniti attraverso delle OR, cioè: (X>=10 AND X<20) OR (X>30 AND X<=40) OR (X>50) 3. Espressioni con la NOT, nella variabile H. L espressione H > 20 ha il seguente grafico: 20 H L espressione negata: NOT(H > 20) ha il grafico: 20 H cioè risulta vera dove la precedente è falsa e viceversa: è proprio questo l effetto della funzione NOT. Dal grafico della espressione negata precedente si può dedurre anche la seguente espressione: H <= 20 che è dunque equivalente alla NOT(H > 20), perché hanno la stessa rappresentazione grafica. Ciò significa che il contrario del simbolo > è <=. Si provi a rappresentare graficamente l espressione H > 20 AND H < 30 e si rappresenti anche la sua negazione NOT(H > 20 AND H < 30), si noterà che dal grafico di quest ultima espressione si può anche dedurre l espressione H<= 20 OR H >= 30. Da tutto ciò dedurremo che per negare un espressione in una variabile, è sufficiente negare i simboli delle espressioni condizionali secondo la tabella: > <= = <> < >= AND OR Quando nell espressione da negare compare la NOT, si deve tenere presente che due NOT si elidono a vicenda (infatti due negazioni affermano). Ad esempio l espressione: NOT(X>0 AND X<20) negata ancora diventa: NOT(NOT(X>0 AND X<20)) e dunque il risultato è X>0 AND X<20

6 Dunque abbiamo due modi di negare un espressione logica E: o scrivendo NOT(E) o sostituendo gli operatori di confronto e le funzioni logiche come specificato nella tabella: > <= = <> < >= AND OR

La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di

La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di studio da parte anche dei matematici. LE PROPOSIZIONI

Dettagli

Logica: materiale didattico

Logica: materiale didattico Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica

Dettagli

Linguaggio della Matematica

Linguaggio della Matematica Linguaggio della Matematica concetti primitivi: elementi fondamentali di natura intuitiva (punto, retta, insieme, elemento di un insieme,...). assiomi: enunciati, proposizioni vere a priori (gli assiomi

Dettagli

ELEMENTI DI ALGEBRA BOOLEANA

ELEMENTI DI ALGEBRA BOOLEANA ELEMENTI DI ALGEBRA BOOLEANA CONCETTO DI LOGICA: elemento essenziale del pensiero umano. La logica permette all uomo di formulare ragionamenti e di elaborare informazioni. La logica è esprimibile con il

Dettagli

INSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti.

INSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti. INSIEMI DEF. Un INSIEME è una qualsiasi collezione di oggetti. Esso è ben definito quando è chiaro se un oggetto appartiene o non appartiene all insieme stesso. Esempio. E possibile definire l insieme

Dettagli

Linguaggio della Matematica

Linguaggio della Matematica Linguaggio della Matematica concetti primitivi: elementi fondamentali di natura intuitiva (punto, retta, insieme, elemento di un insieme,...). assiomi: enunciati, proposizioni vere a priori (gli assiomi

Dettagli

Programma del corso. Elementi di Programmazione. Introduzione agli algoritmi. Rappresentazione delle Informazioni. Architettura del calcolatore

Programma del corso. Elementi di Programmazione. Introduzione agli algoritmi. Rappresentazione delle Informazioni. Architettura del calcolatore Programma del corso Introduzione agli algoritmi Rappresentazione delle Informazioni Elementi di Programmazione Architettura del calcolatore Reti di Calcolatori Calcolo proposizionale Algebra Booleana Contempla

Dettagli

Introduzione alla logica proposizionale

Introduzione alla logica proposizionale Introduzione alla logica proposizionale Mauro Bianco Questa frase è falsa Contents 1 Proposizioni 1 2 Altri operatori 4 Nota : Le parti delimitate da *** sono da considerarsi facoltative. 1 Proposizioni

Dettagli

Fogli Elettronici. Idoneità Informatica Prof. Mauro Gaspari

Fogli Elettronici. Idoneità Informatica Prof. Mauro Gaspari Fogli Elettronici Idoneità Informatica Prof. Mauro Gaspari Cosa è un foglio elettronico. Strumento per raccogliere dati organizzati in tabelle e farci delle operazioni: Le celle contengono numeri o altri

Dettagli

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2018/2019 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve

Dettagli

ESERCITAZIONE 4 : INSIEMI E LOGICA

ESERCITAZIONE 4 : INSIEMI E LOGICA ESERCITAZIONE 4 : INSIEMI E LOGICA e-mail: tommei@dm.unipi.it web: www.dm.unipi.it/ tommei Ricevimento: Martedi 16-18 Dipartimento di Matematica, piano terra, studio 126 30 Ottobre 2012 Esercizio 1 I due

Dettagli

EXCEL =FUNZIONE(ARGOMENTO1;[ARGOMENTO2];.. [ARGOMENTO N])

EXCEL =FUNZIONE(ARGOMENTO1;[ARGOMENTO2];.. [ARGOMENTO N]) Pag. 1 a 5 EXCEL La struttura delle formule La struttura della formula è costruita dalla struttura: =FUNZIONE(ARGOMENTO1;[ARGOMENTO2];.. [ARGOMENTO N]) La stringa inizia con un segnale = seguito dal nome

Dettagli

02 - Logica delle dimostrazioni

02 - Logica delle dimostrazioni Università degli Studi di Palermo Facoltà di Economia Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 0 - Logica delle dimostrazioni Anno Accademico 015/016

Dettagli

CAPITOLO 3 - ALGORITMI E CODIFICA

CAPITOLO 3 - ALGORITMI E CODIFICA FASI DI SVILUPPO DEL SOFTWARE Problema Idea (soluzione) Algoritmo (soluzione formale) Programma (traduzione dell algoritmo in una forma comprensibile da un elaboratore elettronico) Test (criteri di verifica)

Dettagli

Tipi di dato primitivi

Tipi di dato primitivi Tipi di dato primitivi (oltre int) Tipi di dato primitivi int (già trattati) Valori logici (ricordati) Valori reali Valori carattere Informatica - A.A. 2009/2010 - Tipi di dato 2 1 Valori logici (il caso

Dettagli

Cenni di logica e calcolo proposizionale

Cenni di logica e calcolo proposizionale Cenni di logica e calcolo proposizionale Corso di Laurea in Informatica Università degli Studi di Bari (sede Brindisi) Analisi Matematica S.Milella (sabina.milella@uniba.it) Cenni di logica 1 / 10 Proposizioni

Dettagli

Logica proposizionale

Logica proposizionale Logica proposizionale Linguaggio comune Nel linguaggio comune si utilizzano spesso frasi imprecise o ambigue Esempio Un americano muore di melanoma ogni ora! Assurdo: significa che c è un americano (sfortunato)

Dettagli

BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta

BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento è corretto se segue uno

Dettagli

George BOOLE ( ) L algebra booleana. (logica proposizionale)

George BOOLE ( ) L algebra booleana. (logica proposizionale) George BOOLE (1815-64) L algebra booleana. (logica proposizionale) La logica e George BOOLE George BOOLE nel 1847 pubblicò il libro Mathematical Analysis of Logic, nel quale presentava ciò che oggi si

Dettagli

Cenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni

Cenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve

Dettagli

Fondamenti di Informatica

Fondamenti di Informatica Fondamenti di Informatica Algebra di Boole e Circuiti Logici Prof. Christian Esposito Corso di Laurea in Ingegneria Meccanica e Gestionale (Classe I) A.A. 2016/17 Algebra di Boole e Circuiti Logici L Algebra

Dettagli

Rappresentazione in virgola fissa (fixed-point) Rappresentazione di Numeri Reali. Conversione decimale-binario di numeri non interi

Rappresentazione in virgola fissa (fixed-point) Rappresentazione di Numeri Reali. Conversione decimale-binario di numeri non interi Rappresentazione di Numeri Reali Un numero reale è una grandezza continua Può assumere infiniti valori In una rappresentazione di lunghezza limitata, deve di solito essere approssimato. Esistono due forme

Dettagli

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2017/2018 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve

Dettagli

Descrizione di un algoritmo

Descrizione di un algoritmo Descrizione di un algoritmo Si descrive un algoritmo cercando di sintetizzare il più possibile la sua sequenza di passi; Non si utilizza un linguaggio di programmazione specifico, ma è meglio utilizzare

Dettagli

MICROSOFT EXCEL FORMULE E FUNZIONI

MICROSOFT EXCEL FORMULE E FUNZIONI MICROSOFT EXCEL FORMULE E FUNZIONI Lezione 1.2 a.a. 2016-2017 Ing. Giulia Fiscon Sommario Introduzione Microsoft Excel Lavorare con i fogli di calcolo Riferimenti di cella Formule e Funzioni Funzioni logiche

Dettagli

associate ai corrispondenti valori assunti dall uscita.

associate ai corrispondenti valori assunti dall uscita. 1. Definizione di variabile logica. Una Variabile Logica è una variabile che può assumere solo due valori: 1 True (vero, identificato con 1) False (falso, identificato con 0) Le variabili logiche si prestano

Dettagli

A CHI E' RIVOLTA? CHI PUO' ESSERE DEFINITO PROPOSIZIONE LOGICA?

A CHI E' RIVOLTA? CHI PUO' ESSERE DEFINITO PROPOSIZIONE LOGICA? ALGEBRA BOOLEANA O LOGICA GEORGE BOOLE (1815 1864) A CHI E' RIVOLTA? Alla classe degli elementi binari : 1; 0 Alla classe delle proposizioni logiche CHI PUO' ESSERE DEFINITO PROPOSIZIONE LOGICA? PROPOSIZIONE

Dettagli

Ragionamento formalei. Ragionamento formale

Ragionamento formalei. Ragionamento formale Ragionamento formale La necessità e l importanza di comprendere le basi del ragionamento formale, utilizzato in matematica per dimostrare teoremi all interno di teorie, è in generale un argomento piuttosto

Dettagli

METODI MATEMATICI PER L INFORMATICA

METODI MATEMATICI PER L INFORMATICA METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 2 17/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Applicazioni della logica proposizionale La logica ha una

Dettagli

Lezione 5. Sommario. La logica booleana. I principi della logica booleana Gli operatori logici

Lezione 5. Sommario. La logica booleana. I principi della logica booleana Gli operatori logici Lezione 5 La logica booleana Sommario I principi della logica booleana Gli operatori logici 1 Variabili Booleane Variabile booleana=quantità che può assumere solo due valori I due valori hanno il significato

Dettagli

Espressioni logiche. Espressioni logiche. Operatori logici. Operatori logici. Operatori logici. Espressioni Logiche e Istruzione di Test

Espressioni logiche. Espressioni logiche. Operatori logici. Operatori logici. Operatori logici. Espressioni Logiche e Istruzione di Test Espressioni logiche Espressioni Logiche e Istruzione di Test Fondamenti di Informatica 1 Massimo Di Nanni Gennaio, 2001 Espressioni logiche nelle Istruzioni di Test e di Iterazione Calcolo del massimo

Dettagli

Le variabili logiche possono essere combinate per mezzo di operatori detti connettivi logici. I principali sono:

Le variabili logiche possono essere combinate per mezzo di operatori detti connettivi logici. I principali sono: Variabili logiche Una variabile logica (o booleana) è una variable che può assumere solo uno di due valori: Connettivi logici True (vero identificato con 1) False (falso identificato con 0) Le variabili

Dettagli

DI CHE COSA SI OCCUPA LA LOGICA

DI CHE COSA SI OCCUPA LA LOGICA Di Emily Rinaldi DI CHE COSA SI OCCUPA LA LOGICA La logica si occupa dell esattezza dei ragionamenti Nei tempi antichi solo verbale. Nell epoca moderna la logica viene applicata per l ordinamento sistemazione

Dettagli

Algebra di Boole. Andrea Passerini Informatica. Algebra di Boole

Algebra di Boole. Andrea Passerini Informatica. Algebra di Boole Andrea Passerini passerini@disi.unitn.it Informatica Variabili logiche Una variabile logica (o booleana) è una variable che può assumere solo uno di due valori: True (vero identificato con 1) False (falso

Dettagli

04 - Logica delle dimostrazioni

04 - Logica delle dimostrazioni Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,

Dettagli

Equazioni di primo grado

Equazioni di primo grado Equazioni di primo grado 15 15.1 Identità ed equazioni Analizziamo le seguenti proposizioni: a ) cinque è uguale alla differenza tra sette e due ; b ) la somma di quattro e due è uguale a otto ; c ) il

Dettagli

Calcolo numerico e programmazione Elementi di logica

Calcolo numerico e programmazione Elementi di logica Calcolo numerico e programmazione Elementi di logica Tullio Facchinetti 23 marzo 2012 10:50 http://robot.unipv.it/toolleeo Algebra booleana (George Boole (1815-1864)) è definita

Dettagli

Proposizioni Algebra di Boole Condizioni Operatori di relazione

Proposizioni Algebra di Boole Condizioni Operatori di relazione Proposizioni Algebra di Boole Condizioni Operatori di relazione Proposizione ( o Asserzione) Una frase con valore di verità Mario è andato al cinema I pinguini volano Oggi è domenica Una proposizione può

Dettagli

Affermazioni aperte e quantificatori Definizione affermazione aperta Esempi Esempio Definizione Esempio Definizione quantificatore universale

Affermazioni aperte e quantificatori Definizione affermazione aperta Esempi Esempio Definizione Esempio Definizione quantificatore universale Affermazioni aperte e quantificatori Definizione Una affermazione aperta è una affermazione che coinvolge una o più variabili. Esempi (a) 5 ³ 3x 2 (b) Il bambino ha un quaderno rosso. Una affermazione

Dettagli

VBA è un linguaggio di scripting derivato da Visual Basic, da cui prende il nome. Come ogni linguaggio ha le sue regole.

VBA è un linguaggio di scripting derivato da Visual Basic, da cui prende il nome. Come ogni linguaggio ha le sue regole. Excel VBA VBA Visual Basic for Application VBA è un linguaggio di scripting derivato da Visual Basic, da cui prende il nome. Come ogni linguaggio ha le sue regole. 2 Prima di iniziare. Che cos è una variabile?

Dettagli

1 Il linguaggio matematico

1 Il linguaggio matematico 1 Il linguaggio matematico 1.1 La logica delle proposizioni La matematica è un linguaggio; a differenza del linguaggio letterario che utilizza una logica soggettiva, la matematica si serve di una logica

Dettagli

APPUNTI DI ELETTRONICA DIGITALE

APPUNTI DI ELETTRONICA DIGITALE APPUNTI DI ELETTRONICA DIGITALE Prerequisiti: Conoscere il sistema di numerazione binario Modulo 1 1. Concetti fondamentali L elettronica digitale tratta segnali di tipo binario, cioè segnali che possono

Dettagli

Foglio Elettronico Lezione 1

Foglio Elettronico Lezione 1 - Introduzione - Celle e riferimenti - Formule - Approfondimenti - Funzioni logiche Sommario Introduzione - Foglio elettronico o foglio di calcolo - Cos'è? Strumento per raccogliere dati organizzati in

Dettagli

Prof. Pagani Corrado ALGEBRA BOOLEANA

Prof. Pagani Corrado ALGEBRA BOOLEANA Prof. Pagani Corrado ALGEBRA BOOLEANA INTRODUZIONE L'algebra di Boole è definita da G. Boole, britannico, seconda metà 8 E un modello matematico che rappresenta le leggi della logica utilizzando variabili

Dettagli

Algebra di Boole. Modulo 2. Università di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica Laboratorio di Elettronica (EOLAB)

Algebra di Boole. Modulo 2. Università di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica Laboratorio di Elettronica (EOLAB) Algebra di Boole Modulo 2 Università di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica Laboratorio di Elettronica (EOLAB) Algebra di Boole L algebra di Boole o della commutazione è lo strumento

Dettagli

Fondamenti di Informatica. Algebra di Boole

Fondamenti di Informatica. Algebra di Boole Fondamenti di Informatica Prof. Marco Lombardi A.A. 2018/19 L 1/3 Un po di storia Il matematico inglese George Boole nel 1847 fondò un campo della matematica e della filosofia chiamato logica simbolica

Dettagli

LE EQUAZIONI LINEARI LE IDENTITA ( )( ) 5. a Cosa hanno in comune le seguenti uguaglianze? Uguaglianza (1) a

LE EQUAZIONI LINEARI LE IDENTITA ( )( ) 5. a Cosa hanno in comune le seguenti uguaglianze? Uguaglianza (1) a LE EQUAZIONI LINEARI 1 LE IDENTITA a b = ( a + b)( a b) () 1 a = a + a ( ) ( a + b) = a + ab + b () 3 Cosa hanno in comune le seguenti uguaglianze? Uguaglianza (1) a b = ( a+ b)( a b) È sempre vera qualunque

Dettagli

Calcolo proposizionale

Calcolo proposizionale Calcolo proposizionale Vero e falso: logica binaria Una proposizione è una affermazione (formula ben formata di un linguaggio), che può essere vera oppure falsa Es. Mia madre mi vuole bene Non esiste una

Dettagli

Corso di PHP. Prerequisiti. 2.2 Operatori. Conoscenza HTML Tecnica della programmazione Principi di programmazione web. M. Malatesta 2.

Corso di PHP. Prerequisiti. 2.2 Operatori. Conoscenza HTML Tecnica della programmazione Principi di programmazione web. M. Malatesta 2. Corso di PHP 2.2 Operatori 29//25 Prerequisiti Conoscenza HTML Tecnica della programmazione Principi di programmazione web 2 29//25 Introduzione In questa Unità illustriamo più in particolare come le variabili

Dettagli

Logica proposizionale

Logica proposizionale Fondamenti di Informatica per la Sicurezza a.a. 2008/09 Logica proposizionale Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università degli

Dettagli

17/10/16. Espressioni Booleane

17/10/16. Espressioni Booleane Espressioni Booleane Un espressione booleana è una sequenza composta da operatori booleani, parentesi, costanti e variabili booleane, induttivamente definita come segue: Espressioni ed operatori booleani

Dettagli

I circuiti elementari

I circuiti elementari I circuiti elementari Nel lavoro diprogrammazione con il computer si fa largo uso della logica delle proposizioni e delle regole dell algebra delle proposizioni o algebra di Boole. L algebra di Boole ha

Dettagli

Linguaggio Testuale. E un formalismo che consente di rappresentare gli algoritmi mediante semplici istruzioni in linguaggio «parlato»

Linguaggio Testuale. E un formalismo che consente di rappresentare gli algoritmi mediante semplici istruzioni in linguaggio «parlato» Linguaggio Testuale E un formalismo che consente di rappresentare gli algoritmi mediante semplici istruzioni in linguaggio «parlato» Delle volte viene chiamato metalinguaggio, e l algoritmo scritto tramite

Dettagli

Insegnamento Informatica CdS Scienze Giuridiche

Insegnamento Informatica CdS Scienze Giuridiche Insegnamento Informatica CdS Scienze Giuridiche A.A. 29/ Prof. Valle D.ssa Folgieri Informazioni preliminari Prof. Valle email valle@dsi.unimi.it SITO DEL CORSO: http://webcen.dsi.unimi.it/wcinfo Syllabus:

Dettagli

Cast implicito. Il cast è fatto automaticamente quando un tipo più basso viene assegnato ad un tipo più alto. byte short int long float double

Cast implicito. Il cast è fatto automaticamente quando un tipo più basso viene assegnato ad un tipo più alto. byte short int long float double Il cast Cast implicito Il cast è fatto automaticamente quando un tipo più basso viene assegnato ad un tipo più alto Per esempio: byte short int long float double int x = 10; float f; f = x; Il valore di

Dettagli

Richiami teorici ed esercizi di Logica

Richiami teorici ed esercizi di Logica Facoltà di ingegneria Università della Calabria Corsi di Potenziamento Matematica e Logica A. A. 2008-2009 Richiami teorici ed esercizi di Logica Proposizioni logiche: Ogni espressione matematica alla

Dettagli

Introduzione alla Matematica per le Scienze Sociali - parte II

Introduzione alla Matematica per le Scienze Sociali - parte II Introduzione alla Matematica per le Scienze Sociali - parte II Lucrezia Fanti Istituto Nazionale per l Analisi delle Politiche Pubbliche (INAPP) lucrezia.fanti@uniroma1.it Lucrezia Fanti Intro Matematica

Dettagli

Fondamenti di Informatica

Fondamenti di Informatica Fondamenti di Informatica Algebra di Boole di Boole e Circuiti e Circuiti Logici Logici Prof. XXX Prof. Arcangelo Castiglione A.A. 2016/17 A.A. 2016/17 L Algebra di Boole 1/3 Un po di storia Il matematico

Dettagli

Strutture di controllo condizionali in Matlab

Strutture di controllo condizionali in Matlab Strutture di controllo condizionali in Matlab Informatica B Le strutture condizionali A cosa servono le strutture condizionali? %Inserimento dei parametri della parabola: y=ax^2+bx+c a = input( inserire

Dettagli

Disequazioni in una incognita. La rappresentazione delle soluzioni

Disequazioni in una incognita. La rappresentazione delle soluzioni Disequazioni in una incognita Una disequazione in una incognita è una disuguaglianza tra due espressioni contenenti una variabile (detta incognita) verificata solo per particolari valori attribuirti alla

Dettagli

FUNZIONI BOOLEANE. Vero Falso

FUNZIONI BOOLEANE. Vero Falso FUNZIONI BOOLEANE Le funzioni booleane prendono il nome da Boole, un matematico che introdusse un formalismo che opera su variabili (dette variabili booleane o variabili logiche o asserzioni) che possono

Dettagli

Tipi di dato e variabili. Walter Didimo

Tipi di dato e variabili. Walter Didimo Tipi di dato e variabili Walter Didimo Tipi di dato I dati che possono essere manipolati in un programma si classificano in tipologie differenti, chiamate tipi di dato Esistono due macro tipi di dato in

Dettagli

Circuiti Logici. Pagina web del corso:

Circuiti Logici. Pagina web del corso: Circuiti Logici Pagina web del corso: http://www.math.unipd.it/~aceccato Macchina hardware e macchina software Agli albori il computer era essenzialmente una CPU collegata ad una piccola RAM Ogni istruzione

Dettagli

Informatica AA 2005/06. Programmazione M.A. Alberti. Operatori in Java 1. Operatori in Java. Espressioni aritmetiche. Espressioni booleane

Informatica AA 2005/06. Programmazione M.A. Alberti. Operatori in Java 1. Operatori in Java. Espressioni aritmetiche. Espressioni booleane Operatori in Java Operatori in Java Corso di laurea in Informatica Operatori aritmetici Operatori di uguaglianza e relazionali Operatori logici in espressioni booleane La precedenza degli operatori L associatività

Dettagli

Corso di Matematica per la Chimica. Dott.ssa Maria Carmela De Bonis a.a

Corso di Matematica per la Chimica. Dott.ssa Maria Carmela De Bonis a.a Dott.ssa Maria Carmela De Bonis a.a. 2013-14 Programmi Un elaboratore riceve dei dati in ingresso, li elabora secondo una sequenza predefinita di operazioni e infine restituisce il risultato sotto forma

Dettagli

Disuguaglianze. Disequazioni di primo grado

Disuguaglianze. Disequazioni di primo grado Disuguaglianze Una disuguaglianza è una proposizione in cui compare uno dei predicati: maggiore di, minore di, maggiore o uguale a, minore o uguale a. Sono disuguaglianze: 4

Dettagli

1 IL LINGUAGGIO MATEMATICO

1 IL LINGUAGGIO MATEMATICO 1 IL LINGUAGGIO MATEMATICO Il linguaggio matematico moderno è basato su due concetti fondamentali: la teoria degli insiemi e la logica delle proposizioni. La teoria degli insiemi ci assicura che gli oggetti

Dettagli

Introduzione alla logica matematica

Introduzione alla logica matematica Introduzione alla logica matematica, Paolo Bison, A.A. 2004-05, 2004-10-26 p.1/29 Introduzione alla logica matematica Silvana Badaloni Paolo Bison Fondamenti di Informatica 1 A.A. 2004/05 Università di

Dettagli

Elementi di Algebra e Logica Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali:

Elementi di Algebra e Logica Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali: Elementi di Algebra e Logica 2008. 8. Logica. 1. Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali: (a) p ( q r); (b) p (q r); (c) (p q) ( p r); (d) (p q) ( p r); (e) (p

Dettagli

BOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1

BOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1 BOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1 SOMMARIO DEL TOMO 1 CAPITOLO 1: IL LINGUAGGIO DEGLI INSIEMI 1.1 Gli insiemi e la loro rappresentazione pag. 1 1. I sottoinsiemi pag. 6 1.3 Insieme

Dettagli

VBA Principali Comandi

VBA Principali Comandi VBA Principali Comandi Sintassi Significato Esempio Dim As Dichiarazione Dim x As Integer di una variabile Dim , , ,.,

Dettagli

Università degli Studi di Milano

Università degli Studi di Milano Università degli Studi di Milano Corso di Laurea in Sicurezza dei Sistemi e delle Reti Informatiche Lezione 3 Input/Output elementare. Operatori, espressioni e istruzioni FABIO SCOTTI Laboratorio di programmazione

Dettagli

Gli insiemi, la logica

Gli insiemi, la logica Gli insiemi, la logica 1 Dato l insieme A = {x N : x < 5}, quale delle seguenti affermazioni è falsa: (a) 1 A (b) 5 / A (c) 2 A (d) A (e) {1, } A 2 Sono dati gli insiemi A = {, 5, 7, 9} e B = {5, 7} Quali

Dettagli

Codifica binaria: - valori logici e algebra di Boole -

Codifica binaria: - valori logici e algebra di Boole - Codifica binaria: - valori logici e algebra di Boole - Ingegneria Meccanica e dei Materiali Università degli Studi di Brescia Prof. Massimiliano Giacomin Tipologie di codici Per la rappresentazione di:

Dettagli

La codifica binaria. Informatica B. Daniele Loiacono

La codifica binaria. Informatica B. Daniele Loiacono La codifica binaria Informatica B Introduzione Il calcolatore usa internamente una codifica binaria ( e ) per rappresentare: i dati da elaborare le istruzioni dei programmi eseguibili Fondamenti di codifica

Dettagli

Lezione2: Circuiti Logici

Lezione2: Circuiti Logici Lezione2: Circuiti Logici traduce per noi in linguaggio macchina utente macchina software macchina hardware Agli albori dell'informatica, l utente programmava in binario (Ling.Mac.) scrivendo i programmi

Dettagli

Corso di Informatica

Corso di Informatica Corso di Informatica Modulo T2 2 I tipi di dato Prerequisiti Concetto di relazione e funzione Concetto di insieme numerico Operatori aritmetici Operatori relazionali 2 Introduzione Abbiamo visto che un

Dettagli

marina/did/mdis03/ marina/did/mdis03/ marina/did/mdis03/

marina/did/mdis03/   marina/did/mdis03/   marina/did/mdis03/ Matematica Discreta (elementi) E-O CdL Informatica Elementi di logica formale 8 ottobre 2003 Marina Cazzola (marina@matapp.unimib.it) Dipartimento di Matematica e Applicazioni Università di Milano Bicocca

Dettagli

Verifica per la classe prima COGNOME... NOME... Classe... Data...

Verifica per la classe prima COGNOME... NOME... Classe... Data... Capitolo Gli insiemi Insiemi Insiemi Sottoinsiemi Operazioni.a Rappresentare per tabulazione e tramite l uso dei diagrammi di Eulero-Venn i seguenti insiemi dati per caratteristica: A {n n H 0 ; n 7} B

Dettagli

Strutture di controllo decisionali

Strutture di controllo decisionali Capitolo 3 Strutture di controllo decisionali ANDREA GINI Dopo aver introdotto il concetto di variabile e di array, è giunto il momento di analizzare a fondo i restanti costrutti del linguaggio Java. Come

Dettagli

Fondamenti di Informatica

Fondamenti di Informatica Fondamenti di Informatica Introduzione alla Programmazione in MATLAB: Parte 2 (Operatori Logico/Relazionali e Strutture Selettive) Prof. Arcangelo Castiglione A.A. 2016/17 Introduzione alla programmazione

Dettagli

APPUNTI DI INFORMATICA

APPUNTI DI INFORMATICA APPUNTI DI INFORMATICA Per il biennio di liceo scientifico scienze applicate Sommario Il calcolo binario... 2 Numerazione Decimale... 2 Numerazione Binaria... 2 Conversione Binario -> Decimale... 2 Conversione

Dettagli

Laboratorio di Programmazione Laurea in Ingegneria Civile e Ambientale

Laboratorio di Programmazione Laurea in Ingegneria Civile e Ambientale Dipartimento di Ingegneria dell'informazione Università degli Studi di Parma Laboratorio di Programmazione Laurea in Ingegneria Civile e Ambientale Algebra di Boole Stefano Cagnoni Algebra di Boole L'algebra

Dettagli

Istruzioni di controllo

Istruzioni di controllo Istruzioni di controllo Le istruzioni in C Assegnazione Sequenza I/O Test Cicli Controllo = che cosa è la prossima cosa da fare La prossima cosa da fare è quella che segue La prossima cosa da fare dipende

Dettagli

Logica proposizionale

Logica proposizionale Logica proposizionale Proposizione: frase compiuta che è sempre o vera o falsa. Connettivi Posti in ordine di precedenza: not, and, or, implica, doppia implicazione Sintassi Le proposizioni sono costituite

Dettagli

Appunti OFA Paola Rubbioni

Appunti OFA Paola Rubbioni Appunti OFA Paola Rubbioni Corso di Laurea Triennale in Chimica a.a. 2018/2019 1 OFA CdL in Chimica - a.a. 2018/2019 2 1 Logica matematica Serve ad inquadrare in schemi rigorosi gli strumenti ed i metodi

Dettagli

Attraverso la minimizzazione, si è così tornati all espressione di partenza.

Attraverso la minimizzazione, si è così tornati all espressione di partenza. 1) Si scriva la tavola di verità della funzione. Per compilare una tavola di verità corretta, è sufficiente ricordare le regole di base dell'algebra di Boole (0 AND 0 = 0; 0 AND 1 = 0; 1 AND 1 = 1; 0 OR

Dettagli

Elementi di Informatica A. A. 2016/2017

Elementi di Informatica A. A. 2016/2017 Elementi di Informatica A. A. 2016/2017 Ing. Nicola Amatucci Università degli studi di Napoli Federico II Scuola Politecnica e Delle Scienze di Base nicola.amatucci@unina.it Algebra di Boole Elementi di

Dettagli

Minimizzazione di reti/funzioni logiche con le Mappe di Karnaugh. 12 ottobre 2015

Minimizzazione di reti/funzioni logiche con le Mappe di Karnaugh. 12 ottobre 2015 Minimizzazione di reti/funzioni logiche con le Mappe di Karnaugh ottobre 5 Punto della situazione Stiamo studiando le reti logiche costruite a partire dalle porte logiche AND, OR, NOT per progettare l

Dettagli

Unità Didattica 2 Linguaggio C. Espressioni, Operatori e Strutture linguistiche per il controllo del flusso

Unità Didattica 2 Linguaggio C. Espressioni, Operatori e Strutture linguistiche per il controllo del flusso Unità Didattica 2 Linguaggio C Espressioni, Operatori e Strutture linguistiche per il controllo del flusso 1 Espressioni e assegnazioni Le espressioni sono definite dalla grammatica: espressione = variabile

Dettagli

Proposizioni logiche e algebra di Boole

Proposizioni logiche e algebra di Boole Proposizioni logiche e algebra di Boole Docente: Ing. Edoardo Fusella Dipartimento di Ingegneria Elettrica e Tecnologie dell Informazione Via Claudio 21, 4 piano laboratorio SECLAB Università degli Studi

Dettagli