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

«ՀՀ ԳԱԱ Տեղեկագիր: Մաթեմատիկա»-ն լույս է տեսնում 1966 թվականից՝ տարին 6 անգամ։

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

ՀՀ ԳԱԱ Տեղեկագիր: Մաթեմատիկա =Известия НАН Армении: Математика =Proceedings of the NAS Armenia: Mathematics

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

2002

Հատոր:

37

Համար:

5

ISSN:

00002-3043

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

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

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

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

Relative efficiency of a proof system in classical propositional logic / A. A. Ghubaryan.

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

Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) ; Ռ․ Վ․ Համբարձումյան (1994-2009) ; Ա․ Ա․ Սահակյան (2010-)

Ծածկոյթ:

71-84

Ամփոփում:

Вопрос об одинаковой эффективности системы резолюций и секвенциальных систем без правила сечения ставился с 1960г. (Кук, Рехов, Ургуарт). Задача частично была решена Н. Араи при различных ограничениях как на класс выводимых формул, так и на тип выводов. В статье доказано, что вышеупомянутые системы и две другие системы классической пропозициональной логики полиномиально эквивалентны. Описаны множества тавтологий длины n, для которых сложности выводов в вышеназванных четырех системах равны по порядку n, n², n³, ..., 2n/².

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

Երևան

Հրատարակիչ:

Հայաստանի ԳԱԱ

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

2002-10-18

Ձեւաչափ:

pdf

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

oai:arar.sci.am:112427

Դասիչ:

АЖ 411

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

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

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

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