e-shop@combook.ru
+7 (812) 602-75-27
Пусто
расширенный поиск
  • Босс В. - Лекции по математике: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя Т.06. Изд.стереотип.
КОД (ISBN):
978-5-9519-3982-1

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

Товар № 12201145
Т.06. Изд.стереотип.
Автор: Босс В.
Издательство: ЛЕНАНД
Вес: 0.310 кг.
Год издания: 2023
Страниц: 208 Переплет: Мягкая обложка
Том: Т.06. Изд.стереотип.
Цена: 798 руб.
В КОРЗИНУ

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

Для студентов, преподавателей, инженеров и научных работников.

Читать далее

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