Математическая логика и теория алгоритмов; Научный мир, 2020

  • Издатель: Научный мир
  • ISBN: 978-5-91522-001-9
  • Книги: Математические науки
  • ID:7712139
Где купить


Где купить

Последняя известная цена от 629 р. до 974 р. в 3 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

МагазинЦенаНаличие
Яндекс.Маркет
5/5
Промокоды на скидку

История цены

МагазинПоследняя известная ценаОбновлено
book24
629 р.
20.08.2023
OZON
974 р.
24.06.2024

Описание

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

Смотри также о книге.

О книге


ПараметрЗначение
ИздательНаучный мир
Год издания2020
Страниц343
Переплёттвердый
ISBN978-5-91522-001-9
Размеры60x90/16
Формат153x218мм
Автор(ы)
ТематикаМатематика
Тираж1000
Язык изданияРусский
Кол-во страниц343
РазделМатематические науки
Количество страниц343
Вес0.51кг
ПереплетТвёрдый переплёт


Отзывы (0)


Зарегистрируйтесь и получайте бонусы за покупки!


Книги: Научная литература - издательство "Научный мир"

Книги: Научная литература

Категория 503 р. - 754 р.

закладки (0) сравнение (0)

12 ms