Matemtica

Discreta
y sus
Aplicaciones
5.
0
edicin
Matemtica
Discreta
y sus
Aplicaciones
S.a edicin
Kenneth H. Rosen
laboratorios AT&T
Traduccin:
Jos Monuef Prez Morales
Inves'godo< ,rulo, del C1EMAT
Profesor asociado
Universidod (0,10$ 111 de Madrid
Julio Moro Carrea
Titular de Universidad
Departamento de Matemticas
Universidad Carlos III de IVoodrid
Ano Isabel Uos Quintero
Dep:1l1omento de Niotemtico Aplicado
Universidod Politcnico de Madrid
pedro Antonio Ramos A10nc
Departamento de M.otemticas
Universidad de Alcal
In
MADRID' BUENOS AIRES' CARACAS' GUATEMALA' USeDA' MElUCO
NUEVA YORK' PANANA. SAN JUAN' SANTAFE DE BOGOT' SANTIAGO' SAO PAULD
AUCKlAND HAMBUAGO LONDRES MIlN' MONTREAl' NUEVA DELHI' PARJS
SAN FRANCISCO' SIONEY 51NGAPUR SAN LUIS' TOKIO, TORONTO
Contenido
S o h , . ~ , . / Dular Ix
Prlugu xl
Lo pdgina weh dt ayuda . xix
i4lesrudiante ni
l. Los Cundamentos: lgica y demostraci6n, conjuntos y Cunclones ... 1
1.1. Lgica _._............................................................................ 1
1.2. Equivalencias proposicionales _ __ __ ._._ _ _..__ 19
1.3. Predicados y cuanl.ificadores 26
1.4. Cuantificadores anidados _............................................................................. 40
1.5. Mtodos de detnostracin _ _ _..................... 52
1.6. Conjuntos _ _ 71
1.7. Operaciones con conjuntos 79
1.8. Funciones 90
Material fin del Captulo 103
2. Los fundamentos: algoritmos, nmeros enteros y matrices 109
2.1. Algo"""", 109
2.2. Crecimiento de funciones 120
2.3. COIt1plejidad de a1goritInOS J32
2.4. Enteros y divisin 140
2.5. Enteros y algoritmos ISS
2.6. Aplicaciones de la teora de nmeros 161
2.7. Matrices 181
Malerial fin del Captulo _.............. 191
: 3. Razonamiento matemtico, induccin y recursividad 199
3.1. &lrategias de dernoslracin 199
3.2. Sucesiones y sumatorios 210
3.3. Induccin maleml1tica 222
3.4. DefIniciones recursivas e inducciD estnletural 239
3.5. Algoritmos recursivos _........... 255
3.6. Verificacin de programas 264
Material fin del Capflulo 270
4. Recuento 279
4.1, Fundwnentos de combinatoria 279
4.2. Principios del palomar 290
4.3. Permutaciones y combinaciones 297
4.4. Coeficientes binomiales 303
4.5. Permutaciones y combinaciones generalizadas 31l

vi Corumido
4.6. Generacin de permutaciones y combinaciones 320
Material fin del Capitulo 324
5. Probabilidad discreta 329
5.1. Una introduccin a la probabilidad discreta 329
5.2. Teora de la probabilidad 336
5.3. Valor esperado y varianza 352
Material fin del Capftulo 366
6. Tcnicas avanzadas de 373
6.1. Relaciones de recurrencia 373
6.2. Resolucin de relaciones de recurrencia 384
6.3. Algoritmos de divide y vencers y relaciones de recurrencia 396
6.4. Funciones generatrices 405
6.5. Principio de 420
6.6. Aplicaciones del principio de 426
Material fin del Captulo 433
7. Relaciones............................................................................................................... 439
7.1. Relaciones y sus propiedades 439
7.2. Relaciones n-arias y sus aplicaciones 449
7.3. Representacin de relaciones 456
7.4. CietTt: de relaciones 463
7.5. Relaciones de equivalencia 473
7.6. rdenes parciales 481
Material fin del Captulo 495

8. Grafos....................................................................................................................... 583
8.1. lntnxluccin a los grafos 503
8.2. Tenninologa en teoria de grafos 511
8.3. Representacin de grafos e isomorfismo de grafos 521
8.4. Conexin 531
8.5. Canlinos eurclianos y hamiltonianos 540
8.6. Caminos de longitud mnima 554
8.7. Grafos planos 564
8.8. Coloreado de grafos 573
Material fm del Captulo 581
9. rboles S89
9.1. Introduccin a los rboles 589
9.2. Aplicaciones de los rboles 601
9.3. Recorridos en rboles __ 615
9.4. rboles generadores 628
9.5. rbol generador mnimo :................................................... 641
Material fin del Captulo 646
10. lgebra de Boole
Coll1enido ,.jj
653

10.1. Funciones booleanas 653

10.2. Representacin de funciones booeanas 660
10.3. Puenas lgicas................................................................................................. 664
10.4. Minimizacin de circuitos 670
Material fin del Captulo 6S4
11. Modelos de computacin 689
11.1. Lenguajes y gramticas 689
11.2. Mquinas de estado finito con saMa 700
11.3. Mquinas de estado finito sin salida 706
11.4. Reconocimiento de lenguajes 713
11.5. Mquinas d ~ Turing 722
Material fin del Captulo 729
APNDICES
A-l. Funciones exponencial y logartmica 735
A-2. Pseudocdigo 739
Lecluras recomendadas 745
Respuestas a los problemas impares 753
FOlografas 829
ndice onomstico 831
ndice analtico.................................................................................................................. 833
Sobre el autor
K
F..NNElli H. ROSEN es un miembro distinguido del personal ltnico de los Laboratorios
AT&T en MiddJelDwn. Nueva Jersey. Eslados Unidos.
El doctor Rosen se gradu en Matemticas en la Universidad de Michigan. Ano Albor
(1972) Yse doctoro en el M.I.T. (Boston) en 1976. donde escribi su tesis en el trea de leorfa de
nmeros bajo la direccin de Harold Slm. Anles de ingresar en los Laboratorios BeU en 1982. fue
UJsocicJtl' proftssor de matemticas en la Universidad de Colorado. Boulder, la Universidad del
Estado de Ohio. Columbus. y en la Universidad de Maine. Orono. Mientras trabajaba en IOli La-
IxmHorios AT&T. Ken fue profesaren la Universidad de Monmoulh, donde ense matemtica
discreta. lcoria de codificacin y seguridad en datos.
El doclor Rosen ha publicado numerosos anfeulos en revistas profesionales de las reas de leo-
Tia de nmeros y modelado matemtico. Es aUlor de los libros de texto Elt'mento/}' Number Tht'-
ory and Its Applications. actuaJmente en su cuarta edicin. publicado por Addison-Wesley. y Mo-
temtica discreto y sus aplicaciones. en su quinta edicin. public-..oo por McGmw-HiU. Ambos li-
bros se han usado ampliamenle en centenares de universidades. Es coautor de UNIX: The
CompletE' Refert'nct'. UNIX Syslem V Rt'lt'Ost' 4: An Imroduction y 8esl UNIX Tips Eller. publi-
cados por Osbome McGraw-Hill. Estos libros han vendido ms de cien mil copi3s. con traduc-
ciones al chino. alemn. espaol e italiano. Ken es tambin editor del Handhook o[Dere/e a"d
Combin%rial Matl,,:malics. pubHcado en 2000 por CRC Press. y es supervisor de edicin de la
seric eRe de libros sobre matemtica discreta. Ken tambin est interesado en la integracin del
sojh'l'(ue matemtico en entornos profesionaJes y didcticos y ha trabajado en proyectos con el pro-
grama MAPLE de la empresa Waterloo en estas reas.
En los Laboralorios Bell. y actualmente en AT&T. el doctor Rosen ha colaborado en un
amplio abanico de proyectos. entre los que se incluyen estudios sobre investigacin operativa y
planil'icacin de Uoca."l de produccin para ordenadores y equipos para comunicacin de datos.
Ha ayudado en la planificacin de los futuros productos y servicios de AT&T en el rea de mul-
timedia. como comunicacin de vfdoo o reconocimiento y sintetizado de voz.. asf como en dis-
tribucin de imgenes. Ha evaluado nuevas tecnologas para su aplicacin en AT&T. Ha in-
ventado numerosos servicios nuevos y ha regi5trado o Liene en proceso ms de sesenta y cinco
pmentes. Uno de sus proyeclos ms inlcresanles est relacionado con la evaluacin de tecnolo-
ga para AT&T en el Centro EPCOT.
1,
Prlogo
A
l escribir esle libro me he guiado por mi ampli3 cxpcrien(:ia e inlers en la cnseanl.a de la
matemtica discreta. Para el estudiante. mi propsilo era presentar el material de forma
precisa y legible. con los conceplos y tcnicas en matemtica discreta presentados y de-
mostrados con claridad. Mi mela cm moslmr la relevancia y ulilidad de esta disciplina a los estu
dianles.los cuajes a menudo se mueslmn escpticos. Quera dar a los estudianles de ciencia.'i de la
computacin toda la base matemtica que necesiten en sus estudios. A los estudiantes de male
mticas quera ofrecerles una fonna de entender los matemticos imponanles junio con
una idea de por qu estos conceptos son importantes en las aplicaciones. Y quena llevar a cabo es
las metas sin rebajar el m.llena!'
Para el profesor. mi propsito era discflar una hernunienla didctica nexible y de amplio es-
pectro empleando tcnicas pedaggicas comrastadas en matemlicas. Quera proporcionar a los pro-
fesores un volumen de malerial que pudieran utilizar p.'1ra ensear rnalem:1tica discreta efectiva y cli
cienlemente de la fomm mi.; apropiada par.& sus alumnos. Espero haber alcanzado e."tas melas.
El tremendo xito de este libro de texto ha sido extremadamenle gratiftcante para m. Las mu-
chas mejor.&s de esta quinta edicin han sido posibles a las sugerencia." de un gran nmero de
profesores y alumnos dc ms de quinicllt:ls instituciones donde el libro ha sido usado con xito. Hay
bastantes mejor.ls en esla edicin. El malen:!1 auxilillr 1m sido enriquecido. La pgina web de apoyo
propon.:ionll un material til. haciendu ms fcil a estudiantes y profesores cumplir sus objetivos.
Este texto e...t diseado como de introduccin de uno o dos semestres para esludianles
de un amplio nmero de liceocialUra." e ingenieria.lli. entre las que se incluyen matemticas. inge-
niera infomltic3 y ciencia." de la computacin. El nico prerrequisito que se exige explcitamenle
es el conocimiento de lgehrd de b3chillerato.

Objetivos de un curso de matemtica discreta

Un curso de malemtil.:a discreta liene ms dc un propsito. Los estudiamcs deberan uprender un
conjunto panicular de realidades n1:ltemtic3s y l'mo aplicarlas: y ms ..'urso de-
bera ense;lr a los cmo pensar desde un punto de 'liSia matcmlkn. Para ak"anzar este
ohjelivo. ellexlo enfatiza el mzonamicn!o matemtico y las diferentes fOnTlas en que se resuelven
los prohlemas. Cinco lemas impon:mles se en!rcla7':1ll en este libro: el razon:lmiento matemtico.
el anlisis combinalorio.las eslrul'luras disactas. el pensamiento algortmico y las aplicaciones y
el modelado. Un curso acer1ado de matemtica discrela deberla mantener un t,:uidadoso equilibrio
entre estos dnco lemas,
l. RII:mwmil'n/IJ Los eslUdiallles deben el razonamienlo matemjti
co pam leer. comprender y conslruir argumenlo.<; matemtilos. Este texlo lomien7.3 con
un discusin lgica matemlil-a. sirve como sustrato para posteriores discu-
:;iorlC.\!. sobre mtodos de dclTloslrnein. La lcnica de induccin lniuematica q' muestra:.
tr:lvs de variados y diferenles tipos de ejemplos y dc una cuidados:1 de por
qu lit imluccicin cs Ulla tcnica de dcmuslracin v:lida.
2. Anfi.f;.\"I.OIl1hil/(l/or;o: Unat&:nic:a imponulllc para resolver pn'hlemas es la cap:lciJad
de conlar o enumerar ohjelos. La discusin .<;obrc enulllcr:lcin en l'sk' libm
con las lcnicas de recuento. $..: cnfatil.a el desarrollo del amili:,is combinatorio
p:lra re:-.olvcr problemas dl' cnulllcr:u;in en de la aplic:ll"in dI.' rml1llalll.
,:l. E.\tl"ll("(II1"lI.f Un cur\o dc m;ltcll1:lil'a discrcla deber":1 cn"..:ar;t 1(1:. c\ludial1-
1(':, l'mu lr.lhajar l'nn C!!-lNl'IUr:l<; disl.:rela.... qu' 1<>011 la... e""N'lum... lOalell1ti-
u... para rcpr('!'ell1ar ohjclilS y relacionc" clllrl' ,:110:'. E...ta" C<;INCluras
discreta.\!. cnnjull((l:<>. pcnnutacione<;. relaciolle", gr.Jfo'\. y .. de
c)I,l"dos finilus.
Idl Prlogo
4. Cierta clase de problemas se resuelve especificando un al-
gorilmo. Una vez descrito el algoritmo. se puede implementar mediante un progr.una de
ordenador. Las partes matemticas de esta actividad. que incluyen la especificacin del
algoritmo. la verificacin de que funciona adecuadamente. as como el anlisis de la me
maria y tiempo requeridos en su ejecuci6n. se cubren en este texto. Los algorjtmos se
describen usando tanto lenguaje natural como una forma de pseudocdigo fci I de en
tender.
5. y modelado: La matemtica discreta se puede aplicar en casi cualquier:ma
conttbible de estudio. En este texto hay muchas aplicaciones a ciencias de la compUla-
cin y comunicacin de datos. as como aplicaciones a campos tan diversos como la qu
mica. la botnica. la zoologa. la lingstica. la geografa. lal; ciencial; empresariales e In-
ternet. Estas aplicaciones son usos naturales e importantes de la matemtica discreta. en
ningun caso fOI7..ados. El modelado con matemtica discreta es una herramienta de ex
trema imponancia para la resolucin de problemas que los estudiantes tienen la posibi-
lidad de desarrollar construyendo sus propios modelos en algunos de los problemas.
Cambios en la quinta edicin
La cuarta edicin de eSfe libro se ha utilizado con xito en ms de quinientas facultades y escuelas
de Estados Unidos. docenas de universidades en Canad y en universidades de Europa. Asia y
Oceana. Aunque la cuarta edicin ha sido un libro de texto muy efICaz, muchos profesores (in-
cluyendo entre ellos a usuarios con amplia experiencia) han requerido algunos cambios destinados
a hacer este libro ms eficiente. He dedicado una cantidad significativa de liempo y energa para
satisfacer eSle propsito.
El re.l;ultado es una quinta edicin que ofrece mucho ms que la cuana tanto a profesores
como a estudiantes. Es especialmente significativo que en la quinta edicin se ha mejorado la
presentacin de los conceptos, haciendo el libro ms didctico. Se ofrecen mejoras sustanciales
en lgica. mtodos de demostracin y estrategias de demostracin paca ayudar al estudiante a do-
minar el razonamiento matemtico. Se han aadido ejemplos y explicaciones adicionales para
clarificar aquellas reas en las que el estudiante suele encontrar problemas. NJJcvos problema....
tanto rutinarios como ms exigentes. se han aadido a los bloques de problemas. Tambin se han
aadido aplicaciones relevantes. incluyendo muchas relacionadas con Internet y ciencias de la
computacin. La pgina web de apoyo se ha ampliado y ahora proporciona herramientas que el
eSludiante puede utilizar paca dominar conceptos fundamentales y explorar el mundo de la
matemtica discreta.
Mejora de la organizacin
El tratanento del razonamiento matemtico se con-
centra en el Captulo l. desarroUndose desde la lgi-
ca proposicional y de predicados hasta las reglas de in-
ferencia y las tcnicas bsicas de demostracin.
La notacin O y otras relacionadas se discuten inme-
diatamente antes de la complejidad de algorilmos.
Las sucesiones y los sumatorios se tratan inmedia-
Lgica
Se profundiza en las implicaciones. con un tratamien-
to adicional de la inversa. recproca y contrarrecproca
de una implicaci6n.
Se ha ai'ladido una subseccin sobre juegos de lgica.
Los cuantificadores se tratan ahorn en dos secciones.
tamente antes de la secci6n sobre induccin mate
mtica.
Los coeficientes binomiales se trotan en una Sttci6n
separada.
La teora de probabilidades tiene un captulo propio.
Los algoritmos de ordenacin se introducen en el Ca-
ptulo 2. haciendo referencia a ms algoritmos.
Se ofrecen ms explicaciones sobre cmo traducir len-
guaje natural y enunciados matemticos a e"prcsiones
lgicas. y viceversa.
La negaci6n de cuantificadores se c"l;tudia con mayor
profundidad.
Se Lratan la resolucin y el uso de la lgica de predi
cados en Prolog.
Construir y enlender demostraciones
Los mtodos de demostracin se incluyen ahor.! en el
Captulo l. lo que pennite usar explcitameme este
material en captulos posteriores.
Se presentan explcitamente demostraciones de unicidad.
La Seccin 3.1 explora con ms profundidad las es-
tmtegias de demostracin. Su tratamiento inicial se
ampla a lo largo del Captulo 1.
Algoritmos
Los algorilmos voraces se prcscnlan en el Capftulo 2.
El tratamiento de algoritmos recursivos se ha exten-
dido.
Se ha ampliado el tratamiento de las bsquedas en
profundidad y en anchura.
Se analiza o discute la complejidad de un nmero ma
yor de algoritmos.
Aplicaciones
Se han aadido nuevos ejemplos de grafos. entre los
que e.. el de la red de Internet. el de las lIamada.t;; te-
lefnicas. el de Hollywood y los de relacin y de co-
labor.lcin.
Se describen las tcnicas que usan los buscadores en
Internet.
PrIo&O xiii
Se describe la aplicacin de la lgica a especificacio-
nes de sistemas. un lema de inters para ingenieros de
sistemas. tanto de hardware como de
El tr.J1amiento de la induccin matemtica se ha re
forLado con explicaciones adicionales y nuevos ejem-
plos.
Se cubre explcitamente la induccin eslfUetur.t1.
En esta edicin se estudia el problema de demostrar
que un algoritmo recursivo e."l correctamente cons
truido.
Se ha ampliado ellratamiento de los algoritmos t1di-
vide y vencers.. y de las relaciones de reculTCncia
que se emplean para estudiar su complejidad.
Se han aadido los algoritlllos de exponenciaci6n mo-
duJar rpida. la solucin del problema del par ms
cercano. la codificacin de Huffman y el algoritmo
vora para dar cambio.
Se tr.ltan los cdigos de Gray usados en K-mapas.
Se ha incrementado el trdtamiento de la fonna de
Backus-Naur.
Se ha ampliado el tratamiento de las relaciones ,,-arias
y de las bases de dalos relacionales.
Teora de nmeros, combinaloria y leora de probabilidades
La teoria de nmeros relevanle para criptografa en Se ha ampliado el material sobre la conversin entre
clave pblica. incluyendo pseudoprimos. nmeros de expresiones en base.... diferentes.
Carmichael y tests probabilsticos de primalidad. se
cubre coo mayor profundidad.
Graros y rboles
Se ha aadido una explicacin sobre cmo construir
inductivamente cubos n-dimensionales.
Se (mtan con mayor detalle las condiciones suficientes
para la existencia de circuitos de Hamilton.
Colecciones de problemas
Se han aadido ms de seiscientos problemas. desde
rutinarios a muy exigentes. coo un nfasis especial en
nuevos problemas relacionados l'On la lgica y las de
mostrdciones. incluyendo induccin.
Se discuten rboles de juego y estnllegas de mnimax.
Se presenta la codificacin de Huffman.
Las bsquedas en profundidad y en anchunl reciben
ahora un lrottamiento ms amplio.
Se han anadido problemas para equilibrar los proble-
mas pares (sin resolver) y los impares (re.'iueltos al fi-
nal del libro).
8lografias YnoIas histricas adicionaJes
Se han incluido las biografias de Aristteles. Sheffer.
Smullyan, Rivest. Shamir. Adleman. Carmiehael.
McCarthy y Huffman.
Se incorporan imgenes de todas las personas descritas
en las biografa.... eltcepto en algunos pocos casos.
La p6g1na wtb (www.mhhe.comIrosen)
Se han incluido enlaces a cientos de piginas en Internet.
Se incluyen ejemplos adiciooaJes en reas clave.
Se proporcionan explicaciones y demostraciones ms
detalladas para ciertos ejemplos.
Se ofrecen ~ o d o s de autocvaluaci6n en temas clave.
entre los que se incluyen implicaciones. cuantificado-
Caractersticas especiales
Muchas de las biografas que aparecan en la versin
anterior se han ampliado.
Se han anadido nuevas notas histricas.
res, mtodos de demostracin. funciones. notacin
con la funcin O. induccin y problemas de: recuento.
Se han incluido en el libro iconos que indican el tipo
de contenido asociado en Internet.
Se han desarrollado demos interactivas de algoritmos
fundamentales para uso integrado con ellexto.
ACCESIBILIDAD Este texto ha demostJado ser flicil de ~ r y entender para principiantes. No
es obligatorio ningn pn:rrequisito matemtico ms all del lgebra de bachillerato para la casi
totalidad deltexlo. los pocos lugares del libro en que se hace referencia al clculo diferencial o
integral se sealan expHcitamente. La mayora de los estudiantes debera entender el pseudo-
cdigo usado en el te:ltto par:il desarrollar los algoritmos sin necesidad de haber estudiado for-
malmente lenguajes de programacin. No se requtcren conocimientos de ciencias de la compu-
tacin.
FLEXIBILIDAD El texto ha sido cuidadosamente disenado para que su uso sea flexible. La de-
pendencia de los captulos en relacin con el material previo se ha minimizado. Cada captulo se
divide en secciones de longitud apro:ltimadamente similar y cada seccin se divide en subseccio-
nes que fonnan bloques naturales de material didclico. Los profesores pueden organizar fcil-
mente sus clases utilizando estos bloques.
ESTILO El estilo con que se ha eserilO este libro es directo y pragmtico. El lenguaje mate-
mtico se usa sin e:ltcesivo formalismo ni abstraccin. Se ha tenido cuidado en ponderar la com-
binacin enrre notacin y te:ltto en los enunciados matemticos.
AMPLIO USO EN EL. AULA Este libro se ha empleado en ms de quinientas facullades y es-
cuelas universitarias. y en ms de cua1roctcntas se ha utilizado ms de LUUl vez. La intentccin con
profesores y alumnos de muchas de esas ins1ituctones ha ayudado a que esLa quinla edicin sea una
herramienta ms acertada an para la enseanza.
PRECISiN y RIGOR MATEMTICOS Todas las definiciones y teoremas se han enun-
ciado de forma e:ltll'emadamente cuidadosa. de tal forma que los estudiantes podrn apreciar la pre-
cisin en el lenguaje y el rigor necesarios en matemticas. Las demostraciones se desarrollan des
pacio; los pasos se justitjcan detalladamente. Las definiciones recursivas se e:ltplican y usan con
mucha frecuencia.
EJEMPWS TRABAJADOS Se presentan ms de setecientos ejemplos para ilustrar conceptos.
relacionar diferentes materias y e:ltponer posibles aplicaciones. En la mayora de los ejemplos se
plantea primero una pregunta; luego se presenta la solucin con suficiente gr.tdo de detalle.
APUCACIONES Las aplicaciones que se incluyen en el te:ltto demuestran la utilidad de la ma-
temtica discrela para solucionar problemas del mundo real. El te:ltto incluye aplicaciones a una
amplia variedad de reas. entre las que se incluyen ciencias de la computacin. comunicacin de
d3tos. psicologa. qumica. ingenierfa.lingstica. biologa. empresariales e Internet.
Prlogo xv
AL.GORITMOS En malemtica se expresan a menudo con algoritmos.
Por lanto. en cada CaplUlo del Libro se presentan algunos algoritmos importanles. EsIOS algoritmos
se formulan haciendo uso de palabras y de una forma de pseudocdigo eslructurado sencillo. que
se describe y especifica en el Apndice A.2. Tambin se analiza a un nivel elemental la comple
jidad compulacional de los algoritmos dellexto.
INFORMACiN HISTRICA En este texto se describe de forma sucinla el sUSlralO de mu-
chos temas. Se incluyen como pie de pgina biografas de ms de sesenta malemticos y
cientficos. junto con sus fotos (o imgenes). Estas biografias incluyen infonnacin sobre las vKfas.
carreras y logros de estas personas que han contribuido al desarrollo de la malemtica discreta.
Adems. se han insertado numerosos pies de pgina con resea.. histricas a fin de complemenlar
la informacin histrica del cuerpo principal del texto.
TRMINOS CL.AVE y RESUL.TADOS A cada captulo le sigue una lista de los lnninos
fundamemales. Los trminos clave incluyen slo aquelJos m1s importanles que el estudiante de-
bera no todos los definidos en el captulo.
PROBL.EMAS Hay ms de tres mil quinientos problemas en el libro. Se plamean muchos tipos
de diferentes. Hay un amplio suminislro de problemas dilttlos que desarrollan lcnicas
bsicas. bastantes problemas de nivel intermedio. y muchos problemas pensados para desafiar al
esludianle. Se enuncian claramente y sin ambigedades. y todos ellos estn graduados en funcin
de su dificultad. Los bloques de problemas conlienen discusiones particulares. con problemll.!i que
desarrollan conceptos nuevos. no cubienos en el texto. que: permiten a los eSludiantes descubrir
nuevas ideas a lravs de su propio esfuerzo.
Los problemas que son ms difciles que el promedio se marcan con un asterisco simple.
Aquellos que son mucho ms difciles se marcan con dos asteriscos. Los que requieren nociones de
clculo infinitesimal se marcan explcitamenle. Los que desarrollan resultados usados en el texto
se identifican con el smbolo S7". Al final del texlo se incluyen respuestas a todos los problemas
con numeracin impar. Las respuestas incluyen demoslraciones en las que se delalla con claridad
la mayora de los pasos.
CUESTIONES DE REPASO Al final de cada captulo se proporciona un conjunlo de cue."liones
de repaso. Se han preparado para ayudar al alumno a concenlrar su estudio en los conceptos y tc-
nicus importantes del captulo. Para responder a estas cuestiones. los estudiantes deben desarrollar
respuestas largas. no dar simplemente algunos clculos o respuestas cortas.
PROBLEMAS COMPLEMENTARIOS Cada captulo se acompaa de un rico y variado
surtido de problemas complementarios. Estos problemas son genricamente ms difciles que los
que se exponen al final de cada seccin. Los problemas complemenlarios refuerzan los conceplos
aprendidos en el capitulo e inlegran malcrias diferentes de un modo ms eficaz.
EJERCICIOS DE PROGRAMACiN Cada captulo se acompaa con un conjunto de ejer
cicios para desarrollar con el ordenador. Los aproximadamente ciento cincuenta ejercicios para or-
denador enlazan lo que los estudiantes han podido aprender en matemlica discreta y computacin.
Los m.. difciles de lo normal. bien desde el punto de vista matemtico o desde el de programa
cin. se marcan con un asterisco. Los de dificullad extrema se marcan con dos a....teriscos.
CL.CUL.O y EXPERIMENTACiN Al final de cada caphulo se ofrece una coleccin de
problemas pensados tamo para calcular como para experimentar. Estos problemas (aproximada
mente unos cien en lotal) se han disefiado como completnemo a las herramientas de su/rv.'CJTI' exis-
tenles. tales como programas escritos por estudiantes o profesores o !X'quetes de clculo como
MAPLE o Mathematica. Muchos de e... tos problemas dan al estudiante la oponunidad de descubrir
nuevas realidades e ideas a Ir.Ivs de la informtica. (Algunos de eslos problemas se disculen en el
libro E.tp/(Jr;IIg Matltematics ""itl MAPLE).
REDACCiN DE PROYECTOS A cada captulo le sigue un paquete de proyectos propues-
tos al alumno. Para completarlos. los e."ludiantes necesitan consullar bibliografa matemtka_ AJ-
gunos de estos proyectos son de naturaleza histrica y pueden involucrar bsquedas en la docu
menlacin original. Olros se han confeccionado para servir de punto de partida a otras reas e
-
...1 PrIo&o
ideas. Todos ellos se han concebido para ofrecer al estudiante ideas no tratadas con profundidad en
el texto. Estos proyectos enlazan conceptos matemticos con el proceso de redaccin. mostrando
al estudiante posibles reas de estudio finuro. (Pueden encontrarse referencias sugeridas para es-
tos proyectos en la Student Solutions Guidl!).
APNDICES Hay dos apndices en el texto. El primero cubre las funciones exponenciales y
gartmicas. repasando material bsico usado con frecuencia a lo largo del curso. El segundo es-
pecifica el pseudocdigo utilizado en los algoritmos del texto.
LECTURAS SUGERIDAS Al final del texto se proporciona una lista de lecturas recomendadas.
Incluye libros de un nivel similar, o inferior, al de este libro. libros ms difciles. artkulos de di
vulgacin y artculos en los que se publicaron originalmente descubrimientos en matemtica discreta.
Cmo usar este libro
Este texto se ha organizado y escrito cuidadosamente como sopone de cursos de matemtica dis-
creta a varios niveles y con objetivos diferenciados. La tabla siguiente identifica las secciones ceo-
trates y opcionales del texlo. Un curso de introduccin a la matemtica discreta de un semestre en
primer curso universitario se puede basar en las secciones centrales del libro, las
cionales a discrecin del profesor. Un curso de introduccin de dos semestres podra incluir lodas
las secciones opcionales junto con la." centrales. Un curso con fuene enfoque informtico puede
impartirse cubriendo todas o parte de las secciones sobre ciencias de la computacin.
coprlulo
Sfi-cionn optolms oplUlil'CU
poro lo compulad&n para
I 1.1-1.8 (opcional)
2 2.1-2.4. 2.7 (opcional) 2.5 2.6
3 3.1-3.4 3.5.3.6
4 4.1-4.3 4.6 4.4.4.5
5 5.1 5.3 5.2
6 6.1.6.5 6.3 6.2. 6.4. 6.6
7 7.1. 7.3. 7.S 7.2 7.4.7.6
8 8.1-8.5 8.6-8.8
9 9.1 9.2.9.3 9.4.9.S
10 10.1-10.4
11 11.11 I-S
Los profesores que utilicen este libro pueden ajustar el nivel de dificultad de su curso eligiendo dar
u omitir los ejemplos ms complicados del final de las secciones. al igual que los problemas. La
dependencia de cada caplulo con caprtulos anteriores se muestra en el siguiente grfico.
Capftulo I
I
Captulo 2
I
Captulo 3
I

I __
Captulo 5 Captulo 6 Capr(ulo 7 Captulo 8 Captulo 10 Caprtulo 11
I
Caplulo 9
Apada:imienlos xvii
Material auxiliar
APLICACIONES DE LA MATEMTICA DISCRETA El material auxiliar. disponible en for-
malo y en la pgina web. puede usar junio con e1lexlo o independientemente. Contiene m...
de 20 captulos (cada uno de cUos con su propia coleccin de problemas) escrito por profesores que han
utilizado el libro. Siguiendo un rQffilalO similar al dellexto.los captulos de esce libro se pueden emplear
como texto parol un curso. para un seminario o para que el estudiante desarrolle su estudio independiente.
Agradecimientos
Querrfa dar las gracias a los muchos profesores y alumnos universitarios que han utilizado este li
bro y me han proporcionado interesantes sugerencias. Sus ideas han hecho este libro mucho mejor
de lo que hubiese sido sin su contribucin. Quiero dar las gradas especialmente a Jerrold Gross-
man y John Michaels por la revisiones tcnicas de la quinta edicin y por su vista de guila. que
ha ayudado a mantener el rigor de este libro. Tambin aprecio la ayuda que me han proporciona-
do aquellos que me han enviado sus comentarios a travs de Internet.
Doy las gracias a los revisores de esla quima edicin y las cua1ro anler1ores. Me han proporcionado
criticas muy liles y nimos. E.\-pero que esta quima edicin a la allura de sus expectalivas.
Revisores de la quinla edicin
Kcndall Atkinson.
Uni\'usit)' oflo'lm./oKYJ Ciry
Zhaojun Bai.
UnilYTsity olCalifornia. Do\'is
Klaus Bichleler.
Unilyrs;,)' oITf!.:cos. A,win
Sean Burren.
Unil'rrsity 01Nf'M' BrmuM'if'k
E. Rodney Canfield.
Unil't.'rsity 01Gl'orgia
George J. Dllvis.
Gt'orgia SWtt' Unil'l'rsi/)'
Broce S. Elcnbogen.
Unil'ersity (JI Michig{lII.
Deorhorn
JOnluhan Goldstine.
Pt'nns)'ll'Unia Statt.' Unil'f'rsit)'
Brian Gray.
Ho.... ard Comnlllnit)' CoIlf'llf'
Jonathan Gross.
Columbia Unil'rrsity
Jerrold Grossman.
Oatland
David F. Haycs.
San Jos! SWle Unil'ersity
Revisiones de ediciones anleriores
Eric AlIcnder.
Rutxers UI/in'Tsit)'
Stephen Andrilli.
Lo S(,fI,' UI/iw.'rsil)'
Jllck R. Barone.
Bame/ Colle.IW
Akihiro Kanamori.
Borton
Takashi Kimura.
Boston Uni\'ersif)'
Shui F, Lam.
California SWIf' Unil'usit)'.
mg Beach
Harbir Lamba.
Gporxe Ma,fOlI VI/iler.\it)'
Sheau Dong Lang.
Unil'eTsity ofCelllraf Fforida
Cary Lee,
Gro,Hlllont Comm"nity CoI/eRe
Stephen C. Locke.
FlorMa Allalltic Unil'I!T.fit)'
George F. Luger.
U"i1'l'Tsil)' ofNe.... Mexiw
JOOn G, Michaels.
SUNY Bnx:kl)(Jrt
Thomas D. Morley.
Gt'orgia Tre"
lirnothy S. Norfolk. Sr.
Uni"usif)' of AJ:ron
Truc T. Nguyen,
Bo.....ling Gn'en SlOrt' Vnil'ersil)'
Alrred E, Bonn.
Somh.....est Te.Hu Srme Uni"rT.fity
Ken W. Boswonh.
Unil'eTsit)' of MarylUll(1
Lois Bmdy.
California PolY/I'f'lmic Srar,.
UlliI,(,,.,fity. 5{m Llli.f Obi,fPO
George Novacky.
Un;\'rrsif)' o[Pittshurgh
Jaroslav Opatrny.
Concordia Unil'rTsir)'
Jonathan Pakianathan.
U"il't.'rsir)' 01 R(}('hl'srrr
Halina Przymusinska.
California SUIlt' Pol)'tel'hnil'
U"il'f'Tsit)', Pommw
Don Reichman,
Ml'r'er Cm'"t)' Comnmnit)'
ColfeRt.'
Roben Rodman,
Nor'/ Corolina Srott' U"i\'('Tsiry
Mallhew J, Saltzman.
Clenuon U"il'eTsiry
Michael J. Schlosser.
Tht' 01';0 StOft' Unil'f'Tsit)'
Alistair Sinclair,
U"il'f'Tsity 01California, BerJ:rlt'.',
Carl H. Smith.
U"il't'Tsity al Mar)'land
Patrick Tant.a.lo.
U"il'f'Tsiry of California.
Santa enc
Russell Campbell.
Unil'eTsity (JI Nrmhern Imm
Kevin Carolan.
Mart C{)lfl'ge
Tim Carrol!.
8fomn\'hurR Ul1h"eTsit)'
xvi Agndccimicmos
Kil C. Otan.
8uVI'ling
Allan C. Cochran.
Uni\'usiry of Arkansos
Peter Collinge.
COn/munit),
Ron Davis.
Millernilll' Unil'l'rsirJ
Nachum Dershowitz.
Uni\'i'rsitJ of lfIinois.
UriJanaChampaign
Thomas Dowling.
Thi' Ohio Srale Unilwsiry
Palrick C. Fischer.
Vanderbilt Unil'ersit),
Jane Frill..
Ulli\'l'rsity ofNl'VI' Brtlll,fVl'ict
Ladnor Geissinger.
Ulli\'l'rsit)' ofNorth Carolina
Paul Gonnley.
Villanu\'u Unil'usiry
Laxmi N. Oupta.
R(X"hntl'r ofTl'chnolof{\'
Daniel Gusfield.
ofCalifornia al Da\'js
Xin He.
SUNY ut 8uffalo
Arthur M, Hobbs.
lexas A&M Uni",.,sir)'
Donald HUlchison.
Cladamas Comnl/II/it)' Col/lIRI'
Kcnneth Johoson,
Norr" Dakola SIa/e
David Jonah.
WUYlle State U"il'ersi/)'
W. Thomas Kiley.
Geurge Mason Uni\'ersity
Nancy Kinnersley.
uf Kansas
Gary Klall.
Unil't'rsit)' of WisC"Onsin
Nicholas Krier.
Colorado Unil'ersity
l....3wrence S. Kroll,
San FrandscoSrate Unil'l'rsiry
Robert Lavelle.
lona
Yi-Hsin Liu.
Unil'ersiry ofNt'hrasta (1' Oma/w
George Luger,
Uni\'t'rsity uf NI'", Mexl'o
David S. McAllister.
Nur,h CarolillO SIO/e Unil'ersity
Robert McGuigan.
Westfield Srate
Michael Maller.
QUi'ms
Emie Manes.
Uni\'l'rsit)' uf Mussuchu.ft!1tS
Francis Masat.
GJassboro Stall'
J. M. MelZger.
Ulli\'enity ofNort" Da/wlu
D. R. Morrison.
Uni\'l'rsit)' ofNeH' Mtxic"o
Ho Kuen Ng.
San Josi SllIfl' U'I'trSity
Jeffrey Nuncmacher.
Ol1io
Charles Parry.
VirRinic Pol)'lec1mic lns/itwe and
Srar/.' Unl'en';ty
Thoma.. W, Parsons.
Hob'tra Unil'enir)'
Mary K. Prisco.
Utfi\'t'rsity of WiSCOflsi/l-Green Bay
Harold Reiler.
Uni\'f.'rsity n{North Carolino
Adrian Riskin.
Northl'rn Ari;onll Slalt Unil'nsify
Amy L. Rocha.
San Josi Statt Uniltrsiry
Janel Rol!.
Unil'usiry ofFindlay
Alyssa Sankey.
Slipf"r)' Rm:t Uni\'nsiry
Dinesh Sarvate,
ofC"arle.'ifon
Steven R. Seidel.
Miclu'gon Techllological U"ileI'.fity
Douglas Shier.
Cll'mson Unil'ersity
Huntcr S. Snevily.
UlliI'ersit), oflda/w
Daniel SomerviJIe.
Unil'l'rsit), ofMassQ('hllSl'ftS.
BlJston
Bhani Temkin.
T('.'rOs T('di Unil'usiry
Wallace Terwilligen.
8oH'linR Slaf(' Unil'usit),
Philip D. Tiu.
Ogll'thorf"
Lisa TownsJey-Kulich.
Illinoi.f Collt'gl'
George Trapp.
We.w Virgillia Ullil'l'rsit)'
David S. Tucker.
MidH't.'st/'m Stat/, UlIi\'ers;ty
Thomas Upson.
Roclle,frel'ln.willt/e ofTec1lf1ology
Roman Voronka.
Nt'\1' JeruJ /Ilstirure o{l(!('/lJIolugy
James Walker.
Unil'ersit)' ofSowh Carolina
Anlhony S. Wojcik.
Statl' UIlilrrsit)
Querra agradecer al personal de McGraw-HiIl el gran apoyo recibido a este proyecto. En parti-
cular. agradezco a BiII Baner. editor. su respaldo: a Roben Ross. editor ejecutivo. su apoyo yen-
lusia.mo. y a Michelle MUM. editorn de desarrollo. su dedicacin y atencin. Quiero tambin dar
las gracias al editor de mesa. Wayne Yuha.z. cuya visin y capacidad ayudaron a asegurar el xi
to del libro. a... como a Maggie Rogers. editora espnsor de esta edicin. que me ayud a planifi-
car e iniciar cltrdbajo de esla edicin y con la que he trabajado muchos aos.
Quisiera ofrecer mi agr.tdecimiento al personal encargado de la produccin de esta quinta edi-
cin: Joyec Berendes. responsable de proyecto: K. Wayne Hanns. diseador: Jeff Huellman. di
seador de la pgina ""eb: Laul".1 Fuller. coordinadora de los suplementos. }' Mary Kiuell. res
ponsable de ",arkerIl,S:, Tambin doy las gracias a Georgia Kamvosoulis Mederer por depurar el
texto completo: a Mary Ellen Olivero corrector" tcnica. y a Paut Lorczak. que comprobaron que
el manual de soluciones fuese correelo. al igual que las secciones de soluciones del libro.
Como siempre. agradezco el apoyo recibido por mis superiores en los Labor.uorios AT&T,
Me han proporcionado un entorno que me ha pennitido desarrollanne profesionalmcme y me han
provisto generosamente de los recurso,,, necesarios para que este libro fuese un xito
Kelllll'tl! H. Ro,w'/1

l::jrlllpl,,,,
....

adiriunuk,,
-
La pgina web de ayuda
S
e ha habililado una eXlenst pgina web que se mantendr y mejorar de forma continuada.
Se puede hacer uso de ella de varias formas como complemenlo en el estudio de la mate-
mtica discreta. La direccin de esla pgina eJi: www.mhhe.com/rosen.queestdisponible
en ingls.
Desde esla pgina principal encontrars enlaces a:
El Centro de Informacin.
El CenlTO para el Esludianle.
El Centro pant el Profesor.
EL CENTRO DE lNFORMACI()N El Centro de Informacin contiene informacin bsica so-
bre el libro y el material auxiJiar disponiblc. Siguiendo los enlaces accesibles desde el Centro de
Infonnacin se puede ohlencr una visin gcneml de la pgina wcb de este ljbro.
EL CENTRO PARA EL ESTUDIANTE El Cenlro para el Esludiante contiene un conjunto de
recursos disponibles para uso del cstudianle. incluyendo los que a continuacin se presentan. POMa
hacer referencia a eUos en ellcxlo se h:lce uso de un icono especial. indicado en el margen.
La gua de de Internel Esta guia proporciona enlaces a cientos de pg.inas ex-
lemus de Internet que eonliene material relevante. Puedes pinchar direclamentc en esos en-
laces o acceder a ellos mediante el nmero de la pgina del texto o por palabr.Is clave. E....
tos enlaces le llevarn a pginas <.'Ontenido histrico y malerial bibliogrJico, cuesliones
'Y discusiones. upplels. programas y OlTOS tipos dc recursos.
Ejemplos adiciunales Puedes encontrar un gran nmero de ejemplos adicionales en la p-
gina web. E.'ilos ejemplos se concenlr.l1l en reas donde el es[udiame a menudo reclmna ma-
terial m.lidonal. Aunque la mayori:l de los ejemplos recalcan conceplos bsicos. se pueden
enconlr-otr tambin algunos ms exigentes.
Pasos adicionales Se proporciomm explicaciones ms profundas para ayudar a entender
algunos punlos prol:llemlicos del le:<to. en especial en detemlinadas demoslnlciones y

E\'aluaciones Puedes evaluar tu conocimiento de sie'tc conceptos fundamcOlalcs.
Cada evaluacin proporciona una coleccin de pregunlas. cada una con un breve
tulorial. seguido de cuestiones de elcc<.'in multiple. Si sclec('iona!i una respuesta
incorrecla, te proporciona ayuda para enlendcr IU error. Usando cslas evaluaciones,
dcbcrias ser cpaz lie diagnosticar IUs carencias y centrarte en los mtodos de solu-
cilin disponibles.
l>emostraciones inleraeti\'as Hemos desarrollado ocho dcrnostra<.'iones ifller.lcliva.o;; que
puedes usar panl cxplorar d funcionamicnlU de algorilmos impon:mles. Estas demftslr,,-
ciones se relacionan con O1aleri,,1 del tC'Xl0.
Desdc el CCnlro par:l el E.o;;!udiantC' puedes alceder a N(', Tlttor
fM
que propon:inna un lutorial
inlcmcti\'o, Pul:des hacer preguntas relacionada.o;; cun c1lcxto y T<.'Cibir las rcspueslas en tiempo real
en el hor.trio regular eSlablecido o recibir las respueslas con poslerioridad.
El Centro para el Estudianle lambien m:mtiene un TuhM" (811111'lilll1o,m/l en el "ille puedes
pinchar mensajes. Se pueden enviar prcgunlas y responder mensajes de OITOS ....sludialllcs que h,,-
yan usado eslc recurso.
",,
xx La pjgino ,.IL- ayuda
Otros recursos adicionales del Cenlro para el Esludianle incluyen:
Una gua para desarrollar demostraciones.
Errores comunes en matemtica discrela.
Recomendaciones sobre redaccin de proyectos.
Software MAPLE.
EL CENTRO PARA EL PROFESOR Esta pane de la pgina web proporciona enlaces a los
recursos del Centro para el Estudiante y el Centro de lnformacin. as como:
Muestras de planes de estudios.
Sugerencias docentes.
Muestras de transparencias.
Varios caplulos del libro Applicafions of Muthemarics.
Al estudiante
.Qlli'5la matt'mrim diSI'n'W? La matemtica discreta es la parte de la malem:hica
que se <k.'dica al e!ilUdio de los objelos discretos. 1Aquf Jisa,w significa consliluido
por elementos distintos o inconexos), Los tipos de preguntas que se resuelven ha-
Ciendo uso de la matemtica discreta incluyen:
,De cuntas formas se puede elegir una clave de acceso a un equipo informtico'!
Cul es la probabilidad de que le toque la loterla?
Hay t1gn enlace entre dos ordenadores en una red?
e,Cul es el camino ms cono enlre dos ciudades usando un sistema de mUlspone?
e,Cmo se puede ordenar una lista de enteros para que se dispongan en orden creciente?
Cmo se puede demoSIr.i1 que un algorilmO ordena correctamente una lisia?
Cmo se puede disear un circuito para sumar dos enteros"?
,Cuntas direcciones vlidas de lnlemel existen?
las eslructuras discreta.. y la.. tcnicas necesarias p;ml responder a pregunlaS como stas.
M... genricamente. la matemtica discreta se usa que cuentan objetos. cuando se
estudian relaciones entre conjumos finitos (o numerdbles) y cuando se analizan procesos con un
nmero finito de pasos. Una r.a6n fundamenlaJ paca el crecimiento de la importancia de la mate
mtica discreta es que en equipos infonnticos la infoonacin se almacena y manipula de forma
discreta.
POR QU ESTUDIAR MATEMTICA DISCRETA? Hay varias razones importantes
pana esludiar matemtica discreta. Primero. a fro!vs de este curso puedes dcslUTOllar tu madurez en
matemticas. es decir. tu habilidad pana entcnder y crear arp.umcnlos matemticos. No llegar."
muy lejos en matemticas sin estas tcnicas.
Segundo. la matemtica discreta e... la puertH a cursos ms avanzados en toda.. las partes de la
matemtica. Proporciona la base matemtica a mu,:hos r.:ursos de ciencias de la computacin. in
c1uyendo estructuro! de dalas. algoritmos. lcora de base de datos. tcora de autmata... lenguajes
fonnales. leona de compiladores. seguridad infonntic:l y sistemas operativos. Los estudiantes en
cuenlran estos cursos mucho ms difciles cuando no tjenen la base apropiada de matemtica dilO
creta Una eSlUdiante me envi un correo electrnico dicindome que usaba el ndice de e,"te libro
en todos cursos de cicncias de la computacin que daba!
Los cunas de matemticas que se basan en el material que se estudia en matemtica discre-
ta incluyen 16gica. teora de conjuntos. teora de nmeros. lgebra lineal. lgebra abstracta. como
binatoria. teoria de grafos y teora de probabilidades (la pane discreta de las probabilidade... l.
Por otro! parte. la matemtica discreta contiene el sustrato matemtico necesario par'" resolver
problemas en investigacin operativa (incluyendo muchas tcnicas discretas de optimizacinl. quf
mica. ingenicria. biologa... En esle texto estudiaremos aplicaciones a algunas de esta.. :lreas.
Muchos estudiantes encuentrnn un curso de introduccin a la matemtica discreta mucho ms
dificil OIms asignatura.. que ya han cursado. Una mzn para esto es que uno de los objetivos
primarios de este curso es ensear razonamienlo matemtico y resolucin de problemas mi.. que
un l,,:onjunto discreto de tcnica". Los probh:mas de este libro han preparado para renejar este
objetivo. Aunque en este texto hay una grMl cantidad de problema.. similares a los que se exponen
en los ejemplos. un gmn porcentaje de ellos retluiere deducciones originales. Esto es intencionado.
El material tnllado en c1texlo proporciona la.. hcrr-tmientas necesarias para resolver eslos pro
blcmas. pero tu tr.:abajo consiste en aplicar estas hemunientas usando tu ,:reatividad. Uno de los ob-
jelivos primeros de este libro es aprender cmo atacar problemas que pueden ser. en alguna me
dida. diferenles a los que se han visto con anterioridad. Lamentablemente. aprender:l. resolver slo
unos tipos paniculares de problemas no es sulicicnte para tener xito en el desarrollo de las tc
nkas de resalud6n de problemas que se necesitan en cursos superiores y en la carrem profesional.
ni
,.;xii At ...
Este texto afroma muchos tema." diferentes. pero la matemtica discreta e-s un rea de estudio ex-
tremadamente y amplia.. Una de mis metas como autor es ayudarte a desarrollar las habi-
lidades que necesitas para dominar el material adicional que necesilars en tu profesin fUlura.
PROBLEMAS Me gustara ofrecer algunos consejos sobre cmo aprender mejor matemtica
discreta (y otras de ciencias de la computacin y matemticas). Aprenders ms trabajando
activamenle los problemas. Te sugiero que resuelvas tlmtos problemas como puedas. Una vez tra-
bajados los problemas indicados por tu profesor. te animo a que resuelvas OIros adicionales
como los que se presentan al final de cada seccin del texto y en las colecciones de problemas
complementarios al finaJ de cada captulo. (Ten en cuenta las claves asociadas a los smbolos que
preceden al problema).
Claves asociadas a los problemas
Sin marca

..
<T
(Se requiere Clculo)
Un problema rutinario.
Un problema dificil.
Un problema muy difcil.
Un problema que contiene un resullado usado en el texto.
Un problema cuya solucin requiere el uso de lmites o cooceptos de
clculo diferencial o integral.
Lo mejor es intentar los problemas por ti mismo antes de consultar la seccin de soluciones
al final del libro o completar las soluciones que te proporciona la 5t11dent 50///1;ons Cuide dis
ponible slo en ingls l. Las So/lIdOlleS a los problemas con numeracin impar se proporcionan al
final del texto. Ten en cuenta que slo son soluciones. no la resolucin I.:ompleta. En particular. se
omite el rolZOnamiento requerido para oblener estas respuestas. La SI/Idell! So/m;OfU' Cuide pro-
porciona las soluciones completas a los impares. Cuando llegues a un punto mueno in
lentando resolver un problema con nmero impar. te sugiero que consultes la 5111d('III Sollllio/lS
Guide y busques alguna pista. Cuanto trabajo realices por li mismo. en vez de leer o copiar las
soluciones pasivameme. ms aprenders. El no dar las respuestas y soluciones a los problentas pa-
res es intencionado: pregunta a tu profesor si tienes algn problema en alguno de ellos.
RECURSOS EN INTERNET Te animo abicnamente a que saques panido de los recursos adi-
cionales disponibles en Internet, especialmenlc en la pgina de este libro: www.mhhe.com/roscn.
Enconlrars ejemplos adicionalcs. pasos adicionales pensados para clarificar aquellas cuestiones
donde los estudiantes suelen encontrar mayores difICultades. evaluaciones para. medir cmo has en-
tendido algunos conceptos fundamentale.... algoritmos animados pard explorar algunos algoritmos
bsicos y un popurr de enlaces a arras pginas a las que puedes acceder para explorar el mundo de
la matemtica discreta. Puedes tambin encontrar un tabln para discusiones con otros esludiantes.
Puedes usar este tabln para pedir ayuda:l otros estudiantes o pam ofrecer ideas para resolver al-
gn problema. Aquellos estudiantes que I.:Ontribuyan a resolver cuestiones se darn cuenta de que
este tr.lbajo les ayudar a ellos mismos a dominar la materia. Tendrs incluso acceso a un servido
tutorial intemctivo que puedes utilizar para recibir ayuda de lutores en tiempo real o a travs de
mensajes. (Por favor. sigue las indicaciones del tutor en relacin al uso del trabajo hecho por
otros). Para ms detalles sobre la pgina web. mira las pginas xvii y xviii.
EL VALOR DE ESTE LIBRO Finalmente. comprendo que estc libro es costoso. Mi intencin
es hncer de tu compn.t una excelcme inversin. El desarrollo y depuracin del libro. el material
aUlc.iliar y la pgina web de 0poyo han llevado muchos a"os de esfuerzos. cOlino en que 11 la ma
yora de vosotros os ayude a dominar la mah=mtica discrela. lnduso aunque posiblemenle no cu
brdS lodos los captulos durame este curso. puedes cm:ontrarlo til. como anteriormente otros es
ludiames. cuando consultes sccdoncs relevames del libro en CUNOS superiores. La mayora de
vosotras volver a usar este libro en e... tudios futuros. especialmente aquellos que cominuis es
ludiando o trabajando en ciencias de la computacin. matemtica o ingeniera.
Kt'fIIll'fll H. Ros!'"
UNIVERSIDAD TECNICA DE MANABI
PROGRAMA DE ESTUDIOS



Facultad: CIENCIAS INFORMATICAS
Carrera: INGENIERIA DE SISTEMAS
Asignatura: MATEMATICA DISCRETA
Vigente desde: ABRIL DEL 2008
Cdigo: FCI-281
Prerrequisito: FCI-001
Correquisito: NINGUNO
Total de horas: 64
Crditos: 4
DATOS GENERALES:
PRESENTACION: La matemtica discreta tiene diferentes propsitos, aprender un conjunto de particularidades de realidades matemticas y lo importante
cmo aplicarlas, ensear a pensar desde un punto de vista matemtico. Para alcanzar este objetivo, se enfatiza en el razonamiento matemtico y las diferentes
formas en que se resuelven los problemas. Cinco temas importantes se entrelazan en el curso: el razonamiento matemtico, el anlisis combinatorio, las
estructuras discretas, el pensamiento algortmico y las aplicaciones y el modelado manteniendo un equilibrio entre los mismos.
En el razonamiento matemtico, los estudiantes deben entender el razonamiento matemtico para leer, comprender y construir argumentos matemticos. Se
comienza con una discusin sobre lgica matemtica, que sirve como sustrato para posteriormente continuar con las discusiones sobre mtodos de
demostracin. La tcnica de induccin matemtica se muestra a travs de variados y diferentes tipos de ejemplos especficos y de una cuidadosa aplicacin de
por qu la induccin matemtica es una tcnica de demostracin vlida.
El anlisis combinatorio, es una tcnica importante para resolver problemas, es la capacidad de contar o enumerar objetos, La discusin comienza con la
tcnica bsica de recuento. Se enfatiza en el desarrollo del anlisis combinatorio para resolver problemas de enumeracin en lugar de la aplicacin de
frmulas.
La estructura discreta, ensea al estudiante, cmo trabajar con estructuras discretas, que son las estructuras abstractas matemticas usadas para representar
objetos discretos y relaciones entre ellos, engloban conjuntos, permutaciones, relaciones, grafos, rboles y mquinas de estado infinito.
El pensamiento algortmico, especifica un algoritmo, luego de descrito el algoritmo se plantea implementar un programa de ordenador. Los algoritmos se
describen usando tanto lenguaje natural como una forma de pseudocdigo fcil de entender.
Las aplicaciones y modelado, la matemtica discreta se puede aplicar en casi en cualquier rea concebible de estudio. Sus aplicaciones en el curso lo ejecuta
en las ciencias de la computacin y comunicacin de datos, as como aplicaciones a campos tan diversos como la qumica, la botnica, la zoologa, la
lingstica, la geografa, las ciencias empresariales e Internet. El modelado en matemtica discreta es una herramienta de extrema importancia para la
resolucin de problemas que los estudiantes tienen la posibilidad de desarrollar construyendo sus propios modelos.
OBJETIVOS GENERALES:
Aprender un conjunto particular de realidades matemticas y cmo aplicarlas.
Aprender a pensar desde un punto matemtico.
Enfatizar el razonamiento matemtico.
OBJETIVOS ESPECIFICOS:
Entender el razonamiento matemtico.
Leer, comprender y construir argumentos matemticos.
Aplicar la capacidad de contar para resolver problemas.
Aplicar las tcnicas de recuento.
Enfatizar el desarrollo del anlisis combinatorio para resolver problemas de enumeracin.
Trabajar con estructuras discretas.
Aplicar algoritmos.
Aplicar la matemtica discreta en otras ciencias.
Desarrollar y construir modelados con matemtica discreta.
CONTENIDOS:
UNIDAD I.
Unid. Competencia Objetivos de
Desempeo
Objetivos de
Aprendizaje
Conceptual Referencia
Bibliogrfica
No.
Hrs.
No.
H.ac.
I

Entender por medio de
reglas los enunciados
matemticos.
Entender y construir
algoritmos para resolver
diferentes tipos de
problemas, entender el
razonamiento
matemtico.
Al terminar la
unidad los
estudiantes sern
capaces de:
Entender los
argumentos
matemticos.
Entender y
construir
algoritmos para
resolver
diferentes tipos
de problemas.
Entender el
razonamiento
matemtico.
Durante la clase se
aplicarn ejemplos
especficos para
interactuar con los
estudiantes en el
anlisis de las
interrogantes del
problema, se
tomarn otras
alternativas con el
material de apoyo
que permitan
desarrollar sus
capacidades en el
aprendizaje y poder
alcanzar los
objetivos de
desempeo.
RAZONAMIENTO
MATEMATICO
LOS FUNDAMENTOS:
LGICOS Y
DEMOSTRACION,
CONJUNTO Y
FUNCIONES.
Lgica
Equivalencias
proposicionales.
Predicados y
cuantificadores.
Cuantificadores
anidados.
Mtodos de
demostracin.
Conjuntos.
Operadores con
conjuntos.
Funciones.
Kenneth H. Rosen.
Pgs. 1-103
2
2
2
2
2
4
6
8
UNIDAD I.
Unid. Competencia Objetivos de
Desempeo
Objetivos de
Aprendizaje
Conceptual Referencia
Bibliogrfica
No.
Hrs.
No.
H.ac.
I

Entender por medio de
reglas los enunciados
matemticos.
Entender y construir
algoritmos para resolver
diferentes tipos de
problemas, entender el
razonamiento
matemtico.
Al terminar la
unidad los
estudiantes sern
capaces de:
Entender los
argumentos
matemticos.
Entender y
construir
algoritmos para
resolver
diferentes tipos
de problemas.
Entender el
razonamiento
matemtico.
Durante la clase se
aplicarn ejemplos
especficos para
interactuar con los
estudiantes en el
anlisis de las
interrogantes del
problema, se
tomarn otras
alternativas con el
material de apoyo
que permitan
desarrollar sus
capacidades en el
aprendizaje y poder
alcanzar los
objetivos de
desempeo.
LOS FUNDAMENTOS :
ALGORITMOS,
NUMEROS ENTEROS
Y MATRICES.
Algoritmos.
Crecimiento de
funciones.
Complejidad de
algoritmos.
Enteros y divisin.
Enteros y
algortmos.
Aplicaciones de la
teora de numeros.
Matrices.
RAZONAMIENTO
MATEMATICO,
INDUCCION Y
RECURSIVIDAD.
Estrategias de
demostracin.
Suceciones y
sumatorios.
Induccin
matemtica.
Definiciones
recursivas e
induccin
estructural.
Kenneth H. Rosen.
Pgs. 109-191.
2
2
2
2
2
10
12
14
16
18
UNIDAD I.
Unid. Competencia Objetivos de
Desempeo
Objetivos de
Aprendizaje
Conceptual Referencia
Bibliogrfica
No.
Hrs.
No.
H.ac.
I

Entender por medio de
reglas los enunciados
matemticos.
Entender y construir
algoritmos para resolver
diferentes tipos de
problemas, entender el
razonamiento
matemtico.
Al terminar la
unidad los
estudiantes sern
capaces de:
Entender los
argumentos
matemticos.
Entender y
construir
algoritmos para
resolver
diferentes tipos
de problemas.
Entender el
razonamiento
matemtico.
Durante la clase se
aplicarn ejemplos
especficos para
interactuar con los
estudiantes en el
anlisis de las
interrogantes del
problema, se
tomarn otras
alternativas con el
material de apoyo
que permitan
desarrollar sus
capacidades en el
aprendizaje y poder
alcanzar los
objetivos de
desempeo.
Algortmos
recursivos.
Verificacin de
programas.
Kenneth H. Rosen.
Pgs. 199-270.
2
4
20
24
UNIDAD II.
Unid. Competencia Objetivos de
Desempeo
Objetivos de
Aprendizaje
Conceptual Referencia
Bibliogrfica
No.
Hrs.
No.
H.ac.
II

Aplicar la capacidad de
contar para resolver
problemas, aplicar las
tcnicas de recuento,
enfatizar el desarrollo del
anlisis combinatorio.
Al terminar la
unidad los
estudiantes sern
capaces de:
Aplicar la
capacidad de
contar para
resolver
problemas.
Aplicar las
tcnicas de
recuento.
Desarrollar el
anlisis
combinatorio.
Durante la clase se
aplicarn ejemplos
especficos para
interactuar con los
estudiantes en el
anlisis de las
interrogantes del
problema, se
tomarn otras
alternativas con el
material de apoyo
que permitan
desarrollar sus
capacidades en el
aprendizaje y poder
alcanzar los
objetivos
ANALISIS
COMBINATORIO.
RECUENTO:
Fundamentos de
combinatoria.
Principio de
palomar.
Permutaciones y
combinaciones.
Coeficiente
binomiales.
Permutaciones y
combinaciones
generalizadas.
Generaciones de
permutaciones y
combinaciones.
Kenneth H. Rosen.
Pgs. 279-324.
2
2
2
26
28
30
UNIDAD III.
Unid. Competencia Objetivos de
Desempeo
Objetivos de
Aprendizaje
Conceptual Referencia
Bibliogrfica
No.
Hrs.
No.
H.ac.
III

Trabajar con estructuras
discretas.
Al terminar la
unidad los
estudiantes sern
capaces de:
Trabajar con
estructuras
discretas.
Durante la clase se
aplicarn ejemplos
especficos para
interactuar con los
estudiantes en el
anlisis de las
interrogantes del
problema, se
tomarn otras
alternativas con el
material de apoyo
que permitan
desarrollar sus
capacidades en el
aprendizaje y poder
alcanzar los
objetivos
ESTRUCTURAS
DISCRETAS.
PROBABILIDAD
DISCRETA:
Introduccin a la
probabilidad
discreta.
Teoria de la
probabilidad.
Valor esperado y
varianza.
TECNICAS
AVANZADAS DE
RECUERDO:
Relaciones de
recurrencia.
Resolucin de
relaciones de
recurrencia.
Algoritmos de divide
y vencers y
relaciones de
recurrencia.
Funciones
generatrices.
Principio de
inclusin-exclusin.
Aplicaciones del
principo de
inclusin-exclusin.
Kenneth H Rosen.
Pgs. 329-366.
Kenneth H. Rosen
Pgs. 373-433.
2
2
2
2
32
34
36
38
UNIDAD III.
Unid. Competencia Objetivos de
Desempeo
Objetivos de
Aprendizaje
Conceptual Referencia
Bibliogrfica
No.
Hrs.
No.
H.ac.
III


Trabajar con estructuras
discretas.
Al terminar la
unidad los
estudiantes sern
capaces de:
Trabajar con
estructuras
discretas.
Durante la clase se
aplicarn ejemplos
especficos para
interactuar con los
estudiantes en el
anlisis de las
interrogantes del
problema, se
tomarn otras
alternativas con el
material de apoyo
que permitan
desarrollar sus
capacidades en el
aprendizaje y poder
alcanzar los
objetivos
RELACIONES:
Relaciones y sus
propiedades
Relaciones n-arias y
sus aplicaciones.
Representacin de
relaciones.
Cierre de relaciones.
Relaciones de
equivalencia.
Ordenes parciales
GRAFOS:
Introduccin a los
grafos.
Terminologa en la
teora de grafos.
Repreesntacin de
grafos e
isomosfismo de
grafos.
Conexin.
Tipos de grafos.
ARBOLES:
Introduccin a los
rboles.
Aplicaciones de los
rboles.
Recorrido de
rboles.
Tipos de rboles.
Kenneth H. Rosen.
Pgs. 439-405
Rosen. Pgs. 503-
581.
Rosen. Pgs. 589-
646.
2
4
2
2
2
40
44
46
48
50
UNIDAD III.
Unid. Competencia Objetivos de
Desempeo
Objetivos de
Aprendizaje
Conceptual Referencia
Bibliogrfica
No.
Hrs.
No.
H.ac.
III

Aplicar la matemtica
discreta en otras
ciencias, desarrollar
modelado con
matemtica discreta.
Al terminar la
unidad los
estudiantes sern
capaces de :
Aplicar las
matematica
discreta en otra
ciencia.
Desarrollar
modelos con
matematica
discreta.
Durante la clase se
aplicarn ejemplos
especficos para
interactuar con los
estudiantes en el
anlisis de las
interrogantes del
problema, se
tomarn otras
alternativas con el
material de apoyo
que permitan
desarrollar sus
capacidades en el
aprendizaje y poder
alcanzar los
objetivos
APLICACIONES Y
MODELADO.
ALGEBRA DE BOOLE:
Funciones
booleanas.
Representacin de
funciones
booleanas.
Puertas lgicas.
Minimizacin de
circuitos.
MODELOS DE
COMPUTACIN.
Lenguajes y
gramticas.
Mquina de estado
finito con salida.
Mquina de estado
finito sin salida.
Rosen. Pgs. 653-
684.
Rosen. Pgs. 689-
729.
2
4
4
4
52
56
60
64
METODOLOGIA.
Se trabajar con metodologa en equipo-participativa, aplicando tcnicas activas: lluvias de ideas y plenaria, para facilitar el aprendizaje significativo y funcional con dilogo
permanente que permita innovar procesos de cambios y de esta forma vincular la teora y la prctica.
RECURSOS
1. Bliografas.
2. Pizarra de tiza lquida.
3. Laboratorio de computacin.
4. Proyector.
5. Marcadores.
EVALUACION
Sistemtico y permanente de acuerdo al objetivo.
Desarrollo de actitudes, destrezas y habilidades para aplicar el proceso intra-ulico.
Aplicacin de la propuesta en lo concerniente a la parte curricular.
ACREDITACION
80% asistencia
Participacin individual y de equipo
Tareas intra-clase y extra-clase, trabajos, consultas.
Exposicin, lecciones, aportes, plenarias.
Investigacin.
BIBLIOGRAFIAS:
1. MATEMATICA DISCRETA Y SUS APLICACIONES, QUINTA EDICION. KENNETH H. ROSEN. 2004.
Elaborado por: Aprobado por:
_______________________________________ ____________________________________________
Ing. Presidente Comisin Acadmica