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

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

 

 
  •       
  •       
  •       

О книге

автор, издательство, серия
Издательство
Либроком
Серия
Лекции по математике В. Босса
ISBN
978-5-397-04993-1
Год
2015