Encabezado Facultad de Ciencias
Presentación

Matemáticas (plan 1983) 2022-1

Optativas de los Niveles I, II, III y IV, Conjuntos y Lógica

Grupo 4246, 65 lugares. 34 alumnos.
Profesor Alejandra Osiris Romero Juárez lu mi vi 13 a 14
Ayudante Juan Carlos Montero García ma ju 13 a 14
Ayudante Gabriela Hernández Aguilar

 
El propósito de esta materia es desarrollar formalmente los conceptos más básicos de la Teoría de conjuntos y de la Lógica matemática. Es una excelente opción para ser de las primeras optativas si estás interesado en cualquiera de las dos ramas anteriormente mencionadas.
Generalidades
  • La primera sesión se llevará a cabo el 20 de septiembre a las 13 hrs. en Zoom (https://cuaieed-unam.zoom.us/j/81836343481). 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.
Temario
Lógica
  • Lenguajes formales y sistemas formales
  • Deducción y Teorías formales
  • Lógica proposicional
  • Introducción a la Lógica de primer orden
Conjuntos
  • Axiomas de ZF
  • Operaciones, relaciones y funciones
  • Equipotencia
  • Construcción de los naturales
Libros recomendados
  • Rojas, R. (2006). "Sistemas formales". Vínculos matemáticos. Facultad de Ciencias.
  • Solis, J. (1995). Lógica matemática. Universidad Autónoma Metropolitana.
  • Hernández, F. (2003). "Teoría de Conjuntos. Una introducción". Aportaciones matemáticas, Textos Nivel Medio, 13.
  • Levy, A. (2002). Basic set theory. Courier Corporation.
Evaluación
  • La evaluación constará de 4 ó 5 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.

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.