📖 Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Учебное пособие
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в дан…Полное описание
О книге
автор, издательство, серия- Издательство
- Либроком
- Серия
- Лекции по математике В. Босса
- ISBN
- 978-5-397-04993-1
- Год
- 2015