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

• Лялецький Олександр Вадимович (технічні науки)
• Паскевич Андрій Юрійович (фізико-математичні науки)
• Клименко Віктор Павлович (сільськогосподарські науки)
• Клименко Вадим Петрович (медичні науки)

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