Электронная библиотека

ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

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

Наука и познание >> Математика





Разместил: Energy555

13-06-2012, 09:10

Просмотров: 451





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


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


Название: Конструктивная теория доказательств и нестандартный анализ
Автор: Драгалин А.Г.
Издательство: Едиториал УРСС
Год издания: 2003
Страниц: 544
ISBN: 5-354-00388-1
Язык: Русский
Формат: DjVu
Качество: хорошее
Размер: 8 Мб










Похожие публикации

Крайзель Г. - Исследования по теории доказательств Крайзель Г. - Исследования по теории доказательств
Сборник работ крупного американского специалиста по математической логике и основаниям математики. В нем дается обзор основных результатов математической теории доказательств и ее методов. Уделяется место происхождению методов теории доказательств и

Математическая логика. Курс лекций Математическая логика. Курс лекций
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого

Дискретная математика и комбинаторика Дискретная математика и комбинаторика
Книга представляет собой современный учебник по дискретной математике. Кроме таких разделов, как математическая логика, теория множеств, комбинаторика, теория графов, теория алгоритмов и вычислений, традиционно включаемых в основной курс дискретной

Теория рекурсивных функций и эффективная вычислимость Теория рекурсивных функций и эффективная вычислимость
Книга дает понятие о современном состоянии теории рекурсивных функций и обзор главных приложений этой теории. В ней показано развитие теории рекурсивных функций, начиная с ее рождения в тридцатых годах и заканчивая результатами исследований

Математическая логика Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория

Признание доказательств недопустимыми в ходе судебного следствия в суде первой инстанции в российском уголовном процессе Признание доказательств недопустимыми в ходе судебного следствия в суде первой инстанции в российском уголовном процессе
В монографии на основе норм действующего уголовно-процессуального законодательства и данных изученной практики его применения исследуются понятие «допустимость доказательств» и их критерии в российском уголовном процессе, определяются общие правила

Задачник по теории групп Задачник по теории групп
Книга содержит большое число задач по различным разделам теории групп с изложением (без доказательств) основных результатов. Преимущественное внимание уделено теории конечных групп. Автор надеется, что решение предлагаемых задач будет способствовать

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и

Математический интуиционизм. Введение в теорию доказательств Математический интуиционизм. Введение в теорию доказательств
В настоящее время в математической логике большое внимание уделяется исследованию неклассических логик. Многозначные логики высказываний уже довольно давно и весьма успешно применяются в теоретической кибернетике. Модальные логики находят интересные

Формирование доказательств на основе результатов оперативно-розыскной деятельности Формирование доказательств на основе результатов оперативно-розыскной деятельности
Название: Формирование доказательств на основе результатов оперативно-розыскной деятельности: монография Автор: Доля Е.А. Издательство: Проспект Год: 2009 Страниц: 282 Формат: PDF Для сайта: VipBook.info Размер: 2.2 Mb ISBN: 978-5-392-00495-9 В




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги




Союз образовательных сайтов