Prerrequisito: fundamentos de la teoría de grafos Considere un circuito electrónico que tiene varios Nodes con conexiones entre ellos. ¿Es posible imprimir ese circuito en una sola placa de modo que ninguna de las conexiones se cruce entre sí, es decir, no se superpongan ni se crucen? Esta pregunta se puede responder si conocemos la … Continue reading «Matemáticas | Gráficas Planares y Coloración de Gráficas»
Prerrequisito: Introducción a la Lógica Proposicional – Conjunto 1 Ley de De Morgan: En lógica proposicional y álgebra booleana, las leyes de De Morgan son un par de reglas de transformación que son reglas de inferencia válidas . Llevan el nombre de Augustus De Morgan, un matemático británico del siglo XIX. Las reglas permiten la … Continue reading «Matemáticas | Introducción a la Lógica Proposicional | conjunto 2»
Requisito previo: conceptos básicos de combinatoria Varios problemas de conteo requieren encontrar la cantidad de formas de organizar una cierta cantidad de elementos distintos, donde el orden relativo de estos elementos importa, otros problemas se enfocan en encontrar la cantidad de formas de seleccionar una cantidad particular de elementos de un conjunto, donde el orden … Continue reading «Matemáticas | PnC y Coeficientes Binomiales»
1. Conjuntos Independientes – Un conjunto de vértices I se llama conjunto independiente si no hay dos vértices en el conjunto I que sean adyacentes entre sí o, en otras palabras, el conjunto de vértices no adyacentes se denomina conjunto independiente. También se le llama conjunto estable. El parámetro α 0 (G) = max { … Continue reading «Matemáticas | Conjuntos Independientes, Coberturas y Matching»
Requisito previo: propiedades del álgebra booleana , minimización de funciones booleanas El teorema de redundancia se utiliza como un truco de álgebra booleana en electrónica digital. También se conoce como Teorema del Consenso: AB + A’C + BC = AB + A’C El consenso o resolutor de los términos AB y A’C es BC. Es … Continue reading «Teorema del consenso en lógica digital – Part 1»
Requisito previo: introducción al modelo relacional y reglas de Codd Cualquier conjunto de atributos de una tabla que pueda identificar de forma única todas las tuplas de esa tabla se conoce como Superclave . Es diferente de las claves principales y candidatas en el sentido de que solo las superclaves mínimas son las claves candidatas/principales. … Continue reading «Número de posibles superclaves en DBMS»
En este artículo, estamos discutiendo cómo encontrar el número de funciones de un conjunto a otro. Para comprender los conceptos básicos de las funciones, puede consultar esto: Clases (inyectivas, sobreyectivas, biyectivas) de funciones . Número de funciones de un conjunto a otro: Sean X e Y dos conjuntos que tienen m y n elementos respectivamente. … Continue reading «Matemáticas | Número total de funciones posibles»
Una función booleana se describe mediante una expresión algebraica que consiste en variables binarias, las constantes 0 y 1 y los símbolos de operación lógica. Para un conjunto dado de valores de las variables binarias involucradas, la función booleana puede tener un valor de 0 o 1. Para ejemplo, la función booleana se define en … Continue reading «Representación de funciones booleanas – Part 1»
Prerrequisito : Predicados y cuantificadores Conjunto 1 , Equivalencias proposicionales Equivalencias lógicas que involucran cuantificadores Dos enunciados lógicos que involucran predicados y cuantificadores se consideran equivalentes si y solo si tienen el mismo valor de verdad, sin importar qué predicados se sustituyan en estos enunciados, independientemente del dominio utilizado para las variables en las proposiciones. … Continue reading «Matemáticas | predicados y cuantificadores | conjunto 2»
Prerrequisito: fundamentos de la teoría de grafos: conjunto 1 Un gráfico es una estructura que equivale a un conjunto de objetos en los que algunos pares de objetos están en algún sentido «relacionados». Los objetos del grafo corresponden a vértices y las relaciones entre ellos corresponden a aristas . Un gráfico se representa esquemáticamente como … Continue reading «Matemáticas | Conceptos básicos de la teoría de grafos – Conjunto 2»