Запропоновано логіки, орієнтовані на специфікації програм. Логіки побудовано в семантико-синтаксичному стилі на базі композиційно-номінативного підходу. Перша з них (неокласична композиційна логіка) є логікою еквітонних предикатів над нескінченними іменними множинами, яка зберігає основні властивості класичної логіки предикатів. Друга логіка (над скінченними номінативними даними) є конкретизацією першої, на її основі визначається клас багатозначних натурально (абстрактно) обчислюваних функцій над номінативними даними.

• Нікітченко Микола Степанович (фізико-математичні науки)
• Шкільняк Степан Степанович (фізико-математичні науки)

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