Encabezado Facultad de Ciencias
Presentación

Matemáticas (plan 1983) 2015-1

Optativas de los Niveles VII y VIII, Introducción a las Funciones Recursivas y Computabilidad

Grupo 4249 11 alumnos.
Profesor Mariana Martínez González lu mi vi 14 a 15 P103
Ayudante Alan Mauricio Pasos Trejo ma ju 14 a 15 P103

 

Introducción a las Funciones Recursivas y Computabilidad

Grupo 4249

En este curso estudiaremos cuestiones concernientes a la Teoría de Modelos. La intención es, a grandes rasgos, estudiar la semántica de la lógica de primer orden con las herramientas de cursos anteriores (lógica I, II y III), aunque no es indispensable haber cursado lógica matemática III. De manera que iniciaremos con un breve repaso para poder abordar cuestiones como las siguientes: homomorfismos entre estructuras, equivalencia elemental, extensiones elementales, cadenas de estructuras, Skolemnización, estructuras generadas, límite de Fraïssé, definibilidad en estructuras, teorías completas, eliminación de cuantificadores, modelo-completud y ultraproductos.

El lunes 4 de agosto nos reuniremos para hacer algunas aclaraciones respecto a los temas, horario, forma de trabajo y evaluación del curso.

 


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.