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

English version

Дисертація на здобуття ступеня

Державний реєстраційний номер

0596U000113

Облікова картка дисертації

0596U000113.pdf

Здобувач

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

Спеціальність

01.05.01 - Теоретичні основи інформатики та кібернетики

Дата захисту

12-12-1997

Спеціалізована вчена рада

Д 01.39.02

Анотація

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

Читати повністю

Керівник роботи

Ющенко Е.Л.

Офіційні опоненти

Летичевский А.А.
Вальковский В.А.
Лисовик Л.П.

Схожі дисертації

0421U102388

Насіров Еміл Мехдієвич

Паралелізація невід’ємної факторизації розріджених лінгвістичних матриць та тензорів надвеликої розмірності

0420U102355

Дудар Вячеслав Вячеславович

Оптимiзацiйнi алгоритми навчання та iнварiантнiсть до геометричних перетворень нейронних мереж

0520U101700

Притоманова Ольга Михайлівна

Нечіткі задачі оптимального розбиття множин: теоретичні основи, методи та алгоритми розв’язання

0520U100242

Завадський Ігор Олександрович

Подільні коди та їх застосування

0520U100209

Рисцов Ігор Костянтинович

Застосування методів алгебраїчної теорії автоматів до проблем аналізу дискретних динамічних систем.