DIVISIÓN DE INGENIERÍA ELÉCTRICA
DEPARTAMENTO DE INGENIERÍA EN COMPUTACIÓN


Programa de la Asignatura: 	ESTRUCTURAS DISCRETAS

Clave:   0119	 Núm. de créditos:	8

Carrera:   ING. EN COMPUTACION


Duración del curso:
                   Semanas:	16
		   Horas:	64

Semestre:		6º


Horas a la semana:
                  Teoría:        4	Obligatoria:  SI
		  Prácticas:     0	Optativa:


OBJETIVO DEL CURSO 

	El alumno comprenderá los conceptos matemáticos de la computa-
ción en la solución de problemas relacionados con el procesamiento de
la información y el diseño de computadoras.



 TEMAS

 Núm:				Nombre:				Horas

I.      LOGICA PROPOSICIONAL Y CALCULO DE  PREDICADOS.            16

II.     CONJUNTOS, RELACIONES Y PRUEBAS MATEMATICAS.               8

III.    SISTEMAS ALGEBRAICOS.                  		          16

IV.     TEORIA DE GRAFICAS.                    			  12

V.      TEORIA DE LA COMPUTABILIDAD.            		  12
							        ______
								  64



ASIGNATURA ANTECEDENTE OBLIGATORIA :


ESTRUCTURAS DE DATOS


ASIGNATURAS CONSECUENTES :


DISEÑO DE SISTEMAS DIGITALES

LENGUAJES FORMALES Y AUTÓMATAS



ANTECEDENTES, OBJETIVOS Y CONTENIDOS DE LOS TEMAS

I.	LOGICA PROPOSICIONAL Y CALCULO DE PREDICADOS.    

	ANTECEDENTES:

		Estructuras de Datos

	OBJETIVO:

		El alumno dominará la teoría de la lógica matématica
                y la aplicará en la solución de problemas dentro del
  		campo de la computación.

	CONTENIDO:

		I.1   Fórmulas proposicionales y tablas de verdad.

		I.2   Formas normales y dispositivos de dos estados.

		I.3   Notación Polaca y parentizada.

		I.4   Elementos de inferencia para el cálculo proposi-
		      cional.

		I.5   Prueba automática de teoremas.

		I.6   Fórmulas de predicados.


II.	CONJUNTOS, RELACIONES Y PRUEBAS MATEMATICAS.

	ANTECEDENTES:

		Estructuras de Datos.

	OBJETIVO:

		El alumno usará los conceptos de conjuntos, relaciones
                y pruebas matemáticas con un enfoque computacional.

	CONTENIDO:

		II.1   Conjuntos.

		II.2   Relaciones y funciones.

		II.3   Funciones de dispersión.

		II.4   Prueba por inducción matemática.

		II.5   Técnica del casillero vacío.

		II.6   Técnica de la diagonalización.


III.	SISTEMAS ALGEBRAICOS.                                           

	ANTECEDENTES:

		Estructuras de datos.

	OBJETIVO:

		El alumno comprenderá y aplicará la teoría de los sistemas
                algebráicos dentro del campo de la computación,
		haciendo énfasis en áreas tales como álgebra 
		booleana, códigos de comunicaciones, circuito
		de dos estados y aspectos específicos de la 
		computadora.

	CONTENIDO:
     
		III.1   Definiciones y conceptos de los sistemas 
                        algebráicos.    

		III.2   Semigrupos, monoides y grupos.

		III.3   La aritmética de residuos en las computadoras.

		III.4   Los códigos de grupo en las comunicaciones.

		III.5   Algebra booleana.

		III.6   Representación y minimización de funciones 
                        booleanas.         

		III.7   Introducción al diseño de circuitos de dos estados.


IV.	TEORIA DE GRAFICAS.

	ANTECEDENTES: 

		Estructuras de Datos.

	OBJETIVO:

		El alumno representará y manipulará en la computadora
                diferentes tipos de gráficas, generando aplicaciones 
                para la  solución de problemas planteados.

	CONTENIDO:
     
		IV.1   Conceptos básicos y definiciones.

		IV.2   Representación matricial.

		IV.3   Manipulación de gráficas.

		IV.4   Arboles.

		IV.5   Detección de puntos muertos.

		IV.6   Detección de fallas en circuitos combinacionales.



V.	TEORIA DE LA COMPUTABILIDAD.

	ANTECEDENTES: 

		Estructuras de Datos.

	OBJETIVO:

		El alumno comprenderá y aplicará la teoría de la
                computabilidad para determinar el estado
                computacional de funciones y problemas.

	CONTENIDO:

		V.1   Elementos de la teoría de la computabilidad.

  		V.2   Funciones parciales.

		V.3   Funciones computables.

		V.4   Funciones universales e intérpretes.

		V.5   Especificaciones algorítmicas de programas.



TECNICAS DE ENSEÑANZA:			ELEMENTOS DE EVALUACION:

Exposición oral			  (X)	Exámenes parciales		 (X)
Exposición audiovisual		  (X)	Exámenes finales		 (X)
Ejercicios dentro de clase	  (X)	Trabajos y tareas fuera del aula (X)
Ejercicios fuera del aula	  (X)	Participación en clase		 ( )
Seminarios			  ( )	Asistencia a prácticas		 ( )
Lecturas obligatorias		  ( )	Otros:
Trabajo de investigación	  (X)
Prácticas de taller o laboratorio ( )
Prácticas de campo		  ( )
Otras:



BIBLIOGRAFIA

TEXTOS BASICOS		Temas de la materia para los que se recomienda:

	TREMBLAY, J.P. and MANOHAR, R.  		Todos 
	Discrete Mathematical Structures
	with Applications to Computer Science.
	Mc Graw-Hill, N.Y., E.E.U.U., 1975              


	SKVARCIUS, R and ROBINSON, W.B.           	Todos
	Discrete Mathematics with Computer
	Science Applications.     
	Cummings Publishing Cia. Cal., E.E.U.U., 1986


	KENNETH A. ROSS and CHARLES R.B. WRIGHT		Todos
	"Discrete mathematics"
	Prentice Hall, E.E.U.U., 1988


BIBLIOGRAFIA COMPLEMENTARIA


	JOHNSONBAUGH, R.                           	Todos
	Discrete Mathematics.    
	Macmillan Publishing Cia., E.E.U.U., 1986

	KOLMAN, B. and BUSBY, R.C.              	Todos
	Discrete Mathematical Structures
	for Computer Science.
	Prentice-Hall Inc, E.E.U.U., 1984

	ARBIB, M.A.; KFOURY, A.J. and MOLL, R.N.    	Todos
	A basis for theorical computer science
	Springer-Verlag, E.E.U.U., 1981