О нижних оценках выводов в системах Фреге с подстановками

Հոդվածում ապացուցված Է, որ գոյություն ունեն O(n) երկարության նույնաբանություններ, որոնց արտածման քայլերի քանակը և երկարությունը գնահատվում են համապատասխանաբար O(n) և O(n2) կարգի ֆունկցիաներով և' Ֆրեգեյի համակարգում, և' պարզ տեղադրության կանոնը պարունակող Ֆրեգեի համակարգում: Ապացույցը տրվում Է հոդվածում ներմուծված նույնաբանությունների Էական ենթաբանաձևերի գաղափարի հիման վրա:

Հրատարակության վայրը:

Երևան

Հրատարակիչ:

ՀՀ ԳԱԱ հրատ.

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

2000-09-15

Ձևաչափ:

pdf

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

oai:arar.sci.am:45795

Դասիչ:

АЖ 144

Թվայնացում:

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

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

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

Խորագիր և բանալի բառեր:

Science Չուբարյան Ա. Ա. Chubaryan A. A.

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

Digital Library > Հոդվածներ

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

Oct 11, 2024

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

Mar 5, 2020

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

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

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

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

RDF

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

OAI-PMH

ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA

Հրատարակության անուն	Ամսաթիվ
О нижних оценках выводов в системах Фреге с подстановками	Oct 11, 2024

Օբյեկտ

Վերնագիր: О нижних оценках выводов в системах Фреге с подстановками

Ստեղծողը:

Տեսակ:

Հրապարակման մանրամասներ:

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

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

Հատոր:

Համար:

ISSN:

Պաշտոնական URL:

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

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

Աջակից(ներ):

Ծածկույթ:

Ամփոփում:

Հրատարակության վայրը:

Հրատարակիչ:

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

Ձևաչափ:

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

Դասիչ:

Թվայնացում:

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

Խորագիր և բանալի բառեր:

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

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

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

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

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

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

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

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

Նման

Կապի մանրամասներ

Հասցե

Հեռախոս

Էլ․ փոստ

Այցելեք մեզ։