Плиско В.Е. - Введение в математическую логику -2. Алгоритмическая теория множеств
«Введение в математическую логику. Том 1» А. Черч Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней материал представляет ценность для всякого математика, в том числе и для специалиста по математической логике. В качестве справочника ею могут пользоваться также и не математики. Данный первый том вполне может быть использован в качестве самостоятельного систематического курса математической логики; второй том предполагался к изданию, но еще не был переведен на русский язык. Содержащееся в этом томе Введение по существу представляет собой самостоятельное литературное произведение, которое с интересом и пользой может читаться самыми широкими кругами научных работников, интересующихся вопросами математической логики. Это и многое другое вы найдете в книге Введение в математическую логику. Том 1 (А. Черч). Напишите свою рецензию о книге А. Черч «Введение в математическую логику. Том 1» http://izbe.ru/book/185039-vvedenie-v-matematicheskuyu-logiku-tom-1-a-cherch/
Задача экстра-класса на логику про две двери
Это типичная задача по математической логике. Она хорошо известна, но это не делает её простой или неинтересной. Одну из интерпретаций этой задачи раньше можно было услышать в стенах Apple на собеседованиях. Да и в других компаниях наверняка тоже. Вы стоите в коридоре, в котором две двери. Одна неминуемо ведет на казнь, другая — в сокровищницу. Рядом с каждой дверью стоит стражник. Они оба знают, какая дверь куда ведет. Проблема в том, что один из стражников говорит только правду, а другой всегда лжет, и вы об этом знаете, но не знаете, кто есть кто...