Հրապարակման մանրամասներ:
«ՀՀ ԳԱԱ Տեղեկագիր: Մաթեմատիկա»-ն լույս է տեսնում 1966 թվականից՝ տարին 6 անգամ։
Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիւ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Լրացուցիչ տեղեկութիւն:
կապին հետեւելուն համար սեղմէ հոս
Վերնագիր:
Сложность выводов в одной системе классического исчисления высказываний
Այլ վերնագիր:
Complexity of deductions in a system of classical propositional calculus.
Ստեղծողը:
Աջակից(ներ):
Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) ; Ռ․ Վ․ Համբարձումյան (1994-2009) ; Ա․ Ա․ Սահակյան (2010-)
Խորագիր:
Չվերահսկուող բանալի բառեր:
Ծածկոյթ:
Ամփոփում:
На основе метода Кальмара выводимости тавталогий в классическом исчислении высказываний мы строим полную аксиоматическую систему С со следующими свойствами : 1) каждую тавтологию ψ можно вывести в C не более, чем за с12м l шагов где m = /Mψ , Mψ - характеристическое множество подформул ψ,l - длина ψ, a с1 - некоторая постоянная 2) существует класс тавтологий такой, что количество шагов выводов в C больше, чем с22m, где с2- некоторая постоянная.
Հրատարակութեան վայրը:
Երևան
Հրատարակիչ:
Ստեղծման ամսաթիւը:
Տեսակ:
Ձեւաչափ:
Դասիչ:
Թուայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան