Hacía un lenguaje para el cómputo con números reales exactos
Dr. José Raymundo Marcial Romero.
|
Texto completo de la Conferencia
Resumen
En la plática motivaré por que el modelo propuesto por Turing para el cómputo con números reales no es el adecuado. Explicaré el paradigma para el cómputo con números reales llamado "Exact Real Number Computation". Mencionaré algunos lenguajes de programación que se han propuesto, en particular enfocaré la plática al lenguaje de programación conocido como LRT (Language for redundant test) el cual he estado desarrollando desde hace cinco años.
El Dr. Raymundo Marcial obtuvo el grado de Doctor en Ciencias computacionales en la Universidad de Birmingham en el año 2005. Sus tres publicaciones más recientes en revistas indexadas son First order definability of LRTp en la revista Artificial Intelligence, A sequential language for exact real number computation en la revista Mathematical logic Quarterly y Semantics of a sequential language for exact real number computation en la revista Theoretical Computer Science. Es miembro del Sistema Nacional de Investigadores Nivel 1. El Dr. Raymundo Marcial trabaja actualmente en la Universidad Autónoma del Estado de México y es líder del cuerpo académico denominado "Sistemas Computacionales" cuyo estatus es "en consolidación".
