e-shop@combook.ru
+7 (495) 543-32-85
+7 (812) 602-75-27
Пусто
расширенный поиск
  • Босс В. - Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя
КОД (ISBN):
978-5-9710-7713-8

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

Товар № 12040224
Автор: Босс В.
Издательство: Либроком
Вес: 0.310 кг.
Год издания: 2020
Формат: 21.5 x 14.5 x 1.1
Страниц: 208 Переплет: Мягкая обложка
Цена: 798 руб.
В КОРЗИНУ

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

Читать далее

Другие книги автора Босс В.