Vol. 62 (2024): Mathematical Problems of Computer Science

View Vol. 62 (2024): Mathematical Problems of Computer Science

Printed on the basis of decision N 28-11/1 of the session of the Editorial Council dated November 28, 2024.

Published: 2024-12-09

Articles

On Quantified Splitting Proof System for Propositional Calculi

Anahit A. Chubaryan

9-16
- PDF
On the Proof of the Existence of Nontotal Partial Degree and on the Turing Degree of Representative of This Partial Degree

Arsen H. Mokatsian

17–24
- PDF
Adequacy and Application of Models of Cognizing by Combinatorial Games

Sedrak V. Grigoryan, Zaven H. Naghashyan

25–42
- PDF
Advanced Queueing Model of a Multiprocessor Computing System

Artur P. Vardanyan

43–51
- PDF
Advanced Queueing Model of a Multiprocessor Computing System

George Giorgobiani, Vakhtang Kvaratskhelia, Vazha Tarieladze

52–58
- PDF
Approach and Challenges of Training an Armenian Version of BERT Language Model

Mikayel K. Gyurjyan, Andranik Hayrapetyan

59–71
- PDF
Оbfuscated Мalware Detection Model

Timur V. Jamgharyan, Vaghashak S. Iskandaryan, Artak A. Khemchyan

72–81
- PDF
Analyzing steady state Variance in Hebbian Learning: A Moment Closure Approach

Edgar A. Vardanyan

82–93
- PDF