Matemáticas (plan 1983) 2022-2

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

• La primera sesión se llevará a cabo el 14 de febrero a las 19hrs. en Zoom (https://cuaieed-unam.zoom.us/j/84032000861). Esta sesión tiene como propósito resolver las dudas referentes a la mecánica del curso.
• Se dará clase diariamente, tres veces a la semana por Alejandra y dos por Juan, a la hora registrada del curso mediante Zoom. Todas las clases serán grabadas y subidas a YouTube para poder ser consultadas cuando lo necesiten.
• Las principales vías de comunicación serán Google classroom y correo electrónico. Se les sugiere usar su cuenta de ciencias.
• Codigo de classroom: gtz4o4d

• Introducción, conceptos primitivos y preliminares de teoría de conjuntos
• Lenguajes formales y sistemas formales
• Cálculo proposicional
• Lógica de primer orden
• Tema extra a convenir (sin evaluación)

• Rojas, R. (2006). "Sistemas formales". Vínculos matemáticos. Facultad de Ciencias.
• Solis, J. (1995). Lógica matemática. Universidad Autónoma Metropolitana.
• Mendelson, E. (2009). Introduction to Mathematical Logic. Chapman and Hall/CRC.

Evaluación

• La evaluación constará de 4 exámenes o tarea exámenes. El promedio de las evaluaciones será la calificación final, aprobatoria en caso de ser mayor o igual a 6.
• Se contarán participaciones como puntos extra sobre las calificaciones de las tareas.
• Tendrán ejercicios a la mano para poder estudiar cada punto del temario. Estos ejercicios son de entrega (y revisión) opcional y no tienen ningún valor para la calificación final.
• La calificación final se redondeará al siguiente punto siempre y cuando sea aprobatoria y mayor estrictamente al punto cinco.
• No habrá reposiciones.