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

Free Download

Authors:

Series: Математическая логика и основания математики, 21

Size: 4 MB (4105469 bytes)

Pages: 208/208

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category: Tags: ,

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

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

Reviews

There are no reviews yet.

Be the first to review “Теория формальных систем”

Related products

Shopping Cart
Scroll to Top