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

Оновлено: 2026-01-31


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