Encabezado Facultad de Ciencias
Presentación

Matemáticas (plan 1983) 2019-2

Optativas de los Niveles V y VI, Lógica Matemática I

Grupo 4241, 65 lugares. 18 alumnos.
Profesor Erick García Ramírez lu mi vi 19 a 20 003 (Yelizcalli)
Ayudante César Ramírez Monsalve ma ju 19 a 20 003 (Yelizcalli)

 

NOTAS 28/02:

-El primer examen parcial tendrá lugar el jueves 7 de Marzo.

- El profesor dará clase los martes, miércoles y viernes. El ayudante dará clase los lunes y jueves.

La información detallada sobre el curso se encuentra en: https://sites.google.com/ciencias.unam.mx/erickgr/teaching. Las tareas estarán disponibles en ese mismo sitio.

Se tienen dos objetivos para este curso:

1. Cubrir el material usual de un curso de Lógica Matemática I (Lógica Proposicional).

2. Dar una introducción a la lógica de primer orden con un enfoque proveniente del álgebra universal (morfismos y ultraproductos de estructuras).

 


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.