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.

Créditos

3

Periodo en el que se ofrece el curso

202410

Idioma en el que se ofrece el curso

Español