Лекции по математике. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Том 6️⃣
👓 Босс В.![](http://static.my-shop.ru/product/2/251/2502365.gif)
Серия:
📚 Лекции по математике В. БоссаЛекции по математике. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Том 6️⃣
✅ Книга 📖 посвящена основаниям математики, проблемам вычислимости и доказуемости. ны Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот руг ️ ов , рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек.
Для студентов 👨🎓️, еподавателей , ов и научных работников.
Издание стереотипное.
Также:
Поляк Б.Т. «Введение в оптимизацию»![](http://static.my-shop.ru/product/3/357/3564873.jpg)