Օբյեկտ

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

Ամփոփում:

Սահմանվում և հետազոտվում են (0,=, S,+) , (0,=,<, S) , (0,=, S) (որտեղ S(x) = x +1) սիգնատուրաների վրա հիմնված ձևայնացված թվաբանության համակարգերի մեջ արտահայտելի բազմաչափ անդրադարձ թվարկելի բազմությունների հանրահաշվական ներկայացումները: Հաստատվում է համարժեքություն նշված տիպի անդրադարձ թվարկելի բազմությունների հանրահաշվական և տրամաբանական ներկայացումների միջև:
; Вводятся и исследуются алгебраические представления многомерных рекурсивно перечислимых множеств, которые выразимы в системах формальной арифметики, основанных на сигнатурах (0,=, S,+) , (0,=,<, S) , (0,=, S) , где S(x) = x +1. Устанавливается эквивалентность между алгебраическими и логическими представлениями многомерных рекурсивно перечислимых множеств, выразимых в указанных системах.

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

oai:noad.sci.am:135925

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

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

Mar 4, 2021

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

Jul 27, 2020

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

4

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

https://noad.sci.am/publication/149518

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

RDF

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

OAI-PMH

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