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

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

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

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

А. А. Чубарян

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

Science

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

223-227

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

Երևան

ՀՀ ԳԱԱ հրատ.

2000-09-15

Հոդված

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

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

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

Հատոր:

Համար:

ISSN:

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

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

Վերնագիր:

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

Ստեղծողը:

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

Խորագիր:

Չվերահսկվող բանալի բառեր:

Ծածկույթ:

Ամփոփում:

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

Հրատարակիչ:

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

Տեսակ:

Ձևաչափ:

Դասիչ:

Թվայնացում:

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