Знайдено документів: 1
Реєстраційний номер

0307U009200, 0106U005856 , Науково-дослідна робота

Назва роботи

Розробка конструктивних математичних формалізмів для інтелектуальних систем прийняття рішень, обробки знань, еталонування мов сучасних СУБД та CASE-засобів

Назва етапу роботи

Розробка секвенціального формалізму для комп'ютерно-орієнтованих логік та методів проектування систем надвисокої розв'язувальної здатності; дослідження семантичних структур об'єктно-орієнтованих БД

Керівник роботи

Редько Володимир Никифорович,

Дата реєстрації

28-12-2007

Організація виконавець

Київський національний університет імені Тараса Шевченка

Опис етапу

Запропоновано секвенціальний формалізм для автоматичного доведення теорем. Досліджені проблеми моделювання вимірювально-обчислювальних систем надвисокої розв'язувальної здатності та розроблені нові методи редукції вимірювань до обчислень. Описано основні властивості і характеристики систем об’єктно-орієнтованих баз даних і виділені їх загальнозначущі семантичні структури.

Опис продукції

Автори роботи

Додано в НРАТ

2020-04-02

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

Оновлено: 2025-05-11


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