Vol. 38 (2012): Mathematical Problems of Computer Science

Printed on the basis of decision N 12-10/1 of session of the Scientific Council of IIAP NAS RA dated October 18 2012.

In this issue of Transactions materials of the conference “Mathematical Logic and Applications”, dedicated to the 80th anniversary of Igor D. Zaslavsky, are published. The conference took place on November 1-3 at IIAP NAS RA.

Responsibles for issue XXXVIII
Yu. M. Movsisyan

Published: 2021-12-10

Conference papers

О методе нахождения точных оценок длин выводов в системах Туэ

С. Адян

7-7
- PDF
О минимальных и максимально тупиковых n-распознающих системах натуральных чисел

С. Варданян

8-9
- PDF
Асимметрия и ядро кодированного метрического пространства

Ю. Григорьян

10-11
- PDF
О стратификации множества отображений групп

Самвел Далалян

12-12
- PDF
Об асимптотических оценках числа решений систем булевых уравнений с зависимыми переменными

Э. Егиазарян

13-14
- PDF
О представлении β-равномерных алгебр

М. Караханян

15-16
- PDF
Общее решение симметрических уравнений с четной степенью в свободном моноиде

А. Малхасян

17-17
- PDF
Зависимость бесконечномерных гомотопических групп от выбора базисной точки

Н. Мирзаханян

18-19
- PDF
О структуре Ric-полусимметрических подмногообразий

В. Мирзоян, Г. Налбандян, Р. Чахмахчян

20-22
- PDF
Свободные A-биполугруппы

Ю. Мовсисян, С. Давидов, М. Сафарян

23-25
- PDF
Новые логические связки в суперинтуиционистских логиках: подход П.С. Новикова

А. Яшин

26-28
- PDF
О существовании композиций для бесконечномерной вещественной знакопеременной квадратичной формы

А. Огникян

29-29
- PDF
Максимальное взвешенное независимое множество прямоугольников

Э. Пилипосян

30-31
- PDF
О некоторых нелинейных бесконечных систем алгебраических уравнений с матрицами типа теплица-ганкеля

Х. Хачатрян, М. Броян

32-33
- PDF
On Random Coding Bound for E-capacity Region of the Broadcast Channel With Confidential Messages

Nasrin Afshar, Evgueni Haroutunian, Mariam Haroutunian

34-36
- PDF
Dynamic Geometry of Some Polynomials

G. Aghekyan, K. Sahakyan

37-37
- PDF
Advanced Combinatorial Optimization

L. Aslanyan

38-41
- PDF
On some Systems of Minimal Propositional Logic with Loop Detection Mechanisms

Hovhannes Bolibekyan

42-43
- PDF
Some New Propositional Proof Systems for Intuitionistic and Minimal Logics

Anahit Chubaryan, Sergey Sayadyan

44-45
- PDF
On Long Cycles in Digraphs with the Meyniel-type Conditions

S. Darbinyan, I. Karapetyan

46-48
- PDF
Algebras with Fuzzy Operations

S. Davidov, J. Hatami

49-52
- PDF
On Medial-like Functional Equations

Amir Ehsani

53-55
- PDF
Information-Theoretic Approach to Biometric Identification Problem

Mariam E. Haroutunian, Lilit A. Ter-Vardanyan

56-58
- PDF
Pauly Matrix and Transformation Operators for Dirac System

T. Harutyunyan, H. Azizyan

59-60
- PDF
Many Hypotheses Parallel Distributed Detection of the Pair of Families of Probability Distributions

Farshin Hormozi, Evgueni Haroutunian

61-65
- PDF
On a Property of the n-dimensional Cube

Rafayel Kamalian, Arpine Khachatryan

66-67
- PDF
Distributivity in Symmetric Constructive Full Lambek Calculus

Michał Kozak

68-69
- PDF
Membership Functions or α-Cuts? Algorithmic (Constructivist) Analysis Justifies an Interval Approach

Vladik Kreinovich

70-71
- PDF
Extensions of Markov's Constructive Continuum and Uniform Continuity of Constructive Functions

Boris A. Kushner

72-72
- PDF
On a Neo-logicistic Conception of Natural Number

Hakob Madoyan

73-73
- PDF
Partition and Coloring in Design of Quasigroup Equipped Error-detecting Codes

G. Margarov, Y. Alaverdyan

74-75
- PDF
On Turing Completeness of One Minimal Set of Built-in Functions for Functional Programming Languages

G. Martirosyan

76-76
- PDF
On the Algebras with Hyperidentities of the Variety of de Morgan Algebras

Yu. Movsisyan, V. Aslanyan

77-79
- PDF
A Fixed Point Theorem for q-Lattices

Yu. Movsisyan, D. Davidova

80-81
- PDF
Remarks on Evolutionary Hamiltonian Graph Theory

Zh. Nikoghosyan

82-83
- PDF
Modeling FIFO Queues by Dynamic Petri Nets

Gohar Petrosyan

84-86
- PDF
On Models of Meaning Processing

Edward Pogossian

87-88
- PDF
On Hypergraph Degree Sequence Characterisation

H. Sahakyan, L. Aslanyan

89-90
- PDF
On the Formalization of Scientific Theories

Igor D. Zaslavsky

91-92
- PDF
About Order 3 Hypergroups Over Group Which Arisе From Groups of Order 18

Pervaneh Zolfaghari

93-94
- PDF
On the Hierarchies of Some Propositional Systems for Classical and Non-classical Logics

Anahit Chubaryan

95-96
- PDF