Matemé@tica Discreta y sus Aplicaciones 5.2 e Kenneth H. Rosen Laboratorios AT&T Traducciéi José Manvel Pérez Morales Investigador titular del CEMAT Profesor asociado Universidad Carlos Ill de Madrid Julio Moro Carrefio Titular de Universidad Departamento de Matematicas Universidad Carlos ill de Madrid Ana Isabel Lias Quintero Depariamento de Matematica Aplicada Universidad Politécnica de Madrid Pedro Antonio Ramos Alonc Departamento de Matematicas Universidad de Alealé li i MADRID + BUENOS AIRES + CARACAS « GUATEMALA « LISBOA + MEXICO NUEVA YORK + PANAMA + SAN JUAN + SANTAFE DE BOGOTA + SANTIAGO = SAO PAULO ‘AUCKLAND * HAMBURGO * LONDRES « MILAN + MONTREAL » NUEVA DELHI « PARIS 'SAN FRANCISCO + SIDNEY + SINGAPUR + SAN LUIS * TOKIO + TORONTOMATEMATICR DISCRETA ¥ SUS APLICACIONES Quinta Edicion No esté pormitida la reproduccién total 0 parcial de este libro, ni ou trata- :miento informético, mila tranamiaign de ninguna forma o por ewalaier medio, yarsea electronico, mecénico, por fotocopia, por registro otros métodos, sin el permiso previo y por escrito de los ttulares del Copyright. DERECHOS RESERVADOS © 2004, respecto a la quinta edicion on espafcl, por ‘MeGRAW- HILL/INTERAMERICANA DE ESPAMA, 8. A. U. Ezlficio Valrealty, 1.* planta Basauri, 17 128023 Aravaca (Madrid) ‘Traducido de la quinta edicion en inglés de Discrete Mathematics and ts Applications Copyright © MMII por the MacGraw-Hill Companies, Inc. ISBN: 0-07-242434-6 ISBN: 84-481-4073-7 ‘Depésito legal: M. 24.385-2004 Ezitora: Concepeién Ferntndez Asistente editorial: Amelia Nieva Cubierta: CD-Form ‘Compuesto o improso on Fernandez Ciudad, SL. IMPRESO EN ESPANA - PRINTED IN SPAINSobre el autor Prélogo La pagina web de ayuda ‘Alestudiante L Contenido Los fundamento: Jégica y demostracion, conjuntos y funciones LL. Légica 1.2. Equivalencias proposicionales .... z 1.3. Predicados y cuantificadores.. 1.4, Cuantificadores anidados 1.5. Métodos de demostracién .. 1.6. Conjuntos 1.7. Operaciones con COnjuMtOS seven 1.8. Funciones .. Material fin del Capitulo .. Los fundamentos: algoritmos, ntimeros enteros y matrices 2.1. Algoritmos 2.2. Crecimiento de funciones .. 2.3. Complejidad de algoritmos. rncone 24, Enteros y divisién 2.5. Enteros y algoritmos 2.6. Aplicaciones de la teorfa de mimeros .. ee a ce 2.7. Matrices Material fin del Capitulo .. Razonamiento matematico, induccién y recursividad 3.1. Estrategias de demostractén . 3.2, Sucesiones y sumatorios 3.3, Induecién matemética soe spe 3.4, Definiciones recursivas e induccién estructural... ef 3.5. Algoritmos recursivos 3.6. Verificacién de programas Material fin del Capftalo Recuento .. 4.1. Fundamentos de combinator 4.2. Principios del palomar 43. Permutaciones y combinaciones ... 4.4. Coeficientes binomiales ..... 4.5, Permutaciones y combinaciones generalizadas 103 109 109 120 132 140 155 167 181 191 199 199 210 222 239 255 264 270 279 297 303 31