Matemáticas (plan 1983) 2024-2

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

Hoy martes 30 de enero no hay clase. Nos vemos el miércoles!

Sobre el curso

El curso sentará los precedentes básicos de la lógica matemática.

Usaremos este classroom para subir las tareas, comunicarnos, compartir marterial, etc. https://classroom.google.com/c/NjYxNTM3NDYzMDYw?cjc=nvz2paw

Temario

(A) Lenguajes y sistemas formales;

(B) El lenguaje proposicional;

(C) Álgebras de Boole;

(D) Satisfacibilidad y verdad;

(E) Consecuencia lógica;

(F) Tautologías;

(G) El cálculo de proposiciones;

(H) Completud - Correctud; y

(I) Introducción a primer orden.

Sobre las clases

Aisitir a clase no es obligatorio, sin embargo, todas las desiciones que se tomen en el salón deberan ser asumidas por quien no asisite.

No hay dias fijos para la ayudantia o la clase del profesor. Los días podrían cambiar cada semana.

Ayudantias

El ayudante en su clase tiene la misión de reforzar lo visto en clase con el profesor; resolver dudas; revisar algunos tópicos de la teoría; entre otros.

Evaluación

Se aplicarán cuatro tareas examén.

Al final del semestre podrán reponerse las 4 tareas examen con un respectivo examen presencial.

Habrán dos vueltas de final.

Bibliografía

(A) Solis y Torres

(B) Mendelson

(C) Enderton