Книга: А. Г. Драгалин «Конструктивная теория доказательств и нестандартный анализ»

Конструктивная теория доказательств и нестандартный анализ

А. Г. Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А. Г. Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А. Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г. Е. Минца. В издание вошли также воспоминания коллег, учеников и друзей А. Г. Драгалина - С. Н. Артемова, Э. Б. Баялинова, А. С. Бойцова, Б. А. Кушнера, Г. Е. Минца, Е. Ю. Ногиной, А. Трулстра, В. Б. Шехтмана. Аналитический обзор основных результатов А. Г. Драгалина...

Издательство: "Едиториал УРСС" (2003)

Формат: 60x90/16, 544 стр.

ISBN: 5-354-00388-1, 5-354-00387-3

Купить за 1124 руб на Озоне

Другие книги схожей тематики:

АвторКнигаОписаниеГодЦенаТип книги
А. Г. ДрагалинКонструктивная теория доказательств и нестандартный анализА. Г. Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены… — Едиториал УРСС, (формат: 60x90/16, 544 стр.) Подробнее...2003
1124бумажная книга
А. Г. ДрагалинКонструктивная теория доказательств и нестандартный анализА. Г. Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены… — Едиториал УРСС, (формат: 60x90/16, 544 стр.) Подробнее...2003
1129бумажная книга
А.Г. ДрагалинКонструктивная теория доказательств и нестандартный анализ. ( "Математический интуиционизм. Введение в теорию доказательств", и др.)А. Г. Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философииматематики. В настоящее… — УРСС, (формат: 60x90/16, 544 стр.) Подробнее...2003
789бумажная книга

См. также в других словарях:

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… …   Математическая энциклопедия

  • Парадокс — (от греч. parádoxes неожиданный, странный)         неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным мнением по данному вопросу. В этом смысле эпитет «парадоксальный» …   Большая советская энциклопедия


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.