Seminario "Hacia un lenguaje de programación para el Cómputo con Números Reales Exactos"
Durante esta plática analizaremos por qué el modelo propuesto por Turing para el cómputo con números reales no es el adecuado. Desarrollaremos el paradigma para el cómputo con números reales llamado "Exact Real Number Computation".
Se mencionarán algunos lenguajes de programación que se han propuesto, en particular el lenguaje de programación conocido como LRT (Language for redundant test), desarrollando por el ponente desde hace cinco años.
Impartido por el Dr. José Raymundo Marcial Romero, de la Univ. Aut. del Estado de México.