Пошук академічних текстів

Інформація × Реєстраційний номер 0106U005856, ( 0211U008424  ) Науково-дослідна робота Назва роботи Розробка конструктивних математичних формалізмів для інтелектуальних систем прийняття рішень, обробки знань, еталонування мов сучасних СУБД та CASE-засобів Керівник роботи Редько Володимир Никифорович, Дата реєстрації 09-06-2006 Організація виконавець Київський національний університет імені Тараса Шевченка Опис роботи Розробка та застосування методів пошуку висновку в комп'ютерних логіках, методів і алгоритмів аналізу, обробки нечіткої та невизначеної інформації; побудова формальних специфікацій мов сучасних СУБД та CASE-засобів на основі теорії експлікативних програмних алгебр Додано в НРАТ 2024-12-10 Закрити