Algorithmic properties of knowledge evolutions spaces
UDC
519.68: 681.51 512.573Abstract
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).
References
- Костенко К.И. Трассирования конфигураций абстрактного пространства знаний // Экологический вестник научных центров Черноморского экономического сотрудничества. 2007. №2. С. 10-15.
- Янов Ю.И. Метод сверток для разрешения свойств формальных систем. Препринт ИПМ №11 за 1977 г.
- Янов Ю.И. Несколько теорем о свертках. Препринт ИПМ №95 за 1978 г.
- Костенко К.И. Классы алгоритмов и вычислений // ДАН СССР. 1985. Т. 280. С. 33-37.
- Ершов Ю.Л. Теория нумераций. М.: Наука, 1977. 440 с.
- Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1968. 340 с.
- Блюм М. Машинно-независимая теория сложности рекурсивных функций. В сб. "Сложность алгоритмов и вычислений". М.: Мир, 1974. 401-421 с.
Downloads
Downloads
Dates
Submitted
Accepted
Published
How to Cite
License
Copyright (c) 2007 Костенко К.И.
This work is licensed under a Creative Commons Attribution 4.0 International License.