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 compu...
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».
Aquest lloc web almacena dades com a cookies per habilitar la funcionalitat necessària del lloc, inclosos anàlisis i personalització. Pot canviar la seva configuració en qualsevol moment o acceptar la configuració predeterminada.
Les cookies necessàries ajuden a fer una pàgina web utilitzable activant funcions bàsiques com la navegació a la pàgina i l'accés a àrees segures de la pàgina web. La pàgina web no pot funcionar adequadament sense aquestes cookies.
Personalizació
Les cookies de personalització permeten a la pàgina web enregistrar informació que canvia la forma en què la pàgina es comporta o l’aspecte que té, com el seu idioma preferit o la regió en el que vostè es troba.
Anàlisi
Las cookies estadísticas ayudan a los propietarios de páginas web a comprender cómo interactúan los visitantes con las páginas web reunint i proporcionant informació de forma anònima.
Marketing
Les cookies de màrqueting s’utilitzen per retrocedir als visitants a les pàgines web. La intenció és mostrar anuncis rellevants i atractius per a l'usuari individual, i per tant, més valiosos per als editors i tercers anunciants.