1.

- DATOS DE LA ASIGNATURA Nombre de la asignatura: Matemticas para computacin Carrera: Ingeniera en Sistemas Computacionales Clave de la asignatura: SCB - 0422 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 de Toluca del academia de sistemas y 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 Teora estadstica conjuntos Circuitos elctricos y electrnicos

de

Sistemas numricos lgebra booleana

Inteligencia artificial Lgica matemtica teora de grafos Teora de la Computacin Anlisis proposiciones relaciones, conjuntos de

Fundamentos base de datos

de Modelo relacional

Estructura de datos Complejidad de los algoritmos rboles

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 Temas Unidad 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. Fuentes de Objetivo Actividades de Aprendizaje Informacin Educacional El estudiante 1.1 Buscar y seleccionar informacin sobre 1, 2, 3, 4 conocer los lgica matemtica. conceptos bsicos de 1.2 Realizar una practica para que la lgica matemtica, comprenda el uso de tablas de verdad el anlisis de en las proposiciones. proposiciones y su 1.3 Analizar, por equipo, las diferentes aplicacin en el conexiones lgicas.. mbito computacional.

UNIDAD 2.- Relaciones. Objetivo Actividades de Aprendizaje Educacional Conocer y aplicara 2.1 Buscar y seleccionar informacin sobre el conocimiento de relaciones. los elementos de 2.2 Realizar una practica para que conjunto y la relacin comprenda el uso de la relaciones. comn entre ellos. 2.3 Analizar, por equipo, las diferentes relaciones. Fuentes de Informacin 1, 2,3,4,5

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

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

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

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.

10