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