DES: Programa(s) Educativo(s): Tipo de materia: Clave de la materia: Semestre:

Ingeniera Ing. Matemtica Obligatoria CI605 6 Ciencias de la Ingeniera 4 4

Teora: 4 Prctica

UNIVERSIDAD AUTNOMA DE CHIHUAHUA Clave: 08MSU0017H

rea en plan de estudios: Crditos Total de horas por semana:

FACULTAD INGENIERA Clave: 08USU4053W PROGRAMA DEL CURSO:

Taller: Laboratorio: Prcticas complementarias: Trabajo extra clase: Total de horas semestre: Fecha de actualizacin: Clave y Materia requisito:

TEORA DE LA COMPUTACIN

64 25/08/08 CI404

Propsitos del Curso: El alumno comprender el fundamento detrs de todo lo que puede y no puede ser planteado para su resolucin en una computadora.

Al final del curso el estudiante ser capaz de: Comprender el concepto bsico de computacin. Comprender el concepto bsico de lo que es computable y como es computable. Comprender el uso de las estructuras y de los elementos fundamentales de la teora de la computacin. Comprender los lmites de la computabilidad. CONTENIDOS (Unidades, Temas y Subtemas) I INTRODUCCIN 1.1 Lenguajes y alfabetos 1.1.1 Propiedades de os lenguajes 1.1.2 Operaciones sobre lenguajes 1.2 Representando lenguajes 1.2.1 Expresiones regulares RESULTADOS DE APRENDIZAJE (Por Unidad) Comprende cuales son los elementos bsicos de la representacin abstracta de los elementos de computacin

COMPETENCIAS Para todas las unidades: Ciencias bsicas en la Ingeniera Ciencias de Ingeniera Matemtica Uso de la informacin Solucin de problemas

II TEORA DE AUTMATAS 2.1 Autmatas y expresiones regulares. 2.2 Tipos de autmatas 2.2.1 Finitos deterministas 2.2.2 Finitos no deterministas 2.3 Lenguajes regulares y no regulares. 2.4 Conversin de tipos 2.5 Minimizacin de estados

Comprende la primer herramienta grfica de representacin de un elemento o un proceso computable: el autmata. Comprende tambin el proceso y el concepto de aceptacin como parte de la computabilidad.

III GRAMTICAS 3.1 El concepto de gramtica 3.2 La jerarqua de Chomski de las gramticas. 3.3 Las gramticas libres de contexto 3.4 rboles de derivacin o de sintaxis 3.5 Autmatas de pila 3.6 Lenguajes no libres de contexto

Comprende el concepto de lenguaje aumentado con el de gramtica. Comprende la importancia de automatizar el proceso de reconocimiento y de aceptacin.

IV LAS MQUINAS DE TURING 4.1 El concepto de la mquina de Turing. 4.2 Computando con una mquina de Turing. 4.3 Tipos de mquinas de Turing: 4.3.1 No determinsticas 4.3.2 De acceso aleatorio

Comprende cmo existen problemas que requieren un tipo de autmata an mas completo y abstracto que incorpora nuevos elementos, en especial, aquel de la memoria, para lograr la aceptacin de u proceso.

V INDECIBILIDAD E INCOMPLETZ 5.1 Problemas irresolubles 5.2 La prueba de Church-Turing 5.3 El problema del final de proceso (halting problem). 5.4 Problemas irresolubles para las mquinas de Turing. y para las gramticas 5.5 Problemas NP-Completos

Comprende los lmites de la computabilidad y la descripcin fundamental de los problemas que no pueden ser resueltos

METODOLOGA 1. Para cada Unidad, se presenta una introduccin por parte del maestro, utilizando un organizador previo temtico. 2. Se entrega el material grfico para su lectura Se disea un cuestionario para el manejo de los contenidos y debe entregarse una copia al maestro al inicio de la clase, este producto se utiliza para la discusin de tema por equipo y para el resto del grupo.

Mtodos Centrado en la tarea

Estrategias Trabajo de equipo en la elaboracin de tareas, planeacin, organizacin, cooperacin en la obtencin de un producto para presentar en clase.

Inductivo

Observacin Comparacin Aplicacin Comprobacin Demostracin Recapitulacin Definicin Resumen Esquemas Modelos matemticos Conclusin

Deductivo

Sinttico

Tcnicas Lectura Lectura comentada Expositiva Debate dirigido Dilogo simultneo Material de Apoyo didctico: Recursos Manual de Instruccin Materiales grficos: artculos, libros, diccionarios, etc. Can Rotafolio Pizarrn, pintarrones Proyector de acetatos Modelos tridimensionales

EVIDENCIAS DE DESEMPEO Se entrega por escrito: Elaboracin de resmenes. Cuestionarios. Contenidos de exposiciones. Trabajos por escrito con estructura IDC (Introduccin, desarrollo conclusin). Exmenes escritos.

CRITERIOS DE DESEMPEO Los resmenes debern abarcar la totalidad del contenido programado para dicha actividad. Los cuestionarios se reciben si estn completamente contestados, no debe faltar pregunta sin responder. Las exposiciones debern presentarse en un orden lgico. Introduccin resaltando el objetivo a alcanzar, desarrollo temtico, responder preguntas y aclarar dudas y finalmente concluir. Entregar actividad al grupo para evaluar el contenido expuesto. Los trabajos se reciben si cumplen con la estructura requerida, es muy importante reportar la s referencias bibliogrficas al final en estilo APA.

FUENTES DE INFORMACIN (Bibliografa/Lecturas por unidad)

EVALUACIN DE LOS APRENDIZAJES (Criterios e instrumentos) Se toma en cuenta para integrar calificaciones parciales: 3 exmenes parciales escritos donde se evala conocimientos, comprensin y aplicacin. Con un valor del 30%, 30% y 40% respectivamente

ELEMENTS OF THE THEORY OF COMPUTATION Harry R. Lewis & Cristos Papadimitriou Prentice Hall INTRODUCCIN A LA TEORA DE AUTMATAS Y COMPUTACIN John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman Addison Wesley

La acreditacin del curso se integra: Exmenes parciales: 80 % Cuestionarios, resmenes, participacin en exposiciones, discusin individual, por equipo y grupal 10 %. Asistencia: 10 % Nota: para acreditar el curso se deber tener calificacin aprobatoria tanto en la teora como en las prcticas. La calificacin mnima aprobatoria ser de 6.0

Cronograma del Avance Programtico S e m a n a s Unidades de aprendizaje 1 2 3 4 5 6 7 8 9 1 0 1 1 1 2 1 3 1 4 1 5 1 6

I. Introduccin. II. Teora de Autmatas. III. Gramticas. IV. Las Mquinas de Turing. V. Indecibilidad e Incompletez

X X X X X X X X X X X X X X X X X X