BOSQUES CURIOSOS Y PÁJAROS ARISTOCRÁTICOS

ISBN: 9788418525551

FONDO EDITORIAL: GEDISA

GENERO ARTES-CIENCIAS-Y-HUMANIDADES

AUTOR RAYMOND SMULLYAN

IDIOMA ESPAÑOL

AÑO 2021

PÁGINAS 160

COLECCIÓN DESARROLLO HUMANO

EMPASTE TAPA RÚSTICA

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.

Enviar a un amigo

Enviar a un amigo

BOSQUES CURIOSOS Y PÁJAROS ARISTOCRÁTICOS

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.

Recipiente :

Nombre de tu amigo ^* :

E-mail de tu amigo ^* :

^* Campos obligatorios

total Cancelar
Imprimir