|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Теория исчислений задачных конструктивных объектовкнига
- Авторы: Гавриленко Ю.В., Ильин В.Д.
- Год издания: 1995
- Место издания: ИПИ РАН М
- Объём: 46 страниц
- По постановлению РИСО
- Аннотация: Задачные конструктивные объекты представляют собой естественный и удобный инструмент, предназначенный для адекватного представления знаний о мире задач. В работе предложен формальный подход к теории порождения задачных конструктивных объектов. Предложены понятия исчисления задачных конструктивных объектов, вывода в исчислении и абстрактной модели исчисления. В качестве моделей, интерпретирующих рассматриваемые исчисления, исследованы пространства локальных объектов - специальные абстрактные структуры, формализующие понятие математического объекта с изменяемой областью существования. Изложение иллюстрируется примерами.
- Добавил в систему: Ильин Владимир Дмитриевич