"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)
Описан метод построения некоей дедуктивно полной системы исчисления высказываний для k-значной логики (k ≥ 3). Обобщены понятия определяющего конъюнкта и определяющей дизъюнктивной нормальной формы, ранее введенные первым соавтором для двузначных булевых функций, и на их основе построены системы Еk, аналогичные системе резолюций. Для некоторой последовательности k-значных тавтологий получены одинаковые по порядку верхние и нижние оценки основных сложностных характеристик выводов в описанных системах. Նկարագրված է արտածման որոշ համակարգերի կառուցման եղանակը k-արժեք (k ≥ 3) տրամաբանությունների համար: Ընդհանրացված են նախկինում առաջին համահեղինակի կողմից երկարժեք բուլյան ֆունկցիաների համար ներմուծված որոշիչ կոնյունկտի և որոշիչ դիզյունկտիվ նորմալ ձևի գաղափարները և դրանց հիման վրա կառուցված են Еk համակարգերը, որոնք նման են ռեզոլյուցիոն համակարգերին: k-արժեք նույնաբանությունների որոշակի հաջորդականությունների համար ստացված են նույն կարգի վերին և ստորին գնահատականներ նկարագրված համակարգերում արտածման բարդությունների հիմնական բնութագրիչների համար: Some method for construction a deductive full system of propositional calculi for k-valued (k ≥ 3) logic is described. Earlier introduced by the first coauthor the notions of determinative conjunct and determinative disjunctive normal form for two-valued Boolean functions are generalized and on the base of it the systems Еk , analogous to resolution systems, are constructed. The same by order upper and lower bounds for the main proof complexity characteristics in described systems are obtained for some sequence of k-valued tautologies.
Երևան
oai:arar.sci.am:46746
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Oct 11, 2024
Mar 5, 2020
14
https://arar.sci.am/publication/52112
Edition name | Date |
---|---|
О некоторых системах доказательств для многозначных логик и сложностях выводов в них | 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
Board Editorial Պատ․ խմբ՝. Հ․ Գ․ Ինճիկյան (1966-1968) Գլխավոր խմբ.՝ Ծ․ Պ․ Աղայան (1969-1972) Վ․ Ա․ Միքայելյան (1972-1987) Ա․ Ա․ Խառատյան (1988-2017) Պ․ Ավետիսյան (2017-)