Теория формальных систем
Смальян Р. (Смаллиан Р.)
В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгоритма.
Kateqoriyalar:
İl:
1981
Nəşriyyat:
Наука
Dil:
russian
Səhifələr:
208
Seriyalar:
Математическая логика и основания математики, 21
Fayl:
DJVU, 3.92 MB
IPFS:
,
russian, 1981
Litres
Kitab mağazasını əlavə etmək istəyirsiniz? Bizimlə support@z-lib.do ilə əlaqə saxlayın
Faylları çevirin
Daha çox axtarış nəticəsi
Digər üstünlüklər 
