-
Ключові слова:
алгебра скінченних предикатів, алгебра конечных предикатов ; рівняння, уравнения, equations, Gleichungen ; системи логічних рівнянь, системы логических уравнений
-
Анотація:
Алгебра конечных предикатов (АКП) позволяет сформулировать новую информационно-вычислительную технологию постановки и решения задач, которые описываются разнообразными математическими уравнениями, сводимыми к единой логико-математической форме - системам логических уравнений АКП
-
Є складовою частиною документа:
-
Теми документа
-
УДК // Загальні питання теорії керуючих систем. Моделі. Побудова моделей. Кодування. Теорія мереж
-
УДК // Комп'ютерне програмування
-
Праці співробітників ХНУРЕ // Ревенчук Ілона Анатоліївна, Ревенчук Илона Анатольевна, Revenchuk I.
|