Estructuras de matemáticas discretas para la computación

a y b a₁ a₂ álgebra booleana algoritmo árbol de expansión aristas b₁ b₂ cadena Calcule ciclo cociente computadora conjunto finito conjunto parcialmente ordenado Considérese debe decodificación definida Demostración Demuestre denota Determine diagrama de Hasse dígito digrafo Ejemplo 7 elemento máximo entero positivo entonces entrada Escriba estructura etiqueta evento existe expresión regular figura función de codificación función f gráfica gramática GRUPO DE EJERCICIOS homomorfismo impar implica isomorfismo lenguaje manera máquina de Moore matriz mínimo modo monoide muestra números reales operación binaria orden parcial P₁ palabras codificadas partición permutaciones polinomio programa propiedades proposición R una relación r₂ relación de equivalencia relación R relación simétrica retícula s₁ Sean secuencia semigrupo seudocódigo siguiente Solución subárbol subconjunto subgrupo subgrupo normal subrutina sucesión Supóngase tabla de verdad teorema transitiva trayectoria de longitud utiliza v₁ véase la sección verdadera vértice