Profesor | José Gabriel Ocampo Márquez | lu ma ju | 9 a 10 |
Ayudante | Rocío Juárez Cuatlapantzi | mi vi | 9 a 10 |
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.
PARTE I. TEORÍA INTUITIVA DE CONJUNTOS.
1. Conjuntos.
2. Relaciones.
3. Funciones y Cardinalidad.
4. Algoritmos y Decidibilidad.
PARTE II. NOCIONES DE LÓGICA.
5. Lógica Proposicional.
6. Lógica de Predicados.
PARTE III. TÓPICOS.
7. Sistemas Axiomáticos de la Teoría de Conjunto (ZF, NBG).
El Axioma de Elección y la Hipótesis del Continuo.
EVALUACIÓN.
Cada capítulo tendrá sus notas y exámenes correspondientes. Cada dos
capítulos habrá un examen, así estamos hablando de 4 o 5 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.
Nos conectaremos por medio de Classroom y Zoom:
CONJUNTOS Y LÓGICA-4245
dzqn4i7
Ciudad de México a 3 de septiembre de 2021.