ՈՒսումնական ձեռնարկ
Մաթեմատիկական ֆիզիկայի հավասարումներ: Խնդիրներ և լուծումներ:
2023
226
Հրապարակումներ
Դասագիրք
Մաթեմատիկական անալիզի հիմունքներ
2023
320
Հոդված
The Non-Classical Problem of Thermoelastic Stability of an Elastically Restrained Orthotropic Plate of Variable Thickness
Հոդված
On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus
Հոդված
O сложностях выводов балансированных формул в двух пропозициональных системах выводов
Հոդված
Сравнение длин линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний
Հոդված
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS
Հոդված
Relations between the Proof Complexities in Frege Systems, Deep-Inference Proof Systems KS and eKS
Հոդված
О СУЩЕСТВОВАНИИ НЕПРЕРЫВНЫХ СЕЛЕКЦИЙ МНОГОЗНАЧНОГО ОТОБРАЖЕНИЯ, СВЯЗАННОГО С ЗАДАЧЕЙ МИНИМИЗАЦИИ ФУНКЦИОНАЛА
Հոդված
ON THE PALETTE INDEX OF GRAPHS HAVING A SPANNING STAR
Հոդված
Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems
ՈՒսումնական ձեռնարկ
Введение в метод конечных элементов
2022
142
Հոդված
Analytical Inversion of Tridiagonal Hermitian Matrices
ՈՒսումնական ձեռնարկ
Մատրիցային անալիզի տարրեր
2022
224
Հոդված
On the Product of Subsets in Periodic Groups
Հոդված
On a result concerning algebraic curves passing through n-independent nodes
Հոդված
Recognition of Geometric Images by Linguistic Method
Հոդված
An Approach to Developing and Implementing a Recommendation System
Հոդված
ИССЛЕДОВАНИЕ СВОЙСТВ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИДВУХ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ КЛАССИЧЕСКОЙ ЛОГИКИ
