eaDonNTU, Donetsk >
Научные труды ДонНТУ >
Серія: Інформатика, кібернетика та обчислювальна техніка >
Випуск 15 >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/handle/123456789/15190
|
Название: | КОМПЛЕКС МОДЕЛЕЙ САПР КАК СИСТЕМА ВЗАИМОСВЯЗАННЫХ УРОВНЕЙ ЗНАНИЙ О ДЕЙСТВИТЕЛЬНОСТИ |
Другие названия: | Complex of models CAD as system interconnected levels of knowledge about the validity |
Авторы: | Григорьев, А.В. Grigoriev, A.V. |
Ключевые слова: | сапр как система комплекс моделей 6 certain levels local axiomas rules |
Дата публикации: | 2000 |
Издатель: | ДонНТУ |
Библиографическое описание: | Наукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 15, Донецк, ДонНТУ, 2000 |
Описание: | System of global axiomas semiotic of model of subject area is offered The system of axiomas includes 6 certain levels I) initial model; 2} tasks of time 3) models of spaces; 4) spatial points; 5) "simple" properties 6) meanings of "simple" properties. The global axiomas are set as systems of local axiomas of certain levels. At the description of local axiomas rules of construction syntacsis of the correct formulas are set. |
URI: | http://ea.donntu.edu.ua/handle/123456789/15190 |
Располагается в коллекциях: | Статті співробітників кафедри ПМІ Випуск 15
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|