Նիւթ

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

Ստեղծողը:

А. А. Чубарян

Տեսակ:

Հոդված

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

"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:

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

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

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

2000

Հատոր:

100

Համար:

3

ISSN:

0321-1339

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


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

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

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

Տեղադրության գործողությունը պարունակող Ֆրեգեի համակարգերի արտածումների բարդության վերաբերյալ։ The complexity in Frege proofs with substitution.

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

Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)

Ծածկոյթ:

223-227

Ամփոփում:

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

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

Երևան

Հրատարակիչ:

ՀՀ ԳԱԱ հրատ.

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

2000-09-15

Ձեւաչափ:

pdf

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

oai:arar.sci.am:45795

Դասիչ:

АЖ 144

Թուայնացում:

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

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

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

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

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

Oct 11, 2024

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

Mar 5, 2020

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

18

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

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

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

RDF

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

OAI-PMH

Հրատարակութեան անունը Թուական
О нижних оценках выводов в системах Фреге с подстановками Oct 11, 2024

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

Նման

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