Зарегистрироваться
Восстановить пароль
FAQ по входу

Крайзель Г. Исследования по теории доказательств

  • Файл формата djvu
  • размером 2,85 МБ
  • Добавлен пользователем
  • Описание отредактировано
Крайзель Г. Исследования по теории доказательств
М.: Мир, 1981. — 288 с. — (Новое в зарубежной науке. Математика. Выпуск 23).
Сборник работ крупного американского специалиста по математической логике и основаниям математики. В нем дается обзор основных результатов математической теории доказательств и ее методов. Уделяется место происхождению методов теории доказательств и обоснованию интереса к рассматриваемой проблематике. В частности, описываются приложения к реальному синтезу программ для вычислительных машин.
Сборник представляет интерес как для читателей с минимальной подготовкой в области математической логики, так и для специалистов, которые могут ознакомиться с доказательствами новых глубоких результатов.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Гильберт Д., Бернайс П. Основания математики. Том 1. Логические исчисления и формализация арифметики

  • djvu
Перевод с немецкого. — Монография. — М.: Наука, 1979. — 557 с. Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и...
  • 5,80 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Гильберт Д., Бернайс П. Основания математики. Том 2. Теория доказательств

  • djvu
Монография. — Перевод с немецкого Н.М. Нагорного. — Под ред. С.И. Адяна. — М.: Наука, Главная редакция физико-математической литературы, 1979. — 557 с. — (Математическая логика и основания математики). Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в...
  • 7,54 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

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

  • djvu
М.: Едиториал УРСС, 2003. - 544 с. А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому...
  • 7,77 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств

  • djvu
М.: Наука, 1979. — 256 с. — (Математическая логика и основания математики). Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными...
  • 3,26 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Клини С.К. Математическая логика

  • pdf
Пер. с англ. Ю.А. Гастева. — Под ред. Г.Е. Минца. — М.: Мир, 1973. — 480 с. Имя одного из крупнейших современных специалистов в области математической логики С.К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными,...
  • 19,53 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Такеути Г. Теория доказательств

  • djvu
М.: Мир, 1978. — 412 с. Перевод с английского Соболева С. К., под ред. Адяна С. И. Книга посвящена одному из основных разделов математической логики — теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечении и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики в...
  • 3,26 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх