Հրապարակման մանրամասներ:
«ՀՀ ԳԱԱ Տեղեկագիր: Մաթեմատիկա»-ն լույս է տեսնում 1966 թվականից՝ տարին 6 անգամ։
Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիվ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Լրացուցիչ տեղեկություն:
սեղմիր այստեղ կապին հետևելու համար
Վերնագիր:
Относительная эффективность некоторых систем доказательств классической пропозициональной логики
Այլ վերնագիր:
Relative efficiency of a proof system in classical propositional logic / A. A. Ghubaryan.
Ստեղծողը:
Աջակից(ներ):
Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) ; Ռ․ Վ․ Համբարձումյան (1994-2009) ; Ա․ Ա․ Սահակյան (2010-)
Խորագիր:
Ծածկույթ:
Ամփոփում:
Вопрос об одинаковой эффективности системы резолюций и секвенциальных систем без правила сечения ставился с 1960г. (Кук, Рехов, Ургуарт). Задача частично была решена Н. Араи при различных ограничениях как на класс выводимых формул, так и на тип выводов. В статье доказано, что вышеупомянутые системы и две другие системы классической пропозициональной логики полиномиально эквивалентны. Описаны множества тавтологий длины n, для которых сложности выводов в вышеназванных четырех системах равны по порядку n, n², n³, ..., 2n/².
Հրատարակության վայրը:
Երևան
Հրատարակիչ:
Ստեղծման ամսաթիվը:
Տեսակ:
Ձևաչափ:
Դասիչ:
Թվայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան