Encabezado Facultad de Ciencias
Asignaturas de Ciencias de la Computación (plan 1994)

Análisis Lógico

Cuarto Semestre - Obligatorio

Clave 0415, 10 créditos. Tipo Normal.

Descargar temario en formato PDF

Resumen

Este curso introduce al estudiante en el análisis del lenguaje matemático a través de los lenguajes de primer orden. De éstos, se enfatizan por igual tres aspectos: su estructura formal, su semántica (a través de las estructuras matemáticas) y la teoría de la inferencia lógica.

 


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.