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

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


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