UNIVERSIDAD NACIONAL AUTNOMA DE MXICO FACULTAD DE INGENIERA PROGRAMA DE ESTUDIO

Aprobado por el Consejo Tcnico de la Facultad de Ingeniera en su sesin ordinaria del 15 de octubre de 2008

ESTRUCTURAS DISCRETAS
Asignatura Ingeniera Elctrica Divisin

1552
Clave Ingeniera en Computacin Departamento

5
Semestre

09
Crditos

Ingeniera en Computacin Carrera en que se imparte

Asignatura: Obligatoria Optativa X

Horas: Tericas Prcticas 4.5 0.0

Total (horas): Semana 16 Semanas 4.5 72.0

Modalidad: Curso.

Asignatura obligatoria antecedente: Algoritmos y Estructuras de Datos

Asignatura obligatoria consecuente: Ninguna.

Objetivo(s) del curso: El alumno comprender los conceptos matemticos de la computacin en la solucin de problemas relacionados con el procesamiento de la informacin y el diseo de computadoras.

Temario
NM. NOMBRE HORAS

1. 2. 3. 4. 5.

Lgica proposicional y clculo de predicados. Conjuntos, relaciones y pruebas matemticas. Sistemas algebraicos. Teora de grficas. Teora de la computabilidad.

16.0 12.0 16.0 16.0 12.0 72.0

Prcticas de laboratorio Total

0.0 72.0

ESTRUCTURAS DISCRETAS

(2 / 6)

Lgica proposicional y clculo de predicados Objetivo: El alumno dominar la teora de la lgica matemtica y la aplicar en la solucin de problemas dentro del campo de la computacin. Contenido: 1.1 Frmulas proposicionales y tablas de verdad. 1.1.1 Conceptos. 1.1.2 Tablas de verdad. 1.2 Formas normales y dispositivos de dos estados. 1.2.1 Forma normal disyuntiva principal. 1.2.2 Forma normal conjuntiva principal. 1.3 Notacin polaca y parentizada. 1.3.1 Notacin. 1.3.2 Transformacin de notaciones. 1.4 Elementos de inferencia para el clculo proposicional. 1.4.1 Mtodo basado en tablas de verdad. 1.4.2 Mtodo de derivacin paso a paso. 1.5 Prueba automtica de teoremas. 1.5.1 Razonamiento automtico. 1.5.2 Prueba automtica de teoremas. 1.6 Clculo de predicados. 1.6.1 Predicados. 1.6.2 Frmulas de predicados.

Conjuntos, relaciones y pruebas matemticas Objetivo: El alumno usar el concepto de conjuntos, relaciones y pruebas matemticas con un enfoque computacional. Contenido: 2.1 Conjuntos. 2.1.1 Elementos de conjuntos. 2.1.2 Operaciones. 2.2 Relaciones y funciones. 2.2.1 Notaciones. 2.2.2 Caractersticas y aplicaciones. 2.3 Funciones de dispersin. 2.3.1 Notacin y operaciones. 2.3.2 Aplicaciones. 2.4 Prueba por induccin matemtica. 2.4.1 Notaciones. 2.4.2 Caractersticas y aplicaciones. 2.5 Tcnica del casillero vaco y diagonalizacin. 2.5.1 Caractersticas de la tcnica. 2.5.2 Aplicaciones. 2.6 Anlisis combinatorio. 2.6.1 Notaciones.

ESTRUCTURAS DISCRETAS

(3 / 6)

2.6.2 2.6.3 2.6.4 2.6.5 2.6.6 2.6.7

Induccin y recursin. Permutaciones, ordenaciones, combinaciones y sus propiedades. Caractersticas y aplicaciones. Teora de conteo. Principio de Pigeonhole. Funciones generadoras y relaciones de recurrencia.

Sistemas algebraicos Objetivo: El alumno comprender y aplicar la teora de los sistemas algebraicos dentro del campo de la computacin, haciendo nfasis en reas tales como lgebra booleana, cdigos de comunicaciones, circuitos de dos estados y aspectos especficos de la computadora. Contenido: 3.1 Definiciones y conceptos de sistemas algebraicos. 3.1.1 Definiciones y conceptos. 3.1.2 Tipos y caractersticas. 3.2 Semigrupos, monoides y grupos. 3.2.1 Caractersticas y aplicaciones de los semigrupos. 3.2.2 Caractersticas y aplicaciones de los monoides. 3.2.3 Caractersticas y aplicaciones de los grupos. 3.3 La aritmtica de residuos en las computadoras. 3.3.1 Aritmtica de residuos. 3.3.2 Aplicaciones en las computadoras. 3.4 Los cdigos de grupo en las comunicaciones. 3.4.1 Elementos de un sistema de comunicaciones. 3.4.2 Cdigos de grupo. 3.4.3 Aplicaciones de los cdigos de grupo. 3.5 lgebra booleana. 3.5.1 Caractersticas del lgebra booleana. 3.5.2 lgebra booleana en las computadoras. 3.6 Representacin y minimizacin de funciones booleanas. 3.6.1 Mtodos de representacin. 3.6.2 Mtodos de minimizacin. 3.6.3 Aplicaciones en el diseo. 3.7 Introduccin a los circuitos de dos estados. 3.7.1 Circuitos de dos estados. 3.7.2 Diseo de circuitos de dos estados.

4 Teora de grficas Objetivo: El alumno representar y manipular en la computadora diferentes tipos de grficas, generando aplicaciones para la solucin de problemas planteados. Contenido: 4.1 Conceptos bsicos y definiciones. 4.1.1 Definiciones y conceptos. 4.1.2 Representaciones.

ESTRUCTURAS DISCRETAS

(4 / 6)

4.2

4.3

4.4

4.5

4.6

4.7

Representacin matricial. 4.2.1 Conceptos bsicos. 4.2.2 Caractersticas y representaciones matriciales. Manipulacin de grficas. 4.3.1 Propiedades de las grficas. 4.3.2 Operaciones con grficas. rboles. 4.4.1 Definiciones y conceptos de rboles. 4.4.2 Recorrido de rboles. 4.4.3 Operaciones con rboles. Deteccin de puntos muertos. 4.5.1 Conceptos y definiciones. 4.5.2 Caractersticas de los puntos muertos. 4.5.3 Procesos para la deteccin de puntos muertos. 4.5.4 Manejo de puntos muertos. Deteccin de fallas en circuitos combinacionales. 4.6.1 Circuitos combinacionales. 4.6.2 Procesos para la deteccin de fallas en circuitos combinacionales. Temas avanzados de teora de grficas.

5 Teora de la computabilidad Objetivo: El alumno comprender y aplicar la teora de la computabilidad para determinar el estado computacional de funciones y problemas. Contenido: 5.1 Elementos de la teora de la computabilidad. 5.1.1 Definiciones y conceptos. 5.1.2 Computabilidad. 5.2 Funciones parciales. 5.2.1 Conceptos bsicos. 5.2.2 Caractersticas y representaciones de las funciones parciales. 5.3 Funciones computables. 5.3.1 Definiciones y conceptos. 5.3.2 Caractersticas y representaciones de las funciones computables. 5.4 Funciones universales e intrpretes. 5.4.1 Conceptos bsicos. 5.4.2 Caractersticas y representaciones de las funciones universales e intrpretes. 5.4.3 Aplicaciones. 5.5 Especificaciones algortmicas de programas. 5.5.1 Algoritmia. 5.5.2 Anlisis y diseo algortmico. 5.6 Complejidad. 5.6.1 Complejidad y computabilidad.

ESTRUCTURAS DISCRETAS

(5 / 6)

Bibliografa bsica: GRASSMANN, Winfried K, TREMBLAY, J. P. Matemtica discreta y lgica Madrid, Espaa Prentice Hall, 2003 JOHNSONBAUGH, Richard Discrete Mathematics. 6th edition London Prentice Hall, 2004 KENNETH A. Berman, JEROME L. Paul Algorithms: Sequential, Parallel, and Distributed U.S.A. Thomson, 2004 KOLMAN, Bernard Discrete Mathematical Structures 5th edition U.S.A. Prentice Hall, 2003 LIU, C. L. Elementos de matemticas discretas Mxico McGraw-Hill, 1995 ROSEN, Kenneth H. Matemticas discretas y sus aplicaciones 5a. edicin Espaa McGraw-Hill, 2004 TREMBLAY, Jean-Paul; MANOHAR, Ram RANGEL GUTIRREZ, Raymundo Hugo (trad.) Matemticas discretas con aplicacin a las ciencias de la computacin Mxico CECSA, 2000 VEERARAJAN, T. Matemticas discretas con teora de grficas y combinatoria Mxico McGraw-Hill Interamericana, 2008

Temas para los que se recomienda: Todos

Todos

4, 5

Todos

Todos

Todos

Todos

Todos

ESTRUCTURAS DISCRETAS

(6 / 6)

Bibliografa complementaria: BALAKRISHNAN, V. K. Introductory Discrete Mathematics New York, USA Dover, 1996 BOGART, Kenneth P. Matemticas discretas. Mxico Limusa, 1998 COMELLAS, Francesc Matemtica discreta Mxico Alfaomega, 2002 LOVASZ, Laszlo Discrete mathematics: elementary and beyond New York, USA Springer, 2003 SCHEINERMAN, Edward Matemticas discretas. Mxico Thomson Learning, , 2001

Temas para los que se recomienda: 1,2,3,4

1,2,3,4

1,2,3,4

1,2,3,4

1,2,3,4

Sugerencias didcticas: Exposicin oral Exposicin audiovisual Ejercicios dentro de clase Ejercicios fuera del aula Seminarios Forma de evaluar: Exmenes parciales Exmenes finales Trabajos y tareas fuera del aula

X X X

Lecturas obligatorias Trabajos de investigacin Prcticas de taller o laboratorio Prcticas de campo Otras

X X

X X X

Participacin en clase Asistencias a prcticas Otras

X X

Perfil profesiogrfico de quienes pueden impartir la asignatura Egresados de las carreras de Ingeniero en Computacin, Ciencias de la Computacin o afn, preferentemente con grado de Maestro o Doctor. rea de especialidad en Ciencias de la Computacin.