1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 1(11)'2001
  5. Процедура расширения формальных теорий

Процедура расширения формальных теорий

К.А. Метешкин
Системи обробки інформації. — 2001. — № 1(11). С. 175-178.
Тематика статті: Загальні питання
УДК 512.66
Мова статті: російська


Анотація: Исследуется возможность расширения формальных теорий для описания предметных областей одного уровня иерархии организационно-технической системы. Предъявляются требования к процедуре расширения формальных теорий.


Інформація про авторів публікації:
Бібліографічний опис для цитування:
Метешкин К.А. Процедура расширения формальных теорий. Системи обробки інформації. 2001. № 1(11). С. 175-178.