Босс Валерий: Лекции по математике. Т. 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя: Учебное пособие
Артикул: p6332700
Купили 20 раз
О товаре
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек. .
Характеристики
- Автор:
- Валерий Босс
- Раздел:
- Математические науки
- Издательство:
- Либроком
- ISBN:
- Год издания:
- 2015
- Количество страниц:
- 208
- Переплет:
- Мягкий переплёт
- Формат:
- 145x215 мм
- Вес:
- 0.26 кг
Отзывов ещё нет — вы можете быть первым.