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

Інформація × Реєстраційний номер 0596U000113, Докторська дисертація На здобуття д.арх. Дата захисту 12-12-1997 Статус Запланована Назва роботи Интерпретационные методы в теории алгоритмических алгебр Здобувач Суржко Сергей Васильевич, Керівник Ющенко Е.Л. Опонент Летичевский А.А. Опонент Вальковский В.А. Опонент Лисовик Л.П. Опис Объект исследования: Алгебры алгоритмов. Цель исследования: Построение интерпретационных методов. Методы исследования и аппаратура: Теория универсальных алгебр, автоматов. Теоретические результаты и новизна: Созданы новые методы исследования алгоритмов. Практические результаты и новизна: Построены математические модели и мтеоды, прилагаемые к решению практических задач. Предмет и степень внедрения: Пакеты программ. Эффективность внедрения: Программы внедрены в НПО "Электрон". Решение проблемы эквивалентных преобразований микропрограмм. Сфера (область) использования: Программирование, проектирование систем управления. Дата реєстрації 1997-12-12 Додано в НРАТ 2020-05-17 Закрити