Розроблено підхід до побудови машинно-орієнтованих числень секвенціального типу, які не потребують проведення попередньої сколемізації. Особливості цього підходу продемонстровано за допомогою побудови спеціального числення такого типу, яке досліджується на коректність і повноту. Використовуючи це числення, описано засоби повних розширень SLD-резолюції, як для множин диз'юнктів довільного вигляду, так і для множин звичайних формул мови логіки предикатів першого порядку.

• Афонін Андрій Олександрович (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"