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

 

Каталог

Книги

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

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

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

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

Комментарии: (авторизуйтесь, чтобы оставить свой)
В корзине нет товаров
Новости
2020-06-02
Магазин "Физтех-книга" в корпусе "Физтех-квант" МФТИ возобновил свою работу практические в прежнем режиме: с 9.00 до 19.00 по будням, с 10.00 до 17.30 в субботу. Ограничения касаются лишь числа посетителей: вход в торговый зал разрешен строго по одному. Это вынужденная мера введена в соответствии с требованиями МФТИ
2020-05-12
Уважаемые клиенты! В условиях эпидемии коронавируса наш интернет-магазин работает с определенными ограничениями.