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

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