Introduccin

La matemtica discreta es la parte de las matemticas que estudia objetos discretos. Definir el concepto discreto sin entrar en demasiadas formalidades no es sencillo pero podemos apelar a ciertos ejemplos matemticos conocidos y contraponerlo al concepto de continuo que es la idea central del curso de Bases de Matemticas. Lo discreto es lo finito o lo que, si no es finito, presenta el aspecto de los nmeros naturales, objetos bien separados entre s; lo continuo es lo no finito, lo infinitesimalmente pr imo, como los nmeros reales, y de a! el concepto de lmite y las ideas que de dic!o concepto se deri"an. La matemtica discreta sur#e como una disciplina que unifica di"ersas reas tradicionales de las Matemticas $combinatoria, probabilidad, #eometra de pol#onos, aritm%tica, #rafos,...&, como consecuencia de, entre otras cosas, su inter%s en la informtica y las telecomunicaciones' la informacin se manipula y almacena en los ordenadores en forma discreta $palabras formadas por ceros y unos&, se necesita contar objetos $unidades de memorias, unidades de tiempo&, se precisa estudiar relaciones entre conjuntos finitos $bsquedas en bases de datos&, es necesario anali(ar procesos que incluyan un nmero finito de pasos $al#oritmos&... )ara !acernos una idea al#o ms clara del contenido de esta disciplina "eamos al#unas pre#untas que podemos plantearnos en informtica y que se pueden responder con m%todos de matemtica discreta' *+ay al#una cone in entre dos ordenadores de una red, Dada una tecnolo#a de cableado, *cul es el dise-o de red ms econmico para cierta empresa, *.mo puede ordenarse una lista de nmeros enteros $o de tareas de una cadena& en forma creciente, *.untas palabras cla"e "lidas !ay para acceder a un sistema, *.mo se puede codificar de forma adecuada y se#ura un mensaje, /esponderemos al#una de estas pre#untas en este curso. La matemtica discreta proporciona, por otro lado, al#unas bases matemticas para otros aspectos de la informtica' estructuras de datos, al#ortmica, bases de datos, teora de autmatas, sistemas operati"os, in"esti#acin operati"a,... as como ayuda al desarrollo de ciertas capacidades fundamentales para un in#eniero' capacidad de formali(ar, de ra(onar ri#urosamente, de representar adecuadamente al#unos conceptos...

Objetivos
- 0ntroducir al#unos m%todos y conceptos bsicos de la Matemtica Discreta. - Describir al#unas de sus aplicaciones a la 0nformtica. - 0ntroducir el pro#rama M1)L2 en sus aplicaciones a la Matemtica Discreta.

Programa

Tema 1. Lgica y Razonamiento Matemtico 1! ".# $ T % & P'. L#ica e 0nformtica. L#ica y modelos matemticos. L#ica proposicional' los conecti"os l#icos, forma de una proposicin, tautolo#as y ra(onamientos "lidos, el m%todo de refutacin. L#ica de predicados' predicados y objetos, los cuantificadores uni"ersal y e istencial, forma de predicados, ejemplos de sentencias "erdaderas, contraejemplos, modeli(acin de e presiones en forma simblica. 2l ra(onamiento por induccin. 0nduccin completa y estructural. L#ica con Maple. 1plicaciones' .orreccin de al#oritmo y "erificacin de pro#ramas, sistemas e pertos. Tema !. ()goritmos * ".# + T % , P'. 1l#oritmos' definiciones y ejemplos. 1l#oritmos de bsqueda. 1l#oritmos de ordenacin. .omplejidad. 1l#oritmos de bsqueda con Maple' secuencial y binaria. 1l#oritmos de ordenacin con Maple' burbuja y seleccin. Tema +. (ritm-tica modu)ar 1. ".# * T % , P'. Los nmeros naturales y los nmeros enteros. 3eorema de la di"isin. Di"isibilidad, M.D y factori(acin. /elaciones de con#ruencia. 4istemas de de ecuaciones mdulo enteros. 4istemas de numeracin. 4istemas de numeracin con Maple. 1plicaciones' criptolo#a, funciones !as!. Tema &. /ombinatoria 10 ".# , T % & P'. 0ntroduccin. 3%cnicas de conteo. 5ariaciones. )ermutaciones. .ombinaciones. )robabilidad' nociones bsicas. 1si#nacin de probabilidades. )robabilidad condicionada. 2 perimentos de Bernoulli. 5ariables aleatorias. Tema .. 1ra2os 13 ".# 1! T % . P'. Definiciones bsicas. 6rafos, di#rafos y multi#rafos. 6rafos simples especiales. .onstruccin de #rafos a partir de #rafos. 0somorfismo de #rafos. /epresentacin de #rafos' matri( de adyacencias, matri( de incidencias. .aminos, ciclos y #rafos cone os. 6rafos eulerianos y !amiltonianos. 6rafos etiquetados y al#oritmo de Dij7stra. 8rboles' definiciones bsicas. 8rboles de bsqueda binarios. 8rboles de decisin. .di#os prefijos. 8rboles #eneradores. 9tros aspectos de la teora de #rafos. 1plicaciones' Modeli(acin de redes. Tema ,. Re)aciones 1! ".# 3 T % . P'. )roducto cartesiano, relacin, propiedad refle i"a, sim%trica, antisim%trica, transiti"a, relacin de orden, relacin de equi"alencia. /epresentacin de las relaciones' tablas, #rafos diri#idos y matrices. .lausura refle i"a, sim%trica y transiti"a de una relacin. .onjuntos parcialmente ordenados' dia#ramas de +asse, elementos caractersticos, inclusin de un orden parcial en uno total. 8l#ebras de Boole.

4ib)iogra25a bsica

(6untes de )a asignatura y 6rob)emas resue)tos $5ersin pdf y 4er"icio de /epro#rafa de la :/;., .la"e <<=& Prcticas y 6rob)emas resue)tos con Ma6)e 7 $5ersin !tml&

Discrete Mathematics and its applications. >.+. /osen. Mc 6ra? +ill, =@@A y =@@@. 2dicin en 2spa-ol' Matemtica Discreta y sus aplicaciones. Mc 6ra? +ill <BBC. Students Solution Guide for Discrete Mathematics and its applications. >.+. /osen. Mc 6ra? +ill, =@@@. Discrete Mathematics $<nd 2d.&. 4. Lipsc!ut(, M. L. Lipson. Mc6ra?D+ill, =@@E. 8OT(9:

1l#unos fic!eros del material de la asi#natura estn en el formato pdf. )ara abrirlos se puede usar el pro#rama de libre difusin 1crobat /eader. 2l material de la asi#natura se encuentra disponible en el ser"icio de repro#rafa de la uni"ersidad $con las cla"e indicadas& y en el directorio de Matemtica Discreta en )rcticas en Mortadelo$F'&. Los alumnos de la :/;. pueden comprar una copia del pro#rama Maple5 utili(ando el formulario que aparece en la p#ina' !ttp'GG???.addlin7.esGMapleD:rjc.asp

4ib)iogra25a com6)ementaria Matemtica discreta y combinatoria. /.). 6rimaldi. 1ddisonDFesley, =@H@. Exploring discrete Mathematics with Maple. >.+. /osen. Mc 6ra? +ill, =@@E. Estructuras de Matemticas discretas para la computacin. >olman, Busby, /oss, )rentice +all, =@@E. Fundamentos Matemticos. /. .riado, 1. Bujosa, .. 5e#a, /. Banerjee. .entro de estudios /amn 1reces, =@@H. Matemtica Discreta. .. 6arca, ;. Ma Lpe(, Dolors )ui#janer. )earson 2ducacin $)rentice +all&, <BB<.

8ormas de eva)uacin

In2ormtica de 9istemas
/onvocatoria de 2ebrero:

La e"aluacin consistir en' D :n e amen parcial,

D )rcticas con el sistema de computacin simblica Maple en los laboratorios informticos, D :n e amen final. Los diferentes apartados tendrn el si#uiente peso en la calificacin final' ;<amen 6arcia): Prcticas de Ma6)e: ;<amen 2ina): !0= 10= 30=

D 2l e amen parcial se reali(ar en !ora de clase en una fec!a que se a"isar con antelacin. D 2l temario e"aluado en el e amen parcial "ol"er a ser e"aluado tambi%n en el e amen final. D 2n los e menes finales se permitir la utili(acin de una !oja resumen de los apuntes. D Io se #uardan las notas de Maple de cursos anteriores. D Las prcticas de Maple son A. .ada una de ellas contiene un test. D IMPORT(8T;' ( )os a)umnos >ue no se 6resenten a) e<amen 2ina) no se )es corregir ni e) e<amen 6arcia) ni )a 6rcticas# y a6arecern en actas como 8P. La nota del curso se obtendr del si#uiente modo' 8ota e< 6arcia) sobre 10'?0#! % 8ota 6rcticas sobre 10'?0#1 % 8ota ;<. @ina) sobre 10'?0#3

/onvocatoria de se6tiembre: La con"ocatoria de septiembre se e"aluar solamente sobre un e amen que no incluir Maple

In2ormtica de 1estin:
/onvocatoria de 2ebrero: La e"aluacin ser continua y consistir en' un e amen parcial, tests en clase, prcticas con el sistema de computacin simblica Maple en los laboratorios informticos, un e amen final con Maple y un e amen final.

Los diferentes apartados tendrn el si#uiente peso en la calificacin final' ;<amen 6arcia): Prcticas de Ma6)e: ;<amen 2ina): !0= 10= 30=

La a6ortacin de )os cuatro 6rimeros a6artados s)o ser e2ectiva en e) caso de >ue en e) e<amen 2ina) se "aya obtenido un m5nimo de !1 6untos sobre )os ,0 6osib)es. 2n los e menes finales se permitir la utili(acin de un resumen de los apuntes. 2l e amen parcial se reali(ar en !ora de clase en una fec!a que se a"isar con antelacin. 2n la e"aluacin de las prcticas de Maple y en el e amen final de Maple se permitir la utili(acin de apuntes, libros y disquettes. Io se #uarda la nota de Maple de cursos anteriores, ni la de este curso para septiembre. De cada !oja de problemas se pedir a los alumnos que resuel"an en clase $=A minutos& uno de estos problemas $o uno de carcter similar& que se corre#ir y conformar la nota de los tests. .ada test se e"aluar sobre < puntos. Durante los tests no se permitir la utili(acin de apuntes y libros. 2l temario e"aluado en el e amen parcial podr "ol"er a ser e"aluado tambi%n en el e amen final. Las prcticas de Maple son A. .ada una de ellas contiene un test. La obtencin de la nota m ima en el test da la e"aluacin con un = por cada prctica. 2l e amen de prcticas se !ar en el perodo de e menes. La ca)i2icacin 2ina) ser e) m<imo entre )a nota de )a eva)uacin continua y )a nota 2ormada 6or )os e<menes 2ina) $0=' y de Ma6)e !0='. /onvocatoria de se6tiembre: La con"ocatoria de septiembre se e"aluar solamente sobre un e amen $HBJ& que incluir un e amen de Maple $<BJ&. Para a6robar )a asignatura ser 6reciso obtener a) menos e) .0= de )a ca)i2icacin m<ima.

Prcticas

Las si#uientes prcticas se reali(arn empleando Maple. La primera prctica ser introductoria al sistema Maple. 2l resto de las prcticas estarn relacionadas con el contenido de la asi#natura. o )rctica =' Introduccin Kormato Maple5 o )rctica <' Teor5a de nAmeros Kormato Maple5 o )rctica L' /ombinatoria Kormato Maple5
o o

)rctica C' Introduccin a )a teor5a de gra2os Kormato Maple5 )rctica A' Re)aciones Kormato Maple5

/(L;8B(RIO B; PRC/TI/(9 In2ormtica de 1estin: Prcticas:

)rctica =' 16 de enero, de =M'BB a =H'BB, el aula 102 del aulario I )rctica < y L' 20 de enero de 15 a 17 h., el aula 101 del aulario I )rctica C' <= de enero 16 a 17 h del aula =B< del Laboratorio

000

In2ormtica de 9istemas tarde: Prcticas: $en !orario de clase&

)rctica =' 9 Enero el aula 102 del aulario I
Descargar ractica !

)rctica < y L' 13 Enero aula 101 del aulario I (prctica 1) )rctica C ' =C 2nero aula 102 del Laboratorio III (prctica 2 3)
La prctica 4 falta por concretar la fecha.

Por cierre de )a 2acu)tad 6or motivos meteoro)gicos )a 6rctica 1 9e rea)izar e) d5a 1+ de ;nero.

In2ormtica de 9istemas maDana:

5er p#ina ?eb del profesor

La reser"a de aulas informticas en la 24.23 para las distintas asi#naturas se puede consultar en la p#ina' !ttp'GG???.escet.urjc.esG(NfilesGadGadBLGreser"aGlunes.p!p

Ma6)e en /)ase

2n esta seccin se publicarn fic!eros M1)L2G+3ML usados o presentados en clase, complementarios al desarrollo de la asi#natura. L#ica Bsqueda 9rdenacin 1ritm%tica modular Bases de numeracin