- Главная
- Faculty
- Факультет информатики и прикладной математики
- Публикации
Публикации
Статья
On the rate of convergence for approximation of an eigenvalue problem describing vibrations of axisymmetric revolution elastic shells
Статья
О некоторых свойствах минимальных тавтологий классической и неклассических логик
Статья
Условия минимума гладкой функции на границе квазидифференцируемого мниожества
Статья
O НЕМОНОТОНОСТИ ГИЛЬБЕРТОВСКИХ СИСТЕМ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ КЛАССИЧЕСКИХ И НЕКЛАССИЧЕСКИХ ЛОГИК
Статья
On three types of universal propositional proof systems for all versions of many-valued logics and some its properties.
Статья
On monotonous and strongly monotonous properties of some propositional proof systems for different logics.
Статья
Էլեկտրոնային պիտակներով թվային ծառայությունների ստեղծման հիմնական սկզբունքները
Статья
On the Noether and the Cayley–Bacharach Theorems with PD Multiplicities
Статья
On non-monotonous properties of some classical and nonclassical propositional proof systems
Статья
On locally-balanced 2-partitions of bipartite graphs
Статья
ON THE LOCALIZATION OF SHEAR VIBRATIONS IN A COMPOSITE ELASTIC SEMI-INFINITE FLAT WAVEGUIDE
Статья
Об отношениях сложностей выводов в ряде систем исчисления высказываний.
Статья
О правиле множителей Лагранжа в задачах с ограничениями типа равенства, задаваемые квазидифференцируемыми функциями
Статья
IMAGE INTERPOLATION USING MIXED SPLINES
Статья
One Approach to the Problem of the Existence of a Solution in Neural Networks
Статья
Neural Network Effectiveness Evaluation While the Intersection of Images in the Receptor Field
Статья
On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic