En algunas ocasiones las existencias pueden estar erróneas o no se lo podremos conseguir en el plazo señalado. Confiamos en su comprensión y le agradecemos la confianza depositada. Esperamos no defraudarle.
El celebérrimo inspector Craig protagoniza nuevas e insólitas aventuras para conocer más a fondo los secretos de la lógica combinatoria: «Debo confesar que el tema me intriga enormemente. Pero quisiera saber cómo, cuándo y por qué se originó». En la actualidad, tiene importantes aplicaciones en computación y en inteligencia artificial, pero las primeras investigaciones remontan a principios de la década de 1920. Entre ellas figuran los pioneros estudios de Shönfinkel, Curry, Fitch, Church, Kleene, Rosser y Turing. Resuelve los acertijos del inspector Craig, el lógico Fergusson y el profesor Griffin y entenderás cómo es posible escribir programas informáticos en términos combinatorios. «Existe una correspondencia biunívoca entre los pájaros del bosque de Griffin y todos los programas de computación, de tal modo que, si al pájaro x le corresponde el programa X y al pájaro y le corresponde el programa Y, entonces al pájaro xy le corresponderá el programa XY. Seguramente, a esto se refería el profesor Griffin cuando dijo que, dado cualquier programa de computación, se puede poner en correspondencia con algún pájaro del bosque».
Este sitio web sólo utiliza cookies propias. Puedes configurar la utilización de cookies u obtener más información aquí
Más información sobre el uso de "cookies" y sus opciones de privacidad
Este sitio web utiliza cookies propias que se detallan a continuación en el panel de configuración.
A través del mismo, puede aceptar o rechazar de forma diferenciada el uso de cookies, que están clasificadas en función del servicio. En cada uno de ellos encontrará información adicional sobre sus cookies. Puede encontrar más información en la Política de cookies.
Estrictamente necesarias (técnicas):
Se usan para actividades que son estrictamente necesarias para gestionar o prestar el servicio que usted nos ha solicitado y, por tanto, no exigen su consentimiento.
