RUSSIAN

Теория формальных систем

By Смальян Р. (Смаллиан Р.)

Book information

Publisher
Наука
Year
1981
Language
russian
Format
DJVU
Filesize
4 MB (4105469 bytes)
Series
Математическая логика и основания математики, 21
Pages
208\208
Topic
Mathematics Logic
Library
Kolxo3
DPI
300
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2009-07-20 03:45:11
Математика;Математическая логика

Description

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

Similar books