Profesor | José Gabriel Ocampo Márquez | lu ma ju | 8 a 9 | O128 |
Ayudante | Rocío Juárez Cuatlapantzi | mi vi | 8 a 9 | O128 |
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, 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. Sistemas Formales.
7. Lógica y Fundamentos.
8. Álgebras Booleanas.
EVALUACIÓN.
Cada capítulo tendrá sus notas correspondientes.
Cada dos capítulos habrá un examen, así estamos hablando de 4 parciales.
El promedio de las calificaciones de éstos será la calificación final.
BIBLIOGRAFÍA BÁSICA.
Copi, I.M. LÓGICA SIMBÓLICA.
Halmos, P. TEORÍA INTUITIVA DE CONJUNTOS.
Hunter, G. METALÓGICA.
En las notas habrá más bibliografía.
COMUNICACIÓN.
Las notas, tareas y exámenes se presentarán en Classroom: 3geyy5n.
Ciudad de México a 4 de julio de 2022.