Que es la Teora de la Computacin?

Jos Luis Ramrez Alcntara

jlram@cenidet.edu.mx
Enfoque estndar:
Autmatas
Lenguajes
Gramticas
Mquinas de Turing
Decibilidad
Redicibilidad

TC
Contenido
Computabilidad
Enfoque clsico (A.
Church, A.Turing, S.C.
Kleene, E. Post, A.A.
Markov)
Contenido
Computabilidad
Nuevos enfoques
Tarea .
Antecedentes
Conceptos bsicos de matemticas: conjuntos,
funciones y relaciones.
Mtodos de demostracin.
Directa
Reduccin al absurdo
Induccin matemtica
Lgica de primer orden.
Consistencia
Decidibilidad
Completitud
Elementos bsicos de lenguajes formales.

Fundamentos de las
Ciencias de la Computacin
MATEMTICAS CIENCIAS
INGENIERIA
Final Report of the ACM Task Force on the Core of Computer Science, in
cooperation with the IEEE Computer Society.
Computer, Feb. 1989.
I. Teora de la Programacin
Estudiar los lenguajes para implementar
los cmputos.
Qu es la Teora de la Computacin?
Teora
de la
Computacin
II. Teora del Cmputo
- Entender la naturaleza del
cmputo, sus posibilidades y
limitaciones.
Presentacin del rea de Teora de la Computacin en la UNAM
Sergio Rajsbaum, Instituto de Matemticas, UNAM, Enero 29, 2004
I. Teora de la Programacin
Modelos de cmputo
Lenguajes de programacin
Semntica de lenguajes
Estilos de programacin- Lgica, funcional
Concurrencia
Especificacin y verificacin
Lgica y computacin
Representacin del conocimiento, bases de datos


II. TEORA DEL CMPUTO
El estudio de las propiedades generales del
cmputo, ya sea natural, artificial, o
imaginario
Modelos tericos clsicos:
- Funciones recursivas
- Mquinas de Turing
- -Calculus
- Mquinas de Post
- Autmatas
- Mquinas ABACUS
-


II. Teora del Cmputo
El estudio de las propiedades generales del cmputo,
ya sea natural, artificial, o imaginario
Modelos tericos no clsicos:
- Computacin cuntica
- Computacin bioinspirada
- Neuronal
- Gentica
-
- Computacin interactiva
- Hypercomputacin
-


Preguntas
Qu se computa (calcula)?
Cmo se lleva a cabo el cmputo?
Qu se puede calcular (computar)?
Qu no se puede calcular o computar?
(limitaciones)


El conocimiento
est en los textos
El conocimiento
est en los artculos
Licenciatura VS Maestra

Problemas estndar
Nuevos problemas
Para los problemas
hay soluciones
estndar
Se usan los
manuales
Para los problemas
no hay soluciones
estndar
Se investigan los
alcances de las
soluciones.
Nueva actitud de estudio
Desarrollo de habilidades.
Un nuevo reto cotidiano: enfrentar
problemas no resueltos.
Aprender a leer artculos donde
aparece el conocimiento formalizado.
Aprovechar la experiencias de los
profesores y de los compaeros.
Ser responsable del proceso de
aprendizaje y dirigirlo.
Nueva actitud de estudio
Argumentar y desarrollar ideas propias.
Evaluacin
Exposicin
Preguntas
Respuestas
mejoradas
70%
2 Exmenes
escritos
20%
Material de
autoestudio
10%
Sipser, Michael. Introduction to the Theory of
Computation. PWS Publishing Company.
Cohen, Daniel I.A. Introduction to Computer Theory.
Ed. Wie Wiley.
Davis, Martn D., Weyuker, Elaine. Computability,
Complexity and Languages Fundamentales of
Theoretical Computer Science. Academic Press.
Brookshear. Teora de la Computacin, Lenguajes
Formales, Autmatas y Complejidad. Addison Wesley.
Boolos, G. and Jeffrey, R. Computability and Logic
Bibliografa
Artculos originales de los autores principales.
Material de la Web
Notas de clase
Presentaciones
Videos

Bibliografa
Church, A. A Note on the Entscheidungsproblem. Am. J. of
Mathematics 58 (1936), 345363.
Kurt Godel, 1992. On Formally Undecidable Propositions Of
Principia Mathematica And Related Systems, tr. B. Meltzer, with a
comprehensive introduction by Richard Braithwaite. Dover reprint of
the 1962 Basic Books edition.
Post, E. Finite Combinatory Processes - Formulation 1. J. Symbolic
Logic 1 (1936), 103-105.
Turing, A. "On Computable Numbers, With an Application to the
Entscheidungsproblem." Proc. of the London Mathematical Society, series
2, 42 (1937), 230-265.
A. Church, Review of Turing 1936, J. Symbolic Logic 2(1) (1937),
42-43.
Bibliografa
Bibliografa
S. C. Kleene, The theory of recursive functions, approaching its centennial,
Bull. A.M.S. (n.s.) 5, (1981), 43-61.
Preguntas?


Que es la Teora de la Computacin?
Jos Luis Ramrez Alcntara
jlram@cenidet.edu.mx