Лекции по математической логике и теории алгоритмов; БИБКОМ, 2013

320 р.

  • Издатель: БИБКОМ
  • ISBN: 978-5-8397-0908-9
  • Книги: Учебная литература
  • ID:5860613
Где купить

Где купить (1)

Цена от 320 р. до 320 р. в 1 магазинах

МагазинЦенаНаличие
320 р.
Электронная книга Кэшбэк до 6.5%

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

Описание

Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.

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

О книге


ПараметрЗначение
Автор(ы)
ИздательБИБКОМ
Год издания2013
ISBN978-5-8397-0908-9
Форматы электронной версииPDF


Отзывы (0)


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


Книги: Математика - издательство "БИБКОМ"

Категория 256 р. - 384 р.

Книги: Математика

Категория 256 р. - 384 р.

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

12 ms