https://knigausa.com Just another WordPress site Fri, 20 Jun 2025 08:36:14 +0000 ru-RU hourly 1 https://wordpress.org/?v=6.7.5 https://knigausa.com/product/%d0%bf%d0%b5%d1%80%d0%b5%d0%b4%d1%80%d0%b0%d0%b7%d0%bd%d0%b8%d1%82%d1%8c-%d0%bf%d0%b5%d1%80%d0%b5%d1%81%d0%bc%d0%b5%d1%88%d0%bd%d0%b8%d0%ba%d0%b0-%d0%b8-%d0%b4%d1%80%d1%83%d0%b3%d0%b8%d0%b5-%d0%bb/ Sat, 18 May 2024 22:10:03 +0000 https://knigausa.com/product/%d0%bf%d0%b5%d1%80%d0%b5%d0%b4%d1%80%d0%b0%d0%b7%d0%bd%d0%b8%d1%82%d1%8c-%d0%bf%d0%b5%d1%80%d0%b5%d1%81%d0%bc%d0%b5%d1%88%d0%bd%d0%b8%d0%ba%d0%b0-%d0%b8-%d0%b4%d1%80%d1%83%d0%b3%d0%b8%d0%b5-%d0%bb/ Загадки о рыцарях и лжецах (о людях, говорящих только правду и тех, кто всегда лжет) стали очень популярными и среди молодежи и среди взрослых. Поэтому загадкам такого типа автор посвятил восемь первых глав этой книги. Они упорядочены по степени сложности: от элементарных до очень тонкой метазагадки об Источнике Молодости. (Тот, кто разгадает эту загадку, достоин королевских почестей!) Остальная часть книги имеет совершенно другую направленность и касается больших логических глубин. Здесь вы найдете нечто завораживающее из области комбинаторной логики. Эта замечательная научная дисциплина сейчас играет важную роль в компьютерной науке и разработках искусственного интеллекта; так что данная книга вполне своевременна. Несмотря на глубину данной темы, изучить ее не труднее, чем курс алгебры или геометрии в институте. Комбинаторная логика — это абстрактная научная дисциплина, имеющая дело с объектами называемыми комбинаторами. В качестве своих комбинаторов автор выбрал птиц. Сделано это было в память о профессоре Хаскеле Карри, который был и великим комбинаторным логиком и страстным любителем птиц. Главная причина, по которой он сделал комбинаторную логику основной темой этой книги, заключается не в многочисленных практических приложениях такой логики, а в ее большой привлекательности. Эта область считается сугубо технической, тем не менее она доступна широкой публике; она полна материалом, из которого можно извлечь развлекательные загадки. В то же время она связана с фундаментальными вопросами современной логики. Что может быть лучше для книги логических загадок?

]]> 1323626 https://knigausa.com/product/%d0%b2%d0%be%d0%b2%d0%b5%d0%ba%d0%b8-%d0%bd%d0%b5%d1%80%d0%b0%d0%b7%d1%80%d0%b5%d1%88%d0%b8%d0%bc%d0%be-%d0%b3%d0%be%d0%bb%d0%be%d0%b2%d0%be%d0%bb%d0%be%d0%bc%d0%bd%d0%be%d0%b5-%d1%80%d1%83%d0%ba/ Sat, 18 May 2024 21:07:03 +0000 https://knigausa.com/product/%d0%b2%d0%be%d0%b2%d0%b5%d0%ba%d0%b8-%d0%bd%d0%b5%d1%80%d0%b0%d0%b7%d1%80%d0%b5%d1%88%d0%b8%d0%bc%d0%be-%d0%b3%d0%be%d0%bb%d0%be%d0%b2%d0%be%d0%bb%d0%be%d0%bc%d0%bd%d0%be%d0%b5-%d1%80%d1%83%d0%ba/ В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех «возможных миров»: эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями «непротиворечивость», «доказуемость» и «разрешимость».

]]> 1172018