Հրապարակման մանրամասներ:

"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:

Ամսագրի կամ հրապարակման վերնագիր:

ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA

Հրապարակման ամսաթիվ:

2014

Հատոր:

114

Համար:

1

ISSN:

0321-1339

Պաշտոնական URL:

Լրացուցիչ տեղեկություն:

click here to follow the link

Այլ վերնագիր:

Արգումենտների անորոշ արժեքներով թվաբանական ֆունկցիաներ: Հաշվարկելիություն և λ-որոշելիություն / Ս. Ա. Նիգիյան։ Arithmetical Functions with Indeterminate Values of Arguments. Computability and λ-definability / S. A. Nigiyan.

Աջակից(ներ):

Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)

Ծածկույթ:

7-13

Ամփոփում:

Рассматриваются арифметические функции с неопределенными значениями аргументов. Доказывается -определимость частично рекурсивных функций с неопределенными значениями аргументов. Доказывается существование монотонных, не естественно расширенных, сильно вычислимых арифметических функций с неопределенными значениями аргументов, которые не λ-определимы. Доказывается также существование монотонных, не естественно расширенных, сильно вычислимых арифметических функций с неопределенными значениями аргументов, которые λ-определимы. Աշխատանքում դիտարկվում են արգումենտների անորոշ արժեքներով թվաբանական ֆունկցիաներ: Ապացուցվում է արգումենտների անորոշ արժեքներով մասնակի կարգընթաց ֆունկցիաների λ-որոշելիությունը: Ապացուցվում է մոնոտոն, բնական չընդլայնված, ուժեղ հաշվարկելի արգումենտների անորոշ արժեքներով թվաբանական ֆունկցիաների գոյությունը, որոնք λ-որոշելի չեն: Ապացուցվում է նաև մոնոտոն, բնական չընդլայնված, ուժեղ հաշվարկելի արգումենտների անորոշ արժեքներով թվաբանական ֆունկցիաների գոյությունը, որոնք λ-որոշելի են: 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.

Հրատարակության վայրը:

Երևան

Հրատարակիչ:

ՀՀ ԳԱԱ հրատ.

Ստեղծման ամսաթիվը:

2014-03-15

Ձևաչափ:

pdf

Նույնացուցիչ:

oai:arar.sci.am:46624

Դասիչ:

АЖ 144

Թվայնացում:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Բնօրինակի գտնվելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան