Алгоритмы и рекурсивные функции /

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

Ամբողջական նկարագրություն

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Мальцев, Анатолий Иванович
Ձևաչափ: Գիրք
Լեզու:Russian
Հրապարակվել է: Москва : Наука. Гл. ред. физ.-мат. лит., 1986.
Հրատարակություն:2-е изд.
Խորագրեր:
Алгоритмы
Функции (мат.) рекурсивные
Рекурсивные функции
Математическая логика
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
Նկարագրություն
Ամփոփում:[ Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики ].
Նյութի նկարագրություն:В прикл.: Диофантовость рекурсивно перечислимых множеств и предикатов / Д. А. Захаров
Ֆիզիկական նկարագրություն:367 с. : ил.
Մատենագիտություն:Библиогр.: с. 348-354, 364 (126 назв.)
Предм. указ.: с. 365-367

Նմանատիպ նյութեր