Introduzca parte del título Filtro Limpiar

Cantidad 5 10 15 20 25 30 50 100 Todas

• Asistentes de prueba y verificación formal

• La lógica al servicio de las matemáticas

• Lógica Matemática

• Un sombrero para Turing

• Un viaje al centro de los fundamentos

Sigue la transmisión por Facebook Live en: @Hablando De Matematicas

---

Viernes, Marzo 14, 2025

• Universidad Nacional Autónoma de México
• Instituto de Matemáticas
• Departamento de Cómputo