Encabezado Facultad de Ciencias
Presentación

Matemáticas (plan 1983) 2015-1

Optativas de los Niveles VII y VIII, Lógica Matemática III

Grupo 4257 7 alumnos.
Profesor Osvaldo Alfonso Téllez Nieto lu mi vi 13 a 14 P105
Ayudante Cecilia Chávez Aguilera ma ju 13 a 14 P105

 

El programa del curso se puede ver en: http://www.fciencias.unam.mx/asignaturas/447.pdf

La intención de la primera parte del curso es dar una exposición detallada de los teoremas de incompletud de Gödel, por lo que es necesario que el alumno haya cursado la materia Lógica Matemática 2.

El texto que llevaremos para esta parte será el capítulo 3 de: Mendelson E. Introduction to mathematical logic.

En la segunda parte veremos algunos temas selectos de Lógica, como Lógicas infinitarias, Ultraproductos o computabilidad.

La evaluación consistirá de tres evaluaciones parciales, las dos primeras mediante un examen y tarea o sólo examen y la tercera evaluación mediante exposiciones de temas que se dejen para dicho fin.

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.