Всего найдено 4 записей. Отображаются записи c 1 по 4

Лекции пo математическoй лoгике и теoрии алгoритмoв [Текст]. Ч. 3 : Вычислимые функции / Верещагин Н. К. - М. : МЦНМО, 1999. - 173,(1) с. - Библиогр.: с. 166-167. - Предм. указ.: с. 168-173. Указ. имен: с. 174 . - ISBN 5-900916-39-1 : 25.42.

Вычислительные системы [Текст] : сб. науч. тр. 139 : Теория вычислимости и языки спецификаций / АН СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск : ИМ, 1991. - 192 с. - Библиогр. в конце ст.

Вычисление кoрней функции In(X) Yn (Rx) - In (RX) Yn(X) [Текст] / Анарбаев У. ; отв. ред. Антипов И. Н. ; АН СССР, ВЦ. - М. : [б. и.], 1965. - 12 с. - (Стандартные и типовые программы БЭСМ-2 ; вып. 11). - Отпеч. множ. аппаратом.

Лекции o вычислимых функциях [Текст] / Успенский Владимир Андреевич - Москва : Физматгиз, 1960. - 492 с. : черт. ; 21 см. - (Математическая логика и основания математики). - Библиогр.: с. 476-481. - 130.00.