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

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

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

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

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



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

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

Органайзер для украшений "Little dress" (черный).
У вас много украшений? И все они, хранясь в коробке, частенько путаются между собой, теряются или гнутся? На помощь в решении проблемы
990 руб
Раздел: Подставки для украшений
Набор мисок Mayer & Boch "Розы".
Набор эмалированных мисок из 10 предметов: миска (5 штук) + крышка (5 штук). Материал: углеродистая сталь. Эмалированное покрытие. Крышка:
434 руб
Раздел: Наборы
Конструктор на солнечной батарее 3 в 1 "Робот-трансформер".
Дети обожают электронные игрушки — они самостоятельно двигаются, издают звуки и вообще ведут себя, как живые. Но, к сожалению, недолго:
439 руб
Раздел: Инженерные, научно-технические

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

Конструктивная теория доказательств и нестандартный анализ
          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 руб
Современный экономический рост: теория и регрессионный анализ: Монография
На основе всех типов моделей решаются задачи прогно- зирования.
          1127 руб
Теория радиоэлектронного преодоления. Анализ воздействия помех на радиотехнические системы и устройства
          1546 руб
Теории, практики, сравнительный анализ: Социальные трансформации в России: Учебное пособие (под ред. Ядова В. А. )
Заключительный раздел посвящен проблемам России в глобальном мире и сравнительному анализу трансформационных процессов в так называемых посткоммунистических странах, в том числе и ближнего зарубежья. <br> Помимо вводной главы об общих теориях социальных изменений и специальных теориях трансформаций стран бывшего советского блока каждый раздел предваряется анализом многообразных концептуальных подходов к данному предмету.
          458 руб
Теории личности: Сравнительный анализ (пер. с англ. Авидон И.Ю., Батустин А.Н., Румянцева П.В.) - 539 с. {Мэтры мировой психологии} ISBN 5-9268-0083-8 ~92.02.21 061
          408 руб

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



(495) 109 08 40

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