Vtome.ru - электронная библиотека

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

  • Добавил: kotmatros255
  • Дата: 16-02-2022, 08:04
  • Комментариев: 0
Исследования по теории доказательствНазвание: Исследования по теории доказательств
Автор: Крайзель Г.
Издательство: Мир
Год: 1981
Формат: pdf
Страниц: 286
Размер: 13 Мб
Язык: русский

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

ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШЕМ СЮДА!










ПРАВООБЛАДАТЕЛЯМ


СООБЩИТЬ ОБ ОШИБКЕ ИЛИ НЕ РАБОЧЕЙ ССЫЛКЕ


Категория: КНИГИ » ЕСТЕСТВЕННЫЕ НАУКИ
Вернуться назад

Внимание
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.