Acerca del problema de la decisión: De la Lógica a la Computabilidad Antonio Nakid CorderoSalon de seminarios Graciela Salicrup 14 : 30 hrs. 8 de marzo de 2017 Temas: Computación, Lógica Artículo anterior: Contando funciones que pasan por curvas: Un vistazo a la geometría algebraica Anterior Artículo siguiente: Álgebra lineal en teoría de gráficas y teoría de nudos Siguiente