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

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

Где купить

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

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

МагазинЦенаНаличие
Яндекс.Маркет
5/5
Промокоды на скидку
Avito доставка позволит получить любой товар, не выходя из дома

История цены

МагазинПоследняя известная ценаОбновлено
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)

11 ms