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

Інформація × Реєстраційний номер 0201U006029, 0198U002032 , Науково-дослідна робота Назва роботи Дослідження програмних алгебр композиційного типу Назва етапу роботи Керівник роботи Редько Володимир Никифорович, Дата реєстрації 18-06-2001 Організація виконавець Київський національний унiверситет iм. Тараса Шевченка, кафедра загальної i молекулярної генетики Опис етапу Для табличних алгебр вирішені наступні проблеми: уточнені структури даних та дій над ними; досліджені основні співвідношення між сигнатурними операціями. Для універсальних програмних алгебр вирішені наступні проблеми: досліджена взаємна похідність основних сигнатурних операцій; побудовані та досліджені семантичні моделі декларативних та дескриптивних структур мов програмування. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити