Risposte ai quesiti posti negli appelli della prima sessione LOGICA E COMUNICAZIONE, A.A. 2008-2009, 12 CFU



Documenti analoghi
La nozione di algoritmo

Fondamenti d Informatica: Le Macchine di Turing. Barbara Re, Phd

Logica Algoritmi Cognizione

Macchine di Turing. Francesco Paoli. Istituzioni di logica, Francesco Paoli (Istituzioni di logica, ) Macchine di Turing 1 / 29

Informatica teorica Lez. n 7 Macchine di Turing. Macchine di Turing. Prof. Giorgio Ausiello Università di Roma La Sapienza

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

Sesto modulo: Logica Obiettivi 1. individuare dei "calcoli logici" che consentano di meccanizzare l attività deduttiva

Macchina di Turing ... !!... !!! a b b! b a! Nastro di Input. testina. s t q i. s r. Unità di Controllo q j S / D / F

Prerequisiti Matematici

MODULO 1. Prof. Onofrio Greco. Prof. Greco Onofrio

Testi di esame precedenti a.a. e soluzioni

Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati;

Due tipi di logica. Gianluigi Bellin

Capitolo 5: Macchine di Turing e calcolabilitá secondo Turing

Informatica e Laboratorio di Programmazione Automi Alberto Ferrari. Alberto Ferrari Informatica e Laboratorio di Programmazione

Corso di Elementi di Informatica Anno accademico 2015/16

Turing cercò di fornire una risposta matematica al problema CHE COSA SIGNIFICA CALCOLARE?

ALGORITMI E COMPLESSITA COMPUTAZIONALI LA MACCHINA DI TURING.

Metodo alternativo per il calcolo delle divisioni.

VALORE MINIMO DEL RENDIMENTO DI COMBUSTIONE DEI GENERATORI DI CALORE RILEVABILE NEL CORSO DEI CONTROLLI DI EFFICIENZA ENERGETICA

Cenni di Logica. Hynek Kovarik. Università di Brescia. Analisi Matematica 1

LIBRO ADOTTATO. A. FACCHINI: ALGEBRA E MATEMATICA DISCRETA, ed. ZANICHELLI LIBRI CONSIGLIATI

Circuiti digitali combinatori

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

LOGICA PER LA PROGRAMMAZIONE a.a. 2016/17 Seconda esercitazione - 11/10/16 - Soluzioni Proposte

Curriculum AMMINISTRAZIONE E CONTROLLO STRATEGICO I anno (63 CFU)

Macchine di TURING. Alan Mathison Turing ( )

INSEGNAMENTI OPZIONALI GRUPPO 1

Fondamenti di Informatica. Ipotesi fondamentale. Irrisolubilità. Prof. V.L. Plantamura Informatica e Comunicazione Digitale a.a.

Macchina di Turing. La macchina di Turing e la realizzazione di una automa ed è costituita da:

Sommario Codifica dei dati Macchina Astratta Definizioni Esempi

Analizzatori sintattici a discesa ricorsiva

Il metodo di eliminazione di Fermat.

Esercizi con catene di Markov Pietro Caputo 12 dicembre 2006

LA LOGICA ESERCIZI. Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità.

Linguaggio della Matematica

Operatori di relazione

LOGICA e INSIEMISTICA

Automi e Macchine. Computabilità. Progetto Nazionale Lauree Scientifiche Licei Fracastoro e Messedaglia Verona, novembre/dicembre 2012.

Algoritmi e Complessità

7. A che serve il calcolo dei sequenti? Dà procedura di decisione

Nome: Cognome: Matr.: Fila: Posto:

NOZIONI DI LOGICA. Premessa

Linguaggio della Matematica

Scelte ed alternative

Sviluppo di programmi

Logica e filosofia della scienza (P) 6 CFU

Introduzione alla logica matematica

1 IL LINGUAGGIO MATEMATICO

si vuole verificare: P5: pioverà

Cenni di logica e calcolo proposizionale

Elementi di Informatica A. A. 2016/2017

ELEMENTI DI LOGICA. Siano p e q le due proposizioni: p: 3 è un numero primo q: 20 è divisibile per 5 Enunciare le proposizioni p q, p q.

SIMULAZIONE I appello 20 dicembre 2018

3.Consigli su come formalizzare in linguaggio formale

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

Elementi di Logica Teoria degli insiemi

Informatica/ Ing. Meccanica/ Edile/ Prof. Verdicchio/ 25/02/2016/ Foglio delle domande / VERSIONE 1

Corso di Laurea in Matematica per l Informatica e la Comunicazione Scientifica

Macchina di Turing. Dipartimento di Elettronica e Informazione Politecnico di Milano. 17 marzo 2017

Economia aziendale: presentazione del corso a.a Prof. Guido Modugno

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

Anno 1. Definizione di Logica e operazioni logiche

Logica e fondamenti di matematica

SIMULAZIONE I appello 11 gennaio 2018

Macchine di Turing: somma di due numeri

Fondamenti di informatica Esercizi Svolti Macchine di Turing. Realizzati da: Roberto Quaranta Matr

Introduzione alla logica matematica. Logica matematica. Paolo Bison

Sviluppo di programmi

a cura di Luca Cabibbo e Walter Didimo

Elementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni.

DIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini

Sviluppo di programmi

Informatica/ Ing. Meccanica/ Edile/ Prof. Verdicchio/ 30/06/2016/ Foglio delle domande / VERSIONE 1

Descrizione di un algoritmo

Turing, i nastri e le macchine

Analisi Matematica A CONTENUTI DEL CORSO. MODALITÀ D ESAME: Prova Scritta + Prova orale. Ingegneria Civile Ingegneria per l Ambiente e il Territorio

15. Nozione di modello e verità di un predicato

10 Logica classica predicativa

Analisi Matematica A

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

Cenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A

Calcolo I, a.a Primo esonero 11 novembre k + 2 k

4 La Logica come base di ogni scienza. 5 Alla ricerca della forma logica. logica

Somma di numeri floating point. Algoritmi di moltiplicazione e divisione per numeri interi

Fasi di creazione di un programma

Programma Annuale. Prof. Meomartino Michele

9 Calcolo dei sequenti LC p

Logica proposizionale

Fondamenti d Informatica: Le Macchine di Turing. Barbara Re, Phd

Dalla precedente lezione: LABORATORIO DI PROGRAMMAZIONE Corso di laurea in matematica 3 LA RAPPRESENTAZIONE DEI DATI (1) 28/02/2016

15. Nozione di modello e verità di un predicato

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni

Macchina di Turing Universale

Chiarificazione sulla forma delle regole del calcolo LC p

Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni

Calcoli dei sequenti classici e lineare

Algoritmi e Principi dell'informatica Seconda Prova in Itinere - 14 Febbraio 2014

L AUTOMA ESECUTORE L AUTOMA ESECUTORE

Transcript:

Risposte ai quesiti posti negli appelli della prima sessione LOGICA E COMUNICAZIONE, A.A. 2008-2009, 12 CFU A) I appello (prova ridotta), 21 gennaio, primo gruppo Le risposte ai quesiti 1,2,4 sono contenute nel libro di testo. 3. Quale numero (scritto in base 10) è rappresentato dalla successione finita di bit 100100? Come si rappresenta in base 2 il numero 37 (in base 10)? a) La successione finita di bit 100100 in base 2 rappresenta il numero che in base 10 si scrive 36. b) Il numero che in base 10 si scrive 37 è rappresentato in base 2 dalla successione finita di bit 100101. 5. Sia X={a,b,c} e Y={a,b,d}. Scrivi gli elementi degli insiemi X Y, X Y, X Y, (X). X Y={a,b}, X Y={a,b,c,d}, X Y={<a,a>,<a,b>,<a,c>,<b,a>,<b,b>,<b,d>, <c,a>,<c,b>,<c,d>}, (X)= {, {a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}} 6. Sia M una Macchina di Turing con queste istruzioni: <s 0,1,1,R,s 0 >, <s 0,0,1,L,s 2 >, <s 2,0,0,R,s 1 >, <s 2,1,1,L,s 2 >. Sia dato a questa macchina un nastro che abbia solo due caselle consecutive piene: (caselle vuote). 001100 (caselle vuote). Sia s 0 lo stato in cui si trova la macchina e sia la prima casella piena da sinistra a destra quella su cui è posizionato il puntatore della macchina M. c) Qual è il numero rappresentato sul nastro? d) Come è fatto il nastro e qual è lo stato della macchina dopo un passo di computazione, dopo due passi di computazione, dopo tre passi di computazione? e) Qual è il numero rappresentato sul nastro dopo tre passi di computazione? Risposta: a) Il numero rappresentato sul nastro è 1. b) Dopo un passo di computazione il nastro è (caselle vuote). 001100 (caselle vuote) e lo stato della macchina è s 0 (il puntatore è posizionato sulla casella sottolineata), dopo due passi di computazione il nastro è (caselle vuote). 001100 (caselle vuote) e lo stato della macchina è s 0 (il puntatore è posizionato sulla casella sottolineata), dopo tre passi di computazione il nastro è (caselle vuote). 001110 (caselle vuote) e lo stato della macchina è s 2 (il puntatore è posizionato sulla casella sottolineata) c) dopo tre passi di computazione sul nastro è rappresentato il numero 2. 1

B) I appello (prova ridotta), 21 gennaio, secondo gruppo Le risposte ai quesiti 1,2,4 sono contenute nel libro di testo. 3. Quale numero (scritto in base 10) è rappresentato dalla successione finita di bit 100110? Come si rappresenta in base 2 il numero 39 (in base 10)? a) La successione finita di bit 100110 in base 2 rappresenta il numero che in base 10 si scrive 38. b) Il numero che in base 10 si scrive 39 è rappresentato in base 2 dalla successione finita di bit 100111. 5. Sia X={0,1,2} e Y={0,3,4}. Scrivi gli elementi degli insiemi X Y, X Y, X Y, (X). X Y={0}, X Y={0,1,2,3,4}, X Y={<0,0>,<0,3>,<0,4>,<1,0>,<1,3>,<1,4>, <2,0>,<2,3>,<2,4>}, (X)= {, {0},{1},{2},{0,1},{0,2},{1,2},{0,1,2}} 6. Sia M una Macchina di Turing con queste istruzioni: <s 0,1,1,R,s 0 >, <s 0,0,1,L,s 2 >, <s 2,0,0,R,s 1 >, <s 2,1,1,L,s 2 >. Sia dato a questa macchina un nastro che abbia solo due caselle consecutive piene: (caselle vuote). 001100 (caselle vuote). Sia s 0 lo stato in cui si trova la macchina e sia la seconda casella piena da sinistra a destra quella su cui è posizionato il puntatore della macchina M. b. Come è fatto il nastro e qual è lo stato della macchina dopo un passo di computazione, dopo due passi di computazione, dopo tre passi di computazione? c. Qual è il numero rappresentato sul nastro dopo tre passi di computazione? Risposta: a) il numero rappresentato sul nastro è 1 b) dopo un passo di computazione il nastro è (caselle vuote). 001100 (caselle vuote) e lo stato della macchina è s 0 (il puntatore è posizionato sulla casella sottolineata), dopo due passi di computazione il nastro è (caselle vuote). 001110 (caselle vuote) e lo stato della macchina è s 2 (il puntatore è posizionato sulla casella sottolineata), dopo tre passi di computazione il nastro è (caselle vuote). 001110 (caselle vuote) e lo stato della macchina è s 2 (il puntatore è posizionato sulla casella sottolineata) c) dopo tre passi di computazione sul nastro è rappresentato il numero 2. 2

C) II appello (prova intera), 22 gennaio Le risposte alle domande 1,2,3,6,7,8,9 sono contenute nel libro di testo. 4. Scrivere usando la seconda lettura odierna la seguente proposizione categorica Nessun politico trascura l opinione pubblica, fare la negazione della proposizione così ottenuta e riscrivere tale negazione in lingua italiana. a) La proposizione si scrive x:t (P(x)? Q(x)) ossia x:t ( P(x) Q(x)) dove T è il tipo di cui si parla, P sta per la proprietà essere politico, Q sta per la proprietà trascurare l opinione pubblica. b) La negazione di quella proposizione è x:t (P(x) Q(x)) c) In lingua italiana la negazione di quella proposizione si scrive Qualche politico trascura l opinione pubblica. 5. Sia A la seguente proposizione: Se Giovanni partecipa a questa prova e riceve un risultato positivo, allora consegue 12 CFU e viene valutato con un voto maggiore di 18. Analizzare A usando i connettivi classici; poi, analizzare A usando soltanto la congiunzione, la disgiunzione e la negazione classiche; infine, fare la negazione della proposizione così ottenuta e riscrivere tale negazione in lingua italiana. a) Analisi di A usando i connettivi classici: B C? D E dove B è Giovanni partecipa a questa prova, C è Giovanni riceve un risultato positivo, D è Giovanni consegue 12 CFU, D è Giovanni viene valutato con un voto maggiore di 18 b) Analisi di A usando soltanto la congiunzione, la disgiunzione e la negazione classica: ( B C) (D E ). c) Negazione della proposizione A : (B C) ( D E). d) La negazione della proposizione A in lingua italiana: Giovanni partecipa a questa prova e riceve un risultato positivo, ma non consegue 12 CFU o non viene valutato con un voto maggiore di 18 10. Sia X={2,3,5,7} e Y={2,4,6}. Scrivi gli elementi degli insiemi X Y, X Y, X Y, (X). Risposta: X Y = {2}, X Y={2,3,4,5,6,7}, X Y = {<2,2>,<2,4>,<2,6>,<3,2>,<3,4>,<3,6>, <5,2>,<5,4>,<5,6>,<7,2>,<7,4>,<7,6>}, (X) = {,{2},{3},{5},{7},{2,3},{2,5},{2,7},{3,5},{3,7},{5,7},{2,3,5},{2,3,7},{2,5,7}, {3,5,7},{2,3,5,7}} 11. Sia M una Macchina di Turing con queste istruzioni: <s 0,1,1,R,s 0 >, <s 0,0,1,L,s 2 >, <s 2,0,0,R,s 1 >, <s 2,1,1,L,s 2 >. Sia dato a questa macchina un nastro che abbia solo tre caselle consecutive piene: (caselle vuote). 0011100 (caselle vuote). Sia s 0 lo stato in cui si trova M e il puntatore di M sia posizionato sulla prima (da sinistra a destra) casella piena. b. Come è fatto il nastro, qual è lo stato di M e dove è posizionato il puntatore di M dopo un passo di computazione, dopo due passi di computazione, dopo tre passi di computazione, dopo quattro passi di computazione? c. Qual è il numero rappresentato sul nastro dopo quattro passi di computazione? 3

Risposta: a) Il numero rappresentato sul nastro è 2. b) Dopo un passo di computazione il nastro è (caselle vuote). 0011100 (caselle vuote) e lo stato della macchina è s 0 (il puntatore è posizionato sulla casella sottolineata), dopo due passi di computazione il nastro è (caselle vuote). 0011100 (caselle vuote) e lo stato della macchina è s 0 (il puntatore è posizionato sulla casella sottolineata), dopo tre passi di computazione il nastro è (caselle vuote). 0011100 (caselle vuote) e lo stato della macchina è s 0 (il puntatore è posizionato sulla casella sottolineata), dopo quattro passi di computazione il nastro è (caselle vuote). 0011110 (caselle vuote) e lo stato della macchina è s 2 (il puntatore è posizionato sulla casella sottolineata) c) dopo quattro passi di computazione sul nastro è rappresentato il numero 3. 4

D) III appello (prova ridotta), 19 febbraio Le risposte ai quesiti 1,2,4 sono contenute nel libro di testo. 3. Scrivi in base 10 il numero rappresentato dalla successione finita di bit 110011? Come si rappresenta in base 2 il numero che in base 10 è scritto 48? a) La successione finita di bit 110011 in base 2 rappresenta il numero che in base 10 si scrive 51. b) Il numero che in base 10 si scrive 48 è rappresentato in base 2 dalla successione finita di bit 110000. 5. Sia X={3,9,7} e Y={2,7,8}. Scrivi gli elementi degli insiemi X Y, X Y, X Y, (X). X Y={7}, X Y={2,3,7,8,9}, X Y={<3,2>,<2,7>,<3,8>,<9,2>,<9,7>,<9,8>, <7,2>,<7,7>,<7,8>}, (X)= {, {3},{9},{7},{3,9},{3,7},{9,7},{2,9,7}} 6. Sia M una Macchina di Turing con queste istruzioni: <s 0,1,0,R,s 0 >, <s 0,0,0,L,s 2 >, <s 2,0,1,R,s 1 >, <s 2,1,1,L,s 2 >. Sia dato a questa macchina un nastro che abbia solo tre caselle consecutive piene: (caselle vuote). 0011100 (caselle vuote). Sia s 0 lo stato in cui si trova la macchina e sia la prima casella piena da sinistra a destra quella su cui è posizionato il puntatore della macchina M. b. Dopo quanti passi di computazione la macchina raggiunge lo stato s 1? c. Qual è il numero rappresentato sul nastro quando la macchina si ferma? a. Sul nastro è rappresentato il numero 2. b. La macchina raggiunge lo stato s 1 dopo 5 passi di computazione. Dopo un passo resta nello stato s 0, il nastro è (caselle vuote). 0001100 (caselle vuote), e il puntatore è sulla casella sottolineata; dopo due passi resta nello stato s 0, il nastro è (caselle vuote). 0000100 (caselle vuote), e il puntatore è sulla casella sottolineata; dopo tre passi resta nello stato s 0, il nastro è (caselle vuote). 0000000 (caselle vuote), e il puntatore è sulla casella sottolineata; dopo quattro passi va nello stato s 2, il nastro è (caselle vuote). 0000000 (caselle vuote), e il puntatore è sulla casella sottolineata; dopo cinque passi raggiunge lo stato s 1, il nastro è (caselle vuote). 0000100 (caselle vuote), e il puntatore è sulla casella sottolineata. c. Quando la macchina si ferma (ossia raggiunge lo stato s 1 ), sul nastro è rappresentato il numero 0. 5

E) IV appello (prova intera), 20 febbraio Le risposte alle domande 1,2,3,6,7,8,9 sono contenute nel libro di testo. 4. Scrivere usando la seconda lettura odierna la seguente proposizione categorica Qualche politico presenta le sue dimissioni, fare la negazione della proposizione così ottenuta e riscrivere tale negazione in lingua italiana. a) La proposizione si scrive x:t (P(x) Q(x)) dove T è il tipo di cui si parla, P sta per la proprietà essere politico, Q sta per la proprietà presentare le sue dimissioni. b) La negazione di quella proposizione è x:t ( P(x) Q(x)), ossia x:t(p(x)? Q(x)) c) In lingua italiana la negazione di quella proposizione si scrive Nessun politico presenta le sue dimissioni. 5. Sia A la seguente proposizione: Se Giovanni non partecipa a questa prova o non riceve un risultato positivo, e vuole conseguire 12 CFU in questo insegnamento, allora deve partecipare alla prova di giugno. Analizzare A usando i connettivi classici; poi, analizzare A usando soltanto la congiunzione, la disgiunzione e la negazione classiche; infine, fare la negazione della proposizione così ottenuta e riscrivere tale negazione in lingua italiana. 1. Analisi di A usando i connettivi classici: ( B C) D? E dove B è Giovanni partecipa a questa prova, C è Giovanni riceve un risultato positivo, D è Giovanni vuole conseguire 12 CFU, D è Giovanni deve partecipare alla prova di giugno 2. Analisi di A usando soltanto la congiunzione, la disgiunzione e la negazione classica: ((B C) D) E. 3. Negazione della proposizione A : (( B C) D) E 4. Negazione della proposizione A in lingua italiana: Giovanni non partecipa a questa prova o riceve un risultato positivo, e vuole conseguire 12 CFU in questo insegnamento, ma non deve partecipare alla prova di giugno 10. Sia X={a,b,c,d} e Y={e,f,g}. Scrivi gli elementi degli insiemi X Y, X Y, X Y, (X). X Y=, X Y={a,b,c,d,e,f,g}, X Y={<a,e>,<a,f>,<a,g>,<b,e>,<b,f>,<b,g>, <c,e>,<c,f>,<c,g>, <d,e>,<d,f>,<d,g>}, (X)= {, {a},{b},{c},{d},{a,b}, {a,c}, {a,d},{b,c},{b,d},{c,d}, {a,b,c},{a,c,d}, {a,b,d}, {b,c,d}, {a,b,c,d}} 11. Sia M una Macchina di Turing con queste istruzioni: <s 0,1,0,R,s 0 >, <s 0,0,0,L,s 2 >, <s 2,0,1,R,s 1 >, <s 2,1,1,L,s 2 >. Sia dato a questa macchina un nastro che abbia solo quattro caselle consecutive piene: (caselle vuote). 00111100 (caselle vuote). Sia s 0 lo stato in cui si trova la macchina e sia la prima casella piena da sinistra a destra quella su cui è posizionato il puntatore della macchina M. b. Dopo quanti passi di computazione la macchina raggiunge lo stato s 1? c. Qual è il numero rappresentato sul nastro quando la macchina si ferma? 6

a. Sul nastro è rappresentato il numero 2. b. La macchina raggiunge lo stato s 1 dopo 6 passi di computazione. Dopo un passo resta nello stato s 0, il nastro è (caselle vuote). 00011100 (caselle vuote), e il puntatore è sulla casella sottolineata; dopo due passi resta nello stato s 0, il nastro è (caselle vuote). 00001100 (caselle vuote), e il puntatore è sulla casella sottolineata; dopo tre passi resta nello stato s 0, il nastro è (caselle vuote). 00000100 (caselle vuote), e il puntatore è sulla casella sottolineata; dopo quattro passi resta nello stato s 0, il nastro è (caselle vuote). 00000000 (caselle vuote), e il puntatore è sulla casella sottolineata; dopo cinque passi va nello stato s 2, il nastro è (caselle vuote). 00000000 (caselle vuote), e il puntatore è sulla casella sottolineata; dopo sei passi raggiunge lo stato s 1, il nastro è (caselle vuote). 00000100 (caselle vuote), e il puntatore è sulla casella sottolineata. c. Quando la macchina si ferma (ossia raggiunge lo stato s 1 ), sul nastro è rappresentato il numero 0. 7