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

  • ISBN: 978-5-91522-001-9
  • Издательство: М.:НАУЧНЫЙ МИР
  • Год издания: 2008
  • Тираж: 1000 экз.
  • Тип обложки: ПЕРЕПЛЕТ
  • Объем: 344 страницы
Отсутствует в продаже
Ваше имя:
Ваш телефон:
ИЛИ e-mail:
Оплата:
Оповестить при поступлении в продажу

ОПИСАНИЕ

Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.

Демидович Б.П. и др.
888,30o






Интернет-магазин Дома Книги рад представить Вашему вниманию книгу "Математическая логика и теория алгоритмов." из раздела "Прикладная математика. Математическое программирование. Математическая кибернетика. Вычислительная математика". Перед покупкой книги Вы можете ознакомиться с информацией о ней и номером ISBN 978-5-91522-001-9. Доставка книги осуществляется почтой РФ, самовывозом, а также курьером по Санкт-Петербургу.

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




МЫ В СОЦИАЛЬНЫХ СЕТЯХ:
ВАША ДИСКОНТНАЯ КАРТА:
ПРОВЕРКА НАКОПЛЕНИЙ:
ВВЕДИТЕ НОМЕР ВАШЕЙ ДИСКОНТНОЙ КАРТЫ