Elementi di Informatica A. A. 2016/2017
|
|
- Dionisia Villani
- 5 anni fa
- Visualizzazioni
Transcript
1 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
2 Algebra di Boole Elementi di Informatica A.A. 2016/2017 Ing. Nicola Amatucci
3 Da Dove Studiare? Dispensa del libro: «Algebra di Boole»
4 Logica delle Proposizioni Condizioni Anche dette «predicati» o «proposizioni» Affermazioni da verificare o controllare nel corso della risoluzione di un problema Condizioni atomiche Non scomponibili in condizioni più semplici Condizioni composte Composte da condizioni atomiche, collegate da operatori logici
5 Condizioni Atomiche Una qualsiasi affermazione che può essere vera (1) o falsa (0) Ad es. Roma è la capitale dell Italia (Vero) 25 è un numero pari (Falso) Possono essere costruite utilizzando gli operatori di confronto o di relazione Gli operatori di relazione più noti sono quelli che permettono di confrontare quantità numeriche: uguale ( simbolo = ) diverso ( simbolo ) maggiore ( simbolo > ) minore ( simbolo < ) maggiore o uguale ( simbolo ) minore o uguale ( simbolo )
6 Condizioni Composte Condizioni semplici, connesse da operatori logici AND, OR, NOT Ad es. (Ciccio ha meno di 30 anni) AND (Ciccio non è sposato) (Oggi è Venerdì) AND (c è il sole) (La casa ha meno di 20 anni) OR (è stata ristrutturata da meno di 5 anni) (Oggi non è Domenica) AND (devo lavorare) Ciascuna condizione semplice può essere vera o falsa, e allo stesso modo la condizione composta può avere valore vero o falso La funzione logica che ha come ingresso il valore delle condizioni semplici componenti e come uscita il valore della proposizione composta risultante può essere rappresentata con una tabella di verità
7 Tabelle di Verità Possono essere usate per definire una qualunque funzione logica Funzione che ha valori logici come argomento e come risultato Prevedono un numero di colonne pari al numero di operandi (condizioni semplici) più una corrispondente al risultato e un numero di righe pari a tutte le possibili combinazioni dei valori di verità assunti dagli n argomenti della funzione 2 alla n righe
8 Operatori Logici Sulle proposizioni logiche è possibile effettuare delle operazioni tramite gli operatori logici: NOT - la NEGAZIONE ( ), operatore unario OR - la DISGIUNZIONE (v) o SOMMA LOGICA, operatore binario AND - la CONGIUNZIONE (^) o PRODOTTO LOGICO, operatore binario ^ F V F F F V F V v F V F F V V V V F V V F
9 Esempio (1) Il sabato sera lavoro solo se devo lavorare AND ho riposato OR ho bevuto il caffè A = devo lavorare B = ho riposato C = ho bevuto il caffè A AND (B OR C)
10 Esempio (2) Devi essere iscritto OR al terzo anno OR al secondo anno AND aver sostenuto almeno 12 esami di cui 7 del primo per iscriverti al terzo anno 3 OR (2 AND (ESAMI 12 AND ESAMI 1 12)) C1 = (ESAMI 12 AND ESAMI 1 12) C2 = (2 AND C1) C3 = 3 OR C2 Abbiamo 4 condizioni semplici La tabella di verità avrà 2 n combinazioni possibili di valori vero e falso
11 3 2 Esami 12 Esami 1 7 C1 C2 C3 F F F F F F F F F F V F F F F F V F F F F F F V V V F F F V F F F F F F V F V F F F F V V F F F F F V V V V V V V F F F F F V V F F V F F V V F V F F F V V F V V V F V V V F F F F V V V F V F F V V V V F F F V V V V V V V V
12 Proprietà degli Operatori COMMUTATIVA A AND B = B AND A A OR B = B OR A ASSOCIATIVA (A AND B) AND C = A AND (B AND C) Ci consente di scrivere tutto senza parentesi Si dimostra costruendo le tabella di verità
13 Proprietà Associativa (Dimostrazione) A B C (A AND B) AND C F F F F F F F V F F F V F F F F V V F F V F F F F V F V F F V V F V F V V V V V A B C (B AND C) AND A F F F F F F F V F F F V F F F F V V V F V F F F F V F V F F V V F F F V V V V V Poiché l ultima colonna è uguale, le due condizioni sono uguali!
14 Proprietà degli Operatori PRECEDENZA A OR B AND C equivale A OR (B AND C) AND precede OR NOT precede AND Esempi A OR B AND C = A OR (B AND C) A OR NOT B = A OR (NOT B) A OR NOT B AND C = A OR ((NOT B) AND C) NOT A AND B OR C OR A = (((NOT A) AND B) OR C) OR A IDEMPOTENZA A AND A = A A OR A = A
15 Proprietà degli Operatori DISTRIBUTIVA AND rispetto ad OR A AND (B OR C) = (A AND B) OR (A AND C) OR rispetto ad AND A OR (B AND C) = (A OR B) AND (A OR C) DEL MASSIMO E DEL MINIMO A AND F = F A OR V = V A AND V = A (V è l elemento neutro per AND) A OR F = A (F è l elemento neutro per OR)
16 Esempio Verificare l equivalenza dei predicati composti: A OR NOT B NOT (NOT A AND B) Procedimento Costruiamo le tabelle di verità delle due espressioni valore di verità dell espressione composta in corrispondenza di ogni possibile combinazione di valori di verità delle condizioni atomiche componenti (A e B) Le due condizioni sono equivalenti se le due tabelle di verità sono uguali
17 Esempio
18 Esercizi Si riscriva la seguente espressione indicando tutte le precedenze NOT A OR NOT B AND NOT C AND B AND NOT A OR B Si scriva utilizzando operatori appartiene all insieme: di relazione la condizione per cui x [-5, 3] U [8, 15] Esprimere la condizione opposta alla precedente Se a, b e c sono i lati di un triangolo, esprimere la condizione per cui il triangolo ha due lati uguali e diversi dal terzo
19 La logica delle Proposizioni e l algebra di Boole George Boole ( ) studiò un mezzo matematico per descrivere in forma algebrica la logica delle proposizioni e definì la cosiddetta algebra di Boole Oggi quest algebra ha numerose applicazioni nelle scienze fisiche, in particolare nel campo dei calcolatori e dell elettronica Nel 1938, Claude Shannon ha introdotto l algebra di commutazione (o dei circuiti) in cui le porte logiche vengono usate al posto degli operatori logici e i valori logici vero/falso sono sostituiti da segnali elettrici alto/basso in ingresso o uscita da circuiti elettrici
20 Cos è un algebra? Nel linguaggio comune il termine algebra indica un capitolo della matematica elementare Più formalmente, si dice che un insieme K è un algebra, se in esso sono definite due leggi binarie di composizione interna, ossia due funzioni che facciano corrispondere ad una qualsiasi coppia di elementi di K ancora un elemento di K Indicando con + (OR) e (AND) le due leggi binarie, un algebra è la tripla <K, +, >
21 Definizione dell Algebra di Boole L algebra di Boole è un particolare tipo di algebra dotato di specifiche proprietà Può essere definita in base ad altre strutture algebriche (non c è un modo solo per definire l algebra di Boole) si può definire attraverso i «reticoli» o attraverso «gruppi» e «anelli» Noi vedremo la definizione che sfrutta il concetto di reticolo
22 Definizione dell Algebra di Boole (Reticoli) Un'algebra <K,+, > si dice reticolo se per ogni elemento di K valgono le seguenti proprietà Commutativa a + b = b + a a b = b a Associativa (a + b) + c = a + (b + c) = a + b + c (a b) c = a (b c) = a b c Idempotenza a + a = a a a = a Assorbimento a + (a b) = a a (a + b) = a
23 Proprietà dei reticoli In maniera equivalente, un reticolo può essere definito come un insieme parzialmente ordinato, che possiede cioè una relazione d ordine x y Ricordiamo che una relazione d ordine deve godere delle seguenti proprietà riflessiva: x x antisimmetrica: x y e y x => x = y transitiva: x y e y z => x z Data il nostro reticolo <K,+, >, la relazione d ordine è espressa dalle seguente relazione binaria: x + y = y o equivalentemente x y = x
24 Reticoli distributivi Un reticolo si dice distributivo se per ogni elemento di K vale la proprietà distributiva a (b + c) = a b + a c a + (b c) =(a + b) (a + c) Si noti che la proprietà è assegnata sia per la somma rispetto al prodotto che per il prodotto rispetto alla somma
25 Minimo e Massimo Un reticolo distributivo si dice dotato di minimo e massimo assoluti se in K sono presenti due elementi (che diremo 0 e 1 rispettivamente) i quali verificano la proprietà del minimo e massimo a 0 = 0 a + 1 = 1 Gli elementi 0 e 1 si dicono minimo e massimo in quanto si ha: a 1 e 0 a per ogni elemento di K
26 Complemento Un reticolo distributivo si dice complementato se per ogni elemento a di K esiste ed è unico un elemento che diremo complemento di a (!a o ā) per il quale è valida la proprietà del complemento a!a = 0 a +!a = 1 L operazione unaria che genera il complemento si dice complementazione e si indica con (NOT)
27 Algebra di Boole Un reticolo Distributivo dotato di minimo e massimo complementato si dice Algebra di Boole Un algebra di Boole è dunque una sestupla: <K,+,,-,0,1>
28 Ricapitolando Commutativa P1 a+b = b+a P 1 a b = b a Associativa P2 (a+b)+c = a+(b+c) P 2 (a b) c = a (b c) Idempotenza P3 a+a = a P 3 a a = a Assorbimento P4 a+a b = a P 4 a (a+b) = a Distributiva P5 a (b+c) = a b+a c P 5 a+b c = (a+b) (a+c) Min e max P6 a 0 = 0 P 6 a+1 = 1 Complemento P7 a ā = 0 P 7 a+ā = 1
29 Alcuni «teoremi» Complementi di 0 e 1 0 ed 1 sono l uno il complemento dell altro Convoluzione Negando due volte un elemento si ottiene l elemento stesso:!(!a) = a Assorbimento del complemento a +!a b = a + b Elementi neutri 0 è l elemento neutro della somma a + 0 = a 1 è l elemento neutro del prodotto a 1 = a
30 Legge di dualità Si può dimostrare che da qualsiasi identità booleana se ne può trarre un'altra equivalente per dualità, sostituendo cioè ad ogni operatore e agli elementi 0 ed 1 il rispettivo duale il duale di + è, il duale di 0 è 1 il duale di a è in generale!a (a negato, NOT a).
31 Teoremi di De Morgan p q p q NOT (A AND B) = (NOT A) OR (NOT B) pq p q NOT (A OR B) = (NOT A) OR (NOT B) Si può dimostrare con le tabelle di verità
32 Algebre di Boole La definizione di Algebra di Boole come reticolo non specifica quale sia K e come siano definite le operazioni +,, - Specifica soltanto un insieme di proprietà che devono essere soddisfatte da tali operazioni Sono così possibili diversi modelli di algebra di Boole l algebra degli insiemi l algebra della logica delle proposizioni l algebra dei circuiti, in cui K assume solo i due valori 0 e 1
33 Algebra della logica delle proposizioni L insieme K={F,V} su cui siano definite le operazioni Congiunzione(^) Disgiunzione (v) Negazione ( ) è un algebra di Boole con F = 0, V = 1, congiunzione =, disgiunzione = +, negazione = x y x ^ y F F F F V F V F F x y x v y F F F F V V V F V x F V x V F V V V V V V
34 Algebra di commutazione L algebra di commutazione, anche detta algebra di Boole a due valori o algebra dei circuiti, è caratterizzata da un supporto K con soli due valori 0 e 1 <{0,1}, +,,!, 0,1> Le operazioni + (OR), (AND),! (NOT), sono definite dalle tabelle di verità degli operatori logici
35 Circuiti logici I circuiti logici sono circuiti elettronici nei quali una grandezza elettrica ai morsetti di ingresso e di uscita può assumere solo due valori, convenzionalmente rappresentati con i due elementi dell algebra di Boole 0 ed 1 In elettronica digitale si studia come realizzare circuiti elettronici per i quali il legame tra ingressi ed uscite corrisponde a quello delle operazioni fondamentali AND, OR e NOT dell algebra di Boole PORTE LOGICHE
36 Algebra dei circuiti Associa i simboli 0 e 1 ai livelli logici basso e alto Un circuito è descritto dalla funzione y = ƒ(x 1, x 2,..., x n ) Dove y = bit di uscita x 1, x 2,..., x n = bit di ingresso
37 Algebra dei circuiti porte logiche o gate Circuiti elettronici che realizzano le operazioni fondamentali x y z z = x AND y x y x AND y x y z z = x OR y x y x OR y x y y = NOT x x NOT x
38 Esercizi Scrivere la tabella di verità corrispondente alla seguente funzione logica di 3 variabili ((not A) and B) OR ((A and B) and C) Scrivere la tabella di verità di una funzione logica a 3 variabili che dia risultato vero solo se almeno due dei suoi argomenti sono uguali a vero Usando operatori logici e operatori di relazione si scriva la condizione che esprime che il valore della variabile x appartiene all insieme [-5,3] U [8,15] Data la condizione «stasera esco se ho finito i compiti o se domani non vado a scuola» scriverne la formulazione in termini di proposizioni logiche e trovarne la formulazione duale
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
DettagliCorso di Elementi di Informatica Anno accademico 2015/16
Corso di Laurea triennale in Ingegneria Navale in condivisione con Corso di Laurea triennale in Ingegneria Chimica (matr. P-Z) Corso di Elementi di Informatica Anno accademico 2015/16 Docente: Ing. Alessandra
DettagliAlgebra di Boole. Da Boole a Shannon
Corso di Calcolatori Elettronici I A.A. 2012-2013 Algebra di Boole Prof. Roberto Canonico Università degli Studi di Napoli Federico II Dipartimento di Ingegneria Elettrica e delle Tecnologie dell Inforazione
DettagliCorso di Calcolatori Elettronici I A.A Algebra di Boole Lezione 4
Corso di Calcolatori Elettronici I A.A. 2010-2011 Algebra di Boole Lezione 4 Università degli Studi di Napoli Federico II Facoltà di Ingegneria Segnali in circuiti elettronici digitali da: G. Bucci. Calcolatori
DettagliReti logiche: introduzione
Corso di Calcolatori Elettronici I Reti logiche: introduzione ing. Alessandro Cilardo Corso di Laurea in Ingegneria Biomedica Circuiti e porte logiche Esempio di rete di commutazione: Circuiti e porte
DettagliPrecedenza degli operatori
Operatori Booleani Operatori che lavorano bit a bit Anche detti bitwise operator o operatori booleani : AND: prodotto logico dati due bit restituisce il valore 1 se e solo se i bit erano entrambi posti
DettagliElementi di Informatica
Corso di Laurea triennale in Ingegneria Chimica in condivisione con Corso di Laurea triennale in Ingegneria Navale e Scienze dei Materiali Elementi di Informatica A.A. 2016/17 prof. Mario Barbareschi Cenni
DettagliOperatori di relazione
Condizioni Negli algoritmi compaiono passi decisionali che contengono una proposizione (o predicato) dal cui valore di verità dipende la sequenza dinamica Chiamiamo condizioni tali proposizioni Nei casi
DettagliCorso di Calcolatori Elettronici I
Corso di Calcolatori Elettronici I Algebra di Boole: definizione e proprietà Roberto Canonico Università degli Studi di Napoli Federico II A.A. 2016-2017 Roberto Canonico Corso di Calcolatori Elettronici
DettagliCircuiti digitali combinatori
Circuiti digitali combinatori Parte 1 Definizioni George Boole George Boole (Lincoln, 2 novembre 1815 Ballintemple, 8 dicembre 1864) Matematico e logico britannico Considerato il fondatore della logica
DettagliA 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
DettagliALGEBRA DI BOOLE. In caso di errori di battitura o se si volesse contribuire a migliorare la seguente guida contattare:
ALGEBRA DI BOOLE Indice Introduzione... 2 PRORIETA E TEOREMI DELL ALGEBRA DI BOOLE... 3 FUNZIONI LOGICHE PRIMARIE... 4 Funzione logica AND... 4 Funzione logica OR... 4 Funzione logica NOT... 5 FUNZIONI
DettagliLogica booleana. Bogdan Maris ( )
Logica booleana 1 Algebra di Boole Opera con i soli valori di verità 0 o 1 (variabili booleane o logiche) La struttura algebrica studiata dall'algebra booleana è finalizzata all'elaborazione di espressioni
DettagliIntroduzione 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
DettagliFondamenti 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
DettagliPORTE LOGICHE. Si effettua su due o più variabili, l uscita assume lo stato logico 1 se almeno una variabile di ingresso è allo stato logico 1.
PORTE LOGICHE Premessa Le principali parti elettroniche dei computer sono costituite da circuiti digitali che, come è noto, elaborano segnali logici basati sullo 0 e sull 1. I mattoni fondamentali dei
DettagliUniversità degli Studi di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica ALGEBRA BOOLEANA
Università degli Studi di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica ALGEBRA BOOLEANA Introduzione George Boole (1815-1864) nel 1854 elaborò una algebra basata su predicati logici. Valori
DettagliAlgebra di commutazione
Algebra di commutazione Algebra Booleana - Introduzione Per descrivere i dispositivi digitali è necessario avere Un modello che permetta di rappresentare insiemi di numeri binari; Le funzioni che li mettano
DettagliFondamenti 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
DettagliFondamenti 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
DettagliLe 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
DettagliAlgebra 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
DettagliAlgebra di Boole ed elementi di logica
Algebra di Boole ed elementi di logica Marco D. Santambrogio marco.santambrogio@polimi.it Ver. aggiornata al 10 O0obre 2013 Obiettivi Algebra di Boole Algebra di boole a due valori: algebra di commutazione
DettagliRichiami di Algebra di Commutazione
LABORATORIO DI ARCHITETTURA DEI CALCOLATORI lezione n Prof. Rosario Cerbone rosario.cerbone@libero.it http://digilander.libero.it/rosario.cerbone a.a. 6-7 Richiami di Algebra di Commutazione In questa
DettagliAlgebra di Boole Cenni all Algebra di Boole. Algebra Booleana: definizione
Algebra Booleana: operazioni e sistema algebrico Algebra di Boole Cenni all Algebra di Boole Introduzione Rappresentazione di una funzione combinatoria Proprietà dell algebra di commutazione Forme canoniche
DettagliY = A + B e si legge A or B.
PORTE LOGICHE Le principali parti elettroniche dei computer sono costituite da circuiti digitali che, come è noto, elaborano segnali logici basati sullo 0 e sull 1. I mattoni fondamentali dei circuiti
DettagliAlgebra di Boole. Introdotta nel 1874 da George Boole per fornire una rappresentazione algebrica della logica
Algebra di Boole Algebra di Boole Per poter affrontare in modo sistematico lo studio dei sistemi di calcolo, abbiamo inizialmente bisogno di un apparato teorico-formale mediante il quale lavorare sulle
DettagliAlgebra 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
DettagliDispensa su. Funzioni Booleane. Jianyi Lin Università degli Studi di Milano
Dispensa su Funzioni Booleane Jianyi Lin Università degli Studi di Milano jianyi.lin@unimi.it 18 novembre 2011 1 Operazioni booleane In questa sezione introduciamo il concetto di funzione booleana e accenniamo
DettagliElementi di informatica
Elementi di informatica Algebra di Boole Algebra di Boole I circuiti logici sono componenti hardware che manipolano informazione binaria. I circuiti di base sono detti PORTE LOGICHE (logical gate). Allo
DettagliAlgebra di Boole Cenni all Algebra di Boole
Algebra di Boole Cenni all Algebra di Boole Introduzione Rappresentazione di una funzione combinatoria Proprietà dell algebra di commutazione Forme canoniche Teorema di espansione di Shannon Versione del
DettagliAlgebra di Boole Cenni all Algebra di Boole
Algebra di Boole Cenni all Algebra di Boole Introduzione Rappresentazione di una funzione combinatoria Proprietà dell algebra di commutazione Forme canoniche Teorema di espansione di Shannon Versione del
DettagliAlgebra di Boole. Cenni all Algebra di Boole
Algebra di Boole Cenni all Algebra di Boole Introduzione Rappresentazione di una funzione combinatoria Proprietà dell algebra di commutazione Forme canoniche Teorema di espansione di Shannon Algebra Booleana:
DettagliProf. 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
DettagliFondamenti di Informatica B
Fondamenti di Informatica B Lezione n.2 Alberto Broggi Gianni Conte A.A. 25-26 Fondamenti di Informatica B Algebra booleana Circuiti logici Elementi primitivi Esercizi con elementi logici Lezione n.2n
DettagliFunzioni booleane. Vitoantonio Bevilacqua.
Funzioni booleane Vitoantonio Bevilacqua bevilacqua@poliba.it Sommario. Il presente paragrafo si riferisce alle lezioni del corso di Fondamenti di Informatica e Laboratorio di Informatica dei giorni 9
DettagliFunzioni, espressioni e schemi logici
Funzioni, espressioni e schemi logici Il modello strutturale delle reti logiche Configurazioni di n bit che codificano i simboli di un insieme I i i n F: I S U u u m Configurazioni di m bit che codificano
DettagliCondizioni, operatori di relazione e operatori logici (bozze, v. 1.0)
Capitolo 2 Condizioni, operatori di relazione e operatori logici (bozze, v. 1.0) Nel capitolo 1 abbiamo osservato come negli algoritmi siano presenti passi decisionali e come tali passi contengano affermazioni
DettagliInformazione binaria: - rappresentazione di valori logici -
Informazione binaria: - rappresentazione di valori logici - Percorso di Preparazione agli Studi di Ingegneria Università degli Studi di Brescia Docente: Massimiliano Giacomin Tipologie di codici Nel seguito
DettagliProposizioni 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ò
DettagliAlgebra di Boole. Tavole di verità. Fondamenti di Informatica Algebra di Boole. Si basa su tre operazioni logiche: AND (*) OR (+) NOT (!
Fondamenti di Informatica Algebra di Boole Prof.ssa Enrica Gentile Informatica e Comunicazione Digitale a.a. 2-22 Algebra di Boole Si basa su tre operazioni logiche: AND (*) OR () NOT (!) Gli operandi
DettagliAlgebra di Boole X Y Z V. Algebra di Boole
L algebra dei calcolatori L algebra booleana è un particolare tipo di algebra in cui le variabili e le funzioni possono solo avere valori 0 e 1. Deriva il suo nome dal matematico inglese George Boole che
DettagliCalcolo 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
DettagliCorso di studi in Ingegneria Elettronica A.A. 2006/2007. Calcolatori Elettronici. Esercitazione n 2
Corso di studi in Ingegneria Elettronica A.A. 26/27 Calcolatori Elettronici Esercitazione n 2 Codici a correzione di errore Recupero degli errori hardware tramite codifiche ridondanti Codifiche con n =
DettagliIntroduzione ed elementi dell'algebra di Boole
Introduzione ed elementi dell'algebra di Boole CORSO DI CALCOLATORI ELETTRONICI I CdL Ingegneria Biomedica (A-I) Università degli Studi di Napoli Federico II Il Calcolatore Elettronico è un sistema:»
DettagliFondamenti dell Informatica Algebra di Boole. Prof.ssa Enrica Gentile
Fondamenti dell Informatica Algebra di Boole Prof.ssa Enrica Gentile Algebra di Boole Si basa su tre operazioni logiche: AND (*) OR (+) NOT (!) Gli operandi possono avere solo due valori: Vero () Falso
DettagliCircuiti e reti combinatorie. Appendice A (libro italiano) + dispense
Circuiti e reti combinatorie Appendice A (libro italiano) + dispense Linguaggio del calcolatore Solo assenza o presenza di tensione: o Tante componenti interconnesse che si basano su e Anche per esprimere
DettagliCircuiti digitali. Operazioni Logiche: Algebra di Boole. Esempio di circuito. Porte Logiche. Fondamenti di Informatica A Ingegneria Gestionale
Operazioni Logiche: lgebra di oole Fondamenti di Informatica Ingegneria Gestionale Università degli Studi di rescia Docente: Prof. lfonso Gerevini Circuiti digitali Il calcolatore può essere visto come
DettagliESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A
TEORI DEGLI INSIEMI GENERLIT Un insieme è un ente costituito da oggetti. Il concetto di insieme e di oggetto si assumono come primitivi. Se un oggetto a fa parte di un insieme si dice che esso è un suo
DettagliLuca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1
Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Esercizio 1.12 Per dimostrare che per ogni funzione esiste una formula in cui compaiono le variabili tale che la corrispondente
DettagliAlgebra di Boole ed elementi di logica
Algebra di Boole ed elementi di logica Marco D. Santambrogio marco.santambrogio@polimi.it Ver. aggiornata al O/obre 26 Provate voi 2 Provate voi Come faccio il #? 3 Provate voi Come faccio il #? Come faccio
Dettagli17/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
DettagliReti Logiche Combinatorie
Testo di riferimento: [Congiu] - 2.4 (pagg. 37 57) Reti Logiche Combinatorie 00.b Analisi Minimizzazione booleana Sintesi Rete logica combinatoria: definizione 2 Una rete logica combinatoria èuna rete
DettagliAlgebra di Commutazione
Algebra di Commutazione Maurizio Palesi Maurizio Palesi 1 Algebra Booleana - Introduzione Per descrivere i dispositivi digitali è necessario avere: Un modello che permette di rappresentare insiemi di numeri
DettagliGeorge 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
DettagliEsercitazioni di Reti Logiche. Algebra Booleana e Porte Logiche
Esercitazioni di Reti Logiche Algebra Booleana e Porte Logiche Zeynep KIZILTAN Dipartimento di Scienze dell Informazione Universita degli Studi di Bologna Anno Academico 2007/2008 Notizie Il primo parziale
DettagliAlgebra Booleana. 13. Rif:
Algebra Booleana Fondatore: George Boole (1815-1864) Boole rilevo le analogie fra oggetti dell'algebra e oggetti della logica l algebra Booleana è il fondamento dei calcoli con circuiti digitali. Rif:
DettagliArchitettura degli Elaboratori e Laboratorio. Matteo Manzali Università degli Studi di Ferrara Anno Accademico
Architettura degli Elaboratori e Laboratorio Matteo Manzali Università degli Studi di Ferrara Anno Accademico 2016-2017 Algebra booleana L algebra booleana è un particolare tipo di algebra in cui le variabili
DettagliLogica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati;
Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,
DettagliFUNZIONI 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
DettagliCODIFICA DELLE INFORMAZIONI MODULO 5
CODIFICA DELLE INFORMAZIONI MODULO 5 INFORMAZIONI: tipi Le informazioni sono concetti astratti che esistono indipendentemente dalla loro rappresentazione Tutto ciò che ci circonda è informazione Qualche
DettagliArchitettura degli Elaboratori 4 - Reti Combinatorie e Algebra di Boole
Architettura degli Elaboratori 4 - Reti Combinatorie e Algebra di Boole Zeynep KIZILTAN Dipartimento di Scienze dell Informazione Università degli Studi di Bologna Anno Accademico 2008/2009 Sommario Porte
DettagliArchitettura degli elaboratori Ricapitolando (ciascuna freccia rappresenta un procedimento, che vedremo)
Ricapitolando 1:1 A + /A /B :1 :1 0 1 0 1 0 1 1 1 1 Tabella verità Espressione booleana Architettura degli elaboratori - 30 - Ricapitolando (ciascuna freccia rappresenta un procedimento, che vedremo) Analisi
DettagliALGEBRA BOOLEANA. Proprietà dell'algebra booleana: P. COMMUTATIVA
Proprietà dell'algebra booleana: P. COMMUTATIVA Il prodotto (il prodotto logico fra N variabili booleane è uguale a se e solo se TUTTE le variabili che lo compongono hanno il valore ) e la somma logica
DettagliCIRCUITI DIGITALI. La grandezza fisica utilizzata nella maggior parte dei circuiti digitali è la differenza di potenziale (tensione).
CIRCUITI DIGITALI Un circuito elettronico viene classificato come circuito digitale quando è possibile definire il suo comportamento per mezzo di due soli stati fisici di una sua grandezza caratteristica.
DettagliFondamenti di Informatica B. Fondamenti di Informatica B. Fondamenti di Informatica B. Fondamenti di Informatica B.
Fondamenti di Informatica Lezione n. n. lgebra booleana Circuiti logici Elementi primitivi Esercizi con elementi logici Fondamenti di Informatica Lezione n. In questa lezione vengono ripresi i concetti
DettagliSperimentazioni di Fisica I mod. A Lezione 4
Sperimentazioni di Fisica I mod. A Lezione 4 Alberto Garfagnini Marco Mazzocco Dipartimento di Fisica G. Galilei, Università di Padova 14-15 ottobre 2013 Algebra Booleana Lezione IV: Algebra Booleana 1.
DettagliAlgebra di Boole Algebra di Boole
1 L algebra dei calcolatori L algebra booleana è un particolare tipo di algebra in cui le variabili e le funzioni possono solo avere valori 0 e 1. Deriva il suo nome dal matematico inglese George Boole
DettagliCenni 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
DettagliOperatori logici e algebra di boole
Operatori logici e algebra di boole Le principali parti elettroniche dei computer sono costituite da circuiti digitali che, come è noto, elaborano segnali logici basati sullo 0 e sull 1. I mattoni fondamentali
DettagliTeoria degli Insiemi
Teoria degli Insiemi Docente: Francesca Benanti Ottobre 2017 1 Teoria degli Insiemi La Teoria degli Insiemi è una branca della matematica creata alla fine del diciannovesimo secolo principalmente dal matematico
DettagliTeoria degli Insiemi
Teoria degli Insiemi Docente: Francesca Benanti Ottobre 2015 1 Teoria degli Insiemi La Teoria degli Insiemi è una branca della matematica creata alla fine del diciannovesimo secolo principalmente dal matematico
DettagliCodifica 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:
DettagliCODIFICA DELLE INFORMAZIONI MODULO 5
CODIFICA DELLE INFORMAZIONI MODULO 5 INFORMAZIONI: tipi Le informazioni sono concetti astratti che esistono indipendentemente dalla loro rappresentazione Tutto ciò che ci circonda è informazione Qualche
DettagliCenni 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
DettagliLa codifica dell informazione
La codifica dell informazione Codifica dati e istruzioni Algoritmi = istruzioni che operano su dati. Per scrivere un programma è necessario rappresentare istruzioni e dati in un formato tale che l esecutore
DettagliCenni 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
DettagliI circuiti digitali: dalle funzioni logiche ai circuiti
Architettura dei calcolatori e delle Reti Lezione 4 I circuiti digitali: dalle funzioni logiche ai circuiti Proff. A. Borghese, F. Pedersini Dipartimento di Scienze dell Informazione Università degli Studi
DettagliParte IV Indice. Algebra booleana. Esercizi
Parte IV Indice Algebra booleana operatori logici espressioni logiche teoremi fondamentali tabelle di verità forme canoniche circuiti logici mappe di Karnaugh Esercii IV. Algebra booleana L algebra booleana
DettagliElementi 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
DettagliMarta Capiluppi Dipartimento di Informatica Università di Verona
Marta Capiluppi marta.capiluppi@univr.it Dipartimento di Informatica Università di Verona Algebra di Boole Opera con i soli valori di verità 0 o 1 (variabili booleane o logiche) L'algebra booleana risulta
DettagliCalcolatori Elettronici Lezione 2 Algebra delle reti Logiche
Calcolatori Elettronici Lezione 2 Algebra delle reti Logiche Ing. Gestionale e delle Telecomunicazioni A.A. 27/8 Gabriele Cecchetti Algebra delle reti logiche Sommario: Segnali digitali vs. segnali analogici
DettagliAttraverso 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
Dettaglianno scolastico 2009 / 2010 ELETTRONICA per Elettrotecnica ed Automazione
CIRCUITI COMBINATORI Un circuito combinatorio (o rete combinatoria) è un insieme interconnesso di porte logiche il cui output, istante per istante dipende unicamente dallo stato che gli ingressi della
DettagliFONDAMENTI DI INFORMATICA Lezione n. 2
FONDMENTI DI INFORMTIC Lezione n. 2 LGEBR BOOLEN CIRCUITI LOGICI ELEMENTI PRIMITIVI QULCHE ESERCIZIO CON ELEMENTI LOGICI In questa lezione sono ripresi i concetti principali di base dell algebra booleana
DettagliMatematica per le scienze sociali Elementi di base. Francesco Lagona
Matematica per le scienze sociali Elementi di base Francesco Lagona University of Roma Tre F. Lagona (francesco.lagona@uniroma3.it) 1 / 24 Outline 1 Struttura del corso 2 Algebra booleana 3 Algebra degli
Dettagli4. Logica. Insegnamento di Informatica. Elisabetta Ronchieri. I semestre, anno Corso di Laurea di Economia, Universitá di Ferrara
4. Logica Insegnamento di Informatica Elisabetta Ronchieri Corso di Laurea di Economia, Universitá di Ferrara I semestre, anno 2014-2015 Elisabetta Ronchieri (Universitá) Insegnamento di Informatica I
DettagliI.3 Porte Logiche. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica
I.3 Università di Ferrara Dipartimento di Economia e Management Insegnamento di Informatica Ottobre 13, 2015 Argomenti 1 2 3 Elaboratore Hardware È il mezzo con il quale l informazione è elaborata. Software
DettagliELEMENTI 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
DettagliI.2 Logica. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica
I.2 Logica Università di Ferrara Dipartimento di Economia e Management Insegnamento di Informatica Ottobre 13, 2015 Argomenti Logica 1 Logica 2 3 Logica Si occupa dello studio delle strutture e delle regole
DettagliIntroduzione 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
DettagliProgramma 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
DettagliAlgebra di commutazione
Algebra di commutazione Calcolatori Elettronici 1 Algebra booleana: introduzione Per descrivere i dispositivi digitali è necessario avere: Un modello che permette di rappresentare insiemi di numeri binari
DettagliMETODI 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