RUSSIAN

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

By Крайзель Г.

Book information

Publisher
Мир
Year
1983
Language
russian
Format
DJVU
Filesize
3 MB (2989274 bytes)
Series
Новое в зарубежной науке. Математика, том 23
Pages
144\144
Library
Kolxo3
DPI
300
Time added
2009-07-20 03:45:11
Математика;Прочие разделы математики

Description

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

Similar books