Օբյեկտ
Վերնագիր: On an Algebraic Classification of MultidimensionalRecursively Enumerable Sets Expressible in FormalArithmetical Systems ; Об алгебраической классификации многомерных рекурсивноперечислимых множеств, выразимых в формальныхарифметических системах
Ամփոփում:
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.
;
Вводятся и исследуются алгебраические представления многомерных рекурсивно перечислимых множеств, которые выразимы в системах формальной арифметики, основанных на сигнатурах (0,=, S,+) , (0,=,<, S) , (0,=, S) , где S(x) = x +1. Устанавливается эквивалентность между алгебраическими и логическими представлениями многомерных рекурсивно перечислимых множеств, выразимых в указанных системах.
Հանձնման ամսաթիվը:
Ընդունման ամսաթիվը:
Նույնականացուցիչ:
oai:noad.sci.am:135925
ISSN:
Լեզու:
Ամսագրի կամ հրապարակման վերնագիր:
Mathematical Problems of Computer Science
Հատոր:
URL:
լրացուցիչ տեղեկատվություն:
Կազմակերպության անվանում:
Institute for Informatics and Automation Problems
Երկիր:
Ինդեքսավորում:
Օբյեկտի հավաքածուներ:
- Digital Library > Ակադեմիական ինստիտուտներ > ՀՀ ԳԱԱ Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ > Հրապարակումներ
Վերջին անգամ ձևափոխված:
Mar 4, 2021
Մեր գրադարանում է սկսած:
Jul 27, 2020
Օբյեկտի բովանդակության հարվածների քանակ:
25
Օբյեկտի բոլոր հասանելի տարբերակները:
https://noad.sci.am/publication/149518
Ցույց տալ նկարագրությունը RDF ձևաչափով:
Ցույց տալ նկարագրությունը OAI-PMH ձևաչափով։
| Հրատարակության անուն | Ամսաթիվ |
|---|---|
| Seda N. Manukian, On an Algebraic Classification of MultidimensionalRecursively Enumerable Sets Expressible in FormalArithmetical Systems | Mar 4, 2021 |
