UNIVERSIDAD NACIONAL AUTNOMA DE MXICO

Licenciatura en Ciencias de la Computacin

Facultad de Ciencias
Programa de la asignatura
Denominacin de la asignatura:

Estructuras Discretas
Clave:

Semestre:
1

Eje temtico:

No. Crditos:

Estructuras Discretas

Carcter: Obligatoria
Tipo: Terico-Prctica
Modalidad: Curso

Horas

Horas por
semana

Teora:
Prctica:
3
4
7
Duracin del programa: Semestral

10
Total de
Horas
112

Asignatura con seriacin obligatoria antecedente: Ninguna

Asignatura con seriacin obligatoria subsecuente: Lgica Computacional; Autmatas y
Lenguajes Formales; Organizacin y Arquitectura de Computadoras
Asignatura con seriacin indicativa antecedente: Ninguna
Asignatura con seriacin indicativa subsecuente: Estructura de Datos
Objetivo general:
Modelar matemticamente enunciados que se refieren a individuos o conjuntos de valores,
demostrando a su vez la correctud de las aseveraciones que se hacen de ellos. El modelado
estar presente en todo el desarrollo de la vida profesional del egresado de esta licenciatura.

ndice temtico
Unidad
I
II
III
IV

Horas

Temas
Introduccin
Lgica matemtica
Induccin y recursin
Relaciones
Total de horas:
Suma total de horas:

Tericas
3
18
12
15
48

Prcticas
4
24
16
20
64
112

18

Contenido temtico
Unidad
Tema
I Introduccin
I.1
Qu son las estructuras discretas?
I.2
Panorama de las matemticas discretas.
Introduccin a los lenguajes formales: expresiones y mecanismos para su
I.3
descripcin (gramticas y rboles de derivacin).
II Lgica matemtica
Lgica proposicional: sintaxis, semntica, equivalencia lgica, anlisis de
II.1
argumentos correctos (interpretaciones, derivaciones y/o tableaux semnticos).
Aplicaciones a circuitos digitales. Componentes bsicos. Minimizacin de funciones
II.2
booleanas. Contadores. Multiplexores.
Introduccin a la lgica de predicados: sintaxis, especificacin formal, semntica
II.3
informal en micromundos.
III Induccin y recursin
III.1
Los nmeros naturales: axiomas de Peano, principios de induccin.
Definiciones recursivas: definicin de conjuntos y funciones mediante uso de
III.2
patrones, ejemplos con estructuras de datos no numricas (listas, rboles,
expresiones lgicas, etc.).
Induccin estructural: principios de induccin estructural, dualidad entre induccin y
III.3
recursin, ejemplos de demostracin en diversas estructuras.
IV Relaciones
IV.1
Definiciones bsicas, relaciones binarias y n-arias, aplicaciones.
Relaciones binarias: propiedades (reflexividad, simetra, transitividad, etc.),
IV.2
representacin mediante matrices y digrficas.
Operaciones con relaciones binarias: operaciones conjuntistas, composicin,
IV.3
cerraduras (algoritmo de Warshall).
Relaciones de orden: rdenes parciales y lineales, ordenacin topolgica,
IV.4
elementos minimales y maximales, retculas.
Bibliografa bsica:
1. Favio E. Miranda, Elisa Viso, Matemticas Discretas. Las Prensas de Ciencias, 2010.
2. Dossey, J. A.; Otto, A. D. Spence, L. E.; Vanden Eynden, C., Discrete Mathematics, fifth
edition. Pearson/Addison-Wesley, 2006.
Bibliografa complementaria:
3. Rosen, Kenneth H., Discrete Mathematics and Its Applications, sixth edition, McGraw-Hill,
2007.
4.

Grassmann, W. K.; Tremblay, J-P., Logic and Discrete Mathematics, A Computer Science
Perspective, Prentice-Hall, 1996.

5.

Dossey, J. A.; Otto, A. D. Spence, L. E.; Vanden Eynden, C., Discrete Mathematics, fifth
edition. Pearson/Addison-Wesley, 2006.

6.

Gersting J.L., Mathematical Structures for Computer Science, 5th edition, W.H. Freeman
2003.

7.

Gries, D., Schneider, F.B., A Logical Approach to Discrete Math, Texts and Monographs in
19

Computer Science, Springer-Verlag, 1994.

Sugerencias didcticas:
Exposicin oral
Exposicin audiovisual
Ejercicios dentro de clase
Ejercicios fuera del aula
Seminarios
Lecturas obligatorias
Trabajo de investigacin
Prcticas de taller o laboratorio
Prcticas de campo

Mtodos de evaluacin:
( X ) Exmenes parciales
( ) Examen final escrito
( X ) Trabajos y tareas fuera del aula
( X ) Exposicin de seminarios por los alumnos
( ) Participacin en clase
( ) Asistencia
( ) Seminario
(X)
( ) Otras: Prcticas de laboratorio

(X)
( )
( )
( )
( )
( )
( )

Otras: Se sugiere complementar ciertos

aspectos del curso mediante el desarrollo
de proyectos de programacin
relacionados en algn lenguaje funcional.
Perfil profesiogrfico:
Egresado preferentemente de la Licenciatura en Ciencias de la Computacin o Matemtico con
especialidad en Computacin. Es conveniente que posea un posgrado en la disciplina. Con
experiencia docente.

20