You are on page 1of 6

1.

- DATOS DE LA ASIGNATURA Nombre de la asignatura: Programacin en Tiempo Real Carrera: Ingeniera Mecatrnica Clave de la asignatura: MTF-0535 Horas teora-horas prctica-crditos: 2-4-8 2.- HISTORIA DEL PROGRAMA Lugar y fecha de Participantes elaboracin o revisin Instituto Tecnolgico de Representante de las Reynosa, del 6 al 10 de academias de ingeniera Mecatrnica de los diembre del 2004. Institutos Tecnolgicos. Institutos tecnolgicos de Quertaro y Toluca e Instituto Tecnolgico Superior de Ecatepec, de enero a marzo del 2005 Academias de Ingeniera Mecatrnica y Sistemas Computacionales Observaciones (cambios y justificacin) Reunin nacional de evaluacin curricular de la carrera de Ingeniera Mecatrnica Anlisis y enriquecimiento de las propuestas de los programas diseados en la reunin nacional de evaluacin Definicin de los programas de estudio de la carrera de Ingeniera Mecatrnica

Instituto Tecnolgico de Comit de consolidacin del 16 al 20 de Mayo del de la carrera de Ingeniera Mecatrnica 2005 3.- UBICACIN DE LA ASIGNATURA

a). Relacin con otras asignaturas del plan de estudio Anteriores Asignaturas Temas - Proporciona las Lgica de bases para el programacin desarrollo del curso Posteriores Asignaturas Temas - Proporciona las Tpicos de bases para el Programacin desarrollo del curso

b). Aportacin de la asignatura al perfil del egresado Proporcionar las bases tericas para analizar, desarrollar y programar modelos matemticos, estadsticos y de simulacin utilizados en el desarrollo de programas computacionales.

4.- OBJETIVO(S) GENERAL(ES) DEL CURSO Comprender los conceptos bsicos de lgica matemtica, relaciones, rboles y grafos para aplicarlos a modelos que resuelvan problemas de Mecatrnica. 5.- TEMARIO Unidad 1 Grafos Temas 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 Subtemas Introduccin a grafos Caminos y Ciclos. Ciclos Hamiltonianos Algoritmos de la ruta ms corta. Representaciones grficas Isomorfismo. Grafos planares. Algoritmos para uso grafos Ejercicio de la locura instantnea.

rboles

2.1 Definicin de un rbol. 2.2 Terminologa y caracterizacin de los rboles. 2.3 rboles de expansin mnimos. 2.4 rboles Binarios. 2.5 Recorridos en un rbol 2.6 rboles de decisin y el tiempo mnimo para el ordenamiento. 2.7 Isomorfismo de rboles. 3.1 Grupos 3.1.1 Homeomorfismos 3.1.2 Isomorfismos. 3.1.3 Cclicos. 3.1.4 Cosets 3.1.5 Teorema de Lagrange 3.1.6 Mtrica de Hamming 3.1.7 Matrices Generadoras y de paridad. 3.2 Anillos. 3.2.1 Grupos de cdigos. 3.2.2 Cosets lderes. 3.2.3 Matrices de Hamming. 3.2.4 Campos finitos. 3.2.5 Anillos de polinomios. 3.2.6 Polinomios irreducibles 3.2.7 Cuadrados latinos 3.2.8 Criptografa.

Codificacin

5.- TEMARIO Unidad Temas 4 Lenguajes y Autmatas 4.1 4.2 4.3 4.4 4.5 4.6 5 Mquinas de Turing Subtemas Introduccin a Lenguajes y Autmatas. Circuitos secuenciales y mquinas de estado finito. Autmatas de estado finito. Lenguajes y gramticas. Autmatas de estado finito no determinista. Relacin entre lenguajes y autmatas.

5.1 Definiciones Bsicas. 5.2 Mquinas de Turing 5.3 Construccin de mquinas de Turing. 6.1 6.2 6.3 6.4 6.5 Modelo de redes. Algoritmo de flujo mximo Teorema de flujo mximo y corte mnimo. Acoplamiento Redes de Petri

Redes de Petri

6.- APRENDIZAJES REQUERIDOS Conocimiento de lgebra general. Lgica de programacin. Matemticas discretas.

7.- SUGERENCIAS DIDCTICAS Desarrollar en cada una de las unidades de aprendizaje algoritmos computacionales. Propiciar la bsqueda y seleccin de informacin sobre: Grafos Redes de Petri, mquinas de Turing. Seleccionar temas de la represtacin de grafos para discusin en clase. Realizar ejercicios relacionados con rboles generadores en aplicaciones computacionales 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.

9.- UNIDADES DE APRENDIZAJE Unidad 1: Grafos Objetivo Educacional El estudiante reafirmar las bases matemticas necesarias para la creacin de grafos. Unidad 2: rboles Objetivo Educacional Representar rboles. Actividades de Aprendizaje Disear un rbol binario Realizar el recorrido de un rbol utilizando un lenguaje de programacin. Fuentes de Informacin 1 2 3 5 Actividades de Aprendizaje Disear los diferentes grafos. Programar el recorrido de un grafo. Fuentes de Informacin 1 2 3 5

Unidad 3: Codificacin Objetivo Educacional Representara grupos Actividades de Aprendizaje Establecer la diferencia entre los grupos Investigar la aplicacin de anillos Investigar mtodos de criptografa Fuentes de Informacin 2 3 4

Unidad 4: Lenguajes y Autmatas Objetivo Educacional Representar lenguajes a travs de autmatas, expresiones regulares y su aplicacin. Actividades de Aprendizaje Utilizar un lenguaje de programacin de alto nivel para representar expresiones regulares. Realizar prcticas de laboratorio para la programacin de PLCs, como casos de aplicacin de autmatas. Investigar otras aplicaciones sobre la teora de lenguajes regulares. Fuentes de Informacin 6 7 8 9 10

Unidad 5: Mquinas de Turing Objetivo Educacional Comprender la representacin de lenguajes y funciones en una mquina de Turing. Actividades de Aprendizaje Realizar ejercicios que permitan la representacin de operaciones matemticas bsicas como suma, resta, multiplicacin, potencia, entre otros. Utilizar la teora para la representacin de lenguajes. Simular a travs de un lenguaje de alto nivel, la representacin de una mquina de Turing. Fuentes de Informacin 6 7 8 9 10

Unidad 6: Redes de Petri Objetivo Educacional Comprender la representacin y funcin de una red de Petri. Actividades de Aprendizaje Realizar ejercicios para el diseo de una red de Petri. Hacer uso de un simulador para generar una red de Petri. Fuentes de Informacin 6 7 8 9 10

10.- FUENTES DE INFORMACIN 1. Johnsonbaugh, Richard, Discrete Mathematics, Ed. Prentice Hall; ltima Edicin 2. Patrick Suples, Lgica Matemtica, Ed. CECSA 3. Liu, C.L., Elements Of Discrete Mathematics 4. Hasser Lassalle & Sullivan, Anlisis Matemtico, Ed. Trillas Vol. I 5. Johnson & Baugh, Matematicas Discretas, Ed. Interamericana 6. Hopcroft, John, Ullman, Jeffrey, Introduction to Automatas Theory, Languages and Computation, Ed. Addison-Wesley. 7. Kelley, Dean, Teora de Autmatas y Lenguajes Formales, Ed. Prentice Hall. 8. Rayward-Smith, V.S, A First Course in a Formal Language Theory, Ed. Mc Graw Hill 9. Brookshear, Teora de la Computacin, Lenguajes Formales, Autmatas y Complejidad, Ed. Addison Wesley. 10. Isasi, Martnez y Borrajo, Lenguajes, Gramticas y Autmatas, Ed: Addison Wesley 11. PRCTICAS PROPUESTAS Grafos. o Demostracin de grafos que contenga o involucren los circuitos de Hamilton. o Representacin de grafos utilizando diferentes tipos de matriz (adyacencia, incidencia) o Desarrollar el algoritmo del camino ms corto. rboles. o Desarrollar un algoritmo que pueda simular un cdigo utilizando los principios de Huffman. Codificacin o Demostracin del teorema de Lagrange. Lenguajes y Autmatas o Realizar prcticas en laboratorio para la programacin de PLCs, como casos de aplicacin de autmatas o en su defecto el uso de simuladores de software. Mquinas de Turing o Simular a travs de un lenguaje de alto nivel, la representacin de una mquina de Turing Redes de Petri o Realizar una prctica en laboratorio para el diseo de una red de Petri.

You might also like