Санкт-Петербургский Дом Книги
ИНТЕРНЕТ-МАГАЗИН:
(800) 555-08-42
СПРАВОЧНАЯ СЛУЖБА ДОМА КНИГИ
НЕВСКИЙ, 28:
(812) 448-23-55
Купить книгу Курс математической логики и теории вычислимости. Учебное пособие.
  • Курс математической логики и теории вычислимости. Учебное пособие.


  • Автор: Герасимов А.С. ISBN: 978-5-8114-1666-0
    Издательство: СПБ.:ЛАНЬ Год издания: 2014
    Вес: 440 гр. Серия: УЧЕБНИКИ ДЛЯ ВУЗОВ. СПЕЦИАЛЬНАЯ ЛИТЕРАТУРА
    Полка: Этаж 0, раздел 120-129, стеллаж 01, полка 4
Цена при заказе на сайте:
 1 439,20 p
Положить в корзину
Остался 1 экземпляр
*Указана цена интернет-магазина.
Цена в магазине на Невском, 28 может отличаться.
Оплата:
Нажимая на кнопку, Вы соглашаетесь на
обработку персональных данных.
Заказ в 1 клик


ОПИСАНИЕ

Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некого императивного языка программирования. В книге имеется более 200 упражнений. Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп «Компьютерные и информационные науки», «Информатика и вычислительная техника», но будет полезно и студентам группы направлений «Математика и механика», а также всем желающим начать систематическое изучение математической логики.

Ляшко И.И., Боярчук
356,50o
Старцев А.В. и др.
374,50o
Шиловский В.Н. и др.
984,60o






Интернет-магазин Дома Книги рад представить Вашему вниманию книгу "Курс математической логики и теории вычислимости. Учебное пособие." из раздела "Основания математики. Теория чисел. Математическая логика.". Входит в серию, выпущенную издательством "СПБ.:ЛАНЬ", которую Вы также можете купить в интернет-магазине СПб Дома Книги. Перед покупкой книги Вы можете ознакомиться с информацией о ней и номером ISBN 978-5-8114-1666-0. Доставка книги осуществляется почтой РФ, самовывозом, а также курьером по Санкт-Петербургу.

Ваша корзина пуста. Для оформления заказа Вам необходимо добавить товары в корзину с помощью соответствующей кнопки.

ВНИМАНИЕ!



МЫ В СОЦИАЛЬНЫХ СЕТЯХ: