Larry Wos
De Wikipedia, la enciclopedia libre
Tabla de contenidos |
[editar] Biografía de Larry Wos
[editar] Publicaciones
Científico y Matemático de la División de Informática en el Laboratorio Nacional Argonne; ingresó a dicho laboratorio en febrero de 1957. Escribió más de 70 artículos sobre la automatización del razonamiento, ha dado cientos de conferencias sobre dicho tema, y por ello se ha renombrado el campo de confirmación (prueba) en un teorema básico de automatización "Teorema del razonamiento automatizado". Ha escrito seis libros, los más recientemente Un País Fascinante, El Mundo de Calcular y Guía al Razonamiento Automatizado, (Mundo Científico, 1999-2000) y Obras completas de Larry Wos, 2 vols., (Mundo Científico, 2001).
[editar] Teoría del Razonamiento Automatizado
La introducción de Wos de la noción de estrategia en el razonamiento automatizado transformó el campo en el potencial de la realización (la comprensión). Un creyente fuerte en la experimentación, Wos ha usado programas de razonamiento automatizados para contestar asuntos por resolver campos diversos como los que encontramos en la álgebra Booleana, semigrupos finitos, combinaciones de la lógica, y el cálculo equivalencial.
[editar] Reconocimientos internacionales
Como un tributo a su trabajo, en 1983 ganó el premio de la Sociedad Americana de Matemática por syu famososo teorema de la automatización. También recibió el Premio de Herbrand pos sus contribuciones excepcionales al campo de la deducción automatizada en año 1992.
El contenido de esta página es un esbozo sobre informáticos. Ampliándolo ayudarás a mejorar Wikipedia.
Puedes ayudarte con las wikipedias en otras lenguas.
