Común
Logic Theorist
El Logic Theorist es un complejo sistema de manejo de información creado por Allen Newell, Herbert A. Simon y Cliff Shaw en 1955. Este sistema es considerado una de las primeras muestras de un programa exhibiendo comportamientos inteligentes, al imitar el comportamiento del ser humano para solucionar problemas matemáticos. Utilizando esta estrategia, el programa fue capaz de demostrar 38 de los 52 teoremas presentados en Principia Mathematica escrito por Alfred North Whitehead y Bertrand Russell.
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis