Profesor | José Gabriel Ocampo Márquez | lu mi vi | 8 a 9 | P202 |
Ayudante | Rocío Juárez Cuatlapantzi | ma ju | 8 a 9 | P202 |
OBJETIVO. Aclarar el lenguaje de conjuntos y lógica requeridos en los cursos de matemáticas (axiomas, reglas de inferencia, reducción al absurdo, etc.). Estos conocimientos les servirán para los futuros cursos de matemáticas (teoría de conjuntos, lógica matemática, álgebra, análisis, topología, lógica digital, bases de datos, etc.)
REQUISITOS. Haber cursado los primeros semestres de la carrera.
TEMARIO.
1. Conjuntos.
2. Relaciones.
3. Funciones y Cardinalidad.
4. Estructuras.
5. Algoritmos y Decidibilidad.
6. Lenguajes y Sistemas Formales.
7. Lógica Proposicional.
8. Lógica de Predicados.
9. Álgebras Booleanas.
10. Tópicos.
EVALUACIÓN.
Cada capítulo tendrá sus notas correspondientes. Cada dos capítulos habrá un examen, así estamos hablando de 5 parciales. El promedio de las calificaciones de éstos será la calificación final. No enviar nada por medios electrónicos.
Ciudad de México a 29 de diciembre de 2023.