TC2003
Teoría de la computación Theory of Computation
CIP: 110101  Ciencias Computacionales/de Información   CL-L-U-CA-UDC:  3-0-8-3-3.5       

Disciplina asociada:  

Tecnologías Computacionales

Escuela:  

Por definir

Departamento Académico:   

Por definir

Programas académicos:   

Requisitos:  

(Haber Aprobado TC1003)

Equivalencia:  

CB00003

Intención del curso en el contexto general del plan de estudios:  

Es un curso de nivel intermedio orientado a desarrollar la capacidad de abstraer y concretar, así como la de identificar la correspondencia de la realidad con modelos abstractos para resolver problemas, proponiendo y eligiendo estrategias adecuadas y eventualmente innovadoras a partir del razonamiento en forma lógica. Como resultado de aprendizaje en el curso se desarrollará lo siguiente: 1. Analizador Léxico. 2. Analizador Sintáctico. 3. Aplicación de Máquina de Turing.

Objetivo general de la Unidad de Formación:  

Introducir al alumno en los conceptos fundamentales de la teoría de autómatas y lenguajes formales. Introducir los fundamentos de computabilidad.

Técnica didáctica sugerida:  

Aprendizaje colaborativo

Bibliografía sugerida:  

LIBROS DE TEXTO:
* Louden, Kenneth C., Construcción de compiladores : principios y práctica / Kenneth C. Louden., Mexico : México D. F. : Thomson, c2004., 2003., spa,  9706862994, 9789706862990
* Sudkamp, Thomas A., Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp., 2nd ed., Reprinted with corrections., Massachusetts : Reading, Mass. : Addison-Wesley Pub., c1998, c1997., eng,  0201821362
* Hopcroft, John E., 1939-, Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman., 2th ed., Massachusetts : Boston : Addison-Wesley, c2001, eng,  0201441241

Perfil del Profesor:  

(110101)Maestría en Ciencias Computacionales/de Información ; (110701)Maestría en Ciencias Computacionales ; (110102)Maestría en Inteligencia Artificial /Robótica ; (270303)Maestría en Matemáticas Computacionales ; (110103)Maestría en Tecnología de la Información/Informática/Sistemas Computacionales ; (110101)Doctorado en Ciencias Computacionales/de Información ; (110701)Doctorado en Ciencias Computacionales ; (110102)Doctorado en Inteligencia Artificial /Robótica ; (270303)Doctorado en Matemáticas Computacionales ; (110103)Doctorado en Tecnología de la Información/Informática/Sistemas Computacionales
CIP: 110101, 110701, 110102, 270303, 110103

Experiencia recomendada:  

Profesor con al menos grado de maestría en computación, sistemas de información, matemáticas o áreas afines.

Idioma en que se imparte la materia:  


Español
CIP: 110101  Computer and Information Sciences, General.   CL-L-U-CA-UDC:  3-0-8-3-3.5       

Discipline:  

Computer Technologies

School:   

Undefined

Academic Department:   

Undefined

Programs:   

Prerequisites:  

( TC1003)

Equivalences:  

CB00003

Course intention within the general study plan context:  

This intermediate level course focuses on developing students’ capacity to abstract and specify, as well as to identify the correspondence of reality with abstract models for solving problems, proposing and selecting appropriate and ultimately innovative strategies based on logical reasoning. Topics studied: 1. Lexical Analyzer. 2. Syntactic Analyzer. 3. Use of Turing Machine.

Course objective:  

Introduce students to the basic concepts of the automata theory and forma languages. Present the basics of computability.

Teaching and learning tecniques:  

Collaborative learning

Suggested Bibliography:  

TEXT BOOKS:
* Louden, Kenneth C., Construcción de compiladores : principios y práctica / Kenneth C. Louden., Mexico : México D. F. : Thomson, c2004., 2003., spa,  9706862994, 9789706862990
* Sudkamp, Thomas A., Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp., 2nd ed., Reprinted with corrections., Massachusetts : Reading, Mass. : Addison-Wesley Pub., c1998, c1997., eng,  0201821362
* Hopcroft, John E., 1939-, Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman., 2th ed., Massachusetts : Boston : Addison-Wesley, c2001, eng,  0201441241

Academic credentials required to teach the course:  

(110101)Master Degree in Computer/Information Sciences and (110701)Master Degree in Computational Sciences and (110102)Master Degree in Artificial Intelligence/Robotics and (270303)Master Degree in Computational Mathematics and (110103)Master Degree in Information Technology. and (110101)Doctoral Degree in Computer/Information Sciences and (110701)Doctoral Degree in Computational Sciences and (110102)Doctoral Degree in Artificial Intelligence/Robotics and (270303)Doctoral Degree in Computational Mathematics and (110103)Doctoral Degree in Information Technology.
CIP: 110101, 110701, 110102, 270303, 110103

Language of Instruction:  


Spanish