Օբյեկտ

Վերնագիր: On an algebraic classification of multidimensional recursively enumerable sets expressible in formal arithmetical systems

Ստեղծողը:

Seda N. Manukian

Տեսակ:

Article

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

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

Ծածկույթ:

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

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

oai:arar.sci.am:258808

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

НАН РА. Математические вопросы кибернетики и вычислительной техники=Mathematical problems of computer science

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

2014

Հատոր:

41

ISSN:

0131-4645

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

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

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Aug 27, 2020

Մեր գրադարանում է սկսած:

Jul 24, 2020

Օբյեկտի բովանդակության հարվածների քանակ:

0

Օբյեկտի բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/281925

Ցույց տուր նկարագրությունը RDF ձևաչափով:

RDF

Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։

OAI-PMH

Այս էջը օգտագործում է 'cookie-ներ'։ Ավելի տեղեկատվություն