Profesor | Luis Jesús Turcio Cuevas | lu mi vi | 9 a 10 | O222 |
Ayudante | Jesús Angel Cabrera Labastida | ma ju | 9 a 10 | O222 |
Ayudante | Nicky García Fierros | ma ju | 9 a 10 |
En este curso veremos los conceptos básicos de conjuntos y álgebra que serán necesarios para la formación académica en la facultad. Seguiremos el temario oficial que puede ser consultado en https://web.fciencias.unam.mx/licenciatura/asignaturas/217/7.
En los primeros semestres en la facultad es normal que los alumnos tengan problemas acostumbrandose a argumentar formalmente las afirmaciones que hemos tomado como ciertas durante muchos años. En este curso trataremos de usar asistentes de pruebas para ver si eso ayuda a la transición. Esta parte computacional no es obligatoria y no cuenta para la calificación. Sin embargo, esperamos que les ayude no sólo en esta clase, sino en el resto de su carrera.
Se usará el aistente de pruebas Agda y las sesiones de Agda serán en línea en un horario diferente al de clases. El horario será fijado en los primeros días de clases.
La calificación será por medio de tareas y exámenes. Acordamos que los exámenes cuentan 80% de la calificación total y las tareas el 20%.
Trataremos que haya 4 exámenes y una tarea antes de cada examen, pero esto dependerá fuertemente del tiempo que haya en el semstre y que tan rápido se pueda avanzar.