MATE 3120 Logica 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
202010
Idioma en el que se ofrece el curso
Español
Página del catálogo en este curso