| The problem of integration of mathematical calculable packages| with geoinformation systems is considered. | Рассмотрена проблема интеграции математических вычислительных пакетов с геоинформационными системами. |
| Structural-Algorithmic Mean of the Automated Planning of Calculable Models. | Структурно алгоритмическое средство автоматизированного проектирования вычислительных моделей. |
| The categorical model for modification predicate inquiries is offered on the basis of denotation semantics within the framework of fixed values theory and exploration of its properties is done through introduction of categorical deduction notion and its calculable answers. | Предложена категорийная модель модификационных предикатных запросов на основе денотационной семантики в рамках теории фиксированных значений и выполнено исследование ее свойств путем определения категориальной дедукции и ее вычислительных решений. |