Toeria

Solo disponible en BuenasTareas
  • Páginas : 7 (1538 palabras )
  • Descarga(s) : 0
  • Publicado : 2 de septiembre de 2010
Leer documento completo
Vista previa del texto
1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Teoría de la computación Carrera: Ingeniería en Sistemas Computacionales Clave de la asignatura: SCM - 0433 Horas teoría-horas práctica-créditos 3-2-8

2.- HISTORIA DEL PROGRAMA

Lugar y fecha de elaboración o Participantes revisión Instituto Tecnológico Representantes de la de Toluca del academia de sistemas y 18 al 22 agosto 2003.computación de los Institutos Tecnológicos. Instituto Tecnológico de: Durango, Veracruz. 23 agosto al 7 de noviembre 2003.

Observaciones (cambios y justificación) Reunión nacional de evaluación curricular de la carrera de Ingeniería en Sistemas Computacionales.

Academia de sistemas y Análisis y enriquecimiento de computación. las propuestas de los programas diseñados en la reunión nacional deevaluación. Definición de los programas de estudio de la carrera de Ingeniería en Sistemas Computacionales.

Instituto Tecnológico Comité de consolidación de León de la carrera de 1 al 5 de marzo 2004. Ingeniería en Sistemas Computacionales.

3.- UBICACIÓN DE LA ASIGNATURA

a). Relación con otras asignaturas del plan de estudio Anteriores Asignaturas Temas Estructura de Estructuras datos.lineales estáticas y dinámicas. Matemáticas para computadoras. Programación Orientada a Objetos. Relaciones Teoría de grafos. Posteriores Asignaturas Temas Programación de Análisis Léxico. sistemas. Sistemas operativos. Administración de procesos y del procesador. Administración de la memoria.

Inteligencia artificial Representación I. del conocimiento y razonamiento.

b). Aportación de la asignaturaal perfil del egresado

Comprende la base teórica para la construcción de sistemas formales y utiliza técnicas de programación para modelarlos.

4.- OBJETIVO(S) GENERAL(ES) DEL CURSO El estudiante comprenderá la base teórica para la construcción de sistemas formales y utilizará técnicas de programación para modelarlos.

5.- TEMARIO Temas Unidad 1 Introducción. Subtemas Autómatas,computabilidad y complejidad. Nociones matemáticas. 1.2.1 Conjuntos 1.2.2 Funciones y Relaciones 1.2.3 Cadenas y Lenguajes Inducción matemática.

1.1 1.2

1.3 2 Lenguajes regulares.

2.1 Autómatas finitos 2.1.1 Autómatas finitos determinísticos. 2.1.2 Autómatas finitos No determínisticos 2.2 Expresiones regulares. 2.3 Lenguajes no regulares. 3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.9 Gramáticas libres decontexto. Árboles de derivación. Formas normales de Chomsky. Formas normales de Greibach. Eliminación de Factores Comunes izquierdos. Eliminación de recursividad izquierda. Eliminación de la ambigüedad. Autómatas Push-Down. Lenguajes no regulares.

3

Lenguajes libres de contexto.

4

Máquina de Turing.

4.1 Definición formal de una máquina de Turing. 4.2 Construcción modular de unamáquina de Turing. 4.3 Lenguajes aceptados por la MT. 4.4 Variantes de una máquina de Turing. 4.5 Problemas de Hilbert. 5.1 Lenguajes Decidibles. 5.2 El problemas de Halting. 5.3 Decidibilidad de Teorías Lógicas.

5

Decibilidad.

5.- TEMARIO (Continuación) 6 Reducibilidad. 6.1 Problemas insolubles para la teoría de lenguajes. 6.2 Un problema simple insoluble. 6.3 Funciones computables. 6.4Reducibilidad de Turing.

6.- APRENDIZAJES REQUERIDOS • • •

Conocer la teoría vista en matemáticas discretas, como base conjuntos, funciones y relaciones. Conocer y manejar las estructuras de datos, su representación y programación. Conocer y manejar lenguajes de programación de alto nivel.

7.- SUGERENCIAS DIDÁCTICAS • • • • • •

Investigación previa a la clase de los conceptos de laasignatura, por equipos analizarlos y discutirlos Propiciar el trabajo por equipos, exposición, discusión grupal, entre otros Plantear y analizar casos típicos Desarrollar prácticas en laboratorio para modelar casos tipo Realizar ejercicios como reforzamiento de temas Realizar dinámicas de grupo que permitan reforzar la teoría

8.- SUGERENCIAS DE EVALUACIÓN • • • • • • •

Evaluación teórica...
tracking img