Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Faculty of Informatics and Applied Mathematics
:
>
Chubaryan A. A. , Petrosyan G. W
The relations between the proof complexities of strongly equal classical tautologies in Frege systems
2016 | Article
Российско-Китайский международный научный журнал «Содружество», 2016, № I (1), стр. 78-81
|
Задача термоупругости ортотропной пластинки-полосы переменной толщины при наличии упруго защемленной опоры
2016 | Article
ՀՀ ԳԱԱ զեկույցներ, 2016թ․, 116, 1, 26-33 էջ, Հայաստան
|
Ռ. Մ. Կիրակոսյան, Ս. Պ. Ստեփանյան
Задача изгиба упруго защемленной ортотропной круглой пластинки, опирающейся на упругом основании
2016 | Article
ՀՀ ԳԱԱ զեկույցներ, 2016թ․, 116, 2, 120-127 էջ, Հայաստան
А. А. Чубарян , А. С. Читоян, А. А. Хамисян
О некоторых системах доказательств для многозначных логик и сложностях выводов в них
2016 | Article
ՀՀ ԳԱԱ զեկույցներ, 2016թ․, том 116, N2, 108-114 էջ, Հայաստան
|
Анаит Чубарян , Артур Хамисян
Новый метод доказательства полноты пропозициональной системы трехзначной логики Лукасевича и его приложения
2016 | Article
Evolutio. Естественные науки, 2016, Вып 3 , стр. 9-12
|
Anahit Chubaryan , Garik Petrosyan
Frege systems are no monotonous
2016 | Article
Evolutio. Естественные науки, 2016, Вып 3, стр. 12-14
|
The Bending Problem of Hinged Circular Plate on an Elastic Foundation
2016 | Article
Russian Journal of Mathematical Research. Series A, 2016, Vol.(4),Is. 2, 64-70 pp.
Р. М. Киракосян, С. О. Степанян
Неклассическая краевая задача упруго защемлённой по краю частично нагружённой круглой ортотропной пластинки
2016 | Article
ՀՀ ԳԱԱ տեղեկագիր, Մեխանիկա, 2016թ․, 69 (3), 59-70 էջ, Հայաստան
|
Гладкость обобщённых форм колебаний в задаче колебаний оболочки вращения в зависимости от некоторых несуммируемых коэффициентов
2016 | Article
Известия НАН Армении. Механика. 2016, 69, №3, стр. 28-40
|
Asymptotic Estimates of the Number of Solutions of Systems of Equations with Partial Boolean Functions
2016 | Article
Mathematical Problems of Computer Science, 2016, 45, 14-18 pp.
|