[Recent Entries][Archive][Friends][User Info]
| June 18th, 2011 | |
|---|---|
| 01:21 pm [Link] |      Птичек, между прочим я понимаю как ал(л)юзию на To Mock a Mockingbird(вдруг кому интересно), введение в исчисление комбинаторов (модель вычислений, как видите, родственную λ-исчислению). Each species of bird in Smullyan's forest stands for a particular kind of combinator appearing in the conventional treatment of combinatory logic. Each bird has a distinctive call, which it emits when it hears the call of another bird. Hence an initial call by certain "birds" gives rise to a cascading sequence of calls by a succession of birds. Кажется, эта книжка не переведена на русский, да и английского текста у меня нет (хотя наверняка потрудившись с поиском можно откуда-нибудь скачать), а я, бывало, хотел дать её некоторым людям, узнать, как она будет ими воспринята и понята. У меня в детстве была одна его книжка, но воспринималась мной тогда слишком тяжело. ("Алиса в стране смекалки") |