UNIVERSIDAD NACIONAL AUTONOMA DE MEXICO LICENCIADO EN CIENCIAS DE LA COMPUTACION Programa de la asignatura: Estructuras Discretas Area de formaci on: Clave:

ve: Semestre: Campo de conocimiento: * 1 Ciencias de la Computaci on Estructuras discretas Linea terminal: Horas por Horas Total de horas Diploma semana Cr editos: Teo T/P Pr ac 10 3 4 0 7 112 Tipo: Modalidad: Car acter: Te orico-pr actica Curso Obligatoria Seriaci on indicativa antecedente: Bachillerato. Seriaci on obligatoria antecedente: Ninguna. Seriaci on indicativa subsecuente: Gr acas y Juegos, L ogica Computacional. Objetivo General: Este curso proporciona los conocimientos necesarios para modelar matem aticamente enunciados que se reeren a individuos o conjuntos de valores, demostrando a su vez la correctud de las aseveraciones que se hacen de ellos. El modelado estar a presente en todo el desarrollo de su vida profesional en las Ciencias de la Computaci on.

Contenido tem atico

Unidad 1 2 3 4 Tema Introducci on L ogica matem atica Inducci on y recursi on Relaciones Total de Semanas Semanas 1.0 6.0 4.0 5.0 16.0

Desarrollo tem atico

1. Introducci on Se proporciona al estudiante una visi on general de lo que son los formalismos para describir estructuras discretas, que conforman el objeto de estudio principal de las ciencias de la computaci on. 1.1. Qu e son las estructuras discretas? 1.2. Panorama de las matem aticas discretas 1.3. Introducci on a los lenguajes formales: expresiones y mecanismos para su descripci on (gram aticas y arboles de derivaci on) 2. L ogica matem atica Modelado de enunciados a trav es de la l ogica matem atica y pruebas de correctud de los mismos. Concepto de demostraci on y distintas formas y contextos para las mismas. Se revisa el uso en aspectos relacionados con ciencias de la computaci on, como circuitos digitales o mundos posibles. 1

2.1. L ogica proposicional: sintaxis, sem antica, equivalencia l ogica, an alisis de argumentos correctos (interpretaciones, derivaciones y/o tableaux sem anticos) 2.2. Aplicaciones a circuitos digitales. Componentes b asicos. Minimizaci on de funciones booleanas. Contadores. Multiplexores. 2.3. Introducci on a la l ogica de predicados: sintaxis, especicaci on formal, sem antica informal en micromundos 3. Inducci on y recursi on Se entrena al estudiante en las demostraciones por inducci on y en la formulaci on de deniciones recursivas, cuya misma denici on lleva a la programaci on de este tipo de c alculos. 3.1. Los n umeros naturales: axiomas de Peano, principios de inducci on 3.2. Deniciones recursivas: denici on de conjuntos y funciones mediante uso de patrones, ejemplos con estructuras de datos no num ericas (listas, arboles, expresiones l ogicas, etc.) 3.3. Inducci on estructural: principios de inducci on estructural, dualidad entre inducci on y recursi on, ejemplos de demostraci on en diversas estructuras 4. Relaciones Se introduce al estudiante a la manipulaci on y uso de relaciones entre conjuntos de diversos tipos, haciendo enfasis en las relaciones de orden parcial y total, las primeras muy frecuentes en las ciencias de la computaci on. 4.1. Deniciones b asicas, relaciones binarias y n-arias, aplicaciones 4.2. Relaciones binarias: propiedades (reexividad, simetr a, transitividad, etc.), representaci on mediante matrices y digr acas 4.3. Operaciones con relaciones binarias: operaciones conjuntistas, composici on, cerraduras (algoritmo de Warshall) 4.4. Relaciones de orden: ordenes parciales y lineales, ordenaci on topol ogica, elementos minimales y maximales, ret culas

BIBLIOGRAF IA BASICA: 1. Favio E. Miranda, Elisa Viso Matem aticas Discretas Las Prensas de Ciencias, 2010 ISBN:

BIBLIOGRAF IA COMPLEMENTARIA: 1. Rosen, Kenneth H., Discrete Mathematics and Its Applications, sixth edition, McGraw-Hill, 2007. 2. Grassmann, W. K.; Tremblay, J-P.; LOGIC AND DISCRETE MATHEMATICS, A Computer Science Perspective, Prentice-Hall, 1996. 3. Dossey, J. A.; Otto, A. D.;Spence, L. E.; Vanden Eynden, C.; Discrete Mathematics, Fifth Edition, Pearson/Addison-Wesley, 2006 4. Gersting J.L. Mathematical Structures for Computer Science, 5th. Edition, W.H. Freeman 2003. 5. Gries, D., Schneider, F.B. A Logical Approach to Discrete Math, Texts and Monographs in Computer Science, Springer-Verlag, 1994

Sugerencias did acticas: Exposici on oral Exposici on audiovisual Ejercicios dentro de clase Ejercicios fuera del aula Seminarios Lecturas obligatorias Trabajo de investigaci on Pr acticas de taller o laboratorio

( ) () () ( ) ( ) ( ) () ( ) ( )

Otras: Se sugiere complementar ciertos aspectos del curso mediante el desarrollo de proyectos de programaci on relacionados en alg un lenguaje funcional

Mecanismos de evaluaci on del aprendizaje: Ex amenes parciales ( ) Examen nal escrito ( ) Trabajos y tareas fuera del aula () Pr acticas de laboratorio ( ) Exposici on de seminarios por los ( ) alumnos Participaci on en clase ( ) Asistencia ( ) Proyectos de programaci on ( ) Proyecto Final ( ) Otras: ( )

PERFIL PROFESIOGRAFICO: Egresado preferentemente de la Licenciatura en Ciencias de la Computaci on o Matem atico con especialidad en Computaci on. Es conveniente que posea un posgrado en la disciplina.