Vous êtes sur la page 1sur 3

MA-715 Introduccin a la Lgica Matemtica: o o a Teor de la Recursin a o

Prof. Eduardo Piza Volio Escuela de Matemtica a Universidad de Costa Rica San Jos, II semestre del 2009 e

1.

Objetivo

Este es un curso clsico e introductorio sobre la Teor de las Funciones Parcialmente Recursivas y algunas a a de sus aplicaciones a diversas disciplinas de las matemticas, orientado a los estudiantes de la carrera de a Enseanza de las Matemticas. n a El objetivo central del seminario es introducir al estudiante en el estudio de esta importante teor y a ponerlo al corriente de algunas de las principales aplicaciones a campos tan diversos tales como la lgica, la o teor de nmeros, las ciencias de la computacin y el lgebra. a u o a Paralelamente se estudiarn algunos aspectos de la Lgica Matemtica, tales como la teor de los a o a a silogismos, las paradojas, el clculo proposicional y las lgicas de primer orden. a o

2.

Descripcin o

El curso consistir en 16 semanas de clase de cinco horas cada una, para un total de 80 horas lectivas, de a las cuales aproximadamente la mitad ser de carcter terico y la otra mitad de carcter prctico: sesiones a a o a a de ejercicios y revista a algunas de las principales aplicaciones de la teor a temas diversos. a

3.

P blico y requisitos u

El curso est dirigido fundamentalmente a los estudiantes de la carrera de Enseanza de la Matemtica. a n a Sin embargo, por su naturaleza, enfoque y nivel, el curso es tambin apto para eventuales estudiantes e avanzados de las otras carreras de la Escuela de Matemtica y las carreras de Ciencias de la Computacin a o y Filosof a. El requisito formal de este curso es MA-540 Principios de Anlisis I, u otro curso equivalente. Se recoa mienda tener algn grado de experiencia en el estudio de las matemticas abstractas, aunque no es del todo u a indispensable para comprender las ideas centrales del curso.

4.

Contenidos y enfoque

Se empezar con el enfoque de Blum de las familias estndares de algoritmos, que tiene la ventaja que a a permite entrar al corazn de la teor muy rpidamente. o a a Paralelamente a la teor de la recursin, se estudiarn algunos aspectos de la Lgica Matemtica, tales a o a o a como la teor de los silogismos, las paradojas, el clculo proposicional y las lgicas de primer orden. a a o Luego se analizarn los modelos clsicos de computabilidad: Turing-computabilidad y la teor de funa a a ciones parcialmente recursivas de Skolem. A este ultimo enfoque se le dar mayor atencin. a o 1

Posteriormente se estudiar la teor de conjuntos recursivamente enumerables y recursivos, as como los a a grados de irresolubilidad y los problemas de decisin asociados. o Se nalizar con una descripcin de algunas las aplicaciones clsicas de la teor profundizando en a o a a, algunas de ellas, a elegir de acuerdo al gusto del estudiantado. 1. Propiedades de la computacin recursiva: familias estndares de algoritmos; las cinco propiedades o a bsicas; funciones universales; funciones de decisin; computacin de a o o ndices y funciones Snm ; capacidades inherentes y limitaciones; diagonalizacin; reduccin; el teorema de la recursin; computabilidad efectiva. o o o 2. Algunos aspectos de la lgica formal: la teor de los silogismos, las paradojas, el clculo proposicional o a a y las lgicas de primer orden. o 3. Los modelos clsicos: Turing-computabilidad; -recursividad; funciones primitivo recursivas; el esquea ma de minimizacin; el esquema de recursin primitiva; funciones de Ackermann; funciones parcialmente o o recursivas; predicados parcialmente recursivos y semi-computables; forma cannica de Kleene. o 4. Computabilidad y decidibilidad: tesis de Church-Turing; computabilidad relativa; conjuntos recursivos; conjuntos recursivamente enumerables; problemas de decisin; many-one reducibilidad; teorema de o Rice. 5. La jerarqu aritmtica de Kleene: conjuntos creativos y simples; operador salto de Turing-Kleene; la a e irresolubilidad de los conjuntos K, K0 , K1 , Inf, Fin, Tot, Con, Cof, Rec, Ext, Crea, Simp, Comp; la jerarqu a aritmtica de Kleene; introduccin al mtodo nite-innite injury priority de Shoeneld y Sacks; teorema e o e de la densidad de Sacks (1964); introduccin a las jerarqu anal o as ticas. 6. Algunas aplicaciones: revisin de algunos problemas irresolubles: problema de correspondencia de Post; o problema de palabras para semigrupos libres; aplicaciones a gramticas libres de contexto; teorema de la a incompletitud de Gdel; dcimo problema de Hilbert, etc. o e

5.

Evaluacin o

Tendremos 2 exmenes parciales con un valor de 25 % cada uno. Tendremos exposiciones con un valor a de 25 %. Tendremos tareas y trabajos con un valor del 25 % cada uno.

6.

Bibliograf a

Se utilizar materiales contenidos en dos libros principales: el libro de Hennie y el libro de Badesa y a colaboradores. El resto de los libros de la bibliograf se recomienda colateralmente, dependiendo del enfoque, el nivel a y el tipo de aplicaciones en que est interesado el estudiante. e 1. Badesa, Calixto & Jane, Ignacio & Jansana, Ramon: Elementos de lgica formal , Editorial o Ariel Filosof Barcelona 1998. Este libro lo emplearemos en el estudio de los temas de Lgica Maa, o temtica. a 2. Davis, Martin: Computability & Unsolvability, Dover Publications, New York, 1982. Un clsico sobre a el tema. 3. Hennie, Fred: Introduction to Computability, Addison-Wesley, Reading Mass., 1977. Este es el libro de texto que emplearemos en el curso, sobre el tema de Teor de la Recursin. a o 4. Piza, Eduardo: Aritmtica Recursiva y algunas de sus aplicaciones, Editorial CIMPA, San Jos, e e 2001. Aqu vienen expuestas algunas de las aplicaciones ms complicadas de la teor de la recursin. a a o

5. Soare, Robert: Recursive Enumerate Sets and Degrees: A Study of Computable Functions and Computable Generated Sets, Springer-Verlag, Berlin, 1980. Un libro muy profundo sobre el tema de la teor a de recursin. o 6. Smith, Karl J.: Introduccin a la Lgica Simblica, Grupo Editorial Iberoamericana, Mxico 1991. o o o e Un texto elemental sobre lgica simblica que revisaremos en el curso. o o 7. Smullyan, Raymond: Cmo se llama este libro? , Editorial Ctedra, coleccin Teorema, Madrid o a o 1991. Bell simo libro sobre el enigma de Drcula y muchos otros pasatiempos lgicos. a o