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

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

Назва роботи

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

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

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

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

28-12-2007

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

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

Опис

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

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

НДДРК
Розробка конструктивних математичних формалізмів для інтелектуальних систем прийняття рішень, обробки знань, еталонування мов сучасних СУБД та CASE-засобів
Керівник: Редько Володимир Никифорович. Розробка конструктивних математичних формалізмів для інтелектуальних систем прийняття рішень, обробки знань, еталонування мов сучасних СУБД та CASE-засобів. Київський національний університет імені Тараса Шевченка. № 0307U009200
Знайдено 1 документів
Поширити
Оновлено: 2021-04-02

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