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

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


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

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

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

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

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

Рыкова Е.
2022
Абрикобукс
1245.00 руб.
Абросимов В.К., Райков А.Н.
2022
Карьера Пресс
841.50 руб.
Ричардс Мэри
2022
Ад Маргинем Пресс
2349.00 руб.
Ясинская М.
2022
Абрикобукс
1350.00 руб.
Иванова Ю.
2022
Абрикобукс
1125.00 руб.
Старобинец А.А.
2022
Абрикобукс
1320.00 руб.
Мелентьева Ю.П.
2022
Наука НИЦ РАН
900.00 руб.
Литератор N.
2021
Сретенского монастыря Издание
241.50 руб.
Велейко О.
2022
Настя и Никита
199.50 руб.