MATE 3120 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.
Página del catálogo en este curso