ЛИТЕРАТУРА ПО ФУНДАМЕНТАЛЬНЫМ И ПРИКЛАДНЫМ НАУКАМ
для школьников, студентов и научных работников

Каталог

Книги

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

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

Издательство:Книжный дом "ЛИБРОКОМ"
Год издания:2013
ISBN:978-5-397-03412-8
Кол-во страниц:208
Переплёт:Мягкий
 398 руб.  В корзину

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

Комментарии: (авторизуйтесь, чтобы оставить свой)
В корзине нет товаров