ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

Арифметические функции с неопределенными значениями аргументов. Вычислимость и λ-определимость

Нигиян, С. А. (2014) Арифметические функции с неопределенными значениями аргументов. Вычислимость и λ-определимость. ՀՀ ԳԱԱ Զեկույցներ, 114 (1). pp. 7-13. ISSN 0321-1339

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
332Kb

Abstract

Рассматриваются арифметические функции с неопределенными значениями аргументов. Доказывается -определимость частично рекурсивных функций с неопределенными значениями аргументов. Доказывается существование монотонных, не естественно расширенных, сильно вычислимых арифметических функций с неопределенными значениями аргументов, которые не λ-определимы. Доказывается также существование монотонных, не естественно расширенных, сильно вычислимых арифметических функций с неопределенными значениями аргументов, которые λ-определимы. Աշխատանքում դիտարկվում են արգումենտների անորոշ արժեքներով թվաբանական ֆունկցիաներ: Ապացուցվում է արգումենտների անորոշ արժեքներով մասնակի կարգընթաց ֆունկցիաների λ-որոշելիությունը: Ապացուցվում է մոնոտոն, բնական չընդլայնված, ուժեղ հաշվարկելի արգումենտների անորոշ արժեքներով թվաբանական ֆունկցիաների գոյությունը, որոնք λ-որոշելի չեն: Ապացուցվում է նաև մոնոտոն, բնական չընդլայնված, ուժեղ հաշվարկելի արգումենտների անորոշ արժեքներով թվաբանական ֆունկցիաների գոյությունը, որոնք λ-որոշելի են: Arithmetical functions with indeterminate values of arguments are considered. The -definability for partially recursive functions with indeterminate values of arguments is proved. It is proved that there exist monotonic, not naturally extended, strong computable arithmetical functions with indeterminate values of arguments, which are not λ-definable. It is also proved that there exist monotonic, not naturally extended, strong computable arithmetical functions with indeterminate values of arguments, which are λ-definable.

Item Type:Article
Additional Information:Արգումենտների անորոշ արժեքներով թվաբանական ֆունկցիաներ: Հաշվարկելիություն և λ-որոշելիություն / Ս. Ա. Նիգիյան։ Arithmetical Functions with Indeterminate Values of Arguments. Computability and λ-definability / S. A. Nigiyan.
Uncontrolled Keywords:арифметическая функция, неопределенное значение аргумента, вычислимость, λ-определимость
Subjects:Q Science > QA Mathematics
ID Code:6161
Deposited By:NAS Reports
Deposited On:30 May 2014 13:09
Last Modified:30 May 2014 13:09

Repository Staff Only: item control page