Esercizi di logica discussi in due esercitazioni di novembre Molti sono esercizi tratti dai compiti di esame degli scorsi anni.
|
|
- Anna Maria Pastore
- 6 anni fa
- Visualizzazioni
Transcript
1 Esercizi di logica discussi in due esercitazioni di novembre Molti sono esercizi tratti dai compiti di esame degli scorsi anni. Disegnare il circuito (con blocchi E, OPPURE e NON che corrisponde alla formula seguente: (a b) ( b (c d)) Dire se la seguente formula è soddisfacibile o no. Spiegare il perchè (a b) ( a (b c)) c Disegnare il circuito (con blocchi E, OPPURE e NON che corrisponde alla formula seguente: (a b) ( b (c d)) Dimostrare che a b, b c a c Dimostrare con la logica formale che "non vado al mare" e "se non piove vado al mare" implicano "piove". Realizzare il circuito che ha uscita 1 se la terza variabile è maggiore o uguale di entrambe le altre. Dire se la formula (a b) (a c) è soddisfatta dal modello {a=0, b=0, c=0}. Scrivere tutti i passi della valutazione. Disegnare il circuito che realizza la funzione booleana a E b usando solo porte logiche NON e OPPURE. Disegnare il circuito che fornisce in uscita uno quando il primo ingresso è diverso dagli altri due. Scrivere una formula booleana che ha esattamente tre interpretazioni che la soddisfano (ossia non ne ha altre oltre quelle tre). Realizzare il circuito che ha come ingresso un numero a tre bit senza segno e la cui uscita vale uno se il numero è multiplo di tre. Spiegare perchè una ditta produttrice di birra ha convenienza a mettere nella pubblicità la frase "o bevi o guidi", in termini di logica formale. Dimostrare, usando la logica formale, che "se rubo vado in prigione" non è equivalente a "se vado in prigione allora rubo". Elencare i modelli della formula (a b) (c b). Scrivere i modelli nella forma {a=true, b=true, c=true}. Dire quante formule di due variabili, a meno di equivalenze, sono implicate da (a b) ( a b). Giustificare la risposta. Determinare se i seguenti ragionamenti sono corretti. (a) Se i controllori di volo scioperano, allora prendero il treno. O scio- perano i controllori, oppure scioperano i piloti. Quindi prendero il treno. (b)se i controllori di volo scioperano, allora prendero il treno. Se i
2 piloti scioperano, allora prender_o il treno. O scioperano i controllori, oppure scioperano i piloti. Quindi prendero il treno. (c) Se ABC _e un triangolo equilatero, allora _e un poligono regolare. Se ABC e un triangolo isoscele, allora e un poligono regolare. ABC e un triangolo equilatero oppure isoscele. Quindi ABC e un poligono regolare. (d) Se piove Antonio non va a scuola. Se Antonio non va a scuola, la mamma e la maestra si inquietano. Quindi, se piove la maestra si inquieta.
3 Gli scrigni di Porzia, un enigma da Shakespeare Uno dei più famosi enigmi della storia è quello chiamato gli scrigni di Porzia. viene raccontato addirittura nel "Mercante di Venezia" da Shakespeare. Porzia, uno dei personaggi, si deve sposare, è bellissima e ha molti pretendenti, ma non vuole un tizio qualsiasi, vuole che il suo futuro marito sia anche intelligente ed ecco cosa fa. Porzia aveva tre scrigni, uno d'oro, uno d'argento e uno di piombo e in uno c'era il suo ritratto. Porzia voleva scegliere il suo sposo sulla base della sua intelligenza e fece incidere le seguenti iscrizioni sugli scrigni: Scrigno d'oro: il ritratto è in questo scrigno Scrigno d'argento: il ritratto non è in questo scrigno Scrigno di piombo: il ritratto non è nello scrigno d'oro Porzia spiegò al suo pretendente che di queste tre affermazioni al massimo una era vera. Quale scrigno contiene il ritratto di Porzia? Variabili booleane Rit- oro, Rit- arg, Rit- pio. Rit- oro e vera se il ritratto si trova nello scrigno d oro; falsa altrimenti. Analogamente le altre due variabili Rit- arg (Rit- pio) e vera o falsa a seconda se il ritratto si trova o meno nello scrigno d argento (di piombo). Esprimiamo i vincoli Il Ritratto e in un solo scrigno Rit- oro implica [(non Rit- arg) e (non Rit- pio)] Rit- arg implica [(non Rit- oro) e (non Rit- pio)} Rit- pio implica [(non Rit- arg) e (non Rit- oro)} Una sola affermazione fra quelle scritte sugli scrigni e vera Se e vera quella sullo scrigno d oro sono false le altre due; quindi Rit- oro implica [(non (non Rit- arg)) e (non (non Rit- oro)] Analogamente per gli altri due scrigni Scr- arg : (non Rit- arg) implica [(non Rit- oro) e (non (non Rit- oro))] Scr- pio : (non Rit- oro) implica [(non Rit- oro) e (non (non Rit- arg)] Siamo interessati a una interpretazione che rende vera tutte le formule [Rit- oro implica (non Rit- arg) e (non Rit- pio)] e [Rit- arg implica (non Rit- oro) e (non Rit- pio)] e [Rit- pio implica (non Rit- arg) e (non Rit- oro)] e [Rit- oro implica (non (non Rit- arg)) e (non (non Rit- oro)] e [non Rit- arg implica (non Rit- oro) e (non (non Rit- oro))] e [non Rit- oro implica (non Rit- oro) e (non (non Rit- arg)] non vogliamo ragionare e proviamo tutte le possibilita Rit- oro=vero? quarta riga: Rit- oro implica (Rit- arg e Rit- oro) : falso Rit- arg=vero? Se Rit- arg e sia Rit- oro e Rit- pio= falso tutte le affermazioni sono vere Rit- pio=vero? Se Rit- pio vero allora avremo che (non Rit- oro) e vero; quindi la sesta riga implica (non Rit- oro) e (Rit- arg) che e falso Pertanto esiste una sola interpretazione che rende vere tutte le affermazioni: il ritratto si trova nello scrigno d argento
4 L'isola dei cavalieri e furfanti (dalle dispense di logica di Marta Cialdea) I seguenti sono esercizi di varia difficolta ; tutti si possono risolvere con il metodo precedente Nell'isola dei cavalieri e furfanti: (a) Antonio dice io sono un furfante". Cos'e Antonio? (b) Incontriamo due abitanti, A e B. A dice: Almeno uno di noi e un furfante". Cosa sono A e B? (c) Incontriamo due abitanti, A e B. A dice: Io sono un furfante ma B non lo e ". Cosa sono A e B? (d) A dice: Io e mia sorella siamo dello stesso tipo". Scoprite il tipo di almeno uno dei due. (e) A dice: B e C sono entrambi cavalieri". Poi gli chiedete: E vero che B _e un cavaliere?" e A risponde: No".
5 Cos'e A e cosa sono B e C? (f) Chiedete ad A: B e C sono entrambi cavalieri?" Risponde di no. Poi gli chiedete: B _e un cavaliere?" Risponde: Si". Cosa sono A, B e C?
3. Logica. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune...
Capitolo 3. Logica 3. Logica Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune... sei una persona priva di logica è logico comportarsi cosí fai l
DettagliMETODI MATEMATICI PER L INFORMATICA
METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 2 17/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Applicazioni della logica proposizionale La logica ha una
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco Veneto 5 aprile 2016
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova Liceo Giorgione, Castelfranco Veneto 5 aprile 2016 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 27 Gennaio 2011
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova Licei Lioy e Pigafetta, Vicenza, 27 Gennaio 2011 1 ALTRI ESEMPI Ad un tavolo circolare si siedono dei cavalieri e
DettagliLuca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1
Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Esercizio 1.12 Per dimostrare che per ogni funzione esiste una formula in cui compaiono le variabili tale che la corrispondente
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
DettagliLogica: materiale didattico
Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova I.T.I, Marzotto, Valdagno 24 febbraio 2014 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità di ragionamento
DettagliNOZIONI DI LOGICA. Premessa
NOZIONI DI LOGICA Premessa Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare quando la verità di una
DettagliLogica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati;
Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,
DettagliLOGICA FORMALE. Logiche
LOGICA FORMALE Linguaggio formale (sintassi + semantica) + Sistema di inferenza Sintassi: insieme delle espressioni ben formate (linguaggio) Semantica: interpretazione M del linguaggio Logica classica:
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 20 Gennaio 2011
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova Licei Lioy e Pigafetta, Vicenza, 20 Gennaio 2011 1 Un test problematico Sapendo che in questo test una sola risposta
Dettagli2. Quesiti dell area scientifica e scientifico-tecnologica
2. Quesiti dell area scientifica e scientifico-tecnologica Logica 01 Scegliere fra le alternative proposte quella che completa la serie: a b c d e 02 Un auto percorre 20.000 km nel corso di un lungo viaggio.
DettagliLogica proposizionale
Logica proposizionale Linguaggio comune Nel linguaggio comune si utilizzano spesso frasi imprecise o ambigue Esempio Un americano muore di melanoma ogni ora! Assurdo: significa che c è un americano (sfortunato)
DettagliAlgebra di Boole. Modulo 2. Università di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica Laboratorio di Elettronica (EOLAB)
Algebra di Boole Modulo 2 Università di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica Laboratorio di Elettronica (EOLAB) Algebra di Boole L algebra di Boole o della commutazione è lo strumento
DettagliL'algebra Booleana. Generalità. Definizioni
L'algebra Booleana Generalità L algebra booleana è stata sviluppata da George Boole nel 1854, ed è diventata famosa intorno al 1938 poiché permette l analisi delle reti di commutazione, i cui soli stati
DettagliIntelligenza Artificiale I
Intelligenza Artificiale I - AA 27/28 Intelligenza Artificiale I Logica formale Introduzione Marco Piastra Logica formale - Introduzione - Intelligenza Artificiale I - AA 27/28 Sistematicità del linguaggio
DettagliLogica booleana, Costrutto IF
Logica booleana, Costrutto IF Informatica@SEFA 207/208 - Lezione 4 Massimo Lauria http://massimolauria.net/courses/infosefa207/ Mercoledì, 4 Ottobre 207 La logica booleana 2
DettagliChi non risolve esercizi non impara la matematica.
5.5 esercizi 9 Per trovare la seconda equazione ragioniamo così: la parte espropriata del primo terreno è x/00, la parte espropriata del secondo è y/00 e in totale sono stati espropriati 000 m, quindi
DettagliRichiami teorici ed esercizi di Logica
Facoltà di ingegneria Università della Calabria Corsi di Potenziamento Matematica e Logica A. A. 2008-2009 Richiami teorici ed esercizi di Logica Proposizioni logiche: Ogni espressione matematica alla
DettagliIntelligenza Artificiale. Esercizi Logica Proposizionale-tableau. Intelligenza Artificiale Daniele Nardi, 2003 Esercizi Logica Proposizionale-tableau
Intelligenza Artificiale Esercizi Logica Proposizionale-tableau Esercizi Modelli 1. Se Giovanni studia canto e non ha una brutta voce allora avrà successo alla Scala. Siano: C = studiacanto B = bruttavoce
DettagliCenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve
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
DettagliElementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni.
Elementi di logica SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Quantificatori: elementi fondamentali del linguaggio matematico. quantificatore
DettagliEsercitazione 3. Espressioni booleane I comandi if-else e while
Esercitazione 3 Espressioni booleane I comandi if-else e while Esercizio Si consideri la seguente istruzione: if (C1) if (C2) S1; else S2; A quali delle seguenti interpretazioni corrisponde? if (C1) if
DettagliElementi di Algebra e Logica Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali:
Elementi di Algebra e Logica 2008. 8. Logica. 1. Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali: (a) p ( q r); (b) p (q r); (c) (p q) ( p r); (d) (p q) ( p r); (e) (p
DettagliProposizioni. 1) Tra le seguenti frasi riconoscere le proposizioni, e stabilirne poi il valore di verità:
Si ricorda: - L'oggetto della logica sono le proposizioni, o enunciati (i due termini sono sinonimi); - Una proposizione è una espressione dotata di senso compiuto alla quale si può attribuire in modo
DettagliBREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta
BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento è corretto se segue uno
DettagliIstruzioni Condizionali
Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 1 Dispensa 6 Istruzioni Condizionali Carla Limongelli Settembre 2006 http://www.dia.uniroma3.it/~java/fondinf1/ Istruzioni condizionali
DettagliCenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A
Cenni di logica Hynek Kovarik Università di Brescia Analisi Matematica A Hynek Kovarik (Università di Brescia) Cenni di logica Analisi Matematica A 1 / 21 Scopo: introdurre nozioni di logica & terminologia
DettagliUn po di logica. Christian Ferrari. Laboratorio di matematica
Un po di logica Christian Ferrari Laboratorio di matematica 1 Introduzione La logica è la disciplina che studia le condizioni di correttezza del ragionamento. Il suo scopo è quindi quello di elaborare
DettagliFondamenti di Informatica 2, Linguaggi e Complessità : Logica I Parte Lucidi di M.Schaerf e A.Marchetti Spaccamela
Fondamenti di Informatica 2 Linguaggi e Complessità : Logica I Parte Lucidi di M.Schaerf e A.Marchetti Spaccamela Fondamenti di Informatica 2: Logica Indice degli argomenti Introduzione: Motivazioni, Prove,
DettagliCodice Gray. (versione Marzo 2007)
Codice Gray (versione Marzo 27) Data una formula booleana con n variabili, per costruire una tavola di verità per questa formula è necessario generare tutte le combinazioni di valori per le n variabili.
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
DettagliGeorge BOOLE ( ) L algebra booleana. (logica proposizionale)
George BOOLE (1815-64) L algebra booleana. (logica proposizionale) La logica e George BOOLE George BOOLE nel 1847 pubblicò il libro Mathematical Analysis of Logic, nel quale presentava ciò che oggi si
DettagliLogica Proposizionale
Logica Proposizionale Dispense del corso di Fondamenti di Informatica I tratte da M. Cialdea (U. di Roma Tre) Introduzione alla logica proposizionale A.A. 2013/2014 Indice 1 Introduzione 1 2 Il linguaggio
DettagliLogica proposizionale
Fondamenti di Informatica per la Sicurezza a.a. 2008/09 Logica proposizionale Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università degli
DettagliPIANO CARTESIANO e RETTE classi 2 A/D 2009/2010
PIANO CARTESIANO e RETTE classi 2 A/D 2009/2010 1) PIANO CARTESIANO serve per indicare, identificare, chiamare... ogni PUNTO del piano (ente geometrico) con una coppia di valori numerici (detti COORDINATE).
DettagliUNIVERSITÀ DEGLI STUDI LA SAPIENZA CORSO DI STUDI IN INFORMATICA ESERCITAZIONI AL CORSO DI LOGICA MATEMATICA LOGICA PROPOSIZIONALE
UNIVERSITÀ DEGLI STUDI LA SAPIENZA CORSO DI STUDI IN INFORMATICA ESERCITAZIONI AL CORSO DI LOGICA MATEMATICA LOGICA PROPOSIZIONALE TAVOLE DI VERITÀ, COLETEZZA VERO-FUNZIONALE Esercizio 1. Calcola le tavole
DettagliFUNZIONI BOOLEANE. Vero Falso
FUNZIONI BOOLEANE Le funzioni booleane prendono il nome da Boole, un matematico che introdusse un formalismo che opera su variabili (dette variabili booleane o variabili logiche o asserzioni) che possono
DettagliAlgoritmi e Linguaggi
Algoritmi e Linguaggi Programmi e linguaggi Un calcolatore è solo un esecutore rapidissimo di istruzioni Un programma è un insieme di istruzioni codificate in un opportuno linguaggio 2 / 21 Linguaggi e
DettagliCostruzione di. circuiti combinatori
Costruzione di circuiti combinatori Algebra Booleana: funzioni logiche di base OR (somma): l uscita è 1 se almeno uno degli ingressi è 1 A B (A + B) 0 0 0 0 1 1 1 0 1 1 1 1 AND (prodotto): l uscita è 1
DettagliOro Argento Piombo IL RITRATTO NON È IN QUESTO SCRIGNO
DEDUZIONE - SCHEDA A A1 In una camera buia, dentro un cassetto, ci sono 24 calze rosse e 24 calze blu. Qual è il numero minimo di calze che debbo prendere dal cassetto per essere sicuro di avere almeno
DettagliInformatica/ Ing. Meccanica/ Edile/ Prof. Verdicchio/ 30/06/2016/ Foglio delle domande / VERSIONE 1
Informatica/ Ing. Meccanica/ Edile/ Prof. Verdicchio/ 30/06/2016/ Foglio delle domande/ VERSIONE 1 1) In Python, se scrivo v = [ ] in un programma, vuol dire che a) v è un quadrato b) v è un insieme vuoto
Dettagli04 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,
DettagliLE PORTE LOGICHE. Ingresso B Ingresso A Uscita OUT
LE PORTE LOGICHE Nell'elettronica digitale le porte logiche costituiscono degli elementi fondamentali nei circuiti. Esse si possono trovare all'interno di circuiti integrati complessi, come parte integrante
DettagliCenni di logica matematica Dott.ssa Sandra Lucente 1
Cenni di logica matematica Dott.ssa Sandra Lucente 1 Il linguaggio della logica matematica integra e traduce il linguaggio comune sostituendolo quando questo presenta ambiguità. Procediamo come quando
Dettaglid) l/2. Risposta esatta (indicare in parentesi la lettera corrispondente all alternativa esatta): (d)
Su ciascuna delle facce di un cubo di lato l si appoggia una piramide retta avente come base la faccia del cubo Che altezza deve avere la piramide affinché la somma dei volumi del cubo e delle piramidi
DettagliRicordando che: = si ha:
Logica matematica Esempi 1. Stailisci il grado di verità delle seguenti proposizioni logiche: :" è h 2 è " :"5 è 2 3 è 6" :" è h : è è " :" h h " :" h è " :" è, è " F 2. Data la proposizione p:" " la sua
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
DettagliIGiochidiArchimede--Soluzionibiennio
PROGETTO OLIMPIADI DI MATEMATICA U.M.I. UNIONE MATEMATICA ITALIANA MINISTERO DELLA PUBBLICA ISTRUZIONE SCUOLA NORMALE SUPERIORE IGiochidiArchimede--Soluzionibiennio 9 novembre 008 Griglia delle risposte
DettagliUniversità del Piemonte Orientale
Compito di Algebra del 13 Gennaio 2009 1) Trovare l ordine di [11] 112 in Z 112. Si dica poi per quali valori di k si ha [11] k 112 [34] 112 = [31] 112. Soluzione. L ordine di [11] 112 è 12. k 12 8. 2)
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
DettagliUNIVERSITÀ di ROMA TOR VERGATA
UNIVERSITÀ di ROMA TOR VERGATA Corso di PS-Probabilità P.Baldi Tutorato 9, 19 maggio 11 Corso di Laurea in Matematica Esercizio 1 a) Volendo modellizzare l evoluzione della disoccupazione in un certo ambito
DettagliPrerequisiti Matematici
Prerequisiti Matematici Richiami di teoria degli insiemi Relazioni d ordine, d equivalenza Richiami di logica Logica proposizionale, tabelle di verità, calcolo dei predicati Importante: Principio di Induzione
DettagliReti logiche: analisi, sintesi e minimizzazione Esercitazione. Venerdì 9 ottobre 2015
Reti logiche: analisi, sintesi e minimizzazione Esercitazione Venerdì 9 ottobre 05 Punto della situazione Stiamo studiando le reti logiche costruite a partire dalle porte logiche AND, OR, NOT per progettare
DettagliInformatica e Bioinformatica: AND, OR, NOT
31 marzo 2014 Algebra di Boole L algebra di Boole opera su due valori di verità, VERO e FALSO, mutuamente esclusivi. Nell algebra di Boole è possibile definire funzioni (che chiameremo operazioni logiche)
Dettagli184 Capitolo 6. Logica di base
184 Capitolo 6. Logica di base 6.5 Esercizi 6.5.1 Esercizi dei singoli paragrafi 6.1 - Le proposizioni 6.1. Quali delle seguenti frasi sono proposizioni logiche? a ) I matematici sono intelligenti; b )
DettagliMatematica - cl. 5^ 1/8. Esercitazione per le Prove INVALSI - Nome:
Esercitazione per le Prove INVALSI - Nome: Matematica - cl. 5^ 1. Quale dei seguenti numeri si legge quattordicimiladuecentoventuno? 140221 14021 14221 14001 2. Quale frazione è uguale al numero 20,895?
Dettagli(ii) seguendo (o a volte anche violando) certe regole o schemi riconosciuti.
1 lezione: linguaggio e Che cos'è un'? un ragionamento che tende a dimostrare una tesi (conclusione) persuasivamente (i) sulla base di ragioni (premesse o assunzioni) (ii) seguendo (o a volte anche violando)
Dettagli1. DOMANDA SULLA CONGRUENZA E IL TEOREMA DI FERMAT : (MOD 23)
Avvertenza: Le domande e a volte le risposte, sono tratte dal corpo del messaggio delle mails in cui non si ha a disposizione un editor matematico e quindi presentano una simbologia non corretta, ma comprensibile
DettagliLogica: nozioni di base
Fondamenti di Informatica Sistemi di Elaborazione delle Informazioni Informatica Applicata Logica: nozioni di base Antonella Poggi Anno Accademico 2012-2013 DIPARTIMENTO DI SCIENZE DOCUMENTARIE LINGUISTICO
DettagliLogica e teoria degli insiemi
Introduzione Le ricerche booleane L insieme delle parti La logica è la disciplina che studia le regole del ragionamento, per poter costruire oggetti e relazioni di senso compiuto... Date delle frasi di
DettagliEquivalenza delle figure piane
Capitolo Equivalenza Poligoni equivalenti - erifica per la classe seconda Teoremi di Pitagora ed Euclide COGNOME............................... NOME............................. Classe....................................
DettagliFunzioni Esercizi e complementi
Funzioni Esercizi e complementi e-mail: maurosaita@tiscalinet.it Novembre 05. Indice Esercizi Insiemi ininiti 6 Suggerimenti e risposte 9 Esercizi. Scrivere la deinizione di unzione e ornire almeno un
DettagliLogica proposizionale
Logica proposizionale Proposizione: frase compiuta che è sempre o vera o falsa. Connettivi Posti in ordine di precedenza: not, and, or, implica, doppia implicazione Sintassi Le proposizioni sono costituite
DettagliEsercitazioni per il corso di Logica Matematica
Esercitazioni per il corso di Logica Matematica Luca Motto Ros 15 aprile 2005 Esercizi Nota importante. In questa dispensa sono stati raccolti, senza alcun ordine particolare, alcuni esercizi che possono
DettagliElementi di Logica Teoria degli insiemi
Precorso di Analisi Matematica Facoltà d'ingegneria Università del Salento Elementi di Logica Teoria degli insiemi Proff. A. Albanese E. Mangino Dipartimento di Matematica e Fisica E. De Giorgi - Università
DettagliMATEMATICA: Compiti delle vacanze Estate 2015
MATEMATICA: Compiti delle vacanze Estate 2015 Classe II a PRIMA PARTE Ecco una raccolta degli esercizi sugli argomenti svolti quest anno: risolvili sul tuo quaderno! Per algebra ho inserito anche una piccola
DettagliRETTE E PIANI NELLO SPAZIO
VETTORI E GEOMETRIA ANALITICA 1 RETTE E PIANI NELLO SPAZIO Rette e piani in forma cartesiana e parametrica. Parallelismo e perpendicolarità, posizioni reciproche tra rette e piani, distanze. Esercizio
DettagliPROVA DI MATEMATICA. Scuola Primaria. Classe Quinta. Rilevazione degli apprendimenti. Anno Scolastico
Ministero dell Istruzione dell Università e della Ricerca Rilevazione degli apprendimenti Anno Scolastico 2008 2009 PROVA DI MATEMATICA Scuola Primaria Classe Quinta Spazio per l etichetta autoadesiva
DettagliSemantica proposizionale. Unit 2, Lez 3 e 4 Corso di Logica
Semantica proposizionale Unit 2, Lez 3 e 4 Corso di Logica Sommario Semantica dei connettivi Costruzione delle tavole di verità Tautologie, contraddizioni e contingenze Semantica delle forme argomentative
DettagliSistemi lineari - Parte Seconda - Esercizi
Sistemi lineari - Parte Seconda - Esercizi Terminologia Operazioni elementari sulle righe. Equivalenza per righe. Riduzione a scala per righe. Rango di una matrice. Forma canonica per righe. Eliminazione
DettagliARCHITETTURE DI ELABORAZIONE. Correzione esercizi di esame
ARCHITETTURE DI ELABORAZIONE Correzione esercizi di esame 1 Prova di esame del 14 dicembre 2006 ESERCIZIO 1 Si considerino due notazioni binarie in virgola mobile a 16 bit, con (nell ordine da sinistra
DettagliI.2 Logica. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica
I.2 Logica Università di Ferrara Dipartimento di Economia e Management Insegnamento di Informatica Ottobre 13, 2015 Argomenti Logica 1 Logica 2 3 Logica Si occupa dello studio delle strutture e delle regole
Dettagli1. Considera i primi 10 multipli di 5 e i primi 5 multipli di 10. Quale delle seguenti affermazioni è sbagliata? 2. Indica i divisori del numero 32.
Verifica Arpi_6435_A6 nome: classe: data: 1. Considera i primi 10 multipli di 5 e i primi 5 multipli di 10. Quale delle seguenti affermazioni è sbagliata? O I multipli del 10 sono pari. O I multipli del
DettagliRiconoscere e formalizzare le dipendenze funzionali
Riconoscere e formalizzare le dipendenze funzionali Giorgio Ghelli 25 ottobre 2007 1 Riconoscere e formalizzare le dipendenze funzionali Non sempre è facile indiduare le dipendenze funzionali espresse
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e
Dettagli0 Insiemi, funzioni, numeri
Giulio Cesare Barozzi, Giovanni Dore, Enrico Obrecht Elementi di analisi matematica - Volume 1 Zanichelli 0 Insiemi, funzioni, numeri Esercizi 0.1. Il linguaggio degli insiemi 0.1.1. Esercizio Poniamo
DettagliPOLIGONI E NON POLIGONI: elementi caratteristici, proprietà e relazioni.
POLIGONI E NON POLIGONI: elementi caratteristici, proprietà e relazioni. Il problema dell altezza. Clara Colombo Bozzolo, Carla Alberti,, Patrizia Dova Nucleo di Ricerca in Didattica della Matematica Direttore
DettagliChi non risolve esercizi non impara la matematica.
2.8 esercizi 31 2.8 esercizi hi non risolve esercizi non impara la matematica. 1 Vero o falso? a. I punti (0, 2), (4, 4), (6, 0) e (2, 2) sono i vertici di un quadrato. V F b. Non esiste il coefficiente
DettagliSviluppo di programmi
Sviluppo di programmi Per la costruzione di un programma conviene: 1. condurre un analisi del problema da risolvere 2. elaborare un algoritmo della soluzione rappresentato in un linguaggio adatto alla
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
Dettagli4. Logica. Insegnamento di Informatica. Elisabetta Ronchieri. I semestre, anno Corso di Laurea di Economia, Universitá di Ferrara
4. Logica Insegnamento di Informatica Elisabetta Ronchieri Corso di Laurea di Economia, Universitá di Ferrara I semestre, anno 2014-2015 Elisabetta Ronchieri (Universitá) Insegnamento di Informatica I
DettagliAlgebra di Boole: minimizzazione di funzioni booleane
Corso di Calcolatori Elettronici I A.A. 200-20 Algebra di Boole: minimizzazione di funzioni booleane Lezione 8 Università degli Studi di Napoli Federico II Facoltà di Ingegneria Forme Ridotte p Vantaggi
DettagliFUNZIONI ELEMENTARI, DISEQUAZIONI, NUMERI REALI, PRINCIPIO DI INDUZIONE Esercizi risolti
FUNZIONI ELEMENTARI, DISEQUAZIONI, NUMERI REALI, PRINCIPIO DI INDUZIONE Esercizi risolti Discutendo graficamente la disequazione x > 3 + x, verificare che l insieme delle soluzioni è un intervallo e trovarne
DettagliDI CHE COSA SI OCCUPA LA LOGICA
Di Emily Rinaldi DI CHE COSA SI OCCUPA LA LOGICA La logica si occupa dell esattezza dei ragionamenti Nei tempi antichi solo verbale. Nell epoca moderna la logica viene applicata per l ordinamento sistemazione
DettagliLe variabili logiche possono essere combinate per mezzo di operatori detti connettivi logici. I principali sono:
Variabili logiche Una variabile logica (o booleana) è una variable che può assumere solo uno di due valori: Connettivi logici True (vero identificato con 1) False (falso identificato con 0) Le variabili
DettagliLOGICA e INSIEMISTICA
LOGICA e INSIEMISTICA Prof. Enrico Terrone A. S: 2008/09 Definizioni La logica è una parte speciale della matematica che si occupa, anziché dei numeri, delle proposizioni. Una proposizione è una frase
DettagliAMBIENTE EXCEL CALCOLO DEL RESTO DELLA DIVISIONE FRA NATURALI
AMBIENTE EXCEL CALCOLO DEL RESTO DELLA DIVISIONE FRA NATURALI Costruisci un foglio di lavoro che calcoli il resto r della divisione tra a e b (con a, b N e b 0) ed emetta uno dei seguenti messaggi : a
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
DettagliLA LOGICA ESERCIZI. Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità.
LA LOGICA 1. Le proposizioni logiche ESERCIZI Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità. 1 A «1 1 è uguale a 5»; «Non si
DettagliRisposte non motivate non verranno giudicate
Istituzioni di Matematiche 16/02/2016 Ver.1 Nome e cognome Matricola X se Quadriennale Risposte non motivate non verranno giudicate Gli studenti della laurea quadriennale svolgono gli esercizi 1,2,3,5
DettagliCondizioni, operatori di relazione e operatori logici (bozze, v. 1.0)
Capitolo 2 Condizioni, operatori di relazione e operatori logici (bozze, v. 1.0) Nel capitolo 1 abbiamo osservato come negli algoritmi siano presenti passi decisionali e come tali passi contengano affermazioni
DettagliSIMULAZIONI TEST INVALSI
SIMULAZIONI TEST INVALSI CIRCONFERENZA E CERCHIO La circonferenza in figura ha il diametro di 10 cm e le corde AD e BC uguali al raggio. a. Qual è il perimetro del quadrilatero ABCD? Risposta: cm b. Giustifica
DettagliESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A
TEORI DEGLI INSIEMI GENERLIT Un insieme è un ente costituito da oggetti. Il concetto di insieme e di oggetto si assumono come primitivi. Se un oggetto a fa parte di un insieme si dice che esso è un suo
DettagliPer gli esercizi sulla algebra booleana, si consiglia di verificare tramite tabelle di verità le equivalenze logiche proposte sulle dispense.
Fondamenti di Informatica - A. Fantechi Raccolta di esercizi Per gli esercizi sulla algebra booleana, si consiglia di verificare tramite tabelle di verità le equivalenze logiche proposte sulle dispense.
DettagliAppunti ed esercizi su: La rappresentazione cartesiana di funzioni, equazioni, disequazioni
LEZIONI ED ESERCITAZIONI DI MATEMATICA Prof. Francesco Marchi 1 Appunti ed esercizi su: La rappresentazione cartesiana di funzioni, equazioni, disequazioni 15 aprile 2012 1 Per altri materiali didattici
DettagliAlgebra di Boole: mappe di Karnaugh e funzioni NAND e NOR
Corso di Calcolatori Elettronici I A.A. 2010-2011 Algebra di Boole: mappe di Karnaugh e funzioni NAND e NOR Lezione 7 Università degli Studi di Napoli Federico II Facoltà di Ingegneria Funzioni Equivalenza
DettagliAlgebra di Boole Elementi di Informatica - Algebra di Boole 1 A. Valenzano
Algebra di Boole Elementi di Informatica - Algebra di Boole 1 A. Valenano 1996-2002 Sommario Variabili e funioni booleane Tabelle di verità Operatori booleani Espressioni booleane Teoremi fondamentali
Dettagli