Заказ успешно обновлен!
Библиотечный коллектор

Лекции по математике: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя


Заказ:
Лекции по математике: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя
Автор: Босс В.
ISBN: 978-5-397-06483-5
Год издания: 2019
Издательство: Либроком
Переплёт: обл
Страниц: 208

747, 00 руб.
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта --- вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.
 
Поделиться ссылкой

Мы в социальных сетях

ОдноклассникиFacebookВКонтакте

Новые поступления

Евдокимова Н.
2025
Абрикобукс
1200.00 руб.
Симбирская Ю.С.
2025
Абрикобукс
1200.00 руб.
Старобинец А.А.
2025
Абрикобукс
750.00 руб.
Голдин Ина
2025
Абрикобукс
1125.00 руб.
Трофимчук Елена
2025
Абрикобукс
990.00 руб.
Огнева Екатерина
2025
Абрикобукс
975.00 руб.
Ядренцева Е.
2025
Абрикобукс
1200.00 руб.
Коробова Е.
2025
Абрикобукс
1200.00 руб.