Наукова періодика України | Системи обробки інформації | ||
Бондаренко М. Ф. Методы исключения переменных из предикатов, представленных различными формулами алгебры конечных предикатов / М. Ф. Бондаренко, С. Ю. Шабанов-Кушнаренко, Д. Э. Ситников, П. Э. Ситникова // Системи обробки інформації. - 2012. - Вип. 3(1). - С. 111-118. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2012_1_3_25 Описан общий метод исключения переменных. Разработаны методы исключения переменных из предикатов, представленных в виде конъюнктивной и дизъюнктивной нормальных форм. Введено понятие расщепляемых уравнений. Разработан метод исключения переменных из расщепляемых уравнений и пошаговый алгоритм его реализации. Цитованість авторів публікації: Бібліографічний опис для цитування: Бондаренко М. Ф. Методы исключения переменных из предикатов, представленных различными формулами алгебры конечных предикатов / М. Ф. Бондаренко, С. Ю. Шабанов-Кушнаренко, Д. Э. Ситников, П. Э. Ситникова // Системи обробки інформації. - 2012. - Вип. 3(1). - С. 111-118. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2012_1_3_25.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |