INFORMATICA MATTEO CRISTANI. INDICE CICLO DELLE LEZIONI LEZ. 1 INTRODUZIONE AL CORSO LEZ. 2 I CALCOLATORI ELETTRONICI LEZ. 3 ELEMENTI DI TEORIA DELL INFORMAZIONE.

Slides:



Advertisements
Presentazioni simili
Scienza del ragionamento corretto Elaborato da Manuela Mangione
Advertisements

Indice Connettivi logici Condizione sufficiente Condizione necessaria
ALGEBRA DI BOOLE   L’algebra di Boole è un sistema algebrico sviluppato a metà dell’‘800 dal matematico e logico inglese George Boole, per formalizzare.
“ LAUREE SCIENTIFICHE ”
LOGICA.
Algebra Booleana Generalità
Algebra di Boole Casazza Andrea 3EA I.I.S. Maserati.
Elaborazione dei segnali mediante circuiti analogici o digitali.
Informatica Generale Marzia Buscemi IMT Lucca
I Circuiti Elettrici.
Appunti di Logica Binaria
Cos’è la LOGICA?.
(sommario delle lezioni in fondo alla pagina)
Esercitazioni su circuiti combinatori
Intelligenza Artificiale 1 Gestione della conoscenza lezione 8
Sistemi basati su conoscenza Conoscenza e ragionamento Prof. M.T. PAZIENZA a.a
Reti Logiche A Lezione n.1.4 Introduzione alle porte logiche
Sintesi con circuiti LSI-MSI
Algebra di Boole ed elementi di logica
ESEMPI DI ARCHITETTURE DI DAC
Informatica 3 Codifica binaria.
Corso di Informatica (Programmazione)
IFTS2002 Acq. Dati Remoti: INFORMATICA
Reti Combinatorie: sintesi
Sintesi con circuiti LSI-MSI. Realizzazione di reti combinatorie mediante Multiplexers Un multiplexer (MPX ) é una rete combinatoria con N ingressi, una.
Programmazione Corso di laurea in Informatica
L'algebra di Boole e le sue applicazioni
Indice: L’algebra di Boole Applicazione dell’algebra di Boole
PRESENTAZIONE DEGLI ARGOMENTI: SIMBOLI GRAFICI E RELATIVE OPERAZIONI LOGICHE TABELLE DI VERITA INTEGRATI DIGITALI DELLE FAMIGLIE TTL E CMOS E LORO RICONOSCIMENTO.
Intelligenza Artificiale - AA 2001/2002 Logica formale (Parte 2) - 1 Intelligenza Artificiale Breve introduzione alla logica classica (Parte 2) Marco Piastra.
Claudia Raibulet Algebra Booleana Claudia Raibulet
Introduzione ~ 1850 Boole - De Morgan – Schroeder ALGEBRA BOOLEANA
1 Elementi di calcolo proposizionale Marco Maratea INF Teoria Gruppo 7 Corso G.
La Logica Introduzione Operazioni con le proposizioni La congiunzione
Logica Matematica Seconda lezione.
Elementi di Logica matematica Prima parte
INFORMATICA MATTEO CRISTANI. INDICE CICLO DELLE LEZIONI LEZ. 1 INTRODUZIONE AL CORSO LEZ. 2 I CALCOLATORI ELETTRONICI LEZ. 3 ELEMENTI DI TEORIA DELL INFORMAZIONE.
Algebra di Boole.
INFORMATICA PER IL COMMERCIO ELETTRONICO MATTEO CRISTANI.
Si ringraziano per il loro contributo gli alunni della
INFORMATICA MATTEO CRISTANI.
LA LOGICA Giannuzzi Claudia Stefani Simona
INFORMATICA MATTEO CRISTANI.
INFORMATICA PER IL COMMERCIO ELETTRONICO
ECDL Patente europea del computer
Algebra di Boole e Circuiti Logici
Congiunzione Disgiunzione Negazione Natalia Visalli.
Corso di logica matematica
ELETTRONICA GEORGE BOOLE FUNZIONI LOGICHE Lezione N° 1
Algebra di Boole.
FONDAMENTI DI INFORMATICA
PRESENTAZIONE DI RAGANATO ROBERTO, BISCONTI GIAMMARCO E
La logica è lo studio del ragionamento.
DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE Algebra di Boole ed elementi di logica Marco D. Santambrogio – Ver. aggiornata.
Algebra di Boole.
Ragionare nel quotidiano
Circuiti logici.
La logica Dare un significato preciso alle affermazioni matematiche
Rappresentazione dell'informazione
Algebra di Boole L’algebra di Boole è un formalismo che opera su variabili (dette variabili booleane o variabili logiche o asserzioni) che possono assumere.
Sintesi Reti Combinatorie
Copyright © Istituto Italiano Edizioni Atlas
ELEMENTI DI LOGICA MATEMATICA
La logica degli enunciati interamente realizzata da GIANNUZZI SILVIA
La tabella delle verità è un modo per rappresentare il comportamento di una funzione combinatoria La tabella delle verità ha due tipi di colonne: colonne.
ELEMENTI DI LOGICA del Prof. Giovanni Ianne
DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE Algebra di Boole ed elementi di logica Marco D. Santambrogio – Ver. aggiornata.
Logica di base e Conversione analogico-digitale Lezione 3 / Prima parte Gaetano Arena e.mail: 1.
Le proposizioni DEFINIZIONE. La logica è un ramo della matematica che studia le regole per effettuare ragionamenti rigorosi e corretti. DEFINIZIONE. Una.
Logica Lezione 8, DISTRIBUIRE COMPITO 1.
Transcript della presentazione:

INFORMATICA MATTEO CRISTANI

INDICE CICLO DELLE LEZIONI LEZ. 1 INTRODUZIONE AL CORSO LEZ. 2 I CALCOLATORI ELETTRONICI LEZ. 3 ELEMENTI DI TEORIA DELL INFORMAZIONE LEZ. 4 MISURE DELLA INFORMAZIONE LEZ. 5 CALCOLO BINARIO: CONVERSIONI DI BASE LEZ. 6 CALCOLO BINARIO: OPERAZIONI IN BASE 2 LEZ. 7 ESERCITAZIONE DI CALCOLO BINARIO LEZ. 8 ESERCITAZIONE DI CALCOLO BINARIO LEZ. 9 PORTE LOGICHE LEZ. 10 PROGETTO DI CIRCUITI DIGITALI LEZ. 11 INTRODUZIONE AGLI ALGORITMI LEZ. 12 PRODUTTIVITA INDIVIDUALE LEZ. 13 IL WEB LEZ. 14 RICERCA DI DOCUMENTI LEZ. 15 USO DEI MOTORI DI RICERCA LEZ. 16 SICUREZZA INFORMATICA LEZ. 17 ELEMENTI DI CRITTOGRAFIA LEZ. 18 ESERCITAZIONE DI CRITTOGRAFIA LEZ. 19 ESERCITAZIONE GENERALE LEZ. 20 SOMMARIO DEL CORSO

INTRODUZIONE ALLA LOGICA PROPOSIZIONALE Per poter isolare la struttura logica del linguaggio naturale occorre selezionare una plausibile struttura logica. Proposizione: ogni espressione linguistica per la quale abbia senso chiedersi se è vera o falsa Assumiamo che i termini naturali "se... allora...", "oppure", "e", "non" (e i loro sinonimi: ad es. "implica", "o"...) abbiano un ruolo centrale nella combinazione logica delle proposizioni e associamo ad essi i simboli ¬ (non) (e) (se … allora) (o,oppure) (detti connettivi logici )

LA NEGAZIONE La negazione è il connettivo che inverte il valore di verità di una proposizione. ANON A VF FV

LA CONGIUNZIONE La congiunzione è il connettivo che ritorna vero se e solo se gli operandi sono entrambi veri ABA AND B VVV VFF FVF FFF

LA DISGIUNZIONE La disgiunzione è il connettivo che ritorna falso se e solo se gli operandi sono entrambi falsi ABA OR B VVF VFV FVV FFV

LIMPLICAZIONE Limplicazione è il connettivo che ritorna falso se e solo se loperando premessa è vero e la conseguenza falsa AB A B VVV VFF FVV FFV

PORTE LOGICHE È possibile realizzare dei dispositivi fisici abbastanza semplici che funzionano secondo le regole della logica proposizionale Tali dispositivi, che si chiamano porte logiche o gate, si potrebbero realizzare in linea di principio con dei semplici interruttori comandati da relé: ogni interruttore si trova normalmente nello stato di aperto (in cui cioè non fa passare corrente), e viene chiuso fornendo una tensione opportuna (di soglia) al proprio relè.

COSTRUZIONE DELLOPERATORE AND Linterruttore è inserito in un circuito comprendente un generatore che eroga la stessa tensione; questa corrisponde alla variabile booleana 1 (o vero), mentre una tensione inferiore corrisponde alla variabile 0 (o falso). Se colleghiamo due di questi interruttori in serie con il generatore otteniamo un circuito equivalente alloperatore AND.

COSTRUZIONE DELLOPERATORE OR In alternativa, si possono collegare due interruttori in parallelo con un generatore, ottenendosi lequivalente delloperatore OR. Infatti adesso sarà presente la tensione 1 in uscita se almeno una delle due tensioni in ingresso assume il valore 1.

COSTRUZIONE DELLOPERATORE NOT Se invece si realizza un interruttore che sia chiuso quando non si fornisce la tensione di soglia al suo relè, e aperto quando si fornisce tale tensione, esso costituisce lequivalente delloperatore NOT.

SCHEMI DI CIRCUITI DIGITALI OPERATORE DI PRODOTTO LOGICO OPERATORE DI SOMMA LOGICA OPERATORE DI INVERSIONE LOGICA

SOMMATORE LOGICO

TABELLE DI VERITA E CIRCUITI LOGICI

ALGORITMO DI KARNAUGH Si selezionano tutte le righe che calcolano 1 Per ciascuna di queste si considera la formula ottenuta congiungendo le variabili che valgono 1 con le negazioni delle variabili che valgono 0 Si calcola la disgiunzione tra tutte le congiunzioni così ottenute

ESEMPIO ABCX

ALGORITMO DI KARNAUGH INVERSO Si selezionano tutte le righe che calcolano 0 Per ciascuna di queste si considera la formula ottenuta congiungendo le variabili che valgono 1 con le negazioni delle variabili che valgono 0 Si calcola la disgiunzione tra tutte le congiunzioni così ottenute Si nega la formula così ottenuta

ESEMPIO ABCX

CIRCUITO DIGITALE CORRISPONDENTE