詳 細

  • ボス　数学講義　互除法、論理学、算定法　アレクサンドリアのディオファントスからアラン・チューリングとクルト・ゲーデルまで

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

    Босс В.
    М., <ЛЕНАНД> 208 c. pap.

    2023 年   ISBN  9785951939821   R245393

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

    Для студентов, преподавателей, инженеров и научных работников.

    価格(税込み)　   \5,280
    数量
    在庫を超える数量の場合は、ご相談とさせていただきます。