Algorithmic properties of knowledge evolutions spaces

Authors

  • Kostenko K.I. Kuban State University, Krasnodar, Russian Federation

UDC

519.68: 681.51 512.573

Abstract

We investigate structural and functional properties of the families of infinite algorithmic processes that model abstract operations above the configurations of an abstract knowledge space, which are generated by recursively enumerable sets of transition and stop operators that realize transformations of values of configurations components and recognition of such values as final ones.

Funding information

Работа выполнена при поддержке РФФИ и Администрации Краснодарского края (06-07-96618).

Author Biography

  • Konstantin I. Kostenko

    канд. физ.-мат. наук, доцент кафедры информационных технологий, начальник отдела разработки информационных систем Центра интернет Кубанского государственного университета

References

  1. Костенко К.И. Трассирования конфигураций абстрактного пространства знаний // Экологический вестник научных центров Черноморского экономического сотрудничества. 2007. №2. С. 10-15.
  2. Янов Ю.И. Метод сверток для разрешения свойств формальных систем. Препринт ИПМ №11 за 1977 г.
  3. Янов Ю.И. Несколько теорем о свертках. Препринт ИПМ №95 за 1978 г.
  4. Костенко К.И. Классы алгоритмов и вычислений // ДАН СССР. 1985. Т. 280. С. 33-37.
  5. Ершов Ю.Л. Теория нумераций. М.: Наука, 1977. 440 с.
  6. Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1968. 340 с.
  7. Блюм М. Машинно-независимая теория сложности рекурсивных функций. В сб. "Сложность алгоритмов и вычислений". М.: Мир, 1974. 401-421 с.

Downloads

Download data is not yet available.

Issue

Pages

14-20

Section

Mathematics

Dates

Submitted

October 23, 2007

Accepted

November 14, 2007

Published

December 25, 2007

How to Cite

[1]
Kostenko, K.I., Algorithmic properties of knowledge evolutions spaces. Ecological Bulletin of Research Centers of the Black Sea Economic Cooperation, 2007, № 4, pp. 14–20.

Most read articles by the same author(s)

1 2 > >>