1.

- DATOS DE LA ASIGNATURA Nombre de la asignatura: Matemticas para computadora Carrera: Ingeniera en Sistemas Computacionales Clave de la asignatura: SCB - 0421 Horas teora-horas prctica-crditos 4-0-8

2.- HISTORIA DEL PROGRAMA

Lugar y fecha de elaboracin o Participantes revisin Instituto Tecnolgico Representantes de la academia de sistemas y de Toluca del 18 al 22 agosto 2003. computacin de los Institutos Tecnolgicos. Instituto Tecnolgico de: Piedras Negras 23 agosto al 7 de noviembre 2003.

Observaciones (cambios y justificacin) Reunin nacional de evaluacin curricular de la carrera de Ingeniera en Sistemas Computacionales.

Academia de sistemas y Anlisis y enriquecimiento de computacin. las propuestas de los programas diseados en la reunin nacional de evaluacin. Definicin de los programas de estudio de la carrera de Ingeniera en Sistemas Computacionales.

Instituto Tecnolgico Comit de consolidacin de Len de la carrera de 1 al 5 de marzo 2004. Ingeniera en Sistemas Computacionales.

3.- UBICACIN DE LA ASIGNATURA a). Relacin con otras asignaturas del plan de estudio Anteriores Asignaturas Temas Matemticas. lgebra Posteriores Asignaturas Temas Probabilidad y estadstica Circuitos elctricos y electrnicos Electrnica digital -Sistemas numricos -lgebra booleana

Inteligencia artificial Teora de la Computacin Fundamentos base de datos de Modelo relacional

Estructura de datos Anlisis de algoritmos. -Concepto de complejidad de algoritmos. -Complejidad. Estructuras no lineales, estticas y dinmicas

b). Aportacin de la asignatura al perfil del egresado Conoce las bases tericas para analizar desarrollar y programar modelos matemticos, estadsticos y de simulacin utilizados en el desarrollo de sistemas de computacin. 4.- OBJETIVO(S) GENERAL(ES) DEL CURSO El estudiante conocer y comprender los conceptos bsicos de lgica matemtica, relaciones, rboles y grafos para aplicarlos a modelos que resuelvan problemas de computacin.

5.- TEMARIO Unidad Temas 1 Lgica matemtica Subtemas 1.1 Introduccin al calculo de proposiciones. 1.2 Concepto de argumento y tipos de proposiciones lgicas. 1.3 Conexiones lgicas y jerarquas. 1.3.1 Conjuncin. 1.3.2 Disyuncin 1.3.3 Condicional. 1.3.4 Bicondicional. 1.4 Clculo de predicados. 1.4.1 Definicin. 1.4.2 Variables y particularizaciones. 1.4.3 Cuantificadores y restricciones. 1.5 lgebra declarativa. 1.6 Induccin matemtica. 1.7 Reglas de inferencia. 1.8 Evaluacin de expresiones. 1.9 Tautologas y contradicciones. 1.9.1 Equivalencias lgicas y utilizaciones. 1.9.2 Deduccin preposicional. 1.9.3 Demostracin condicional y directa. 1.10 Implicacin Tautolgica. 2.1 Introduccin. 2.2 Propiedades de las relaciones. 2.2.1 Sobre un conjunto. 2.2.2 Reflexivas. 2.2.3 Simtricas y transitivas. 2.3 Cerradura. 2.4 Relaciones de equivalencia. 2.5 Ordenes parciales. 2.6 Diagramas de Hasse.

Relaciones.

5.- TEMARIO (Continuacin) 3 Teora de grafos. 3.1 Introduccin. 3.1.1 Conceptos bsicos de grafos. 3.1.2 Clasificacin de grafos. 3.2 Representacin de estructura mediante grafos. 3.2.1 Secuencias. 3.2.2 Seleccin (if-then-else). 3.2.3 Mientras (while). 3.2.4 Repetir hasta que (repeat-until). 3.2.5 Seleccin mltiple (case). 3.3 Clculo de caminos a partir de una representacin matricial. 3.4 Espacio de estados. 3.5 Representacin mediante espacio de estados. 3.6 Estrategia y algoritmos de bsqueda. 3.6.1 Guiada por datos (forward). 3.6.2 Guiada por objetivos (backtrack). 3.6.3 En profundidad. 3.6.4 En anchura. 3.7 rboles. 3.7.1 propiedades. 3.7.2 rboles generadores. 3.7.3 rboles generadores minimales 3.7.4 Recorridos. 3.7.5 Ordenamientos. 3.8 Redes. 3.8.1 Modelos. 3.8.2 Teorema de flujo mxima 3.8.3 Teorema del corte minimal 3.8.4 Pareos. 3.9 Redes de Petri.

5.- TEMARIO (Continuacin) 4 Sistemas numricos 4.1 Representacin de la informacin. 4.1.1 Introduccin. 4.1.2 tipos de sistemas numricos. 4.2 Conversiones. 4.2.1 Decimal a binario, Octal, Hexadecimal 4.2.2 Binario a Decimal, Octal, Hexadecimal. 4.3 lgebra booleana. 4.3.1 Circuitos combinatorios. 4.3.2 Propiedades. 4.3.3 Funciones lgicas. 4.3.4 Aplicaciones.

6.- APRENDIZAJES REQUERIDOS Conocimiento de lgebra general.

7.- SUGERENCIAS DIDCTICAS Propiciar la bsqueda y seleccin de informacin sobre lgica matemtica, relaciones, grafos y sistemas numricos. Propiciar el uso de terminologa adecuada al programa. Seleccionar temas de la represtacin de grafos para discusin en clase. Realizar ejercicios relacionados con rboles generadores en aplicaciones relacionadas al computo Realizar ejercicios relacionados al lgebra booleana. Relacionar los sistemas numricos con aplicaciones en los circuitos lgicos. Utilizar herramientas de simulacin de circuitos.

8.- SUGERENCIAS DE EVALUACIN Dar seguimiento al desempeo en el desarrollo del programa (dominio de los conceptos, capacidad de la aplicacin de los conocimientos en problemas reales, transferencia del conocimiento). Participacin en actividades individuales y de equipo. Cumplimiento de los objetivos y desempeo en los ejercicios. Observar el dominio en el uso de tcnicas de modelado de grafos. Observar el uso de software para ejercicios de matemticas.

9.- UNIDADES DE APRENDIZAJE UNIDAD 1.- Lgica matemtica. Objetivo Educacional El estudiante conocer los conceptos bsicos de la lgica matemtica, el anlisis de proposiciones y su aplicacin en el mbito computacional. UNIDAD 2.- Relaciones. Objetivo Educacional Conocer y aplicara el conocimiento de los elementos de conjunto y la relacin comn entre ellos. Actividades de Aprendizaje Buscar y seleccionar informacin sobre relaciones. Realizar una practica para que comprenda el uso de la relaciones. Analizar, por equipo, las diferentes relaciones. Fuentes de Informacin 1, 2,3,4 Fuentes de Informacin 1, 2, 3, 4 Buscar y seleccionar informacin sobre lgica matemtica. Realizar una practica para que comprenda el uso de tablas de verdad en las proposiciones. Analizar, por equipo, las diferentes conexiones lgicas.. Actividades de Aprendizaje

UNIDAD 3.- Teora de grafos. Objetivo Educacional Aplicar el modelado en la representacin de estructuras de grafos. Actividades de Aprendizaje Buscar y seleccionar informacin sobre el concepto de grafos y sus representaciones. Realizar practicas para que comprenda el uso de los grafos. Analizar, por equipo, las diferentes modelos de redes. Fuentes de Informacin 1,2,3,4

UNIDAD 4.- Sistemas numricos. Objetivo Educacional Conocer los conceptos y aplicaciones bsicas de los sistemas numricos y el lgebra booleana. Actividades de Aprendizaje Buscar y seleccionar informacin sobre los conceptos de sistemas numricos, tipos de sistemas y lgebra booleana. Realizar prcticas para que comprenda el uso de sistemas numricos y su conversin. Realizar prcticas para que comprenda el uso del lgebra booleana en las funciones lgicas. Analizar, por equipo, los circuitos combinatorios. Fuentes de Informacin 1,2,3,4

10. FUENTES DE INFORMACIN 1. Winfried Karl GRASSMANN, Jean Paul Tremblay. Matemticas Discretas y Lgica Una perspectiva desde la ciencia de la computacin. Madrid: Prentice Hall. 1988. C. L. Liu. Elementos de Matemticas Discretas. 2da. Edicin Mc. GrawHill 1995. Johnsonbaugh Richard. Matemticas Discretas. Grupo Editorial Iberoamericano 1988. C. Weimer Richard. Estadstica. Cuarta edicin. CECSA. 2002

2. 3. 4.

11. PRCTICAS Para todas las unidades, se recomienda que los estudiantes participen en la resolucin de ejercicios que se realicen en el aula de clase. Unidad Prctica 1 Lgica Matemtica. Desarrollo de Tablas compuestas. de verdad con proposiciones

Lgica Matemtica. Utilizacin de diagramas de Venn para la determinacin de razonamiento. Relaciones. Ejemplifique un modelo relacional utilizado en las bases de datos. Relaciones binarias. A partir de un conjunto de datos demostrar relaciones derivadas. Grafos. Demostracin de grafos que contenga o involucren los circuitos de Hamilton. Grafos. Representacin de grafos utilizando diferentes tipos de matriz (adyacencia, incidencia) Grafos. Desarrollar el algoritmo del camino mas corto. rboles. Desarrollar un algoritmo que pueda simular un cdigo utilizando los principios del cdigo de Huffman. lgebra booleana. Por medio de un algoritmo representar las tablas de verdad del lgebra booleana. lgebra booleana. Resolucin matemtica de problemas prcticos de circuitos utilizando las propiedades de las leyes Asociativa, Conmutativa, distributiva, de identidad y complementacin.

4 5

7 8

10