Знайдено документів: 1
Інформація × Реєстраційний номер 0308U007637, 0106U005856 , Науково-дослідна робота Назва роботи Розробка конструктивних математичних формалізмів для інтелектуальних систем прийняття рішень, обробки знань, еталонування мов сучасних СУБД та CASE-засобів Назва етапу роботи Дослідження секвенціального зворотного методу, методів інтерпретації експерименту для теоретико-можливісного підходу, формальної семантики ядра SQL-подібних мов Керівник роботи Редько Володимир Никифорович, Дата реєстрації 22-12-2008 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Розроблені секвенціальні різновиди зворотного методу для класичної і некласичної логік та нові методи інтерпретації експерименту на основі теоретико-можливісного підходу; досліджена формальна семантика ядра SQL-подібних мов Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити
НДДКР ОК
Розробка конструктивних математичних формалізмів для інтелектуальних систем прийняття рішень, обробки знань, еталонування мов сучасних СУБД та CASE-засобів
Керівник: Редько Володимир Никифорович. Розробка конструктивних математичних формалізмів для інтелектуальних систем прийняття рішень, обробки знань, еталонування мов сучасних СУБД та CASE-засобів. (Етап: Дослідження секвенціального зворотного методу, методів інтерпретації експерименту для теоретико-можливісного підходу, формальної семантики ядра SQL-подібних мов). Київський національний університет імені Тараса Шевченка. № 0308U007637
Знайдено документів: 1

Оновлено: 2026-03-15


Роздрукувати цю сторінку