Հրապարակման մանրամասներ:
"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ, 2026-ից՝ 2 անգամ։
Ամսագրի կամ հրապարակման վերնագիր:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Հրապարակման ամսաթիվ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Լրացուցիչ տեղեկություն:
Ափինյան Լ. Ա., Չուբարյան Ա. Ա., Apinyan L. A., Chubaryan A. A.
Վերնագիր:
Այլ վերնագիր:
Ասույթային հաշվի մի շարք համակարգերում բանաձևերի որոշ ընտանիքների գծային և ծառատիպ արտածումների երկարությունների համեմատություն ; Linear and Tree-Like Proofs Sizes Comparison for Any Formulae Families in Some Systems of Propositional Calculus
Ստեղծողը:
Апинян, Л. A. ; Чубарян, А. A.
Աջակից(ներ):
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018)
Խորագիր:
Չվերահսկվող բանալի բառեր:
разновидности секвенциальных систем исчисления высказываний ; система обобщенных расщеплений ; количество шагов и длина вывода ; экспоненциальное ускорение
Ծածկույթ:
Ամփոփում:
Для некоторых семейств формул исследованы длины как линейных, так и древовидных выводов в ряде систем исчисления высказываний: в разновидностях секвенциальных систем (с кванторами, с правилом подстановки, с правилом сечения, без правила сечения, монотонных), а также в системе обобщенных расщеплений. Сравнение полученных результатов с ранее полученными оценками для шагов тех же разновидностей выводов тех же формул и в тех же системах указывает на определенную значимость именно длины вывода как основной сложностной характеристики выводов.
Բանաձևերի որոշ ընտանիքների համար ուսումնասիրված են գծային և ծառատիպ արտածումների երկարությունները ասույթային հաշվի մի քանի համակարգերում՝ սեկվենցիալ համակարգերի տարատեսակներում (ծավալիչներով, տեղադրման կանոնով, հատույթի կանոնով, առանց հատույթի կանոնի, մոնոտոն), ինչպես նաև ընհանրացված տրոհումների համակարգում: Աշխատանքում ստացված արդյունքների համեմատությունը նախկինում ստացված նույն բանաձևերի նշված համակարգերում արտածումների քայլերի համար ստացված արդյունքների հետ փաստում է արտածումների երկարության՝ որպես բարդության բնութագրիչի արժևորումը:
The sizes of linear and tree-like proofs for any formulae families are investigated in some systems of propositional calculus: in different sequent systems (with quantifier rules, with substitution rule, with cut rule, without cut rule, monotone) and in the generalization splitting system. The comparison of obtained here results with the bounds, wich are obtained for the steps of proofs for the same formulas in the mentioned systems former, shows the importance of the size of proof as complexities characteristic
Հրատարակության վայրը:
Երևան
Հրատարակիչ:
Տեսակ:
Ձևաչափ:
Նույնացուցիչ:
կապին հետեւելուն համար սեղմէ հոս
Դասիչ:
Թվայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան