100BOOK.RU
КНИГИ
интернет магазин
(495) 109 08 40
Художественная литератураДетская литератураШкола. ПедагогикаДом. Быт. Досуг. ТуризмКультура и общество
Бизнес. Экономика. ПравоНаука. Техника.ТранспортЯзыки. ФилологияМедицина. ЗдоровьеРазное
Высшая математика. Кратные и криволинейные интегралы. Мир математики          Автор Драгалин А.Г.          Издательство ЭДИТОРИАЛ УРСС

Конструктивная теория доказательств и нестандартный анализ (Математический интуиционизм. Введение в теорию доказательств, и др.)
544 стр. твердый переплет
5-354-00388-1

автор:Драгалин А.Г.
издательство: ЭДИТОРИАЛ УРСС
год:2003
цена:662 руб
- нет в наличии

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

Федеральный перечень учебников 2018/2019 -30% Игры. Игрушки -30% Канцтовары -30% Всё для праздников и карнавалов -30% Товары для детей -30% Ёлочные игрушки по форме -30% Электрогирлянды -30% Прочее -18%



показать
похожие
Новая философская энциклопедия. Том второй

Только в этом случае удается избежать различного рода парадоксов и антиномий при использовании иерархии используемых человеком языков. Богатые выразительные средства метаязыков логики, математики, лингвистики и других дисциплин позволяют формулировать на них метатеории соответствующих предметных об ластей научного знания. Лит.: Клини С. К. Введение в метаматематику. М, 1957; ЧерчА. Введение в математическую логику. М., 1960; ГастевЮ. А. Гомоморфизмы и модели. М, 1975; Драгалин А. Г. Математический интуиционизм. Введение в теорию доказательств. М, 1979; Гвишиани Н. Б. Язык научного общения (вопросы методологии). М., 1986; Смирнова ЕД. Логическая семантика и философские основания логики. М., 1986; Тарский А. Семантическая концепция истины и основания семантики. — В кн.: Аналитическая философия. Становление и развитие. М., 1998; Carnap R. Der logische Syntax der Sprache. W, 1934; Tarski A. Logic, Semantic, Metamathematic. Oxf, 1956. В. Н. Садовский МЕТЕМПСИХОЗ(греч. ц?тец\|Л)хо)ок;, от цгта— пере- и ешуйдохис — одушевление, оживление, собственно — переодушевление) —один из поздних греческихтерминов для обозначения переселения душ ...

Багетная рама "Emma" (цветной), 40х50 см.
Багетные рамы предназначены для оформления картин, вышивок и фотографий. Оформленное изделие всегда становится более выразительным и
698 руб
Раздел: Размер 40x50
Полотенце вафельное "Дельфинарий", банное, пляжное, 100х150 см.
Вафельное полотенце "Дельфинарий". Легкое и практичное полотенце удобно использовать на пляже, в бане и в бассейне. Плотность
304 руб
Раздел: Большие, ширина свыше 40 см
Крафт-бумага оберточная, в рулоне, 1,02х30 метров.
Являясь упаковочным материалом, крафт-бумага применяется для изготовления конвертов, мешков, пакетов и многого другого. В изделия из
899 руб
Раздел: Однотонная, голография

Высшая математика. Кратные и криволинейные интегралы. Мир математики

Конструктивная теория доказательств и нестандартный анализ
          822 руб
Справочная книга по математической логике. Часть 4. Теория доказательств и конструктивная математика
Воспроизведено в оригинальной авторской орфографии издания 1983 года (издательство ""Наука", Главная редакция физико-математической литературы").
          871 руб
Введение в математическую экономику: Учебное пособие для вузов Конструктивная теория:
Учебное пособие написано на основе курса лекций по математической экономике, читаемого для студентов факультетов прикладной математики и информатики и экономического Белгосуниверситета.
          257 руб
Теория производства: долгосрочный анализ. Гриф УМО по классический университетскому образованию
Исследуются взаимосвязи между производством, распределением дохода и относительными ценами для случаев стабильной или растущей экономики.
          893 руб
Суперсимметрия; Опыт синергетического осмысления: Суперструны и др. Единая теория поля: Философский анализ современных проблем физики элементарных частиц и космологии; Синергетика;
          193 руб
Введение в математическую экономику. Конструктивная теория
В приложении приводятся основные понятия и утверждения из тех разделов математики, которые необходимо знать для понимания основного курса.
          317 руб
Мировая политика: Теория, методология, прикладной анализ (под ред. Кокошина А.А., Богатурова А.Д.) ISBN 5-484-00087-4
          347 руб
Наши внутренние конфликты. Конструктивная теория невроза
          554 руб
Философский анализ современных проблем физики элементарных частиц и космологии. Опыт синергетического осмысления Единая теория поля:
Книга может оказать существенную помощь при подготовке и сдаче кандидатского экзамена по философии и истории физики.
          234 руб
Труды МИАН. Функциональные пространства, теория приближений, нелинейный анализ. Том 255
          3 руб
Теория радиоэлектронного преодоления. Анализ воздействия помех на радиотехнические системы и устройства
          3 руб
Введение в математическую экономику. Конструктивная теория
Учебное пособие написано на основе курса лекций по математической экономике, читаемого для студентов факультета прикладной математики и информатики и экономического факультета Белгосуниверситета.
          476 руб
Конструктивная теория невроза CD-ROM (MP3). Наши внутренние конфликты.
Подход Хорни радикально отличается от соответствующих теорий З. Фрейда, Э. Фромма, А. Адлера и К. Юнга своим творческим потенциалом, гуманизмом и оптимизмом. "Наши внутренние конфликты" - первое в мировой практике систематическое изложение теории невроза - причин невротических конфликтов, их развития и лечения.
          167 руб
Конструктивная теория поля
          993 руб
Теория вероятностей и анализ.
Воспроизведено в оригинальной авторской орфографии издания 1964 года (издательство " Наука (Узбекской ССР) ").
          993 руб
Конструктивная теория функций комплексного переменного
Кроме того, рассматриваются вопросы различного рода оценок для указанного класса функций.
          1507 руб
Современный экономический рост: теория и регрессионный анализ: Монография
На основе всех типов моделей решаются задачи прогно- зирования.
          1207 руб
Теория радиоэлектронного преодоления. Анализ воздействия помех на радиотехнические системы и устройства
          1546 руб
Теория вероятностей и математическая статистика. Математический анализ. Подисциплинарное изложение. Геометрия. Алгебра и теория чисел. История математики. Дискретная математика
Математический и исторический материал, рассматриваемый в книге, относится в основном к последним трем-четырем столетиям (главы 4–10).
          1103 руб
Теория ценности: аксиоматический анализ экономического равновесия
В центре анализа находится концепция системы цен, или, более обобщенно, функция ценности, определенная на пространстве товаров.
          331 руб

Молочный гриб необходим в каждом доме как источник здоровья и красоты
смотреть >>
Молочный гриб замечательный дар природы для здоровья и красоты
смотреть >>
Кефирный гриб - лекарь в вашем доме. Заведите свой кефирный гриб
смотреть >>



(495) 109 08 40

www.100book.ru КНИГИ учебники для школы 1-10 класс