Profesor | José Gabriel Ocampo Márquez | lu mi vi | 9 a 10 | O127 |
Ayudante | Rocío Juárez Cuatlapantzi | ma ju | 9 a 10 | O127 |
GENERALES.
Esta materia es importante en la formación profesional pues muchas de las
áreas matemáticas es más fácil trabajarlas y clasificarlas a partir de un sistema de axiomas, por ejemplo.
Es importante los conocimientos de esta materia para la teoría de conjuntos, computabilidad, álgebra universal, diseño lógico, etc.
La materia de Conjuntos y Lógica ayuda, pero no garantiza, a entender esta materia; si se tiene conocimientos de álgebra moderna, análisis, topología, álgebra moderna, etc., es bueno, por la madurez matemática adquirida. En este curso trabajaremos principalmente la Lógica Proposicional.
TEMARIO.
EVALUACIÓN.
Cada capítulo tendrá sus notas. Cada dos capítulos habrá un examen (hablamos de 6 exámenes). El promedio de las calificaciones será la calificación final.
COMUNICACIÓN.
Las notas, tareas y exámenes se enviarán a Classroom: ewkpshc.
BIBLIOGRAFÍA BÁSICA.
[1] ENDERTON, H. INTRODUCCIÓN MATEMÁTICA A LA LÓGICA.
[2] HUNTER, G. METALÓGICA.
[3] MENDELSON, E. INTRODUCTION TO MATHEMATICAL LOGIC.
Ciudad de México, a 4 de julio de 2022.