UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR AREA DE CONOCIMIENTO DE CIENCIAS DEL MAR DEPARTAMENTO DE SISTEMAS COMPUTACIONALES

Transcripción

1 CLAVE LDC847 NOMBRE TEORÍA DE LA COMPUTACIÓN. ÁREA DE CONOCIMIENTO INTERACCIÓN HOMBRE MÁQUINA. SEMESTRE 8 TEÓRICAS 4 PRÁCTICAS 0 CRÉDITOS 8 CARÁCTER DE LA MATERIA OPTATIVA. Teórica SERIACIÓN LDC740 INTRODUCCIÓN Teoría de la Computación es una asignatura que forma parte del área de conocimiento de Interacción Hombre Máquina. Se imparte en el octavo semestre en carácter opcional y constituye sucesión de la materia de Temas Selectos de Algoritmos impartida en el séptimo semestre. Esta materia contribuye a la formación disciplinar del alumno tanto en el conocimiento de herramientas de interacción hombre máquina, así como en el desarrollo de un pensamiento crítico y reflexivo para la resolución de problemas. Se fundamenta en la computabilidad y en la teoría de la complejidad computacional, en lenguajes regulares e independientes del contexto, en aspectos de reducibilidad, en medidas de tiempo y espacio en la computación y teoremas de jerarquía. GENERAL Analizar los términos relacionados con los instrumentos que componen la teoría de la computación; así como su complejidad algorítmica. Conocer y utilizar teoremas aplicables a la teoría de la computación, para construir la solución correcta y eficiente de problemas NP existentes en la teoría de la computación, ofreciendo una respuesta efectiva y concreta a problemas reales.

2 UNIDAD I NOMBRE CONCEPTOS BÁSICOS EN LA TEORÍA DE LA COMPUTACIÓN. Analizar la terminología relacionada con elementos que componen la teoría de la computación; así como la metodología para la resolución de problemas Lenguajes y gramáticas. Máquinas de estado finito. Reconocimiento de lenguajes. Máquinas de Turing. UNIDAD II NOMBRE MODELOS DE COMPUTACIÓN. Analizar las funciones, teoremas y complejidad algorítmica de la teoría de la computación Funciones computables y teoremas fundamentales. Resolubilidad e irresolubilidad algorítmica. Complejidad algorítmica. UNIDAD III NOMBRE TEOREMAS DE LA TEORÍA DE LA COMPLEJIDAD. Analizar los diferentes teoremas aplicables a la teoría de la computación Aceleración, compresión de cinta y reducción de cintas. Teoremas de jerarquías. Teorema de espacio, aceleración y unión. Relaciones entra medidas de complejidad.

3 UNIDAD IV NOMBRE PROBLEMAS NO TRATABLES (NP). Analizar los diferentes tipos de problemas NP existentes en la teoría de la computación; así como su aplicabilidad en la solución de problemas reales Teorema de Cook. Problemas NP-Completos. El problema del agente viajero. Ciclos Hamiltonianos. Problemas NP en teoría de grafos. Otras clases de complejidades. Problemas NP-duros. Complejidad de dispositivos paralelos. PRÁCTICAS. NÚMERO DE PRÁCTICA DESCRIPCIÓN DE LA PRÁCTICA 1 Banco de problemas. Durante la unidad 1, dedicar espacios de tiempo para el tratamiento y solución de 2 Banco de problemas. Durante la unidad 2, dedicar espacios de tiempo para el tratamiento y solución de 3 Banco de problemas. Durante la unidad 3, dedicar espacios de tiempo para el tratamiento y solución de 4 Banco de problemas. Durante la unidad 4, dedicar espacios de tiempo para el tratamiento y solución de

4 CRITERIOS DE EVALUACIÓN CALIFICACIÓN PARCIAL CRITERIO DESCRIPCIÓN % 1 TRABAJOS TAREAS EJERCICIOS EXAMEN. 60 CALIFICACIÓN PARCIAL 100 CALIFICACIÓN FINAL CRITERIO DESCRIPCIÓN % 1 PROMEDIO DE CALIFICACIONES PARCIALES TRABAJO FINAL DE LA UNIDAD DE 40 APLICACIONES. CALIFICACIÓN FINAL 100 BIBLIOGRAFÍA No. TÍTULO AUTOR EDITORIAL AÑO 1 COMPUTABILITY, COMPLEXITY AND LANGUAGE FUNDAMENTALS OF THEORETICAL COMPUTER SCIENCE. DAVIS & WEYUKER. 2 INTRODUCTION TO COMPUTABILITY. HENNIE F INTRODUCCIÓN A LA TEORÍA DE AUTOMATAS, LENGUAJES Y COMPUTACIÓN. LENGUAJES, GRAMÁTICAS Y AUTOMATAS. AN INTRODUCTION TO FORMAL LANGUAGES AND AUTOMATA. TEORÍA DE AUTOMATAS Y LENGUAJES FORMALES. JOHN E., MOTWANI RAJEEV, ULLMAN JEFFREY D. PEDRO ISASI, PALOMA MARTINEZ, DANIEL BORRAJO. LINZ, P. KELLY DEAN. ACADEMIC PRESS. WESLEY. WESLEY. WESLEY D.C. HEATH AND COMPANY. PRENTICE HALL

5