Introducción a la Matemática Discreta
|
|
- Susana Vázquez Villalobos
- hace 7 años
- Vistas:
Transcripción
1 Introducción a la Matemática Discreta Lógica proposicional y Álgebras de Boole Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 25
2 Introducción a la Matemática Discreta Temario Tema 1. Teoría de Conjuntos. Tema 2. Lógica proposicional y álgebras de Boole. Tema 3. Técnicas de contar. Tema 4. Recursión. Tema 5. Aritmética entera. Tema 6. Aritmética modular. Camacho Introd. a la Matemática Discreta 2 / 25
3 Tema 2. Lógica proposicional y álgebras de Boole Lógica proposicional. Proposición lógica. Conectores lógicos. Tablas de verdad. Técnicas de demostración. Álgebras de Boole. Camacho Introd. a la Matemática Discreta 3 / 25
4 Lógica proposicional. Proposición lógica Una proposición es cualquier enunciado lógico al que se le pueda asignar un valor de verdad (V) o falsedad (F) (pero no ambas). Ejemplos: x + 3 es un entero positivo NO ES UNA PROPOSICIÓN. 15 es un número par SÍ ES UNA PROPOSICIÓN. Camacho Introd. a la Matemática Discreta 4 / 25
5 Lógica proposicional. Conectores lógicos Las proposiciones simples pueden combinarse mediante las llamadas conectores lógicos para formar proposiciones compuestas. La negación. La disyunción. o inclusivo. La conjunción. y La implicación. Condicional. La equivalencia. Los paréntesis. p (q r) no es lo mismo que (p q) r Camacho Introd. a la Matemática Discreta 5 / 25
6 Lógica proposicional. Tablas de Verdad. p verdad (V) si p falso (F) y falso (F) si p verdad (V). p p V F F V p q verdad (V) si al menos uno de entre p y q verdad (V) y falso (F) si tanto p como q falso (F). p q p q V V V F V V V F V F F F p q verdad (V) si p y q verdad (V) y falso (F) si uno de entre p y q falso (F). p q p q V V V F V F V F F F F F Camacho Introd. a la Matemática Discreta 6 / 25
7 Lógica proposicional. Tablas de Verdad. p q verdad (V) si p y q verdad (V) o si p falso (F) independientemente de q y falso (F) en los demás casos. p q p q V V V F V V V F F F F V p q verdad (V) si p y q toman el mismo valor y falso (F) en los demás casos. p q p q V V V F V F V F F F F V Camacho Introd. a la Matemática Discreta 7 / 25
8 Lógica proposicional. Tablas de Verdad. Tautología si toma el valor verdad independientemente de los valores de las proposiciones que la componen. Contradicción si toma el valor falso independientemente de los valores de las proposiciones que lo componen. Contingencia en los demás casos. Camacho Introd. a la Matemática Discreta 8 / 25
9 Relación entre Teoría de Conjuntos y Lógica Proposicional. conjuntos A A B A B A B A = B proposiciones a a b a b a b a b Tablas de pertenencia Sean A y B conjuntos de X. Sea x X. Si x es un elemento de un conjunto dado escribimos un 1 y si x no es elemento del conjunto escribimos un 0. Probar que A (B C) = (A B) (A C). A B C B C A (B C) A B A C (A B) (A C) Camacho Introd. a la Matemática Discreta 9 / 25
10 Lógica Proposicional. Aplicaciones Estructura de decisión (o selección) en programación. Si expresion logica Entonces FinSi Sino acciones por verdadero acciones por falso si p entonces A o B, A y B no necesariamente proposiciones lógicas. Camacho Introd. a la Matemática Discreta 10 / 25
11 Lógica Proposicional. Aplicaciones Ejemplo if (!(n<8) or (!(m!=2))) n=2*m = p q R. p : n < 8, q : m 2, R : n = 2m (no es proposición). Camacho Introd. a la Matemática Discreta 11 / 25
12 Lógica Proposicional. Ejercicios. 1 Verificar que la proposición p (p q) es una tautología. 2 Verificar que la proposición (p q) (p q) es una contradicción. 3 Se pide: 3.1. Demostrar que p implica q y q implica p es lógicamente equivalenate al bicondicional p si y sólo si q ; es decir, (p q) (q p) p q Demostrar que p q ( p q) ( q p). 4 El conector proporcional se llama disyunción exclusiva; p q y se lee p o q pero no ambos. Se pide: 4.1. Construir una tabla de verdad para p q Probar: p q (p q) (p q) (es decir, puede escribirse en términos de los tres conectores originales, y ). Camacho Introd. a la Matemática Discreta 12 / 25
13 Tema 2. Lógica proposicional y álgebras de Boole Álgebras de Boole. Axiomas. Propiedades. Ejemplos. Aplicaciones a circuitos. Camacho Introd. a la Matemática Discreta 13 / 25
14 Álgebras de Boole. Axiomas El álgebra de Boole es un conjunto de elementos, B, que contiene dos elementos especiales 0 (elemento neutro) y 1 (elemento unidad) sobre el que definimos dos operaciones binarias cerradas: +, y una operación unitaria,, que satisfacen los siguientes axiomas: { a + b = b + a Axioma 1: Conmutativa: a b = b a { (a + b) + c = a + (b + c) Axioma 2: Asociativa: (a b) c = a (b c) { a + (b c) = (a + b) (a + c) Axioma 3: Distributiva: a (b + c) = (a b) + (a c) { a + 0 = a Axioma 4: Elementos neutros: a 1 = a { a + a = 1 Axioma 5: Inversos: a a = 0 Camacho Introd. a la Matemática Discreta 14 / 25
15 Álgebras de Boole. Propiedades Jerarquía de las operaciones: Primer lugar ( ), segundo lugar ( ) y tercer lugar (+). Si no da lugar a confusión a b = ab. Gracias a la asociatividad se suelen prescindir de los paréntesis: a + b + c, a b c. Existe dualidad entre las operaciones + y y entre los elementos 1 y 0. (Principio de dualidad.) Unicidad de los elementos neutro y unidad y del complementario. La operación unitaria es idempotente, (x ) = x. 0 = 1, 1 = 0. Camacho Introd. a la Matemática Discreta 15 / 25
16 Álgebras de Boole. Propiedades. { (x + y)z = xz + yz xy + z = (x + z)(y + z) Ley de idempotencia: { x + 1 = 1 x0 = 0 Ley de absorción: { x + x = x xx = x { x + xy = x x(x + y) = x { x + x y = x + y x(x + y) = xy { (x + y) = x y Ley de Morgan: (xy) = x + y Camacho Introd. a la Matemática Discreta 16 / 25
17 Álgebras de Boole. Ejemplos Ejemplo 1: Álgebra de conjuntos. El álgebra de conjuntos es un álgebra de Boole, sea X un conjunto, sea P(X) el conjunto de las partes de X. Tomamos B = P(X), el conjunto de elementos, las dos operaciones binarias, la unión y la intersección y la operación unitaria el complementario, siendo su elemento unidad el conjunto universal (el total X) y el conjunto vacío ( ) su elemento neutro: A = A, A X = A, A B A A = X = 1, A = = 0, A B Camacho Introd. a la Matemática Discreta 17 / 25
18 Álgebras de Boole. Ejemplos Ejemplo 2: Álgebra Proposicional. El conjunto B está formado por dos elementos V y F; las dos operaciones (disyunción) y (conjunción) cuyos elementos identidad son F y V respectivamente. La operación unitaria es la negación,. V F = V, F F = F, (suma) V V = V, F V = F, (producto) V V = V = 1, V V = F = 0, (complementario) Camacho Introd. a la Matemática Discreta 18 / 25
19 Álgebras de Boole. Ejemplos Ejemplo 3: Álgebra de conmutación. Este álgebra es importante en el análisis de circuitos. El conjunto de elementos, B = {0, 1} las dos operaciones (+) y y la operación unitaria vienen dadas por: x x Camacho Introd. a la Matemática Discreta 19 / 25
20 Álgebras de Boole. Circuitos Disponemos de un circuito en serie y dos interruptores A y B Introduzcamos la siguiente notación: 0 significa abierto o no circula corriente 1 significa cerrado o circula corriente representa el conector lógico Camacho Introd. a la Matemática Discreta 20 / 25
21 Álgebras de Boole. Circuitos Disponemos de un circuito en paralelo y dos interruptores A y B Introduzcamos la siguiente notación: 0 significa abierto o no circula corriente 1 significa cerrado o circula corriente + representa el conector lógico Camacho Introd. a la Matemática Discreta 21 / 25
22 Álgebras de Boole. Circuitos Disponemos de un circuito con relé y un interruptor A Introduzcamos la siguiente notación: 0 significa abierto o no circula corriente 1 significa cerrado o circula corriente representa el conector lógico Camacho Introd. a la Matemática Discreta 22 / 25
23 Álgebras de Boole.Circuitos Un circuito está formado de puertas elementales. Las más usuales son: AND equivale a un circuito en serie. El símbolo por el que se representa es: OR equivale a un circuito en paralelo. El símbolo por el que se representa es: NOT da como salida el estado opuesto al de entrada. El símbolo por el que se representa es: Camacho Introd. a la Matemática Discreta 23 / 25
24 Álgebras de Boole. Ejercicios. 1 Construir un circuito para cada una de las siguientes funciones de conmutación a) x + yz; c) x(y + z); e) (x + y) (z + k); b) xy + zk; d) (x + y) (x + zy ); f) (xy + z) (k + x y). 2 Halla las funciones de conmutación que producen los siguientes circuitos: Camacho Introd. a la Matemática Discreta 24 / 25
25 Lógica proposicional. Álgebras de Boole. Bibliografía. 1 F. García Merayo, Matemática Discreta. Editorial Thomson, 2 a Edición, R. P. Grimaldi, Matemáticas discreta y combinatoria. Editorial Addison Wesley Iberoamericana, K. H. Rosen, Discrete Mathematics and its applications. Editorial McGraw-Hill, Camacho Introd. a la Matemática Discreta 25 / 25
Introducción a la Matemática Discreta
Introducción a la Matemática Discreta Teoría de Conjuntos Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 20 Introducción a la Matemática Discreta Temario Tema 1. Teoría de Conjuntos.
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Más detalles03. Introducción a los circuitos lógicos
03. Introducción a los circuitos lógicos 1. LÓGICA DE PROPOSICIONES...2 PROPOSICIÓN...2 CONECTORES U OPERADORES LÓGICOS...2 Tablas de...2 Tautología...2 Contradicción...2 2. ÁLGEBRA DE BOOLE...3 AXIOMAS
Más detallesUNIDAD I: LÓGICA MATEMÁTICA
UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica
Más detallesIntroducción a la Matemática Discreta. Boletín de problemas. Temas 1, 2 y 3. Grado en Ingeniería Informática. Ingeniería del Software
Introducción a la Matemática Discreta Boletín de problemas Temas 1, 2 y 3 Grado en Ingeniería Informática Ingeniería del Software Curso 2010/2011. Grupos 1 y 2 Teoría de conjuntos. Lógica proposicional.
Más detallesMatemáticas Dicretas LÓGICA MATEMÁTICA
Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.
Más detallesLógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesIntroducción a la Matemática Discreta
Introducción a la Matemática Discreta Aritmética Entera Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 36 Introducción a la Matemática Discreta Temario Tema 1. Teoría de Conjuntos. Tema
Más detallesIntroducción a la Matemática Discreta
Introducción a la Matemática Discreta Recursión Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 15 Introducción a la Matemática Discreta Temario Tema 1. Teoría de Conjuntos. Tema 2. Lógica
Más detallesIntroducción a la Matemática Discreta
Introducción a la Matemática Discreta Aritmética Modular Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 39 Introducción a la Matemática Discreta Temario Tema 1. Teoría de Conjuntos. Tema
Más detallesLógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición
Lógica proposicional 1. Lógica proposicional Es una parte de la lógica que estudia las proposiciones y la relación existente entre ellas, así como la función que tienen los conectivos lógicos. 2. Proposición
Más detallesAlgebras booleanas. B2) Leyes Distributivas. Cada operación es distributiva con respecto a la otra:
Algebras booleanas AXIOMAS DEL ALGEBRA DE BOOLE Sea B un conjunto en el cual se han definido dos operaciones binarias, + y * (En algunos casos se definen en términos de y respectivamente), y una operación
Más detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013
Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesÁlgebra Booleana. Suma Booleana. El término suma es 1 si al menos uno de sus literales son 1. El término suma es 0 solamente si cada literal es 0.
Álgebra Booleana El álgebra de Boole son las matemáticas de los sistemas digitales. En el nivel de lógica digital de una computadora, lo que comúnmente se llama hardware y que está formado por los componentes
Más detallesGuía de Ejercicios: Lógica y Teoría de Conjuntos
Guía de Ejercicios: Lógica y Teoría de Conjuntos Área de Matemática Objetivo de aprendizaje Usar conectivos lógicos y relaciones conjuntistas. Negar una proposición. Contenidos 1. Elementos de lógica proporcional.
Más detallesOrganización del Computador 1 Lógica Digital 1: álgebra de Boole y
Introducción Circuitos Bloques Organización del Computador 1 Lógica Digital 1: álgebra de Boole y compuertas Departamento de Computación Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires
Más detallesCIENCIAS FORMALES CIENCIAS FÁCTICAS
UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO
Más detallesTEMA I INTRODUCCIÓN A LA LÓGICA
TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
Más detallesALGEBRA DE BOOLE George Boole C. E. Shannon E. V. Hungtington [6]
ALGEBRA DE BOOLE El álgebra booleana, como cualquier otro sistema matemático deductivo, puede definirse con un conjunto de elementos, un conjunto de operadores y un número de axiomas no probados o postulados.
Más detallesEl álgebra booleana fue estudiada por Pitágoras y George Boole.
ALGEBRA DE BOOLE Centro CFP/ES ALGEBRA DE BOOLE El álgebra booleana fue estudiada por Pitágoras y George Boole. Con el álgebra booleana, partiendo de una serie de sentencias lógicas iniciales verdaderas
Más detallesLógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas
1 Lógica Digital 2013 Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 2 La lógica es una disciplina que estudia la estructura, el fundamento y el uso de las expresiones
Más detallesOrganización del Computador 1 Lógica Digital 1: álgebra de Boole y compuertas
Organización del Computador 1 Lógica Digital 1: álgebra de Boole y compuertas Dr. Marcelo Risk Departamento de Computación Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires 2017 Lógica
Más detallesTEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q
TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la
Más detallesMatemáticas Básicas para Computación
Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 6 Nombre: Álgebra Booleana Objetivo Durante la sesión el participante identificará las principales características
Más detallesÁlgebra Booleana. Álgebra Booleana. Definiciones. Definiciones. Definiciones. Definiciones. Sistemas Digitales Mario Medina 1
Álgebra Booleana Álgebra Booleana Mario Medina C. mariomedina@udec.cl Postulados y axiomas Lemas y teoremas Referencias a otras álgebras Álgebra de Boole: estructura algebraica definida sobre un conjunto
Más detallesLógica Matemática. Operadores Lógicos. Universidad del Azuay - Marcos Orellana Cordero
Lógica Matemática Operadores Lógicos Introducción La lógica proposicional inicia con las proposiciones y los conectores lógicos. A partir de la combinación de dos proposiciones por medio de un conector
Más detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesÁlgebra Booleana circuitos lógicos
Álgebra Booleana y circuitos lógicos OBJETIVO GENERAL Teniendo en cuenta que los circuitos digitales o lógicos operan de forma binaria, emplear el álgebra booleana como fundamento teórico para el análisis,
Más detallesMatemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
Más detallesANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO
Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones
Más detallesUNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS
UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS MATERIA: UMAT 130 Lógica Matemática HORARIO: PROFESOR(A): Ing. Rubén Pacheco Villamar SEMESTRE:
Más detallesUNIDAD 4. Álgebra Booleana
UNIDAD 4 Álgebra Booleana ÁLGEBRA BOOLEANA El Álgebra Booleana se define como una retícula: Complementada: existe un elemento mínimo 0 y un elemento máximo I de tal forma que si a esta en la retícula,
Más detallesMÉTODOS DE DEMOSTRACIÓN
2016-1 1 Presentación 2 Métodos de Demostración Sobre métodos de demostración algunas preguntas de interés 1 Qué es una demostración? Sobre métodos de demostración algunas preguntas de interés 1 Qué es
Más detallesLógica de Proposiciones y de Predicado
Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 1: SINTAXIS Y SEMANTICA DEL LENGUAJE FORMAL»SINTAXIS: Introducción. Definición del lenguaje
Más detallesLógica proposicional Objetivo específico: Aplicaciones:
Lógica roosicional Objetivo esecífico: Introducir los concetos y oeraciones básicos y comrobar ue ermite estructurar razonamientos, de forma concisa y recisa, y discernir si determinadas afirmaciones son
Más detallesDETERMINACIÓN DE UN CONJUNTO
CONJUNTO UNIVERSAL U A Gráficamente, al conjunto universal se lo representa mediante un rectángulo. Cualquier otro conjunto A es representado por una región cerrada, dentro del rectángulo, A este tipo
Más detallesMATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3. PERIODO LECTIVO: Invierno PRE-REQUISITO: Ninguno. 2. OBJETIVOS (Course Objectives Goal))
UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA PROGRAMA ANALÍTICO (SUBJECT DESCRIPTION) MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3 PERIODO
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesEnunciados Abiertos y Enunciados Cerrados
I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;
Más detallesArquitectura de Computadoras Algebra de Boole Basadas en las Notas de Teórico Versión 1.0 del Dpto. de Arquitectura-InCo-FIng
Basadas en las Versión.0 del Dpto. de Arquitectura-InCo-FIng ALGEBRA DE BOOLE Introducción. El álgebra de Boole es una herramienta de fundamental importancia en el mundo de la computación. Las propiedades
Más detallesÁlgebra Booleana y Circuitos Lógicos. UCR ECCI CI-1204 Matemáticas Discretas Prof. Kryscia Daviana Ramírez Benavides
Álgebra Booleana y Circuitos Lógicos UCR ECCI CI-1204 Matemáticas Discretas Prof. Kryscia Daviana Ramírez Benavides Álgebra Booleana Tanto los conjuntos como las proposiciones tienen propiedades similares.
Más detallespersonal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12
Teoría de conjuntos. Teoría de Conjuntos. personal.us.es/elisacamol Curso 2011/12 Teoría de Conjuntos. Teoría de conjuntos. Noción intuitiva de conjunto. Propiedades. Un conjunto es la reunión en un todo
Más detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)
Más detallesMatemática I C.F.E. I.N.E.T. Profesorado de Informática Conjuntos
Conjuntos Conceptos primitivos: CONJUNTO, ELEMENTO, PERTENECE. Pertenecer- Elemento Sea el conjunto de los ríos del Uruguay. El Río Negro es un río del Uruguay. Entonces, este río es un elemento del conjunto
Más detallesTEMA 3 ÁLGEBRA DE CONMUTACIÓN
TEMA 3 ÁLGEBRA DE CONMUTACIÓN TEMA 3: Álgebra de Boole ÍNDICE. POSTULADOS DEL ÁLGEBRA DE CONMUTACIÓN 2. ÁLGEBRA DE BOOLE BIVALENTE O ÁLGEBRA DE CONMUTACIÓN 2. Teoremas del álgebra de conmutación 3. VARIABLES
Más detallesFundamentos de Lógica y Teoría de Conjuntos
Índice general 1. Lógica y Teoría de conjuntos 3 1.1. Introducción a la Lógica............................ 3 1.1.1. Repaso histórico (Ref. Grimaldi pág. 187).............. 3 1.1.2. Conceptos básicos (Ref.
Más detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Definiciones básicas: subconjunto, conjunto vacío, complemento, conjunto de partes A lo largo de esta sección consideraremos
Más detallesTema 3.1 Introducción a los circuitos combinacionales. Algebra de Boole
Tema 3.1 Introducción a los circuitos combinacionales. Algebra de Boole Índice Algebra de Boole. Definición. Operaciones lógicas: OR, AND, XOR y NOT Puertas lógicas Algebra de Boole Postulados Teoremas
Más detalles2.1. Introducción Lógica: Campo del conocimiento relacionado con el estudio y el análisis de los métodos de razonamiento. El razonamiento lógico es es
Tema 2. Introducción a la lógica 1. Introducción 2. Lógica de proposiciones 1. Definiciones 2. Sintaxis 3. Semántica Bibliografía Matemática discreta y lógica. Grassman y Tremblay. 1997. Prentice Hall.
Más detallesJohn Venn Matemático y filósofo británico creador de los diagramas de Venn
Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan
Más detallesGUIA 4: ALGEBRA DE BOOLE
GUIA 4: ALGEBRA DE BOOLE En 1854 George Boole introdujo una notación simbólica para el tratamiento de variables cuyo valor podría ser verdadero o falso (variables binarias) Así el álgebra de Boole nos
Más detallesCircuitos Electrónicos Digitales
Circuitos Electrónicos Digitales Bloque 1: Circuitos Electrónicos y familias lógicas Tema 3: Familias lógicas Guión del tema Algebra de conmutación. Variables y operadores lógicos. Ejemplo de puertas lógicas.
Más detallesTEMA II. 1.1 Negación La negación es la inversa de los valores de verdad de una declaración como se muestra en la figura: Negación
TEMA II 1. APLICACIONES PRACTICAS DE LOGICA SIMBOLICA Y ÁLGEBRA DE PROPOSICIONES La proposición lógica hace más fácil y efectiva la manipulación de valores de verdad entre proposiciones. Las tablas de
Más detallesCapítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:
Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma
Más detallesLÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS
LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS Patricia Zamora Villalobos John Alexander Coral Llanos Josué Maleaño Trejos Prof. Francisco Carrera Fecha de entrega: miércoles de setiembre
Más detallesMatemáticas Básicas para Computación
Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 5 Nombre: Tablas de verdad Objetivo Al término de la sesión el participante aplicará los conceptos de lógica a través
Más detallesIntroducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali
Introducción a la lógica Matemáticas Discretas Universidad de san buenaventura Cali Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, Bicondicional) DISYUNCIÓN (v) La disyunción
Más detallesLOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:
LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (
Más detallesÁlgebra Booleana y Circuitos Lógicos. UCR ECCI CI-0111 Estructuras Discretas Prof. Kryscia Daviana Ramírez Benavides
Álgebra Booleana y Circuitos Lógicos UCR ECCI CI-0111 Estructuras Discretas Prof. Kryscia Daviana Ramírez Benavides Álgebra Booleana Tanto los conjuntos como las proposiciones tienen propiedades similares.
Más detallesConjuntos. () April 4, / 32
Conjuntos En general, un conjunto A se de ne seleccionando los elementos de un cierto conjunto U de referencia (o universal) que cumplen una determinada propiedad. () April 4, 2014 1 / 32 Conjuntos En
Más detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
Más detallesCapítulo 1 Lógica Proposicional
Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases
Más detallesFacultad de Ciencias Exactas y Tecnología Universidad Autónoma Gabriel René Moreno CARRERA DE INGENIERIA INDUSTRIAL
PROGRAMA ANALITICO DE LA ASIGNATURA ALGEBRA I (MAT-100) DATOS GENERALES ASIGNATURA:. SIGLA Y CODIGO:... CURSO:.. PREREQUISITOS: HORAS SEMANAS:... CREDITOS: PROFESOR: ÁLGEBRA I MAT-100 Primer Semestre Ninguno
Más detallesAlgebra Booleana Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas
1 Algebra Booleana 2013 Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 2 Introducción La herramienta fundamental para el análisis y diseño de circuitos digitales es el
Más detallesJohn Venn Matemático y filósofo británico creador de los diagramas de Venn
Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan
Más detallesPROGRAMA ANALÍTICO ALGEBRA I (MAT 100)
1. IDENTIFICACION PROGRAMA ANALÍTICO ALGEBRA I (MAT 100) Asignatura ALGEBRA I Código de asignatura(sigla) MAT 100 Semestre I Prerrequisitos NINGUNO Horas semanal (HS) HT 4 HP 2 LAB 0 THS 6 Créditos (CR)
Más detallesRudimentos sobre Lógica Matemática
Contenidos Capitulo 2. Rudimentos sobre Lógica Matemática 3 1. Proposiciones Lógicas 3 2. Generación de Proposiciones y Tablas de Verdad 4 3. Ejercicios Resueltos de Lógica 6 4. Uso de Cuantificadores
Más detallesGuía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2
Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa *. 1. Lógica
Más detallesFundamentos de Computadores. Álgebra de Conmutación
Fundamentos de Computadores Álgebra de Conmutación Objetivos Conceptuales: Conocer el Álgebra de Boole y el Álgebra de Conmutación como caso especial de aquella Propiedades del Álgebra de Boole Representación
Más detallesLógica Digital - Circuitos Combinatorios
Lógica Digital - Circuitos Combinatorios Expositor: Esteban Pontnau Primer Cuatrimestre de 2012 Departamento de Computación, FCEyN,Universidad de Buenos Aires. 3 de abril de 2012 Objetivos de la clase
Más detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Más detallesINTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN
INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4
Más detallesCircuitos Combinatorios
Circuitos Combinatorios Expositor: Esteban Pontnau Autor: Luis Agustín Nieto Primer Cuatrimestre de 2011 Departamento de Computación, FCEyN,Universidad de Buenos Aires. 5 de abril de 2011 Objetivos de
Más detallesUniversidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático
Universidad Abierta y a Distancia de México Licenciatura en matemáticas 2 cuatrimestre Introducción al pensamiento matemático Clave: 1 Índice... 3 Ficha de identificación... 3 Descripción... 3 Propósitos...
Más detallesÁlgebra Booleana y Circuitos Lógicos. UCR ECCI CI-1204 Matemáticas Discretas Prof. M.Sc. Kryscia Daviana Ramírez Benavides
Álgebra Booleana Circuitos Lógicos UCR ECCI CI-1204 Matemáticas Discretas Prof. M.Sc. Krscia Daviana Ramíre Benavides Álgebra Booleana Tanto los conjuntos como las proposiciones tienen propiedades similares.
Más detallesCAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS
CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS 2.1. NOCIONES PRIMITIVAS Consideraremos tres nociones primitivas: Conjunto, Elemento y Pertenencia. Conjunto Podemos entender al conjunto como, colección,
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Métodos de Demostración Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Métodos de Demostración Matemáticas Discretas - p. 1/13 Introducción En esta sección
Más detallesLógica. Matemática discreta. Matemática discreta. Lógica
Lógica Matemática discreta Lógica: rama de las matemáticas instrumento para representar el lenguaje natural proporciona un mecanismo de deducción 2 y de predicados Razonamientos Cálculo proposicional Cálculo
Más detallesANALÓGICO vs. DIGITAL
ANALÓGICO vs. DIGITAL Una señal analógica se caracteriza por presentar un numero infinito de valores posibles. Continuo Posibles valores: 1.00, 1.01, 200003,, infinitas posibilidades Una señal digital
Más detallesFacultad de Ingeniería y Tecnología Informática Técnico en Programación de Computadoras Plan de Estudios 2014 Año 2014 Programa Analítico Lógica (1)
1. OBJETIVOS: 1- OBJETIVOS GENERALES: El objetivo principal de esta asignatura es introducir al alumno en el estudio de los sistemas finitos, conforme a los avances en la era de las computadoras. Se pretende
Más detallesINTRODUCCION AL ALGEBRA.
INTRODUCCION AL ALGEBRA. 2- TEORIA DE CONJUNTOS. Apuntes de la Cátedra. Alberto Serritella. Colaboraron: Cristian Mascetti. Vanesa Bergonzi Edición Previa CECANA CECEJS CET Junín 2010. UNNOBA Universidad
Más detallesI UNIDAD ÁLGEBRA BOOLEANA Y COMPUERTAS LÓGICAS
I UNIDAD ÁLGEBRA BOOLEANA Y COMPUERTAS LÓGICAS 1.1 Electrónica Digital Obviamente es una ciencia que estudia las señales eléctricas, pero en este caso son señales discretas, es decir, están bien identificadas,
Más detallesL OGICA Proposiciones
CAPíTULO 4 LÓGICA Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento. A su vez, hay una variedad de modos o formas mediante las cuales razonamos o argumentamos a favor
Más detallesConjuntos, Aplicaciones y Relaciones
Conjuntos, Aplicaciones y Relaciones Curso 2017-2018 1. Conjuntos Un conjunto será una colección de objetos; a cada uno de estos objetos lo llamaremos elemento del conjunto. Si x es un elemento del conjunto
Más detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesÁLGEBRA DE BOOLE Y FUNCIONES LÓGICAS
1. Introducción ÁLGERA DE OOLE Y FUNCIONES LÓGICAS El Álgebra de oole es una parte de la matemática, la lógica y la electrónica que estudia las variables, operaciones y expresiones lógicas. Debe su nombre
Más detallesAPÉNDICE A. Axiomas y Teoremas. Índice del Capítulo
APÉNDICE A Axiomas y Teoremas Índice del Capítulo A.1. Teoremas del Cálculo Proposicional..................... 219 A.2. Leyes Generales de la Cuantificación.................... 222 A.3. Teoremas del Cálculo
Más detallesCompuertas Lógicas, Algebra Booleana
Compuertas Lógicas, Algebra Booleana Representación de números negativos Herramientas para conversión y operaciones aritméticas Evaluación BIN DEC DEC Revisión Evaluación Compuertas lógicas Algebra Booleana
Más detallesCAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA.
CAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA. Para evitar confusiones, consideraremos tres momentos de la lógica bien diferenciados: 1º el de la Lógica No-Matemática, que abarca desde Aristóteles (384 322 a.c.),
Más detallesCONJUNTOS. Por ejemplo, el E del ejemplo 2 se escribe.
CONJUNTOS La teoría de conjuntos nos permite describir de forma precisa conjuntos de números, de personas, de objetos, etc que comparten una propiedad común. Esto puede ser de gran utilidad al establecer
Más detallesNo ~ Si entonces Sí y sólo si
Principios de lógica. Principios de la lógica y o Objetivo general Establecer el valor de verdad de muchos de los enunciados lógicos, utilizando las leyes de la lógica y las de las inferencias, ya sea
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Lógica : Proposiciones, Conectivos, Tablas de Verdad y Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Lógica Matemáticas Discretas - p. 1/43 En esta lectura
Más detallesÁlgebra de Boole. Adición booleana. Multiplicación booleana. Escuela Politécnica Superior
Álgebra de Boole El Álgebra de Boole es una forma muy adecuada para expresar y analizar las operaciones de los circuitos lógicos. Se puede considerar las matemáticas de los sistemas digitales. Operaciones
Más detalles- AnallogicA - Software para crear tablas de verdad
- AnallogicA - Software para crear tablas de verdad Henry Suarez skilltik@gmail.com Año 2010 Proyecto de POO de la carrera de Ingeniería en Informática de la Universidad Nacional del Litoral. Módulos del
Más detallesCuantificadores y Métodos de Demostración
Cuantificadores y Métodos de Demostración 1. Cuantificadores... 1 1.1. Cuantificador Existencial... 2 1.2. Cuantificador Universal... 3 2. Métodos de Demostración... 4 1. Cuantificadores Hasta ahora habíamos
Más detallesLógica de proposiciones
1 Introducción Lenguaje lógico simbólico más sencillo. Permite representar sentencias simples del lenguaje natural mediante formulas atómicas, cuya composición representa sentencias más complejas: p temperatura
Más detallesCarrera: SCB Participantes. Representantes de la academia de sistemas y computación de los Institutos Tecnológicos.
1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos Matemáticas para computación Ingeniería en Sistemas Computacionales SCB - 0422
Más detalles