ordenamiento por mezcla para, 772-775 algoritmo de ordenamiento por selección para, 749 topológica, 507-509 Cocientes, 180 de enteros, 163-168 Códi...

ordenamiento por mezcla para, 772-775 algoritmo de ordenamiento por selección para, 749 topológica, 507-509 Cocientes, 180 de enteros, 163-168 Código Estándar Americano para Intercambio de Información (ASCII), 437 Código Extendido de Binario Codificado Decimal (EBCDIC), 437, 538 Co-dominio, 384, 397 Coeficientes binomial, 600 constante, 317-326 función polinomial con negativos, 731-733 Colección indexada de conjuntos, 343 Colisión, 401 Colisiones, métodos de solución de, 401 Collatz, Luther, 333 Colmerauer, A., 127 Columnas, multiplicación de, 666-667 como mcd, 486-487 Combinaciones 3-, 566 de conjuntos, 565-581 de equipos, cálculo, 569-574 lineales de enteros, 486 lineales que satisfacen las condiciones iniciales, 320-322 permutaciones y, 567-569 r-, 566, 584-590 Compilador de computadora, 780, 787 identificadores y, 464 Complemento(s) Véase también Un complemento; Dos complementos en álgebra booleana, 375-377 de 0 y 1, 376 de conjuntos, 341-342 de evento, probabilidad, 543, 605-606 de grafo, 641 de los conjuntos universo/nulo, 355 de uno, 85 Componentes conectados, 647-648 matrices y, 656-666 Composición, 417 de funciones, 416-426 con función identidad, 418-420 con funciones inversas, 420-421 definición de conjuntos finitos, 418 definición de fórmulas, 417-418 en funciones y, 423-426 funciones inyectivas y, 421-423 Concatenación, 415, 783 Conclusión(es), 40 argumento no válido verdadero 59 argumento válido falso, 58 en el enunciado condicional, 47-48 modus ponens universal para obtener resultado, 133-134 modus tollens universal para obtener resultado, 135 saltando a, 57, 157 Condición de la guarda, 215, 281 falsedad eventual de, 282 Condicionales simples, de 48 Condiciones iniciales, 290 combinaciones lineales que satisfacen, 320-322 Condiciones necesarias definición de, 46 enunciados condicionales universales y, 114-115 enunciados if-then y, 47 interpretación, 47 Condiciones suficientes definición de, 46 enunciados if-then y, 47 enunciados universales condicionales y, 114-115 interpretación, de 47 Conejos, cálculo de tasas de reproducción de, 297-298 Confusión de conjuntos, 553 Congruencias, evaluación, 473 Conjetura de Beal, 212 de Euler, 160 de Goldbach, 160 de los números primos gemelos, 211 de Taniyama-Shimura, 160 Conjunción, 25 tablas de verdad para, 27 Conjunto completo de residuos de módulo n, 481 infinito(s) conteo de un, 431-432 definición de, 428, 562 en la definición de funciones, 403-405 en las relaciones, propiedades de, 453-456 funciones inyectivas definidas en, 399-400 nulo, 344, 355, 361-364 deducción de identidad del conjunto usando propiedades del conjunto, 371 parcialmente ordenado (poset) 264-266, 506 universo, 341, 355 vacío, 344, 361-364 deducción del conjunto identidad usando propiedades del, 371 prueba de, 363 unicidad de, 362 verdadero, de predicados, 97 Conjunto(s) Véase también Leyes de De Morgan para los conjuntos, los elementos del conjunto; Conjuntos finitos; Subconjuntos álgebra booleana y, 374-377 algoritmo para la comprobación de subconjuntos de, 348-349 cardinalidad y, 428-430 colección indizada de, 343 combinaciones de, 565-581 complementos de, 341-342 contables, 430-432,435-436 conteo de subconjuntos de, 565-581 de cadenas de caracteres alfabéticos, 329 de cadenas de caracteres, definidos en forma recursiva, 329-330 de estados de aceptación, 793 de estructuras entre paréntesis, propiedad de, 331 de identificadores, relación con, 464-465 de inducción estructural definida recursivamente, 331 de números racionales positivos, conteo de, 432-436 divisibilidad y, 175-176 enunciados universales desaprobados por, 149-150 para el conjunto identidad, 367-368 Contraposición argumento indirecto, 198-205, 561 demostración por reducción al absurdo comparada con, 203-204 método de demostración por, 202-203 Contrapositivo de enunciados condicionales, 43 de enunciados universales condicionales, 113-114 del principio generalizado de las casillas, 560-561 Contraria de enunciados condicionales, 43-44 de enunciados condicionales universales, 113-114 de relación, 444-445 imagen, 384 módulo n, 488-490 Contraseñas, conteo de, 540-541 Converso de enunciados condicionales, 43-44 de enunciados condicionales universales, 113-114 Convolución de Vandermonde, 603 Corolario, 167-168 Correspondencias uno a uno, 397 cadena de caracteres y, 407-410 CPM (Método de la ruta crítica), 510-512 Criba de Eratóstenes, 206-207 Criptografía clave pública, 479-480, 491 definición de, 478 módulo inverso n, 488-490 RSA, 484, 490-492, 494-496 cifrado, por qué funciona, 494-496 cifrar con, 491 descifrar con, 492 pequeño teorema de Fermat y, 494 teoría de números y, 496 Cuadrado de un entero impar, 185-187 Cuadrado de un entero par, 202-203 Cuadrado perfecto, 108, 161 Cualquier, mal uso de, 158 Cuantificación universal implícita, 103-104 Cuantificador de arrastre, 101, 111 Cuantificador existencial, 99-100 como implícito, 103 Cuantificadores enunciados con múltiples, 117-128 existenciales, 99-100 múltiples, con enunciados, 117-128 orden de, 124-125 seguimiento de, 101, 111 universales, 97-99 implícitos, 103-104 Cumpleaños (ejemplo), 554-555 Cursos requeridos para el grado, 510 Da Vinci, Leonardo, 1 Dados, probabilidad al tirar un par de, 519 Davis, Philip J., 191, 367 De Fermat, Pierre, 159-160, 170, 211, 246, 520 pequeño teorema de, 494 último teorema de, 160, 160N, 211-212 De Morgan, Augustus, 23, 32, 246 De Morgan, Leyes de la lógica, 35, 112 aplicación, 32-33 definición de, 32 desigualdades de, 33-34 De orden a lo más g, 727 De orden al menos g, 727 De orden g(n), 741 De orden g, 727 Decimales, de terminación, 557 repetición/terminal de, 557 Dedekind, Richard, 474 Definición recursiva de conjuntos de cadenas de caracteres, 329-330 de conjuntos, 328-330 de conjuntos, inducción estructural, 331 de expresiones booleanas, 328-329 de factoriales, 237 de producto, 300-301 de una suma, 232, 300-301 general, 328 a 333 para la notación de productos, 233 Definiciones recursivas generales, 328-333 Delta de Kronecker, 669 Demostración(s) Véase también Demostración algebraica; Demostración directa; Refutación algebraica, 592, 595, 598-600 algebraica de conjunto de identidades, 370-372 de la fórmula de Pascal, 595 del teorema del binomio, 592, 598-600 combinaciones, 592, 595-596, 600-602 de la fórmula de Pascal, 595-596 del teorema del binomio, 592, 600-602 como herramienta de solución de problemas, 204-205 constructiva, de existencia, 148-149 de enunciados universales, 150-156 de identidades del conjunto, 356-361 de la ley distributiva, 356-359 de las Leyes de De Morgan para los conjuntos, 359-361 de leyes de doble complemento, 377 de leyes de idempotencia, 377 de los enunciados existenciales, 148-149 de propiedades de divisibilidad, 173-175 de propiedades de números r