Формалізація процесу створення геометричних моделей

Abstract

У статті розглянуто питання формалізації процесу створення геометричних моделей та представлення графічних даних і знань у системах для автоматизованого навчання. Наведено приклади побудови моделей із тіл простої форми із використанням бінарних операцій, розглянуто їх властивості та наведено геометричну інтерпретацію. Представлені та доведені закони Моргана, дистрибутивні операції, застосовні для операцій із твердими тілами.

В статье рассмотрены вопросы формализации процесса создания геометрических моделей и представления графических данных и знаний в системах для автоматизированного обучения. Приведены примеры построения моделей из тел простой формы с использованием бинарных операций, рассмотрены их свойства и приведена геометрическая интерпретация. Представлены и доказаны законы Моргана, дистрибутивные операции, применимые для операций с твердыми телами.

The paper deals with the formalization of the process of geometric models creation and graphic representation of data and knowledge in the systems for automated learning. We presented examples of model building of bodies of simple shapes using binary operations; also we examined their properties and geometric interpretation. Morgan laws were presented and proved, distributive operations applied to operations with solids.