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

Інформація × Реєстраційний номер 0201U004830, 0197U003444 , Науково-дослідна робота Назва роботи Дослідження універсальних та спеціалізованих програмних логік Назва етапу роботи Керівник роботи Редько Володимир Никифорович, Дата реєстрації 25-04-2001 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Для універсальних логік встановлений взаємозв'язок між сигнатурними операціями - уточненнями керуючих структур. Для реляційно-орієнтованих логік побудовані конкретні логіки і отримано формальний опис семантики SQL-подібних мов. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити