Encabezado Facultad de Ciencias
Presentación

Matemáticas (plan 1983) 2018-1

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

Grupo 4361 21 alumnos.
Profesor Fernando Javier Nuñez Rosales lu mi vi 12 a 13 P203
Ayudante Antonio Nakid Cordero ma ju 12 a 13 P203
 

Algunos tópicos que se examinaran en el salón son:

- Lenguajes de primer orden

- Semántica (Verdad de Taski)

- Calculo de predicados

- Introducción a la teoría de modelos

-Completud-correctud

-Compacidad

La forma de evaluar se acuerda con el ayudante.

 


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.