Programa De Estudios Teoria De La Computacion

PROGRAMAS DE ESTUDIOS NOMBRE DE LA ASIGNATURA O UNIDAD DE APRENDIZAJE ( 1)

TEORÍA DE LA COMPUTACIÓN CICLO (2)

CLAVE DE LA ASIGNATURA (3)

CUARTO CUATRIMESTRE

ISC6TEC405

OBJETIVO (S) GENERAL (ES) DE LA ASIGNATURA (4) EL ALUMNO COMPRENDERÁ LA BASE TEÓRICA PARA LA CONSTRUCCIÓN DE SISTEMAS FORMALES Y UTILIZARÁ TÉCNICAS DE PROGRAMACIÓN PARA MODELARLOS

TEMAS Y SUBTEMAS (5) UNIDAD I INTRODUCCIÓN 1.1 1.2 1.3

AUTÓMATAS, COMPUTABILIDAD Y COMPLEJIDAD. NOCIONES MATEMÁTICAS. INDUCCIÓN MATEMÁTICA.

UNIDAD II 2.1 2.2 2.3

AUTÓMATAS FINITOS EXPRESIONES REGULARES. LENGUAJES NO REGULARES.

UNIDAD III 3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.9

LENGUAJES REGULARES

LEGUAJES LIBRES DE CONTEXTO

GRAMÁTICAS LIBRES DE CONTEXTO. Á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.

UNIDAD IV MÁQUINA DE TURING 4.1 4.2 4.3 4.4 4.5

DEFINICIÓN FORMAL DE UNA MÁQUINA DE TURING. CONSTRUCCIÓN MODULAR DE UNA MÁQUINA DE TURING. LENGUAJES ACEPTADOS POR LA MT. VARIANTES DE UNA MÁQUINA DE TURING. PROBLEMAS DE HILBERT.

UNIDAD V

DECIBILIDAD

5.1 LENGUAJES DECIDIBLES. 5.2 EL PROBLEMAS DE HALTING. 5.3 DECIDIBILIDAD DE TEORÍAS LÓGICAS.

UNIDAD VI REDUCIBILIDAD 6.1 6.2 6.3 6.4

RESOLVER PROBLEMAS DE UNDECIBILIDAD EN LA TEORÍA LENGUAJES. ANALIZAR CASOS EN DONDE SE REQUIERA LA APLICACIÓN DE LA REDUCIBILIDAD. ELABORAR UN ENSAYO A PARTIR DE LOS CASOS ANALIZADOS EN EL PUNTO DESARROLLAR A TRAVÉS DE UN LENGUAJE DE ALTO NIVEL, PROBLEMAS TIPO DE REDUCIBILIDAD

ACTIVIDADES DE APRENDIZAJE (6) BAJO LA CONDUCCIÓN DE UN DOCENTE:  EXPOSICIÓN DEL DOCENTE  DESARROLLARÁ PROBLEMAS DE TIPO DE REDUCIBILIDAD DE MANERA INDEPENDIENTE:  INVESTIGARÁ ACERCA DE LA TEORÍA DE LA COMPUTACIÓN, LAS BASES QUE LO SOPORTAN  REALIZARÁ EJERCICIOS DE CONJUNTOS FUNCIONALES Y RELACIONES  REALIZARÁ EJERCICIOS DONDE SE APLIQUE INDUCCIÓN MATEMÁTICA  UTILIZARÁ UN LENGUAJE DE PROGRAMACIÓN PARA REPRESENTAR EXPRESIONES REGULARES  INVESTIGARÁ LAS APLICACIONES DE LENGUAJE REGULARES  RESOLVERÁ EJERCICIOS DE LENGUAJE LIBRES DE CONTEXTOS  IDENTIFICARÁ LOS DIFERENTES TIPOS DE LENGUAJES  INVESTIGARÁ NUEVAS TÉCNICAS PARA LA REPRESENTACIÓN DE LENGUAJES LIBRES DE CONTEXTO  INVESTIGARÁ LA DEFINICIÓN DE LA MÁQUINA DE TURING  DESARROLLARÁ PROBLEMAS DE DECIBILIDAD APLICADO A LENGUAJES REGULARES  ANALIZARÁ LOS PROBLEMAS EN DONDE SE APLIQUE LA DECIBILIDAD  RESOLVERÁ PROBLEMAS DE UNDECIBILIDAD

CRITERIOS Y PROCEDIMIENTOS DE EVALUACIÓN Y ACREDITACIÓN (7) DE ACUERDO CON ESTAS SUGERENCIAS DE EVALUACIÓN, EL TITULAR DE LA ASIGNATURA DETERMINARÁ LA CALIFICACIÓN CONFORME AL SIGUIENTE PARÁMETRO SIEMPRE QUE EL ALUMNO HAYA CUMPLIDO CON EL 85% DE ASISTENCIA AL CURSO. 30% 10% 20% 20% 20%

2 EXÁMENES PARCIALES. EJERCICIOS PRÁCTICAS DE LABORATORIO TRABAJOS DE INVESTIGACIÓN ELABORACIÓN DE ENSAYO

 LA CALIFICACIÓN MÍNIMA APROBATORIA DE LA ASIGNATURA SERÁ DE 6.0