MATE3120 lógica 1

Este curso es una introducción con énfasis matemático a la lógica. El contenido mínimo del curso incluye el estudio del cálculo de proposiciones y de predicados: simbolización, sintaxis, semántica, deducción formal, teoremas de validez y completitud para estos cálculos. Se da una introducción a calculabilidad: funciones recursivas, funciones Turing-calculables, equivalencia entre ellas. Se estudian algunas relaciones entre calculabilidad y propiedades formales de los cálculos lógicos estudiados.

Créditos

3

Periodo en el que se ofrece el curso

201910

Idioma en el que se ofrece el curso

Español