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

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

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

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

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

1999

Հատոր:

34

Համար:

5

ISSN:

00002-3043

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

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

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

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

Complexity of deductions in a system of classical propositional calculus.

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

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

Ծածկոյթ:

34-43

Ամփոփում:

На основе метода Кальмара выводимости тавталогий в классическом исчислении высказываний мы строим полную аксиоматическую систему С со следующими свойствами : 1) каждую тавтологию ψ можно вывести в C не более, чем за с12м l шагов где m = /Mψ , Mψ - характеристическое множество подформул ψ,l - длина ψ, a с1 - некоторая постоянная 2) существует класс тавтологий такой, что количество шагов выводов в C больше, чем с22m, где с2- некоторая постоянная.

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

Երևան

Հրատարակիչ:

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

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

1999-10-18

Ձեւաչափ:

pdf

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

oai:arar.sci.am:112261

Դասիչ:

АЖ 411

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

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

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

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