Легендарная задача по взвешивания монет
«Математическая логика и теория алгоритмов» А. А. Набебин, Ю. П. Кораблин Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики. Это и многое другое вы найдете в книге Математическая логика и теория алгоритмов (А. А. Набебин, Ю. П. Кораблин). Напишите свою рецензию о книге А. А. Набебин, Ю. П. Кораблин «Математическая логика и теория алгоритмов» http://izbe.ru/book/244817-matematicheskaya-logika-i-teoriya-algoritmov-a-a-nabebin-yu-p-korablin/
Введение в математическую логику
Мендельсон Эллиот (1976) В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики...