Matemáticas (plan 1983) 2023-2

Optativas de los Niveles V y VI, Lógica Matemática I

CLASSROOM :: https://classroom.google.com/c/NTkyODQ2NDA5NDU5?cjc=qvzkux3

El curso será presencial. No es necesario haber tomado alguna materia en específico para llevarla.

Temario

(A) La lógica en la matemática;

(B) Conjuntos B-F-Inductivos;

(C) El lenguaje de la lógica proposicional;

(C.1) Alfabetos;

(C.2) Fórmulas; y

(C.3) Lenguajes formales.

(D) La semántica de la lógica proposicional;

(D.1) Satisfacibilidad de fórmulas y verdades universales;

(D.2) Argumentos lógicamente correctos; y

(D.3) Consecuencia lógica.

(E) La sintaxis de la lógica proposicional;

(E.1) Un cálculo de proposiciones; y

(E.2) Metateorema de la deducción.

(F) Metateoremas sobre semántica y sintaxis de la lógica proposicional;

(G) Introducción a las álgebras de Boole;

(H) Introducción a la lógica de primer orden.

Evaluación

Se llevarán a cabo 3 o 4 tareas-examén. La calificación será el promedio de las calificaciones de estas.

Bibliografía

(A) Solis y Torres. Una introducción a la lógica matemática. UAM.

(B) Mendelson. An introduction to mathematical logic. CRC Press.