Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Faculty of Informatics and Applied Mathematics
:
>
A. H. Gharibyan
Оn locally-balanced 2-partitions of some classes of graphs (Գրաֆների որոշ դասերի լոկալ-հավասարակշռված 2-տրոհումների մասին)
2020 | Article
ԵՊՀ Գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2020, հ. 54, #1, էջ 9-19
|
λ-definability of built-in McCarthy functions as functions with indeterminate values of arguments (Ներդրված Մակկարտիի ֆունկցիանների λ-որոշելիությունը, որպես արգումենտների անորոշ արժեքներով ֆունկցիաներ)
2019 | Article
ԵՊՀ Գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2019, հ. 53, #3, էջ 191-202
|
R. M. Kirakosyan, S. P. Stepanyan
The non-classical problem of an orthotropic beam of variable thickness with the simultaneous action of its own weight and compressive axial forces (Փափախական հաստության օրթոտրոպ հեծանի ծռման ոչ դասական խնդիրը սեփական կշռի և առանցքային սեղմող ուժերի համատեղ ազդեցության դեպքում)
2019 | Article
ԵՊՀ Գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2019, հ. 53, #3, էջ 183-190
|
Թվային մեթոդներ
2019 | Book
Դասագիրք: ԵՊՀ հրատ., 2019թ․, 462 էջ
On pairs of wreath products of groups generating equal varieties
2019 | Thesis
Международная конференция, посвящённая 90-летию кафедры высшей алгебры механико-математического факультета МГУ. 2019, стр. 82-83
|
Interval Edge-Colorings of Graphs: Variations and Generalizations
2019 | Thesis
14th International Computer Science Symposium in Russia, CSR 2019, pp. 15-16
Anahit Chubaryan , Garik Petrosyan, Sergey Sayadyan
Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics
2019 | Thesis
Logic Colloquium 2019. pp. 165-166
|
Anahit Chubaryan , Artur Khamisyan
On the proof complexity in two universal proof system for all versions of many-valued logics
2019 | Thesis
Logic Colloquium 2019, p. 152-153
|
Hakop Hakopian , Davit Voskanyan
On the set of solutions of polynomial systems
2019 | Thesis
International Conference CONSTRUCTIVE THEORY OF FUNCTIONS. 2019, p. 34
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
2019 | Article
Transactions on Machine Learning and Artificial Intelligence, 2019, Volume 7, No 1, pp. 56-63
|