Matemáticas (plan 1983) 2022-1
Optativas de los Niveles I, II, III y IV, Conjuntos y Lógica
Grupo 4248, 65 lugares. 9 alumnos.
En este curso tendremos clases virtuales, lunes miércoles y viernes con el profesor. El horario se encuentra en la parte de arriba de esta presentación. Usaremos telegram como forma de comunicación rápida. Trataremos de que el curso sea como en la presencialidad, pocas actividades serán asincrónicas. El primer día de clases discutiremos sobre la forma de evalucación, las propuestas son hacer exámenes sincrónicos (3 o 4) o realizar (3 o 4) tareas-examen. Utilizaremos classrom para subir tareas y calificaciones, así como el link que genera para las clases; sin embargo, también usaremos ZOOM o WEBEX para la transmisión de la clase. Las clases pueden ser grabadas siempre y cuándo todos los participantes estén de acuerdo. Todos los interesados escribir a kargb@ciencias.unam.mx para mandar la liga del clasroom.
¿Qué estudiarán?
Introducción
-
Discusión sobre los fundamentos de las matemáticas (discutiremos el 30 y 31 de agosto, además del 1 de septiembre en el horario de clase) El link para vernos esa semana es: https://cuaieed-unam.zoom.us/j/3302458425
Lógica
-
Estructuras matemáticas: ¿Cómo obtener un lenguaje para hablar de una estructura arbitraria?
-
Lenguajes de primer orden. Paradojas del lenguaje. Un poco más de estructuras.
-
Proposiciones: ¿Qué son?, conectores, valuaciones, noción de verdad, tautología, contradicción y contingencia. Negación
-
Algunos teormas importantes: Compacidad, correctud y completud (tal vez enunciar sin demostrar)
-
Otras lógicas para hacer matemáticas
Conjuntos
-
Axiomas: ¿Cómo se construyen los conjuntos que usamos en matemáticas?
-
Paradojas conjuntistas
-
Álgebra de conjuntos
-
Relaciones y particiones
-
Órdenes: parcial, total y bueno
-
Funciones: inyectiva, supreyactiva, biyectiva. Imagen e imagen inversa
-
Cardinalidad: comparación de tamaños con funciones
-
Algo acerca del teorema de Cantor
-
Axioma de elección
Bibliografía
Para discusión adicional
-
F.W. Lawvere, Matemáticas Conceptuales
-
F.W. Lawvere, Sets for Mathematics