Նիւթ

Վերնագիր: On Lower Bounds for Proofs Sizes in Frege Systems

Ստեղծողը:

Chubaryan, A. A. ; H. A. Tamazyan

Տեսակ:

Հոդված

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

"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:

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

ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA

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

2019

Հատոր:

119

Համար:

2

ISSN:

0321-1339

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


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

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

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

Ֆրեգեի համակարգերում արտածումների երկարությունների ստորին գնահատականների վերաբերյալ; О нижних оценках длин выводов в системах Фреге

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

Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)

Ծածկույթ:

116-121

Ամփոփում:

The trivial exponential upper bounds and only Ω(n2 ) lower bound of proof sizes and Ω(n) lower bound of proof steps for tautologies with the length n were known for Frege systems. Recently the super-linear lower bound for proof steps has been obtained by first coauthor (with Armine Chubaryan and Arman Tshitoyan. Ֆրեգեի համակարգերում n երկարությամբ նույնաբանությունների համար հայտնի էին վերին ցուցչային գնահատականը և միայն Ω(n2 ) ստորին գնահատականը արտածման երկարության համար ու Ω(n) ստորին գնահատականը արտածման քայլերի համար: Վերջերս առաջին համահեղինակի (Արմինե Չուբարյանի և Արման Ճիտոյանի համահեղինակությամբ) կողմից ստացվել էր սուպեր-գծային գնահատական արտածման քայլերի համար: Для систем Фреге были известны лишь тривиальные экспоненциальные верхние оценки и только Ω(n) нижняя оценка для количества шагов и только Ω(n ) нижняя оценка для длин выводов тавтологий длины n. Недавно первым соавтором (совместно с Армине Чубарян и Арманом Читояном) была получена суперлинейная оценка для количества шагов выводов.

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

Երևան

Հրատարակիչ:

ՀՀ ԳԱԱ հրատ.

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

2019-06-10

Ձևաչափ:

pdf

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

oai:arar.sci.am:46901

Դասիչ:

АЖ 144

Թվայնացում:

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

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

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

Նիւթին հաւաքածոները:

Վերջին անգամ ձեւափոխուած է:

Oct 11, 2024

Մեր գրադարանին մէջ է սկսեալ:

Mar 5, 2020

Նիւթին բովանդակութեան հարուածներուն քանակը:

18

Նիւթին բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/52285

Ցոյց տուր նկարագրութիւնը RDF ձեւաչափով:

RDF

Ցոյց տուր նկարագրութիւնը OAI-PMH ձեւաչափով։

OAI-PMH

Հրատարակութեան անունը Թուական
On Lower Bounds for Proofs Sizes in Frege Systems Oct 11, 2024

Օբյեկտի տեսակ՝

Նման

Այս էջը կ'օգտագործէ 'cookie-ներ'։ Յաւելեալ տեղեկատուութիւն