Текущий раздел » » » Исследования по теории доказательств

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

  • Заявить о правах (Abuse)
Автор: xalienx от 2014-08-05, 23:10:07
Исследования по теории доказательствНазвание : Исследования по теории доказательств
Автор: Крайзель Г.
Издательство: Мир
Язык: русский
Год: 1981
Формат: djvu
Размер: 3 Мб
Страниц: 288

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





BooksKeeper - электронная библиотека, ежедневно пополняемая нашими авторами.
Все материалы, представленные на нашем сайте, Вы сможете скачать по ссылкам различных бесплатных файлообменников совершенно бесплатно!
Инструкции, поясняющие, как надо качать бесплатно с файлообменников смотреть тут
Регистрация на нашем сайте позволит Вам добавлять свои книги, а также комментировать опубликованные книги, общаться с нашими авторами.
Для этого мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.

Теги: математическая логика, теория доказательств


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


Бесплатная электронная библиотека. Скачать книги бесплатно!
Текущий раздел » » » Исследования по теории доказательств

Наша электронная библиотека Bookskeeper.ru - это интернет-витрина, где любой посетитель может публиковать электронные варианты книг, журналов, газет, комиксов, в общем, любой литературы со ссылками для медленного, но бесплатного скачивания с файлообменников.

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