Նիւթ

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

Journal or Publication Title:

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

Date of publication:

2014

Volume:

41

ISSN:

0131-4645

Additional Information:

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

Other title:

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

Coverage:

103-113

Abstract:

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.

Publisher:

АН Арм. ССР

Date created:

2014-09-10

Format:

pdf

Identifier:

oai:arar.sci.am:258808

Location of original object:

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

Նիւթին հաւաքածոները:

Վերջին անգամ ձեւափոխուած է:

Aug 18, 2025

Մեր գրադարանին մէջ է սկսեալ:

Jul 24, 2020

Նիւթին բովանդակութեան հարուածներուն քանակը:

19

Նիւթին բոլոր հասանելի տարբերակները:

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

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

RDF

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

OAI-PMH

Օբյեկտի տեսակ՝

Նման

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