Активная расслоенная терминологическая система
Автор: Маслов Сергей Геннадьевич, Бельтюков Анатолий Петрович
Статья в выпуске: 3 (12) т.7, 2011 года.
Бесплатный доступ
В статье рассмотрены некоторые аспекты проявления активности расслоенной терминологической системы, которая реализуется через разнообразие постановок задач и организацию компьютинга. В этом случае, исследователь может строить индивидуальную информационно-технологическую сферу для решения возникающих у него проблем, а также получить более совершенную среду для обмена профессиональным опытом.
Терминологическая система, индивидуальная информационно-технологическая сфера, естественный и искусственный компьютинг, системное моделирование
Короткий адрес: https://sciup.org/14122013
IDR: 14122013
Список литературы Активная расслоенная терминологическая система
- Бельтюков, А.П. Малые сложностные классы и автоматический дедуктивный синтез алгоритмов// Известия института математики и информатики УдГУ: вып. №2. - Ижевск: УдГУ, 1995. - с. 3 - 89.
- Бельтюков, А.П. Формальная теория для порождения правильных программ заданной вычислительной сложности//Всес.конф. «Методы математической логики в проблемах искусств интеллекта и систематическое программирование»: часть 1 - Вильнюс, 1980. - с. 64 - 66.
- Большаков, Б.Е., Шамаева, Е.Ф. Системный анализ методов управления знаниями в области устойчивого развития// Электронное научное издание "Устойчивое инновационное развитие: проектирование и управление": том 4 (2009). - с. 39 - 55. URL: http://www.rypravlenie.ru/?cat=12>.
- Маслов, С.Г. Индивидуальная ИТ-сфера//Знания-Онтологии-Теории (ЗОНТ-09): матер. Всероссийской конф. с междун. уч., том 2. - Новосибирск: Институт математики им.С.Л.Соболева СО РАН, 2009. - с. 110 - 118.
- Маслов, С.Г. Системный подход к формированию среды программирования//Интеллектуальные системы управления. - М.: Машиностроение, 2010. - с.41 - 47.
- Маслов, С.Г., Бельтюков, А.П. Расслоенная терминологическая среда для научных исследований и образования//Электронное научное издание "Устойчивое инновационное развитие: проектирование и управление": том 7 вып. № 1 (2011). - с. 1 - 17. URL: http://www.rypravlenie.ru>.
- Непейвода, Н.Н., Свириденко, Д.И. К теории синтеза программ//Математическая логика и теория алгоритмов. - Новосибирск: Наука. 1982. - с. 159 - 175.
- Beltiukov, A.P. A strong induction scheme that leads to polynomially computable realizations// Theoretical Computer Science: 322 (2004). - p. 17 - 39.
- Beltiukov, A.P. Intuitionistic formal theories with realizability in subrecursive classes//Annals of Pure and Applied Logic: vol. 89, 1997. - p. 3 - 15.
Статья научная
