La macchina universale di Turing, la relazione tra hardware e software, e i limiti della calcolabilità
|
|
- Daniela Bianco
- 7 anni fa
- Visualizzazioni
Transcript
1 La macchina universale di Turing, la relazione tra hardware e software, e i limiti della calcolabilità Alberto Pettorossi University of Rome Tor Vergata, Rome, Italy SEFIR, Pontificia Università Lateranense, Rome, Italy 26 ottobre 2012
2 Calcola, calcola,... dove finiremo? Alberto Pettorossi University of Rome Tor Vergata, Rome, Italy SEFIR, Pontificia Università Lateranense, Rome, Italy 26 ottobre 2012
3 Circuiti Combinatori - + s off on
4 Circuiti Combinatori - + s1 and s2 : s1 off s2 off (s1 s2) on on s1 or s2 : s1 s2 off on off - on (s1+s2) not s : s off on In realtà: transistors, non interrutori.
5 Circuiti Combinatori Si possono fare tutte le operazioni logiche dell algebra booleana. (George Boole, Le leggi del pensiero). a or b equivale a: not ((not a) and (not b)) George Boole ( ) se a allora b altrimenti c equivale a: ((not a) or b) and (a or c) a b c se allora atrimenti se a allora b altrimenti c
6 Circuiti Combinatori: Addizionatore = 325 C in : riporto di ingresso S : bit della somma C out : riporto di uscita
7 Circuiti Sequenziali Internal State - + L! R! L" R" La posizione di un solo interruttore non determina l accensione della lampadina. L accensione dipende dallo stato dell altro interruttore. on: L!,R! or L",R" off: L!,R" or L",R!
8 Circuiti Sequenziali Internal State - + L! R! L" R" R! L!,R" L" R" L! L!,R! L",R" L" R! L! L",R! R"
9 Circuiti Sequenziali Internal State - + L! R! L" R" 1. L!,R! R! L! R" L" 4. L!,R" 2. L",R! L! R! L" R" 3. L",R" L" L! R" R!
10 Circuiti Sequenziali (sincroni) Internal State F(X,Y) = Z output G(X,Y) = Y new state input X F Z G Y Y output State clock
11 Riconoscitore di stringhe (KMP) Internal State stringa: a a b a b b a b b a a a b pattern: b a b b sequenziamento del genoma le quattro basi azotate del DNA: (C) citosina - (G) guanina (T) timina - (A) adenina
12 Limiti del processo di calcolo Non si possono fare tutte le somme, perché non si possono rappresentare tutti gli infiniti numeri. Occorrerebbe una macchina con un numero infinito di stati.
13 Macchina di Turing Internal State Infinite Tape Alan Turing ( )
14 Codifica della Macchina di Turing Internal State Infinite Tape transizione di stato: legge un simbolo scrive un simbolo mossa = L, R
15 Turing Machine per stringhe: a n b n per n! 0 Internal State stringa accettata: a a a b b b Infinite Tape stringa rifiutata: a a a b
16 Codifica della Macchina di Turing Internal State Infinite Tape ogni transizione di stato codificata come una stringa binaria:
17 Macchina di Turing Universale (UTM) Internal State Code of Turing Machine M on tape Infinite Tape Alan Turing ( ) Universal Turing Machine: una sola macchina (hardware, circuiteria) che si può comportare come una qualsiasi altra macchina di cui si conosca la codifica (software, programma).
18 Macchina di Turing Universale (UTM) Alan Turing (1936): On Computable Numbers, With an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society 42 (2). Alan Turing (1938): "On Computable Numbers, with an Application to the Entscheidungsproblem: A correction", Proceedings of the London Mathematical Society, 2 43 (6): 544 6, Manfred Kudlek, Yurii Rogozhin (2002): A universal Turing machine with 3 states and 9 symbols, LNCS 2295: Small universal Turing machines the (6, 2), (3, 3), and (2, 4) state-symbol pairs.
19 Universal Turing Machine Si può andare anche nell altra direzione: si può costruire la circuiteria (hardware) che corrisponde al programma (software) (silicon compilers, reti neurali,...)
20 Macchina di John von Neumann Internal State Infinite Tape Code of Turing Machine M on tape Per andare più veloci: John von Neumann
21 Limiti invalicabili (anche con infinite tape) Limiti del processo di calcolo (indipendenti dalla tecnologia): - problemi non decidibili - formule non provabili né disprovabili
22 Limiti del processo di calcolo (anche con infinite tape) Esempio. S1 = { A!BC, B!AC, C!AB } A! BC! ACC S2 = { A!AC, B!AC, C!AB, A!AD, D!CC } A! AC! ACC Non esiste nessun processo P di calcolo che, dati comunque i sistemi S1 e S2 di regole tali che una lettera genera due lettere, termina e dice sì se e solo se l insieme di parole generabili da A in S1 è uguale all insieme delle parole generabili da A in S2.
23 I limiti Ricerca della della logica verità del calcolo (anche con infinite tape) Aritmetica di Peano: 0, 1, 2,... con +, x e induzione matematica : se #(0) e per ogni n, #(n)! #(n+1) allora per ogni n, #(n). Esiste un uguaglianza del tipo per ogni n... espressione1 = espressione2 tale che non si riesce a provare Kurt Gödel ( ) né né per ogni n... espressione1 = espressione2 per ogni n... espressione1 $ espressione2 Non si riescono a provare tutte le uguaglianze vere.
24 Limiti Limiti del processo di costruzione del software (indipendenti dalla tecnologia): - non si può dimostrare la correttezza dei programmi e neppure la loro terminazione (Turing) alla ricerca di metodi di costruzione di programmi sufficientemente affidabili di buoni linguaggi di programmazione
25 Limiti Limiti di complessità (dipendenti dalla tecnologia): - ordinamento di n numeri: almeno n (log n) passi 2 2c n - formule della aritmetica del +: almeno passi alla ricerca di metodi di calcolo più efficienti (meno dispendio di memoria, di tempo, di energia): biological computing, quantum computing,...
26 Tanti successi della tecnologia Tanti successi della tecnologia: - embedded systems, - previsioni del tempo, - giochi e strategie, - elaborazione di immagini (TAC), - robot per la casa, per l industria, per operare in situazioni di rischio (disinnescare un ordigno, operare in ambienti radiattivi, operare in edifici pericolanti, operare nel mare o nello spazio,...) robot per giocare a pallone - sistemi di supporto alle decisioni, - ricerca di informazioni in rete,...
27 Sudoku
28 Sudoku
29 Gioco degli scacchi mossa al bianco mossa al nero
30 Dimostrazione di teoremi 1. Alcuni uomini di Fiorecchio sono entrati nella fabbrica non accompagnati da nessuno. 2. La guardia ha controllato tutti coloro che sono entrati nella fabbrica, eccetto coloro che erano accompagnati da dipendenti della ditta. 3. La guardia non ha controllato nessun uomo di Fiorecchio. 4. C è un uomo di Fiorecchio che è dipendente della ditta?
31 La conquista Ricerca della verità dello spazio
32 Robot
33 L illusione psicologica Date le alte prestazioni delle macchine (in particolare, quelle di interazione con il mondo circostante attraverso attuatori, sensori, programmi e meccanismi automatici di capaci anche di migliorare se stessi) può sembrare che sotto la superficie delle azioni delle macchine ci siano emozioni, libertà e volontà. Ma le alte prestazioni sono frutto di equazioni, teorie e processi tecnologici avanzati. E non ci sono le equazioni della libertà e la volontà.
34 L illusione psicologica Universal Turing Machine (UTM): una sola macchina (hardware, circuiteria) che si può comportare come una qualsiasi altra macchina di cui si conosca la codifica (software, programma). Il cervello dell uomo è l hardware di una Macchina di Turing Universale e si può comportar come una qualsiasi altra macchina una volta che ne abbia memorizzato il software (programma)?
35 Problema Mente-Cervello (Mind-Brain Problem) 1. Il pensiero è riducibile a materia? 2. I processi mentali sono riducibili ad un calcolatore? 3. L intuizione matematica è riducibile ad una computazione? Kurt Gödel (1951): Se esistesse un programma di calcolo che sia equivalente all intuizione matematica, non si può provare che esso sia tale e non si può provare che esso sia capace di produrre solo proposizioni vere della teoria dei numeri naturali.
36 Protesi per la mente Come la gru è una protesi per le braccia, il calcolatore è una protesi per la mente.
37 Leopardi... e il calcolatore Di un calcolatore, che sopra qualunque cosa gli veniva udita o veduta, si metteva a computare, disse: gli altri fanno le cose, e costui le conta. dai Detti memorabili di Filippo Ottonieri (Capitolo 7) Giacomo Leopardi
38 The End
Il calcolatore universale, origini e nuovi paradigmi
Il calcolatore universale, origini e nuovi paradigmi Lucia Pomello Università degli studi di Milano Bicocca Dipartimento di Informatica, Sistemistica e Comunicazione 24 febbraio 2017 L evoluzione dell
DettagliInformatica e Laboratorio di Programmazione Automi Alberto Ferrari. Alberto Ferrari Informatica e Laboratorio di Programmazione
Informatica e Laboratorio di Programmazione Automi Alberto Ferrari Alberto Ferrari Informatica e Laboratorio di Programmazione automa o automa: macchina astratta o realizza un certo algoritmo, secondo
DettagliFondamenti Informatica A.A. 2010/'11. (I parte)
Problemi e algoritmi Macchina di Turing Fondamenti di informatica Proff. De Nitto e D Ambrogio A.A. 2010/2011 (I parte) Architettura e visione funzionale Rappresentazione dei numeri Modello computazionale
DettagliCenni storici. Abaco 3000 B.C. in Babilonia. Paolo Bison. Fondamenti di Informatica 1 A.A. 2004/05 Università di Padova
Cenni storici Paolo Bison Fondamenti di Informatica 1 A.A. 2004/05 Università di Padova p.1/36 Abaco 3000 B.C. in Babilonia p.2/36 Dispositivo di Antikythera 80 A.C. calcolatore analogico per valutare
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
DettagliAlan Turing pioniere dell era digitale. Il calcolo e le sue limitazioni
Alan Turing pioniere dell era digitale Il calcolo e le sue limitazioni Simone Martini Dipartimento di Informatica: Scienza e Ingegneria Alma mater studiorum Università di Bologna scienzagiovane 27 ottobre
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
DettagliAlgebra e circuiti elettronici
Algebra e circuiti elettronici I computer operano con segnali elettrici con valori di potenziale discreti Sono considerati significativi soltanto due potenziali (high/ low); i potenziali intermedi, che
DettagliReti combinatorie. Reti combinatorie (segue)
Reti combinatorie Sommatore Sottrattore Reti sequenziali Generatore di sequenze Riconoscitore di sequenze Reti combinatorie PROGRAMMAZIONE Il programmatore riporta le istruzioni che il calcolatore dovrà
DettagliReti combinatorie (segue) Reti combinatorie. Lezione 2. Architettura degli Elaboratori A. Sperduti 1
Reti combinatorie Reti sequenziali Sommatore Sottrattore Generatore di sequenze Riconoscitore di sequenze PROGRAMMAZIONE Il programmatore riporta le istruzioni che il calcolatore dovrà eseguire, in un
DettagliAlgoritmo: procedimento non ambiguo che in un numero finito di passi risolve un problema (o una classe di problemi)
LABORATORIO DI PROGRAMMAZIONE Corso di laurea in matematica 2 LA MACCHINA DI VON NEUMANN Marco Lapegna Dipartimento di Matematica e Applicazioni Universita degli Studi di Napoli Federico II wpage.unina.it/lapegna
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
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
DettagliLimiti della calcolabilità
Limiti della calcolabilità Argomenti della lezione Macchina di Turing universale Il problema della terminazione Altri problemi indecidibili Macchine di Turing in forma ridotta Per ogni MT M esiste una
DettagliPrincipio di composizione delle MT
Principio di composizione delle MT La definizioni date fanno riferimento a situazioni in cui la macchina sia capace di risolvere problemi singoli. E possibile far sì che macchine progettate per problemi
DettagliLez2 mar 7 Ottobre 2008 Op. aritmetiche/logiche arch. Elaboratore
Lezione 2 OPERAZIONI ARITMETICHE E LOGICHE ARCHITETTURA DI UN ELABORATORE Lez2 mar 7 Ottobre 2008 Op. aritmetiche/logiche arch. Elaboratore 1 OPERAZIONI BINARIE Vedremo l addizione e la sottrazione (riflettete
DettagliUniversità degli Studi di Roma Tor Vergata Facoltà di Ingegneria Corso di Laurea in Ingegneria Medica Operazioni logiche
Università degli Studi di Roma Tor Vergata Facoltà di Ingegneria Corso di Laurea in Ingegneria Medica Operazioni logiche L algebra di oole Rev.1.1 of 2012-04-26 Componenti logiche di un elaboratore Possiamo
Dettagli2 Introduzione È più semplice comprendere i sistemi hardware digitali considerando le modalità con cui vengono descritti, che possono essere distinte
1 Introduzione L evoluzione dei sistemi hardware digitali negli ultimi cinquant anni è stata caratterizzata da miglioramenti in termini di funzionalità, costi e prestazioni mai visti in altri settori tecnologici.
DettagliLogica e Informatica: cosa i calcolatori possono e non possono fare. Simone Martini
Logica e Informatica: cosa i calcolatori possono e non possono fare Simone Martini Dipartimento di Scienze dell Informazione Alma Mater Studiorum Università di Bologna 1 io Simone Martini Professore di
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 =
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:
DettagliEsercizi assortiti di Architetture
Esercizi assortiti di Architetture Guido Sciavicco There are just 10 kinds of people: those who understand binary code, and those who don t. 1 Circuiti Combinatori 1. Si semplifichi la seguente espressione
DettagliCorso di Calcolatori Elettronici I
Corso di Calcolatori Elettronici I Evoluzione dei Calcolatori Elettronici Roberto Canonico Università degli Studi di Napoli Federico II A.A. 2016-2017 Roberto Canonico Corso di Calcolatori Elettronici
DettagliAlgebra di Boole e reti logiche. 6 ottobre 2017
Algebra di Boole e reti logiche 6 ottobre 2017 Punto della situazione Abbiamo visto le varie rappresentazioni dei numeri in binario e in altre basi e la loro aritmetica Adesso vedremo la logica digitale
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
DettagliArchitettura di Von Neumann. Architettura di Von Neumann. Architettura di Von Neumann INFORMATICA PER LE DISCIPLINE UMANISTICHE 2 (13042)
INFORMATICA PER LE DISCIPLINE UMANISTICHE 2 (13042) Computer elaboratore di informazione riceve informazione in ingresso (input) elabora questa informazione restituisce informazione ottenuta elaborando
DettagliFondamenti di Informatica
Fondamenti di Informatica Prof. Arcangelo Castiglione A.A. 2017/18 Outline Algebra di Boole Relazione con i Circuiti Logici Elementi Costitutivi Operatori Logici Elementari Funzioni Logiche (o Booleane)
DettagliT1: Logica, discorso e conoscenza. Logica classica
T1: Logica, discorso e conoscenza Primo modulo: Logica classica ovvero Deduzione formale vs verità: un introduzione ai teoremi limitativi Simone Martini Dipartimento di Scienze dell Informazione Alma mater
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
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.
DettagliCAPITOLO 1 CENNI STORICI
CAPITOLO 1 CENNI STORICI 1. Gli abachi: calcolare con sassi e palline..... 1 2. I bastoncini di Nepero...... 7 3. Un antico calcolatore analogico: riga+compasso...... 10 4. Oltre le quattro operazioni:
DettagliFondamenti di Informatica e Programmazione. P ro f. G i a n n i D A n g e l o
Fondamenti di Informatica e Programmazione CPU e Linguag gio Macchina P ro f. G i a n n i D A n g e l o Email: giadangelo@unisa.it A.A. 2018/19 Elaborazione dell Informazione L'elaborazione delle informazioni
DettagliCircuiti 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
DettagliRappresentazione dell informazione
Rappresentazione dell informazione Codifica dei numeri Rappresentazioni in base 2, 8, 10 e 16 Rappresentazioni M+S, C1 e C2 Algoritmi di conversione di base Algoritmi di somma, moltiplicazione e divisione
DettagliAnalogia con le macchine e con i programmi. Esempi di applicazioni hardware e software con evidente base logica
Analogia con le macchine e con i programmi. Esempi di applicazioni hardware e software con evidente base logica Prof. Gianni Cartocci Liceo Scienze Applicate G. Marconi - Grosseto Marzo 2019 Lo studio
DettagliTutorato architettura degli elaboratori modulo I (lezione 3)
Tutorato architettura degli elaboratori modulo I (lezione 3) Moretto Tommaso 03 November 2017 1 Algebra di Boole L aritmetica binaria è stata adottata perché i bit sono rappresentabili naturalmente tramite
DettagliInformatica e Bioinformatica: Circuiti
Date TBD Macchina Hardware/Software Sistema Operativo Macchina Hardware La macchina hardware corrisponde alle componenti fisiche del calcolatore (quelle viste nella lezione precedente). Un sistema operativo
DettagliA.A. 2018/2019. CPU e Linguaggio Macchina FONDAMENTI DI INFORMATICA E PROGRAMMAZIONE. Docente Prof. Raffaele Pizzolante
A.A. 2018/2019 Docente Prof. Raffaele Pizzolante FONDAMENTI DI INFORMATICA E PROGRAMMAZIONE Architettura di Von Neumann Modello concettuale di un architettura di computer che permette di rappresentare,
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
DettagliMODULO 1. Prof. Onofrio Greco. Prof. Greco Onofrio
ECDL MODULO 1 Prof. Onofrio Greco Modulo 1 Concetti di base dell ICT Modulo 2 Uso del Computer e Gestione dei File Modulo 3 - Elaborazione testi Modulo 4 Foglio Elettronico Modulo 5 Uso delle Basi di Dati
DettagliAlgebra Booleana, Funzioni Logiche e Circuiti Logici
Algebra Booleana, Funzioni Logiche e Circuiti Logici Esercizio 1 Si scriva, utilizzando gli operatori booleani AND, OR, NOT, la funzione booleana che riceve in ingresso un numero binario puro su 3 bit
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
DettagliComponenti principali. Programma cablato. Architettura di Von Neumann. Programma cablato. Cos e un programma? Componenti e connessioni
Componenti principali Componenti e connessioni Capitolo 3 CPU (Unita Centrale di Elaborazione) Memoria Sistemi di I/O Connessioni tra loro 1 2 Architettura di Von Neumann Dati e instruzioni in memoria
DettagliCapitolo 9: Trattabilitá e intrattabilitá dei problemi
Capitolo 9: Trattabilitá e intrattabilitá dei problemi 1 La classe P : é considerata tradizionalmente come una caratterizzazione formale dei problemi trattabili. n = 2 n = 5 n = 10 n = 100 n = 1000 n 2
DettagliIndice. Prefazione. 3 Oggetti e Java 53
Prefazione xv 1 Architettura dei calcolatori 1 1.1 Calcolatori e applicazioni 1 1.1.1 Alcuni esempi di applicazioni 3 1.1.2 Applicazioni e interfacce 4 1.2 Architettura dei calcolatori 7 1.2.1 Hardware
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
DettagliLezione2: 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
DettagliLezione 9 : Algebra di Boole e Codifica Binaria (p. 1) Lunedì 29 Novembre 2010
Università di Salerno Corso di FONDAMENTI DI INFORMATICA Corso di Laurea Ingegneria Corso B Docente : Ing. Anno Accademico 2-2 Lezione 9 : Algebra di Boole e Codifica Binaria (p. ) Lunedì 29 Novembre 2
DettagliPer un vocabolario filosofico dell informatica. Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine
Per un vocabolario filosofico dell informatica Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine Udine, 11 maggio, 2015 Obiettivi del corso In un ciclo di seminari,
DettagliComponenti principali
Componenti e connessioni Capitolo 3 Componenti principali n CPU (Unità Centrale di Elaborazione) n Memoria n Sistemi di I/O n Connessioni tra loro Architettura di Von Neumann n Dati e instruzioni in memoria
DettagliRappresentazione (Codifica Binaria dei Numeri) ed Elaborazione delle Informazioni
1 LEZIONE 3 Rappresentazione (Codifica Binaria dei Numeri) ed Elaborazione delle Informazioni LA CODIFICA DEI NUMERI Obiettivo: Codifica in binario dei numeri per favorire l elaborazione da parte dei calcolatori
DettagliTuring e la nascita dell'algoritmica Fabrizio luccio. Fibonacci Liber Abaci 1202
Turing e la nascita dell'algoritmica Fabrizio luccio Fibonacci Liber Abaci 1202 Turing è spesso indicato come padre dell'informatica teorica e dell'intelligenza artificiale, o mitizzato come crittoanalista.
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
DettagliAppunti del corso di Informatica 1 (IN110 Fondamenti) 3 Modelli di calcolo
Università Roma Tre Dipartimento di Matematica e Fisica Corso di Laurea in Matematica Appunti del corso di Informatica 1 (IN110 Fondamenti) 3 Modelli di calcolo Marco Liverani (liverani@mat.uniroma3.it)
DettagliCognome:, Nome: Matricola:
I Prova Intercorso Fondamenti di Informatica, A.A. 2017/18 Docente: A. Castiglione Traccia D Cognome:, Nome: Matricola: Spazio riservato alla commissione esaminatrice 1 2 3 4 5 6 7 8 9 10 11 12 13 Totale
DettagliSoddisfacibilità e Semantic Tableau [1]
Intelligenza Artificiale I Soddisfacibilità e Semantic Tableau Marco Piastra Soddisfacibilità e Semantic Tableau [1] Problemi e decidibilità (automatica) Problema Un problema è una relazione tra istanze
DettagliLivello dei componenti fisici: Circuiteria elettronica
Livello dei componenti fisici: Circuiteria elettronica Eugenio G. Omodeo Dip. Matematica e Geoscienze DMI Trieste, 06/10/2016 Eugenio G. Omodeo Livello dei componenti fisici ( elettronici ) 1/12 Cos ha
DettagliI 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
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
DettagliSommario. Macchina di Turing universale Proprietà dei problemi Turing riconoscibili Linguaggi non Turing riconoscibili.
Sommario Macchina di Turing universale Proprietà dei problemi Turing riconoscibili Linguaggi non Turing riconoscibili. 1 UTM: la TM universale Una TM T che accetta un linguaggio è analoga a un programma
DettagliMacchina di Turing. Dipartimento di Elettronica e Informazione Politecnico di Milano. 17 marzo 2017
Macchina di Turing Dipartimento di Elettronica e Informazione Politecnico di Milano 17 marzo 2017 Un modello di calcolo universale Macchina di Turing Gli AP sono più potenti degli FSA (= maggiori capacità
DettagliCircuti AND, OR, NOT Porte logiche AND
Circuti AND, OR, NOT Porte logiche AND OR NOT A B C Esempio E = ~((AB) + (~BC)) E NAND e NOR NAND (AND con uscita negata): ~(A B) NOR (OR con uscita negata): ~(A+B) Si può dimostrare che le operazioni
DettagliELEMENTI DI PROGRAMMAZIONE a.a. 2012/13 MACCHINE, ALGORITMI, PROGRAMMI
ELEMENTI DI PROGRAMMAZIONE a.a. 22/3 MACCHINE, ALGORITMI, PROGRAMMI Andrea Prevete, UNINA2 23 UNA GERARCHIA DI MACCHINE macchine combinatorie macchine sequenziali (automi a stati finiti)... macchine di
DettagliI Indice. Prefazione. Capitolo 1 Introduzione 1
I Indice Prefazione xi Capitolo 1 Introduzione 1 Capitolo 2 Algebra di Boole e di commutazione 7 2.1 Algebra di Boole.......................... 7 2.1.1 Proprietà dell algebra.................... 9 2.2
DettagliNOZIONI DI LOGICA PROPOSIZIONI.
NOZIONI DI LOGICA PROPOSIZIONI. Una proposizione è un affermazione che è vera o falsa, ma non può essere contemporaneamente vera e falsa. ESEMPI Sono proposizioni : 7 è maggiore di 2 Londra è la capitale
DettagliComponenti e connessioni. Capitolo 3
Componenti e connessioni Capitolo 3 Componenti principali CPU (Unità Centrale di Elaborazione) Memoria Sistemi di I/O Connessioni tra loro Architettura di Von Neumann Dati e instruzioni in memoria (lettura
DettagliCorso di Laurea in FISICA Dispositivi di calcolo II
Corso di Laurea in FISICA Dispositivi di calcolo II Prof. Luca Gammaitoni Corso di Laurea in FISICA Compu&ng device Laurea Specialistica in Informatica input output model input à output à Numerical data
DettagliDalla precedente lezione: LABORATORIO DI PROGRAMMAZIONE Corso di laurea in matematica 3 LA RAPPRESENTAZIONE DEI DATI (1) 28/02/2016
LABORATORIO DI PROGRAMMAZIONE Corso di laurea in matematica 3 LA RAPPRESENTAZIONE DEI DATI (1) Marco Lapegna Dipartimento di Matematica e Applicazioni Universita degli Studi di Napoli Federico II wpage.unina.it/lapegna
DettagliDa Turing a Böhm. Simona Ronchi Della Rocca Dipartimento di Informatica
Da Turing a Böhm Simona Ronchi Della Rocca 40-100 Dipartimento di Informatica I nostri due padri Alan Turing 1912-1954 Corrado Böhm 1923 - Alan Turing! Calcolabilità (1936): Formalizzazione del calcolo,
DettagliAlgebra di Boole. Fondamenti di Informatica per Meccanici Energetici - Biomedici 1. Politecnico di Torino Ottobre Mr. Boole. Variabile booleana
Fondamenti di Informatica per Meccanici Energetici - iomedici 1 Mr. oole lgebra di oole George oole: Matematico inglese del XIX secolo lgebra che descrive le leggi del pensiero Logica da cui è possibile
Dettaglimio indirizzo 1 Sarò lieto di ricevere commenti o segnalazioni di errori presso il
INTRODUZIONE Purtroppo questo libro è rappresentato molto più dal sottotitolo che dal titolo. Infatti è una semplice trascrizione di miei appunti per vari corsi di logica che ho tenuto in passato all Università
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
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:»
DettagliDispensa di Informatica I.5
LE MACCHINE COMBINATORIE La capacità elaborativa del calcolatore risiede nel processore; il processore è in grado di eseguire un set di azioni elaborative elementari più o meno complesse Le istruzioni
DettagliElementi 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
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
DettagliDefinizioni. Esempi di alfabeti
Definizioni SIMBOLO: entità minima significativa STRINGA: sequenza finita di simboli giustapposti (lunghezza della stringa, stringa vuota) ALFABETO: insieme finito di simboli LINGUAGGIO: insieme di stringhe
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
DettagliSistemi di elaborazione delle informazioni. Palmino Sacco
Sistemi di elaborazione delle informazioni Palmino Sacco www.radiologiasiena.it sacco@unisi.it LEZIONE 2 Il trattamento delle informazioni www.radiologiasiena.it sacco@unisi.it Nel 1833 un professore di
DettagliCognome:, Nome: Matricola:
I Prova Intercorso Fondamenti di Informatica e Programmazione, A.A. 2017/18 Docente: R. Pizzolante Traccia D Cognome:, Nome: Matricola: Spazio riservato alla commissione esaminatrice 1 2 3 4 5 6 7 8 9
DettagliNote sull architettura del calcolatore
Note sull architettura del calcolatore 1 Algoritmo Problema Preparazione di una torta Programmazione del VCR MCD tra due numeri Algoritmo Sequenza ordinata di istruzioni che risolve il problema specifico
DettagliAlgebra di Boole Esercizi risolti
Esercizi risolti 1 Esercizio Verificare mediante i teoremi fondamentali dell algebra di Boole o mediante induzione completa se per l operatore XOR vale la proprietà distributiva: a (b + c) = (a b)+(a c)
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
DettagliLa codifica binaria. Informatica B. Daniele Loiacono
La codifica binaria Informatica B Introduzione Il calcolatore usa internamente una codifica binaria (0 e 1) per rappresentare: i dati da elaborare (numeri, testi, immagini, suoni, ) le istruzioni dei programmi
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
DettagliMATRICE TUNING competenze versus unità didattiche, Corso di Laurea in Informatica (classe L-31), Università degli Studi di Cagliari
A: CONOSCENZA E CAPACITA DI COMPRENSIONE Conoscere e saper comprendere i fondamenti della matematica discreta (insiemi, interi, relazioni e funzioni, calcolo combinatorio) Conoscere e saper comprendere
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
DettagliAlgoritmi e soluzioni di problemi
Algoritmi e soluzioni di problemi 1 Informazioni e linguaggio Ottenere informazioni significa aumentare le nostre conoscenze ottenere indicazioni che ci fanno agire in un determinato modo Esempi Ad un
DettagliVirtual CPU (Eniac): parte 2
Architettura dei Calcolatori Prof. Enrico Nardelli Università degli Studi di Roma Tor Vergata Virtual CPU (Eniac): parte 2 1 Dove eravamo rimasti OpCode 2 La ALU e le sue funzionalità Operazioni possibili:
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
DettagliIl livello logico digitale
Il livello logico digitale prima parte Introduzione Circuiti combinatori (o reti combinatorie) Il valore dell uscita in un determinato istante dipende unicamente dal valore degli ingressi in quello stesso
DettagliArchitettura degli elaboratori
Architettura degli elaboratori 2018-2019 Presentazione del corso Maria Luisa Damiani maria.damiani@unimi.it Dipartimento di Informatica Università degli Studi di Milano Ambito Il corso Corsi di Laurea
DettagliLABORATORIO DI INFORMATICA
LABORATORIO DI INFORMATICA Corso di laurea in Scienze della Formazione Primaria a.a.2014/2015 A cura del Prof. Sergio Miranda LEZIONE N.3 Architettura di Von Neumann PREMESSA Caratteristica fondamentale
DettagliCorso di Informatica per Biologia
Corso di Informatica per Biologia (docente) Fabio Aiolli E-mail: aiolli@math.unipd.it Web: www.math.unipd.it/~aiolli (docente laboratorio) Giovanni Da San Martino E-mail: dasan@math.unipd.it Dipartimento
DettagliCHE COS È L INFORMATICA. Prof. Enrico Terrone A. S. 2014/15
CHE COS È L INFORMATICA Prof. Enrico Terrone A. S. 2014/15 Definizione L informatica è la scienza che studia il computer sotto tutti i suoi aspetti. In inglese si usa l espressione computer science, mentre
DettagliI Limiti della computazione
I Limiti della computazione Fondamenti di Informatica 2011 Cio che un computer non puo fare Prof, perche pensare in negativo?!? Un ovvia motivazione: Comprendere i limiti della tecnologia 1 Il pensare
DettagliPorte logiche di base. Cenni circuiti, reti combinatorie, reti sequenziali
Porte logiche di base Cenni circuiti, reti combinatorie, reti sequenziali NOT AND A R A B R OR A R B Quindi NAND o NOR sono complete circuiti con solo porte NAND o solo porte NOR. Reti combinatorie Rete
DettagliProgrammazione ( Cenni storici sulle origini dell informatica )
Programmazione ( Cenni storici sulle origini dell informatica ) E. Omodeo Università degli Studi di Trieste, a.a. 2011/12. 27.09.2011 Pionieri Lullo Raimondo : ruote logiche ( Palma di Maiorca, 1235 1316
Dettagli