Object

Title: 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:


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

click here to follow the link

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

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

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

Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (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

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

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

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

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

Object collections:

Last modified:

Oct 11, 2024

In our library since:

Mar 5, 2020

Number of object content hits:

18

All available object's versions:

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

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Edition name Date
On Lower Bounds for Proofs Sizes in Frege Systems Oct 11, 2024

Objects

Similar

This page uses 'cookies'. More information