Le macchine di Turing
|
|
- Gilberta Castellano
- 8 anni fa
- Visualizzazioni
Transcript
1 Le macchine di Turing
2 Alan Turing ( ) 1954)
3 Il problema della decisione i L Entscheidungsproblem [il problema della decisione] è risolto se si conosce una procedura che permette di decidere la validità di una data espressione logica mediante un numero finito di operazioni. (D. Hilbert, W. Ackermann, Grundzüge der theoretischen Logik, Springer, Berlin (1928), ),pp pp. 72-3) Il problema è che non si sa esattamente cosa sia una procedura: la teoria formale degli algoritmi nasce proprio per rispondere a questa domanda
4 Alan Turing 1936: nozione di Macchina di Turing Si sostiene che qualsiasi problema risolvibile algoritmicamente sia risolvibilme mediante una macchina di Turing La nozione di Macchina di Turing fornisce una controparte formale della nozione intuitiva di procedura algoritmica 1950: Macchine calcolatrici e intelligenza Possono pensare le macchine? Turing (1950), Macchine calcolatrici e intelligenza, in La filosofia degli automi : origini dell intelligenza artificiale, a cura di Vittorio Somenzi e Roberto Cordeschi, pp (Disponibile in Biblioteca)
5 1936: l analisi li i dei processi di calcolo l Studio dei vincoli ai quali sottostà un generico agente razionale C impegnato in un processo di calcolo C dispone di una memoria e di capacità percettive limitate. Dispone inoltre di un supporto (un nastro di dimensioni potenzialmente infinite) su cui scrivere e leggere.
6 1936: l analisi li i dei processi di calcolo l Quali operazioni i può svolgere C? C può scrivere sul nastro dei simboli tratti da un alfabeto finito C può osservare delle caselle sul nastro (è ragionevole assumere che, a causa delle limitate capacità percettive e di memoria, esista un limite al numero di caselle osservabili simultaneamente) C è in grado di ricordare risultati determinati da passi precedenti della computazione e di utilizzare tale informazione nel seguito della computazione. Questa memoria costituisce i ciò che Turing definisce come gli stati interni di C (date le limitazioni percettive e di memoria di C, è ragionevole assumere che esista un numero finito di stati).
7 Verso le Macchine di Turing Queste condizioni vengono incorporate nella Macchina di Turing La Macchina di Turing è quindi una macchina che, se concordiamo con quanto detto finora, riproduce gli aspetti essenziali dei processi di calcolo
8 Le Macchine di Turing (MdT) Le MdT dispongono di un nastro di memoria, fatto a cellette, potenzialmente infinito (si può aggiungere o togliere agli estremi, all occorrenza) In ogni celletta è memorizzato un simbolo che fa parte di un alfabeto del nastro Γ in questo caso Γ = {0,1,a} a a 0 1 0
9 Dagli automi a pila alle MdT Differenze tra automi a pila e MdT Le MdT possono scorrere il nastro a destra e a sinistra Il nastro è potenzialmente infinito (si assume che sia possibile aggiungere e togliere frammenti di nastro all occorrenza) La MdT può entrare in qualsiasi momento in uno stato accetta o rifiuta a a 0 1 0
10 Le Macchine di Turing (MdT) A ogni istante, t la MdT è posizionata su una celletta di memoria assume un certo stato Funzione di transizione: sulla base del simbolo letto nella celletta corrente, e dello stato attuale, la MdT scrive un nuovo simbolo, rimpiazzando quello appena letto assume un nuovo stato (l insieme degli stati include accetta e rifiuta) ) si sposta a destra o a sinistra di una celletta stato corrente: q 3 a a b a b b b a b
11 Le Macchine di Turing (MdT) Esempio di it istruzione i di MdT (rappresentata tt come istanza it della funzione di transizione della MdT): Se ti trovi nello stato q 3 e leggi il simbolo b sul nastro, allora rimpiazza b con a, cambia il tuo stato in q 2, e spostati a destra stato corrente: q 3 a a b a ba b b a b
12 Ripasso: il prodotto cartesiano Il prodotto cartesiano degli insiemi i i A e B, che si indica idi con A B, è definito dalla seguente espressione: { (a, b) a A e b B} Come abbiamo già visto, questa definizione può essere generalizzata al caso in cui siano coinvolti più di due insiemi. Esempio: A B C è l insieme i {(a,b,c) a A, A b B, c C} ovvero: l insieme di tutte le triple (a b c) tali che il ovvero: l insieme di tutte le triple (a, b, c) tali che il primo elemento appartiene ad A, il secondo a B, il terzo a C
13 Definizione i i di una MdT Una MdT è una settupla (Q, Σ, Γ,, q 0, q accetta,q rifiuta ) tale che 1. Q è un insieme finito di stati 2. Σ è un insieme finito detto alfabeto dell ingresso che non contiene e il simbolo o 3. Γ è un insieme finito detto alfabeto del nastro tale che Γ e Σ Γ 4. : Q Γ Q Γ {L, R} è la funzione di transizione 5. q 0 Q è lo stato iniziale 6. q accetta Q è lo stato t accetta 7. q rifiuta Q è lo stato rifiuta (q accetta q rifiuta )
14 La funzione di transizione i nelle MdT : Q Γ Q Γ {L, R} insieme delle coppie (q, γ) ) insieme delle triple (q, γ, {L,R}) dove q è uno stato e γ è un simbolo del nastro dove q è uno stato, γ è un simbolo del nastro, e il terzo elemento è L o R mette in corrispondenza stato corrente e simbolo letto su nastro con uno stato, un simbolo, e un operazione spostati a destra o spostati a sinistra
15 La funzione di transizione i nelle MdT Esempio 1: (q 1, a) = (q 2, b, R) : Q Γ Q Γ {L, R} ovvero Se ti trovi nello stato q 1 e leggi il simbolo a sul nastro, assumi lo stato q 2, rimpiazza a con b, e spostati a destra a b, R q 1 q 2 q 1 a a b a b q 2 a b b a b
16 La funzione di transizione i nelle MdT Esempio 2: : Q Γ Q Γ {L, R} (q 1, a) = (q accetta, b, R) ovvero Se ti trovi nello stato q 1 e leggi il simbolo a sul nastro, assumi lo stato q accetta, rimpiazza a con b, e spostati a destra q 1 a b, R q accetta q 1 a a b a b q accetta a b b a b
17 La funzione di transizione i nelle MdT Esempio 3: (q 1, a) = (q 2,, R) : Q Γ Q Γ {L, R} ovvero Se ti trovi nello stato q 1 e leggi il simbolo a sul nastro, assumi lo stato q 2, rimpiazza a con, e spostati a destra a, R q 1 q 2 q 1 a a b a b q 2 a b a b
18 Automi finiti A RIEPILOGO differenze tra automi finiti,automi iti t i a pila e MdT 1 : Q Σ Q B Se sei nello stato A e leggi 1, assumi ilo stato t B Automi a pila A 1x y 1,x y B δ: Q Σ Γ Q Γ Se sei nello stato t A, leggi 1, e il simbolo più alto nella memoria è x, assumi lo stato B e rimpiazza x con y nella memoria Macchine di Turing 1 0,R : Q Γ Q Γ {L, R} A B gg, Se sei nello stato A e leggi 1, assumi lo stato B, rimpiazza 1 con 0, e vai a destra
19 Esempio di MdT Q = {q 1, q 2, q accetta,q rifiuta } Σ = {0,1} Γ = {0,1, } Funzione : (q 1,0)=(q 1,0,R) 0 0,R q1 1 1,R q2 1 1,R 0 1,R 1 R (q 1,1)=(q 2,1,R) 1,R (q )=(q,1,r) q 2, accetta, accetta (q 2,0)=(q accetta,1,r) (q 2,1)=(q 2,1,R) 1R) Descrizione formale di questa MdT: M = {Q,Σ, Γ,,q 1,q accetta,q rifiuta }
20 Esempio di MdT M = {Q,Σ, Σ Γ,,q 1,q accetta,q rifiuta } Q = {q 1, q 2, q accetta,q rifiuta } Σ = {0,1} 0 0,R 1 1,R Γ = {0,1, } 1 1,R Funzione : q1 q2 (q 1,0)=(q 1,0,R) (q 1,1)=(q 2,1,R) (q 2, )=(q accetta,1,r) (q 2,0)=(q accetta,1,r) 1R) (q 2,1)=(q 2,1,R) q accetta 0 1,R 1,RR q
21 Esempio di MdT M = {Q,Σ, Σ Γ,,q 1,q accetta,q rifiuta } Q = {q 1, q 2, q accetta,q rifiuta } Σ = {0,1} 0 0,R 1 1,R Γ = {0,1, } Funzione : (q 1,0)=(q 1,0,R) (q 1,1)=(q 2,1,R) (q 2, )=(q accetta,1,r) (q 2,0)=(q accetta,1,r) 1R) q1 1 1,R q accetta q2 0 1,R 1,RR (q 2,1)=(q 2,1,R) q
22 Esempio di MdT M = {Q,Σ, Σ Γ,,q 1,q accetta,q rifiuta } Q = {q 1, q 2, q accetta,q rifiuta } Σ = {0,1} 0 0,R 1 1,R Γ = {0,1, } Funzione : (q 1,0)=(q 1,0,R) (q 1,1)=(q 2,1,R) (q 2, )=(q accetta,1,r) (q 2,0)=(q accetta,1,r) 1R) q1 1 1,R q accetta q2 0 1,R 1,RR (q 2,1)=(q 2,1,R) q
23 Esempio di MdT M = {Q,Σ, Σ Γ,,q 1,q accetta,q rifiuta } Q = {q 1, q 2, q accetta,q rifiuta } Σ = {0,1} 0 0,R 1 1,R Γ = {0,1, } Funzione : (q 1,0)=(q 1,0,R) (q 1,1)=(q 2,1,R) (q 2, )=(q accetta,1,r) (q 2,0)=(q accetta,1,r) 1R) q1 1 1,R q accetta q2 0 1,R 1,RR (q 2,1)=(q 2,1,R) q
24 Esempio di MdT M = {Q,Σ, Σ Γ,,q 1,q accetta,q rifiuta } Q = {q 1, q 2, q accetta,q rifiuta } Σ = {0,1} 0 0,R 1 1,R Γ = {0,1, } Funzione : (q 1,0)=(q 1,0,R) (q 1,1)=(q 2,1,R) (q 2, )=(q accetta,1,r) (q 2,0)=(q accetta,1,r) 1R) q1 1 1,R q accetta q2 0 1,R 1,RR (q 2,1)=(q 2,1,R) q
25 Esempio di MdT M = {Q,Σ, Σ Γ,,q 1,q accetta,q rifiuta } Q = {q 1, q 2, q accetta,q rifiuta } Σ = {0,1} 0 0,R 1 1,R Γ = {0,1, } Funzione : (q 1,0)=(q 1,0,R) (q 1,1)=(q 2,1,R) (q 2, )=(q accetta,1,r) (q 2,0)=(q accetta,1,r) 1R) q1 1 1,R q accetta q2 0 1,R 1,RR (q 2,1)=(q 2,1,R) q accetta
26 MdT: accettare una stringa La MdT M si ferma quando entra nello stato q accetta o q rifiuta. La MdT M accetta la stringa w se, a un certo punto, t ll t t entra nello stato q accetta
27 Linguaggi i e automi Ricordiamo che un linguaggio è un insieme di stringhe. Vediamo quindi alcune definizioni analoghe a quelle già fornite in relazione agli automi finiti e agli automi a pila. Automi finiti Macchine di Turing L automa finito M riconosce il linguaggio A se M accetta tutte le stringhe di A
28 Linguaggi i e automi Ricordiamo che un linguaggio è un insieme di stringhe. Vediamo quindi alcune definizioni analoghe a quelle già fornite in relazione agli automi finiti e agli automi a pila. Automi finiti Macchine di Turing L automa finito M riconosce il La macchina di Turing M linguaggio A se M accetta tutte riconosce il linguaggio A se M le stringhe di A accetta tutte le stringhe di A
29 Linguaggi i e automi Ricordiamo che un linguaggio è un insieme di stringhe. Vediamo quindi alcune definizioni analoghe a quelle già fornite in relazione agli automi finiti e agli automi a pila. Automi finiti Macchine di Turing L automa finito M riconosce il La macchina di Turing M linguaggio A se M accetta tutte riconosce il linguaggio A se M le stringhe di A accetta tutte le stringhe di A Un linguaggio (insieme di stringhe) è detto regolare se esiste un automa finito che lo riconosce
30 Linguaggi i e automi Ricordiamo che un linguaggio è un insieme di stringhe. Vediamo quindi alcune definizioni analoghe a quelle già fornite in relazione agli automi finiti e agli automi a pila. Automi finiti Macchine di Turing L automa finito M riconosce il La macchina di Turing M linguaggio A se M accetta tutte riconosce il linguaggio A se M le stringhe di A accetta tutte le stringhe di A Un linguaggio (insieme di Un linguaggio (insieme di stringhe) è detto regolare se stringhe) è detto Turing- esiste un automa finito che lo riconoscibile se esiste una riconosce MdT che lo riconosce
31 Quali tipi di linguaggi sono riconosciuti dalle MdT? Linguaggi Automi Grammatiche di livello ll 0 Macchine di Turing Grammatiche di livello 1 (o non decrescenti) Grammatiche di livello 2 (o libere da contesto) Grammatiche di livello 3 (o lineari) Macchine di Turing (variante) Automi a pila Automi finiti Le MdT superano le capacità di calcolo degli automi Le MdT superano le capacità di calcolo degli automi finiti e degli automi a pila!
32 Automi e riconoscimento i di linguaggi i raffigurazione intuitiva delle relazioni tra gli automi visti finora, in termini di capacità di riconoscimento di linguaggi macchine di Turing automi finiti automi a pila
Le Macchine di Turing
Le Macchine di Turing Come è fatta una MdT? Una MdT è definita da: un nastro una testina uno stato interno un programma uno stato iniziale Il nastro Il nastro è infinito suddiviso in celle In una cella
DettagliEsercizio su MT. Svolgimento
Esercizio su MT Definire una macchina di Turing deterministica M a nastro singolo e i concetti di configurazione e di transizione. Sintetizzare una macchina di Turing trasduttore che trasformi un numero
DettagliAppunti sulla Macchina di Turing. Macchina di Turing
Macchina di Turing Una macchina di Turing è costituita dai seguenti elementi (vedi fig. 1): a) una unità di memoria, detta memoria esterna, consistente in un nastro illimitato in entrambi i sensi e suddiviso
DettagliAlgoritmi e Complessità
Algoritmi e Complessità Università di Camerino Corso di Laurea in Informatica (tecnologie informatiche) III periodo didattico Docente: Emanuela Merelli Email:emanuela.merelli@unicam.it Lezione 2 Teoria
DettagliVarianti Macchine di Turing
Varianti Macchine di Turing Esistono definizioni alternative di macchina di Turing. Chiamate Varianti. Tra queste vedremo: MdT a più nastri e MdT non deterministiche. Mostriamo: tutte le varianti ragionevoli
DettagliLa macchina universale
La macchina universale Una immediata conseguenza della dimostrazione è la seguente Corollario il linguaggio L H = {M (w) M rappresenta una macchina di Turing che si ferma con input w} sull alfabeto {0,1}*
DettagliMacchine di Turing, problemi ricorsivi e ricorsivamente enumerabili
Macchine di Turing, problemi ricorsivi e ricorsivamente enumerabili roblemi che i calcolatori non possono risolvere E importante sapere se un programma e corretto, cioe fa quello che ci aspettiamo. E facile
DettagliIl test di Turing. Seminario. Ester Dalvit. 22 marzo 2005. Il test di Turing p. 1/1
Il test di Turing Seminario Ester Dalvit 22 marzo 2005 Il test di Turing p. 1/1 Intelligenza artificiale Una macchina compie in modo efficiente e veloce attività come eseguire calcoli aritmetici Il test
DettagliElementi di Informatica e Programmazione
Elementi di Informatica e Programmazione Il concetto di Algoritmo e di Calcolatore Corsi di Laurea in: Ingegneria Civile Ingegneria per l Ambiente e il Territorio Università degli Studi di Brescia Cos
DettagliNote del corso di Calcolabilità e Linguaggi Formali - Lezione 6
Note del corso di Calcolabilità e Linguaggi Formali - Lezione 6 Alberto Carraro 30 novembre DAIS, Universitá Ca Foscari Venezia http://www.dsi.unive.it/~acarraro 1 Funzioni Turing-calcolabili Finora abbiamo
DettagliSiamo così arrivati all aritmetica modulare, ma anche a individuare alcuni aspetti di come funziona l aritmetica del calcolatore come vedremo.
DALLE PESATE ALL ARITMETICA FINITA IN BASE 2 Si è trovato, partendo da un problema concreto, che con la base 2, utilizzando alcune potenze della base, operando con solo addizioni, posso ottenere tutti
DettagliSommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi.
Algoritmi 1 Sommario Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. 2 Informatica Nome Informatica=informazione+automatica. Definizione Scienza che si occupa dell
DettagliFondamenti di Informatica. Computabilità e Macchine di Turing. Prof. Franco Zambonelli Gennaio 2011
Fondamenti di Informatica Computabilità e Macchine di Turing Prof. Franco Zambonelli Gennaio 2011 Letture Consigliate: Roger Penrose, La Mente Nuova dell Imperatore, Sansoni Editrice. Martin Davis, Il
DettagliL interesse nella macchina di Turing
Aniello Murano Macchina di Turing universale e problema della fermata 6 Lezione n. Parole chiave: Universal Turing machine Corso di Laurea: Informatica Codice: Email Docente: murano@ na.infn.it A.A. 2008-2009
DettagliLe parole dell informatica: modello di calcolo, complessità e trattabilità
Le parole dell informatica: modello di calcolo, complessità e trattabilità Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine Ciclo di seminari su un Vocabolario
DettagliMacchine di Turing. a n B B. Controllo Finito
Macchine di Turing Il modello standard di macchina di Turing era un controllo finito, un nastro di input, diviso in celle, e una testina che prende in considerazione una cella del nastro alla volta. Il
DettagliG3. Asintoti e continuità
G3 Asintoti e continuità Un asintoto è una retta a cui la funzione si avvicina sempre di più senza mai toccarla Non è la definizione formale, ma sicuramente serve per capire il concetto di asintoto Nei
DettagliLa pista del mio studio Riflettiamo sulla pista. Guida per l insegnante
Riflettiamo sulla pista Guida per l insegnante Obiettivi educativi generali Compito di specificazione - possiede capacità progettuale - è in grado di organizzare il proprio tempo e di costruire piani per
DettagliIl principio di induzione e i numeri naturali.
Il principio di induzione e i numeri naturali. Il principio di induzione è un potente strumento di dimostrazione, al quale si ricorre ogni volta che si debba dimostrare una proprietà in un numero infinito
DettagliDimensione di uno Spazio vettoriale
Capitolo 4 Dimensione di uno Spazio vettoriale 4.1 Introduzione Dedichiamo questo capitolo ad un concetto fondamentale in algebra lineare: la dimensione di uno spazio vettoriale. Daremo una definizione
DettagliLeggere un messaggio. Copyright 2009 Apogeo
463 Leggere un messaggio SyllabuS 7.6.3.3 Per contrassegnare un messaggio selezionato puoi fare clic anche sulla voce di menu Messaggio > Contrassegna messaggio. Marcare, smarcare un messaggio I messaggi
DettagliIntroduzione alla programmazione in C
Introduzione alla programmazione in C Testi Consigliati: A. Kelley & I. Pohl C didattica e programmazione B.W. Kernighan & D. M. Ritchie Linguaggio C P. Tosoratti Introduzione all informatica Materiale
DettagliGli array. Gli array. Gli array. Classi di memorizzazione per array. Inizializzazione esplicita degli array. Array e puntatori
Gli array Array e puntatori Laboratorio di Informatica I un array è un insieme di elementi (valori) avente le seguenti caratteristiche: - un array è ordinato: agli elementi dell array è assegnato un ordine
DettagliDispense di Informatica per l ITG Valadier
La notazione binaria Dispense di Informatica per l ITG Valadier Le informazioni dentro il computer All interno di un calcolatore tutte le informazioni sono memorizzate sottoforma di lunghe sequenze di
DettagliSchemi delle Lezioni di Matematica Generale. Pierpaolo Montana
Schemi delle Lezioni di Matematica Generale Pierpaolo Montana Al-giabr wa al-mukabalah di Al Khuwarizmi scritto approssimativamente nel 820 D.C. Manuale arabo da cui deriviamo due nomi: Algebra Algoritmo
DettagliIntelligenza Artificiale
Intelligenza Artificiale Esercizi e Domande di Esame Tecniche di Ricerca e Pianificazione Esercizi Griglia Si consideri un ambiente costituito da una griglia n n in cui si muove un agente che può spostarsi
DettagliINTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI
INTRODUZIONE AGLI ALGORITMI Prima di riuscire a scrivere un programma, abbiamo bisogno di conoscere un metodo risolutivo, cioè un metodo che a partire dai dati di ingresso fornisce i risultati attesi.
DettagliAppunti del corso di Informatica 1 (IN110 Fondamenti) 2 Algoritmi e diagrammi di flusso
Università Roma Tre Facoltà di Scienze M.F.N. Corso di Laurea in Matematica Appunti del corso di Informatica 1 (IN110 Fondamenti) 2 Algoritmi e diagrammi di flusso Marco Liverani (liverani@mat.uniroma3.it)
DettagliOSSERVAZIONI TEORICHE Lezione n. 4
OSSERVAZIONI TEORICHE Lezione n. 4 Finalità: Sistematizzare concetti e definizioni. Verificare l apprendimento. Metodo: Lettura delle OSSERVAZIONI e risoluzione della scheda di verifica delle conoscenze
DettagliRegistri. «a2» 2013.11.11 --- Copyright Daniele Giacomini -- appunti2@gmail.com http://informaticalibera.net
«a2» 2013.11.11 --- Copyright Daniele Giacomini -- appunti2@gmail.com http://informaticalibera.net Registri Registri semplici....................................... 1823 Registri a scorrimento..................................
DettagliAutomi. Sono così esempi di automi una lavatrice, un distributore automatico di bibite, un interruttore, una calcolatrice tascabile,...
Automi Con il termine automa 1 s intende un qualunque dispositivo o un suo modello, un qualunque oggetto, che esegue da se stesso un particolare compito, sulla base degli stimoli od ordini ricevuti detti
DettagliCREAZIONE DI UN DATABASE E DI TABELLE IN ACCESS
CONTENUTI: CREAZIONE DI UN DATABASE E DI TABELLE IN ACCESS Creazione database vuoto Creazione tabella Inserimento dati A) Creazione di un database vuoto Avviamo il programma Microsoft Access. Dal menu
DettagliPolitecnico di Milano Facoltà di Ingegneria dell Informazione AGENTI AUTONOMI E SISTEMI MULTIAGENTE Appello COGNOME E NOME
Politecnico di Milano Facoltà di Ingegneria dell Informazione AGENTI AUTONOMI E SISTEMI MULTIAGENTE Appello COGNOME E NOME 5 luglio 2006 RIGA COLONNA MATRICOLA Il presente plico pinzato, composto di quattro
Dettagliun nastro di carta prolungabile a piacere e suddiviso in celle vuote o contenenti al più un unico carattere;
Algoritmi 3 3.5 Capacità di calcolo Il matematico inglese Alan Turing (1912-1954) descrisse nel 1936 un tipo di automi, oggi detti macchine di Turing, e fornì una della prime definizioni rigorose di esecuzione
DettagliElementi di Architettura e Sistemi Operativi. problema punti massimi i tuoi punti problema 1 6 problema 2 7 problema 3 7 problema 4 10 totale 30
Elementi di Architettura e Sistemi Operativi Bioinformatica - Tiziano Villa 22 Giugno 2012 Nome e Cognome: Matricola: Posta elettronica: problema punti massimi i tuoi punti problema 1 6 problema 2 7 problema
DettagliGestionalino-Base è un Software che gestisce altri Software Specifici progettati per
Tempi & Metodi di Giorgio Andreani Servizi di Controllo e di Organizzazione dei Processi Produttivi Iscrizione al Registro delle Imprese CCIAA di Verona REA 357269 Partita Iva 03686020235 - Cod. Fisc.
Dettagli4 3 4 = 4 x 10 2 + 3 x 10 1 + 4 x 10 0 aaa 10 2 10 1 10 0
Rappresentazione dei numeri I numeri che siamo abituati ad utilizzare sono espressi utilizzando il sistema di numerazione decimale, che si chiama così perché utilizza 0 cifre (0,,2,3,4,5,6,7,8,9). Si dice
DettagliI PROBLEMI ALGEBRICI
I PROBLEMI ALGEBRICI La risoluzione di problemi è una delle attività fondamentali della matematica. Una grande quantità di problemi è risolubile mediante un modello algebrico costituito da equazioni e
DettagliEsempi di algoritmi. Lezione III
Esempi di algoritmi Lezione III Scopo della lezione Implementare da zero algoritmi di media complessità. Verificare la correttezza di un algoritmo eseguendolo a mano. Imparare a valutare le prestazioni
DettagliAnno 3. Funzioni: dominio, codominio e campo di esistenza
Anno 3 Funzioni: dominio, codominio e campo di esistenza 1 Introduzione In questa lezione parleremo delle funzioni. Ne daremo una definizione e impareremo a studiarne il dominio in relazione alle diverse
DettagliFasi di creazione di un programma
Fasi di creazione di un programma 1. Studio Preliminare 2. Analisi del Sistema 6. Manutenzione e Test 3. Progettazione 5. Implementazione 4. Sviluppo 41 Sviluppo di programmi Per la costruzione di un programma
DettagliTeoria dei Giochi. Anna Torre
Teoria dei Giochi Anna Torre Almo Collegio Borromeo 26 marzo 2015 email: anna.torre@unipv.it sito web del corso:www-dimat.unipv.it/atorre/borromeo2015.html COOPERAZIONE Esempio: strategie correlate e problema
DettagliFunzioni funzione dominio codominio legge argomento variabile indipendente variabile dipendente
Funzioni In matematica, una funzione f da X in Y consiste in: 1. un insieme X detto dominio di f 2. un insieme Y detto codominio di f 3. una legge che ad ogni elemento x in X associa uno ed un solo elemento
DettagliModello Relazionale. Modello Relazionale. Relazioni - Prodotto Cartesiano. Relazione: tre accezioni. Es. Dati gli insiemi
Modello Relazionale Modello Relazionale Proposto agli inizi degli anni 70 da Codd Finalizzato alla realizzazione dell indipendenza dei dati Unisce concetti derivati dalla teoria degli insiemi (relazioni)
DettagliAlgoritmo. I dati su cui opera un'istruzione sono forniti all'algoritmo dall'esterno oppure sono il risultato di istruzioni eseguite precedentemente.
Algoritmo Formalmente, per algoritmo si intende una successione finita di passi o istruzioni che definiscono le operazioni da eseguire su dei dati (=istanza del problema): in generale un algoritmo è definito
DettagliESEMPIO 1: eseguire il complemento a 10 di 765
COMPLEMENTO A 10 DI UN NUMERO DECIMALE Sia dato un numero N 10 in base 10 di n cifre. Il complemento a 10 di tale numero (N ) si ottiene sottraendo il numero stesso a 10 n. ESEMPIO 1: eseguire il complemento
DettagliNozione di algoritmo. Gabriella Trucco
Nozione di algoritmo Gabriella Trucco Programmazione Attività con cui si predispone l'elaboratore ad eseguire un particolare insieme di azioni su particolari informazioni (dati), allo scopo di risolvere
DettagliAPPUNTI DI MATEMATICA ALGEBRA \ INSIEMISTICA \ TEORIA DEGLI INSIEMI (1)
ALGEBRA \ INSIEMISTICA \ TEORIA DEGLI INSIEMI (1) Un insieme è una collezione di oggetti. Il concetto di insieme è un concetto primitivo. Deve esistere un criterio chiaro, preciso, non ambiguo, inequivocabile,
DettagliLinguaggi formali e compilazione
Linguaggi formali e compilazione Corso di Laurea in Informatica A.A. 2015/2016 Linguaggi formali e compilazione Elementi generali Un parser generico di tipo procede operando una sequenza di riduzioni a
DettagliCapitolo 7: Teoria generale della calcolabilitá
Capitolo 7: Teoria generale della calcolabilitá 1 Differenti nozioni di calcolabilitá (che seguono da differenti modelli di calcolo) portano a definire la stessa classe di funzioni. Le tecniche di simulazione
DettagliNote del corso di Calcolabilità e Linguaggi Formali - Lezione 5
Note del corso di Calcolabilità e Linguaggi Formali - Lezione 5 Alberto Carraro 23 novembre 2011 DAIS, Universitá Ca Foscari Venezia http://www.dsi.unive.it/~acarraro 1 Macchine di Turing Le Macchine d
DettagliINDICE mywellness key mywellness key mywellness key mywellness key mywellness key
MANUALE D USO IT 1 INDICE 1. mywellness key... 3 2. Cos è mywellness key... 3 3. Cosa sono i Move... 4 4. Cosa visualizza il display... 5 5. Come indossare mywellness key... 7 6. Primo utilizzo... 8 7.
DettagliLaboratorio di Informatica di Base Archivi e Basi di Dati
Laboratorio di Informatica di Base Archivi e Basi di Dati Introduzione La memorizzazione dei dati è un aspetto molto importante dell informatica Oggi, mediante i computer, è possibile memorizzare e modificare
DettagliMacchine a stati finiti G. MARSELLA UNIVERSITÀ DEL SALENTO
Macchine a stati finiti 1 G. MARSELLA UNIVERSITÀ DEL SALENTO Introduzione Al più alto livello di astrazione il progetto logico impiega un modello, la cosiddetta macchina a stati finiti, per descrivere
DettagliLogica Algoritmi Cognizione
Logica Algoritmi Cognizione Le nozioni di DECIDIBILITÀ e COMPUTABILITÀ e i loro limiti Formulazione della logica in termini di teorie formalizzate e di dimostrazioni (all interno di teorie formalizzate)
DettagliAPPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI
APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI Indice 1 Le frazioni algebriche 1.1 Il minimo comune multiplo e il Massimo Comun Divisore fra polinomi........ 1. Le frazioni algebriche....................................
DettagliMisure di base su una carta. Calcoli di distanze
Misure di base su una carta Calcoli di distanze Per calcolare la distanza tra due punti su una carta disegnata si opera nel modo seguente: 1. Occorre identificare la scala della carta o ricorrendo alle
DettagliMacchine a stati finiti. Sommario. Sommario. M. Favalli. 5th June 2007
Sommario Macchine a stati finiti M. Favalli 5th June 27 4 Sommario () 5th June 27 / 35 () 5th June 27 2 / 35 4 Le macchine a stati si utilizzano per modellare di sistemi fisici caratterizzabili mediante:
Dettagli2. Semantica proposizionale classica
20 1. LINGUAGGIO E SEMANTICA 2. Semantica proposizionale classica Ritorniamo un passo indietro all insieme dei connettivi proposizionali che abbiamo utilizzato nella definizione degli enunciati di L. L
DettagliTipologie di macchine di Turing
Tipologie di macchine di Turing - Macchina di Turing standard - Macchina di Turing con un nastro illimitato in una sola direzione - Macchina di Turing multinastro - Macchina di Turing non deterministica
Dettagli19. Inclusioni tra spazi L p.
19. Inclusioni tra spazi L p. Nel n. 15.1 abbiamo provato (Teorema 15.1.1) che, se la misura µ è finita, allora tra i corispondenti spazi L p (µ) si hanno le seguenti inclusioni: ( ) p, r ]0, + [ : p
DettagliPROVA INTRACORSO TRACCIA A Pagina 1 di 6
PROVA INTRACORSO DI ELEMENTI DI INFORMATICA MATRICOLA COGNOME E NOME TRACCIA A DOMANDA 1 Calcolare il risultato delle seguenti operazioni binarie tra numeri interi con segno rappresentati in complemento
DettagliCapitolo 6: Modelli di calcolo per linguaggi imperativi e funzionali
Capitolo 6: Modelli di calcolo per linguaggi imperativi e funzionali 1 Modelli imperativi: le RAM (Random Access Machine) I modelli di calcolo imperativi sono direttamente collegati al modello Von Neumann,
DettagliIntroduzione all Information Retrieval
Introduzione all Information Retrieval Argomenti della lezione Definizione di Information Retrieval. Information Retrieval vs Data Retrieval. Indicizzazione di collezioni e ricerca. Modelli per Information
DettagliInformatica 3. Informatica 3. LEZIONE 10: Introduzione agli algoritmi e alle strutture dati. Lezione 10 - Modulo 1. Importanza delle strutture dati
Informatica 3 Informatica 3 LEZIONE 10: Introduzione agli algoritmi e alle strutture dati Modulo 1: Perchè studiare algoritmi e strutture dati Modulo 2: Definizioni di base Lezione 10 - Modulo 1 Perchè
DettagliSICURF@D: istruzioni per l uso
: istruzioni per l uso : istruzioni per l uso Indice 1. Premessa 2 2. La registrazione 2 3. L accesso all area per utenti registrati 2 4. La consultazione dei manuali 3 5. L utilizzo degli strumenti di
DettagliLo sviluppo del linguaggio l idea di lettura e scrittura e il numero nella scuola dell infanzia Marialuisa Antoniotti Claudio Turello
Lo sviluppo del linguaggio l idea di lettura e scrittura e il numero nella scuola dell infanzia Marialuisa Antoniotti Claudio Lo sviluppo delle abilità numeriche La psicologia genetica (Piaget 1896-1980)
DettagliAdobe Flash CS5.5 e Web Animation. Lezione 7: introduzione ad ActionScript 3.0, livelli guida, realizzazione di un player audio in streaming
Adobe Flash CS5.5 e Web Animation Lezione 7: introduzione ad ActionScript 3.0, livelli guida, realizzazione di un player audio in streaming Cos è ActionScript ActionScript è il linguaggio di programmazione
DettagliI sistemi di numerazione
I sistemi di numerazione 01-INFORMAZIONE E SUA RAPPRESENTAZIONE Sia dato un insieme finito di caratteri distinti, che chiameremo alfabeto. Utilizzando anche ripetutamente caratteri di un alfabeto, si possono
Dettaglia b c Figura 1 Generatori ideali di tensione
Generatori di tensione e di corrente 1. La tensione ideale e generatori di corrente Un generatore ideale è quel dispositivo (bipolo) che fornisce una quantità di energia praticamente infinita (generatore
DettagliUNIVERSITÀ DEGLI STUDI DI TERAMO
UNIVERSITÀ DEGLI STUDI DI TERAMO CORSO DI LAUREA IN ECONOMIA BANCARIA FINANZIARIA ED ASSICURATIVA (Classe 7) Corso di Matematica per l Economia (Prof. F. Eugeni) TEST DI INGRESSO Teramo, ottobre 00 SEZIONE
DettagliLe funzioni continue. A. Pisani Liceo Classico Dante Alighieri A.S. 2002-03. A. Pisani, appunti di Matematica 1
Le funzioni continue A. Pisani Liceo Classico Dante Alighieri A.S. -3 A. Pisani, appunti di Matematica 1 Nota bene Questi appunti sono da intendere come guida allo studio e come riassunto di quanto illustrato
DettagliFondamenti di informatica per la sicurezza anno accademico 2004 2005 docente: Stefano Ferrari
Corso di Laurea in icurezza dei sistemi e delle reti informatiche Fondamenti di informatica per la sicurezza anno accademico 2004 2005 docente: tefano Ferrari 25.01.2005 del secondo compitino vers. D valutazioni
DettagliLABORATORIO DI MATEMATICA RENDITE, AMMORTAMENTI, LEASING CON EXCEL
LABORATORIO DI MATEMATICA RENDITE, AMMORTAMENTI, LEASING CON EXCEL ESERCITAZIONE GUIDATA: LE RENDITE 1. Il montante di una rendita immediata posticipata Utilizzando Excel, calcoliamo il montante di una
DettagliIstruzioni per l uso del Catalogo di Ateneo (OPAC)
Istruzioni per l uso del Catalogo di Ateneo (OPAC) A cura della Biblioteca di Scienze del Linguaggio Introduzione al nuovo OPAC Il nuovo catalogo online delle Biblioteche di Ca Foscari fa ora parte del
Dettagli1. PRIME PROPRIETÀ 2
RELAZIONI 1. Prime proprietà Il significato comune del concetto di relazione è facilmente intuibile: due elementi sono in relazione se c è un legame tra loro descritto da una certa proprietà; ad esempio,
DettagliI M P O S T A R E U N A C C O U N T D I P O S T A C O N M O Z I L L A T H U N D E R B I R D
I M P O S T A R E U N A C C O U N T D I P O S T A C O N M O Z I L L A T H U N D E R B I R D C O N F I G U R A R E L A M A I L 1) Aperto il programma, cliccare su strumenti > impostazioni account. 2) Si
DettagliLE FUNZIONI A DUE VARIABILI
Capitolo I LE FUNZIONI A DUE VARIABILI In questo primo capitolo introduciamo alcune definizioni di base delle funzioni reali a due variabili reali. Nel seguito R denoterà l insieme dei numeri reali mentre
DettagliMETODI per effettuare previsioni con analisi di tipo WHAT-IF
METODI per effettuare previsioni con analisi di tipo WHAT-IF 1. TABELLA DATI Una tabella di dati è un intervallo che mostra come la modifica di alcuni valori nelle formule ne influenza i risultati. Le
DettagliGHPPEditor è un software realizzato per produrre in modo rapido e guidato un part program per controlli numerici Heidenhain.
*+33(GLWRU GHPPEditor è un software realizzato per produrre in modo rapido e guidato un part program per controlli numerici Heidenhain. Il programma si basa su un architettura di tasti funzionali presenti
Dettagli( x) ( x) 0. Equazioni irrazionali
Equazioni irrazionali Definizione: si definisce equazione irrazionale un equazione in cui compaiono uno o più radicali contenenti l incognita. Esempio 7 Ricordiamo quanto visto sulle condizioni di esistenza
DettagliArchitettura degli Elaboratori I Esercitazione 1 - Rappresentazione dei numeri
Architettura degli Elaboratori I Esercitazione 1 - Rappresentazione dei numeri 1 Da base 2 a base 10 I seguenti esercizi richiedono di convertire in base 10 la medesima stringa binaria codificata rispettivamente
DettagliArchitettura di un computer
Architettura di un computer Modulo di Informatica Dott.sa Sara Zuppiroli A.A. 2012-2013 Modulo di Informatica () Architettura A.A. 2012-2013 1 / 36 La tecnologia Cerchiamo di capire alcuni concetti su
DettagliOrigini e caratteristiche dei calcolatori elettronici
Origini e caratteristiche dei calcolatori elettronici Lunedì, 09 ottobre 2006 Supercomputer, mainframe 1 Server, workstation, desktop, notebook, palmare Un po di storia 1642 Biagio Pascal 1671 Leibniz
DettagliIl seguente esempio ha lo scopo di illustrare i 3 tipi di relazione 1:1,1:N,N:N. Tabella Conto: Tabella Conto:
Il seguente esempio ha lo scopo di illustrare i 3 tipi di relazione 1:1,1:N,N:N. Tabella Conto: Tabella Conto: Tabella Cliente: Tabella NumTel: Tabella Dati_Cliente: L'esempio è per ragioni di chiarezza
DettagliLaboratorio di Architettura degli Elaboratori A.A. 2015/16 Circuiti Logici
Laboratorio di Architettura degli Elaboratori A.A. 2015/16 Circuiti Logici Per ogni lezione, sintetizzare i circuiti combinatori o sequenziali che soddisfino le specifiche date e quindi implementarli e
DettagliPercorsi di matematica per il ripasso e il recupero
Giacomo Pagina Giovanna Patri Percorsi di matematica per il ripasso e il recupero 1 per la Scuola secondaria di secondo grado UNITÀ CMPIONE Edizioni del Quadrifoglio à t i n U 1 Insiemi La teoria degli
DettagliTeoria degli insiemi
Teoria degli insiemi pag 1 Easy Matematica di dolfo Scimone Teoria degli insiemi Il concetto di insieme si assume come primitivo, cioè non riconducibile a concetti precedentemente definiti. Sinonimi di
DettagliOsservazioni sulla continuità per le funzioni reali di variabile reale
Corso di Matematica, I modulo, Università di Udine, Osservazioni sulla continuità Osservazioni sulla continuità per le funzioni reali di variabile reale Come è noto una funzione è continua in un punto
DettagliLe query. Lezione 6 a cura di Maria Novella Mosciatti
Lezione 6 a cura di Maria Novella Mosciatti Le query Le query sono oggetti del DB che consentono di visualizzare, modificare e analizzare i dati in modi diversi. Si possono utilizzare query come origine
DettagliNote Operative per Accedere alla Posta Elettronica Certificata (PEC) Obbligo Iscrizioni 2011
Note Operative per Accedere alla Posta Elettronica Certificata (PEC) Obbligo Iscrizioni 2011 Indirizzo web = https://webmail.pec.leonet.it/ E possibile accedere anche dal nostro sito www.agriro.net (alias
DettagliL amministratore di dominio
L amministratore di dominio Netbuilder consente ai suoi clienti di gestire autonomamente le caselle del proprio dominio nel rispetto dei vincoli contrattuali. Ciò è reso possibile dall esistenza di un
DettagliDropbox di classe. É un servizio internet fornito gratuitamente (funzioni base).
Dropbox di classe Lo scopo del servizio Dropbox di classe è quello di far conoscere ai docenti del nostro istituto il funzionamento di un sistema di Cloud Storage, pronto e facile da usare, per esplorare
DettagliRicorsione. Rosario Culmone. - p. 1/13
Ricorsione Rosario Culmone - p. 1/13 Induzione e Ricorsione Spesso utilizzeremo le definizioni induttive. Sono forme di definizione compatte che descrivono un numero infinito di elementi. I contesti di
DettagliEsercitazione del 16-11-11 Analisi I
Esercitazione del 6-- Analisi I Dott.ssa Silvia Saoncella silvia.saoncella 3[at]studenti.univr.it a.a. 00-0 Esercizio. Determinare se la funzione f() è continua nel suo dominio sin se 0 f() = 0 se = 0
DettagliCos è un Calcolatore?
Cos è un Calcolatore? Definizione A computer is a machine that manipulates data according to a (well-ordered) collection of instructions. 24/105 Riassumendo... Un problema è una qualsiasi situazione per
DettagliCOMUNIC@CTION INVIO SMS
S I G e s t S.r.l S e d e l e g a l e : V i a d e l F o r n o 3 19125 L a S p e z i a T e l e f o n o 0187/284510/15 - F a x 0187/525519 P a r t i t a I V A 01223450113 COMUNIC@CTION INVIO SMS GUIDA ALL
DettagliMacchine a stati finiti. Sommario. Sommario. M. Favalli. Le macchine a stati si utilizzano per modellare di sistemi fisici caratterizzabili mediante:
Sommario Macchine a stati finiti M. Favalli Engineering Department in Ferrara 4 Sommario (ENDIF) Analisiesintesideicircuitidigitali / 35 (ENDIF) Analisiesintesideicircuitidigitali 2 / 35 4 Le macchine
DettagliCapitolo 3. L applicazione Java Diagrammi ER. 3.1 La finestra iniziale, il menu e la barra pulsanti
Capitolo 3 L applicazione Java Diagrammi ER Dopo le fasi di analisi, progettazione ed implementazione il software è stato compilato ed ora è pronto all uso; in questo capitolo mostreremo passo passo tutta
DettagliLEZIONE 7. Esercizio 7.1. Quale delle seguenti funzioni è decrescente in ( 3, 0) e ha derivata prima in 3 che vale 0? x 3 3 + x2. 2, x3 +2x +3.
7 LEZIONE 7 Esercizio 7.1. Quale delle seguenti funzioni è decrescente in ( 3, 0) e ha derivata prima in 3 che vale 0? x 3 3 + x2 2 6x, x3 +2x 2 6x, 3x + x2 2, x3 +2x +3. Le derivate sono rispettivamente,
Dettagli