Чеботарев А. Н. Аппроксимация множеств сверхслов формулами языка L / А. Н. Чеботарев, О. И. Куривчак // Кибернетика и систем. анализ. - 2007. - 43, № 6. - С. 18-26. - Библиогр.: 9 назв. - рус.Мова L - логічна мова для специфікації властивостей реактивних систем. Такі властивості розглянуто як множини надслів у алфавіті, що визначається специфікацією. Властивості, які відповідають доповненням таких множин, не можуть бути специфіковані мовою L. Запропоновано підхід до побудови формул мови L, які специфікують наближення доповнення множини, що специфікована мовою L. Індекс рубрикатора НБУВ: З973-018.2
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|