MATE3120 Logica 1
La lógica se puede definir como el análisis de los métodos y formas de razonamiento. La lógica matemática analiza el razonamiento matemático y se centra en la noción de demostración y en la noción de verdad. En este curso estudiaremos los conceptos básicos de la lógica matemática con la intención de presentar los resultados más importantes concernientes a esos conceptos básicos. Para cumplir estos objetivos se debe definir un lenguaje formal en el que se expresen enunciados a los que se asigna significado al interpretar los elementos del lenguaje formal. Una vez hecho esto analizaremos el concepto de demostración, el concepto de verdad y la relación que hay entre estos conceptos.
Periodo en el que se ofrece el curso
202410
Idioma en el que se ofrece el curso
Español
Página del catálogo en este curso