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.
Periodo en el que se ofrece el curso
201910
Idioma en el que se ofrece el curso
Español
Página del catálogo en este curso