decreciente, 722-723 definición, 16-17 definición de, 384 definición de fórmulas, 20 definición de producto cartesiano, 388 diagramas de flechas pa...

decreciente, 722-723 definición, 16-17 definición de, 384 definición de fórmulas, 20 definición de producto cartesiano, 388 diagramas de flechas para, 384-386 I-10 Índice distancia de Hamming, 389-390 div como, 383 eficiencia del algoritmo y, 739-747, 764-776 ejemplos de, 387-390 en conjuntos de números reales, 18-19 en conjuntos finitos, 17-18 en tramos, 401 en, 402-405, 423-426 estado-eventual, 796-797 Euler , 396 f (x), 384 gráfica, definidas en un conjunto de números enteros, 720 grafo de, 626, 718 identidad, composición de funciones con, 418-420 identidad, en un conjunto, 387 igualdad de, 386 inversa, 397, 410-413, 420-421 inyectivas, 397-400, 421-423 máquinas, 19-20 mod como, 383 múltiplos de, 721 723 no bien definida, 391-392 no calculable, 438 piso, 383,719-720, 744 polinomial, 730-734 potencia, 718-719, 729-730, 734-736 principio de las casillas y, 554-563 probabilidad, 605 proposicional, 96 recursiva, 332-333 sucesiones como, 387 sucesora, 20, 416-417 tablas de definición de entrada/salida, 390 techo, 383, 719 valor absoluto, 722 valor de, 384 Funciones bien definidas, 391-392 booleanas, 390-391 crecientes, 722-723 de codificación, de decodificación, 389 de piso, 383, 744 gráficas de, 719-720 de potencias definición, 718 funciones racionales, compuestas de, 735-736 gráficas de, 718-719 órdenes de, 729-730, 734 de valores reales de variable real, 717-723 decrecientes, 722-723 en tramos, 401 exponenciales con base b, 405-407 gráficas de, 751-752 inyectivas de, 407 inversas, 397, 410-413 composición de funciones con, 420-421 inyectivas, 397-400 composición de, 421-423 definición de conjuntos finitos, 397 definición de conjuntos infinitos, 399-400 funciones exponenciales como, 407 para conjuntos finitos, 562-563 logarítmicas con base b, 388-389, 405-407, 752-753 con base b de x, 388 gráficas de, 752-754 no bien definidas, 391-392 no calculables, 438 polinomiales con coeficientes negativos, aproximación de la notación O para, 731-732 con coeficientes negativos, aproximación en notación para, 732-733 limitaciones en órdenes de, 734 órdenes de, 730-734 proposicionales, 96 recursivas, 332-333 techo, 383, 719 Galilei, Galileo, 428 Gauss, Carl Friedrich, 176, 251, 472 Generador de código, 780 Generalización, 54-55 de lo general a lo particular, método de, 151-152, 160, 165 Germain, Marie-Sophie, 211-212 Gibbs, Josh Willard, 13, Gilbert William S., 592 Glaser, 78 Gleick, James, 160 Gödel, Escher, Bach (Hofstadter), 328, 330, 354 Gödel, Kurt, 379 Goldbach, Christian, 160 Golomb, Salomón, 264-265, Grado de un vértice, 634-638 Grado total de grafos, 635-636 Grafo Véase también Grafos dirigidos árbol, 683, 690 bipartito, 641 completo, 633 bosque, 683 circuito libre, 683 circuitos y, 642-656 complemento de, 641 completos, 633 conectado, 646-647 conocimiento representado con, 631 de circuito libre, 683 de conocidos, 637-638 de conocidos, 637-638 desconectados, 646-647 dibujados, 628-629 dirigidos, 267, 629 de relación, 446 de relación de orden parcial, 505 grado de un vértice y, 634-638 grado total de, 635-636 isomorfos, 675-681 simples, 680-681 matrices y, 662-664 no dirigidos, 664 no isomorfo, 679-680 no vacío, 626 peso total de, 703-704 ponderado, 703-704 propiedades de, 625-627 Red mundial de internet representada por, 630 red representada con, 629-630 representación pictórica de, 628-629 representaciones matriciales, 661-673 simple, 632-633 simples, 632-633 isomorfos, 680-681 sin dirección, 664 sub-, 634 terminología de, 627 Índice I-11 total, 633 trayectorias en, 642-656 vacía, 626 vacío, 626 Gráfica(s), 625-681 de f, 718 de función, 626, 718 de función potencia, 718-719 de función, definida en conjunto de los enteros, 720 de funciones de suelo, 719-720 de funciones exponenciales, 751-752 de funciones logarítmicas, 752-754 de la ecuación, 626 de la función valor absoluto, 722 definición de, 625-627 del múltiplo de una función, 721, 723 ejemplos de, 629-632 existencia de, 636-637 funciones reales de variable real y, 717-723 Grafos no isomorfos, 679-680 Gramática, 780 Green, Ben Joseph, 211 Gries, David, 280 Griggs, Jerrold, 354 Hall, Monty, 519-520 Hamilton, Sir William Rowan, 653 Hamming, Richard W., 389 Hanoi, Torre de, 293-296 fórmula explícita para, 310 Hardy, GH, 198, 227, 478, 496 Hasse, diagramas de, 503-505 laterales, 511 Hasse, Helmit, 503 Hausdorff, Felix, 10 “Hay” enunciados, 5 Hermanos, 694 Herramientas de solución de problemas, como demostración, 204-205 Hersh, Reuben, 191.367 Hidrocarburos saturados, 686 Hijo derecho, 696 Hijo izquierdo, 696 Hilbert, David, 374, 793 Hipótesis, 51 en enunciado condicional, 47-48 enunciado condicional con 40 inductiva, 247, 268 Hoare, C. A. R., 282 Hofstadter, Douglas, 328, 330, 352, 354 Hoja, 688-690 HTTP (protocolo de transferencia de hipertexto), 630 Idempotencia, leyes de, 35, 355, 376 demostración de, 377 Identidad, 355 aditiva, 213 dual, 376 leyes de, 35, 355, 375 multiplicativa, 213 matricial, 669-670 Identidades de conjuntos, 355 contraejemplos para, 367-368 demostración, 356-361 demostraciones algebraicas de, 370-372 Identificadores clase de equivalencia de, 466-467 compiladores de computadora y, 464 de Python, 543-544 conteo, 543-544 relación con el conjunto de, 464-465 i-ésimo renglón de la matriz, 661 If-then-else, enunciados, 184, 215-216 Igualdad conjunto, 339 de funciones, 21, 386 demostración, 254-255 propiedades de, 453-454 relaciones de, 453 Igualmente probable, fórmula de probabilidad, 518 Imagen(es), 397 de X bajo F, 384 inversa, 384 Implicación, flecha de, 731n Incidentes en (extremo), 626 Inclusión de la intersección, 352 Inclusión en la unión, 352 Inclusión/exclusión, regla de, 545-549 Índice