Título: Constructivismo y Computación Conferenciante: Mario Román Resumen: Las Matemáticas sin tercio excluso se relacionan con la Computación. Usamos ejemplos en lenguajes funcionales para ilustrarlo. Fecha: 21 de septiembre de 2018, 17:00-18:00 Lugar: Seminario 2, IEMath-GR