Электронный архив
Донецкого национального технического университета (г.Донецк)
Electronic archive of Donetsk national technical university (Donetsk)
 

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

Файлы этого ресурса:

Файл Описание РазмерФормат
155-167.pdf9.68 MBAdobe PDFПросмотреть/Открыть

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.