Зведений каталог бібліотек Харкова
Годлевский, А. Б. Предикатные преобразователи в контексте символьного моделирования транзисционных систем [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 91-99.
- Анотація:
При моделюванні атрибутних транзиційних систем класи їх станів описуються за допомогою формул логікив заданій сігнатурі функціональних та предикатних символів. Побудовано процедуру перетворення таких формул під дією операторів присвоювання.
- Є складовою частиною документа:
Кибернетика и системный анализ [Текст]. — 2010. — №4.
- Теми документа
