- частично рекурсивный оператор, к-рый определен на всех всюду определенных функциях и переводит всюду определенные функции во всюду определенные. В. Е. Плиско.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
ЧАСТИЧНО РЕКУРСИВНЫЙ ОПЕРАТОР — отображение класса всех одноместных функций в себя, определяемое следующим образом. Пусть Ф z нек рый перечисления оператор. С этим оператором естественным образом связан другой оператор к рый действует на одноместных функциях. А именно, всякая… … Математическая энциклопедия
