Mañana martes día 30 de abril tendrá lugar la conferencia C.A.R. Hoare: Ideas y Técnicas Matemáticas al servicio de la (buena) Programación, a cargo de David de Frutos, Doctor en Matemáticas por la Universidad Complutense de Madrid y catedrático en el Departamento de Sistemas Informáticos y Computación de la Facultad de Matemáticas de la misma universidad. La cita es als 13:00 horas en el Aula B-13 de la Facultad de Ciencias Matemáticas de la UCM. La conferencia se encuadra dentro del ciclo del Seminario de Historia de la Matemática. En este enlace podéis ver el poster.
Resumen
Carl Antony Richard (Tony) Hoare es sin duda alguna una de las primeras figuras en el desarrollo de la Programación como Ciencia. Con ocasión de su próximo nombramiento como Doctor Honoris Causa de nuestra Universidad, presentaremos sus enormes aportaciones al desarrollo de la Programación, incidiendo en el papel que las ideas y técnicas matemáticas han tenido en las mismas, pivotando en uno de sus más famosos lemas, que me atrevo a traducir y resumir: "si es fácil, seguro que funciona, ¡pero qué difícil es casi siempre encontrar las soluciones fáciles!"