Лучшие товары в нашем каталоге!
Главная
Каталог
на главную » Каталог » Книги » Учебная литература » Студентам и аспирантам » Естественные науки. Математика » Математика » Основания математики. Математическая логика. Теория чисел

вернуться

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

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

464 руб

Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек.Для студентов, преподавателей, инженеров и научных работников.
Вес260
Ширина упаковки150
Высота упаковки20
Глубина упаковки220
АвторВ. Босс
Тип изданияОтдельное издание
Тип обложкиМягкая обложка
© 2010-2016 - ТоварОК.ru интернет-магазин