Математические вопросы кибернетики и вычислительной техники, № 27

Отв. ред. Ю. Г. Шукурян, Издательство НАН РА, Ереван 2006

Խմբագրական խորհուրդ.

Contents.

Preface.
стр. 8-10

Beltiukov, Anatoly P. A polynomial programming language.
стр. 11-19

Cegielski, Patrick, Richard, Denis, Vsemirnov, Maxim On the additive theory of prime numbers II.
стр. 20-30

Esbelin, Henri-Alex Weak arithmetic for functions of exponential size.
стр. 31-36

Khachatryan, M. H. On the representation of arithmetical, string functions in formal languages.
стр. 37-53

Kocharyan, A. V., Shahbazyan, K. V. On-line tessellation automata as a text matching problems solver.
стр. 54-62

Lisovik, L. P. Decidable singular theories of two successor functions with an extra predicate.
стр. 63-73

Лялецкий, А. В., Процик, П. П. Эвиденциальная парадигма и обработка математических текстов в системе САД.
стр. 74-89

Manukian, S. N. On the representation of recursively enumerable sets in weak arithmetics.
стр. 90-110

Matiyasevich, Yuri Diophantine flavor of Kolmogorov complexity.
стр. 111-122

Ressayre, J. P. Infinite games, finite machines: from large cardinals to computers.
стр. 123-150

Shahbazyan, K. V., Shoukourian, Yu. H. The finite-state recognizability of sequences of integers.
стр. 151-173

Zaslavsky, I. D. Some criteria of completeness for axiomatic systems in three-valued logic.
стр. 174-202

Резюме.
стр. 203-208


Content of this site is licensed under a
Creative Commons License