Semestre 2020-1.
Profesora Pilar Selene Linares Arévalo.
Ciencias de la Computación. Facultad de Ciencias. Universidad Nacional Autónoma de México.
Durante el curso se tocaron distintos temas relacionados a las matemáticas discretas y ciertas estructuras relevantes para el cómputo. Entre ellos:
- Lógica proposicional.
- Lógica de predicados.
- Recursividad e inducción.
- Circuitos.
- Relaciones y gráficas.
En los laboratorios implementamos distintos algoritmos referentes a los temas teóricos vistos en clase. El lenguaje de programación utilizado fue Haskell por ser de paradigma funcional, y por su utilidad en el campo académico.