Հոդված
О количестве минимальных тавтологий и свойствах их выводов в ряде систем классической и неклассических логик
Հրապարակումներ
Հոդված
О сходимости частичных сумм рядов Франклина к +∞
Հոդված
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
Հոդված
Теоремы единственности для обобщенной системы Хаара
