Метамоделирование: различия между версиями

Содержимое удалено Содержимое добавлено
м clean up, removed: Категория:Информатика с помощью AWB
Строка 202:
 
* '''Замкнутость.''' Замкнутость означает, что осуществляя действия в выбранной формальной модели, мы не выйдем за её пределы и нам не встретятся неформализуемые (неописываемые) объекты.
 
* '''Полнота.''' Полнота выбранной формальной системы означает, что в её рамках можно описать (задать, смоделировать) все объекты из рассматриваемого множества.
 
Строка 231 ⟶ 230 :
* [http://www.w3.org/2001/sw Проект SemanticWeb]
 
[[Категория:Информатика]]
{{Готовность|75%}}
 
[[Категория:{{Темы|Информатика]]}}