Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Faculty of Informatics and Applied Mathematics
:
>
Anahit Chubaryan , Artur Khamisyan
Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics
2019 | Article
East African Scholars Journal of Engineering and Computer Sciences, 2019, 2(2), pp. 69-74
|
О непрерывных селекциях многозначных отображений с почти выпуклыми значениями
2019 | Article
Известия НАН РА. Математика (Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences)), 2019, 54, 1, стр. 60-75
Г. М. Зограбян, С. М. Саядян, А. А. Чубарян
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
2019 | Article
ՀՀ ԳԱԱ զեկույցներ, 2019, 119, 1, էջ 33-39
|
Universal system for many-valued logic, based on splitting method, and some of its properties
2019 | Article
International Journal of Innovative Studies in Sciences and Engineering Technology, 2019, Volume 5, Issue 5, pp. 52-55
|
Petros A. Petrosyan , Carl Johan Casselgren
Some results on the palette index of graphs
2019 | Article
Discrete mathematics and theoretical computer science. 2019, Vol. 21, no. 3, #11, pp. 1-20
О возможности внутренного резонанса сдвиговых частот упругого волновода, обусловленного смешанными краевыми условиями
2019 | Article
Известия НАН РА. Механика, 2019, 72, 2, стр. 48-56
|
Hakop Hakopian , Davit Voskanyan
On the Intersection Points of Two Plane Algebraic Curves
2019 | Article
Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences), 2019, 54, 2, pp. 90-97
Hakop Hakopian , Vahagn Vardanyan
On the usage of lines in GCn sets
2019 | Article
Advances in Computational Mathematics, 2019, 46, pp. 1-23
H. R. Bolibekyan , A. R. Baghdasaryan
On Some Systems of Propositional Minimal Logic with Loop Detection
2019 | Article
ՀՀ ԳԱԱ զեկույցներ, 2019, 119, N2, էջ 110-115
|
A. A. Chubaryan , H. A. Tamazyan
On lower bounds for proofs sizes in Frege systems
2019 | Article
ՀՀ ԳԱԱ զեկույցներ, 2019, 119, 2, էջ 116-121
|