Добкторська дисертація. Суржко Сергей Васильевич. Интерпретационные методы в теории алгоритмических алгебр

Реєстраційний номер

0596U000113, Докторська дисертація

На здобуття

д.арх.

Дата захисту

12-12-1997

Статус

Захищена

Назва роботи

Интерпретационные методы в теории алгоритмических алгебр

Здобувач

Суржко Сергей Васильевич,

Керівник Ющенко Е.Л.
Опонент Летичевский А.А.
Опонент Вальковский В.А.
Опонент Лисовик Л.П.

Установа, організація, у вченій раді якої відбудеться/відбувся захист

Институт программных систем НАН Украины

Опис

Объект исследования: Алгебры алгоритмов. Цель исследования: Построение интерпретационных методов. Методы исследования и аппаратура: Теория универсальных алгебр, автоматов. Теоретические результаты и новизна: Созданы новые методы исследования алгоритмов. Практические результаты и новизна: Построены математические модели и мтеоды, прилагаемые к решению практических задач. Предмет и степень внедрения: Пакеты программ. Эффективность внедрения: Программы внедрены в НПО "Электрон". Решение проблемы эквивалентных преобразований микропрограмм. Сфера (область) использования: Программирование, проектирование систем управления.

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

1998-05-18

Додано/оновлено в НРАТ

2020-05-18 / 2026-06-30