Article
О количестве минимальных тавтологий и свойствах их выводов в ряде систем классической и неклассических логик
Publications
Article
О сходимости частичных сумм рядов Франклина к +∞
Article
Computing the Moor-Penrose Inverse for Bidiagonal Matrices
Article
ՀՀ տնտեսական աճի, պետբյուջեի հարկային մուտքերի և զբաղվածության վրա օտարերկրյա ուղղակի ներդրումների ազդեցության գնահատումը
Manual
Ծրագրավորում
2019
234
Book
Թվային մեթոդներ
2019
462
Book
Թվային մեթոդներ
2019
462
Article
A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESS OF βδ-NORMAL FORM OF TYPED λ-TERMS FOR THE CANONICAL NOTION OF δ-REDUCTION
Article
Some properties of several proof systems for Intuitionistic, Johansson’s and Monotone propositional logics
Article
"Слабые” системы выводов классического исчисления высказываний не монотонны
Article
Two types of universal proof systems for all variants of many-valued logics and some properties of them
Article
Some bounds on the number of colors in interval and cyclic interval edge colorings of graphs
Article
Some results on cyclic interval edge colorings of graphs
Article
O свойстве немонотонности некоторых систем выводов классического исчисления высказываний
Article
Uniqueness Theorems for Series by Vilenkin System
Article
О ПРЕДСТАВЛЕНИИ ФУНКЦИЙ АБСОЛЮТНО СХОДЯЩИМИСЯ РЯДАМИ ПО H -СИСТЕМАМ
Article
On the Existence of Solutions of Two Optimization Problems
Article
On Locally-Balanced 2-Partitions of Complete Multipartite Graphs
Article
Теоремы единственности для обобщенной системы Хаара
