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

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

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

2014

Հատոր:

41

ISSN:

0131-4645

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

կապին հետեւելուն համար սեղմէ հոս

Վերնագիր:

On an algebraic classification of multidimensional recursively enumerable sets expressible in formal arithmetical systems

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

Ձևայնացված թվաբանական համակարգերում արտահայտելի բազմաչափ անդրադարձ թվարկելի բազմությունների որոշ հանրահաշվական դասակարգման մասին; Об алгебраической классификации многомерных рекурсивно перечислимых множеств, выразимых в формальных арифметических системах

Ստեղծողը:

Seda N. Manukian

Խորագիր:

Mathematics ; Algebra

Չվերահսկուող բանալի բառեր:

Մանուկյան Ս. ; Манукян С.

Ծածկոյթ:

103-113

Ամփոփում:

Algebraic representations of multidimensional recursively enumerable sets which are expressible in formal arithmetical systems based on the signatures(0,=, S,+), (0,=, < , S), (0,=, S), where S(x) = x +1, are introduced and investigated. The equivalence is established between the algebraic and logical representations of multidimensional recursively enumerable sets expressible in the mentioned systems.

Հրատարակիչ:

АН Арм. ССР

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

2014-09-10

Տեսակ:

Հոդված

Ձեւաչափ:

pdf

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

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