"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
կապին հետեւելուն համար սեղմէ հոս
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)
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. Недавно первым соавтором (совместно с Армине Чубарян и Арманом Читояном) была получена суперлинейная оценка для количества шагов выводов.
Երևան
oai:arar.sci.am:46901
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Oct 11, 2024
Mar 5, 2020
18
https://arar.sci.am/publication/52285
Հրատարակութեան անունը | Թուական |
---|---|
On Lower Bounds for Proofs Sizes in Frege Systems | Oct 11, 2024 |
E. P. Serrano M. I. Troparevsky M. A. Fabio Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) Ռ․ Վ․ Համբարձումյան (1994-2009) Ա․ Ա․ Սահակյան (2010-)
Edita E. Gichunts
Sargsyan, Shushanik A. Edita G. Gzoyan
H. V. Astsatryan V. G. Sahakyan Yu. H. Shoukourian Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)
Seda N. Manukian
Armine A. Chubaryan A. S. Tchitoyan Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)