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

• Шекета Василь Іванович (технічні науки)

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