Передразнить пересмешника и другие логические загадкии, включая увлекательное путешествие в комбинаторную логику

Автор: Смаллиан Рэймонд, «Передразнить пересмешника и другие логические загадкии, включая увлекательное путешествие в комбинаторную логику»: Загадки о рыцарях и лжецах (о людях, говорящих только правду и тех, кто всегда лжет) стали очень популярными и среди молодежи и среди взрослых. Поэтому загадкам такого типа автор посвятил восемь первых глав этой книги. Они упорядочены по степени сложности: от элементарных до очень тонкой метазагадки об Источнике Молодости. (Тот, кто разгадает эту загадку, достоин королевских почестей!) Остальная часть книги имеет совершенно другую направленность и касается больших логических глубин. Здесь вы найдете нечто завораживающее из области комбинаторной логики. Эта замечательная научная дисциплина сейчас играет важную роль в компьютерной науке и разработках искусственного интеллекта; так что данная книга вполне своевременна. Несмотря на глубину данной темы, изучить ее не труднее, чем курс алгебры или геометрии в институте.
Комбинаторная логика — это абстрактная научная дисциплина, имеющая дело с объектами называемыми комбинаторами. В качестве своих комбинаторов автор выбрал птиц. Сделано это было в память о профессоре Хаскеле Карри, который был и великим комбинаторным логиком и страстным любителем птиц. Главная причина, по которой он сделал комбинаторную логику основной темой этой книги, заключается не в многочисленных практических приложениях такой логики, а в ее большой привлекательности. Эта область считается сугубо технической, тем не менее она доступна широкой публике; она полным-полна материалом, из которого можно извлечь развлекательные загадки. В то же время она связана с фундаментальными вопросами современной логики. Что может быть лучше для книги логических загадок?