Search academic texts

Information × Registration Number 0593U000524, Doctoral dissertation Status д.ф.-м.н. Date 18-12-1992 popup.evolution o Title Author Асельдеров Зайнутдин Макашарипович, popup.opponent Стогний А.О. popup.opponent Молчанов О.А. popup.opponent Кириченко Н.Ф. Description Объект исследования: Алгебрологические конструкции, необходимые при поиске логического вывода теорем в формализованных математических теориях. Цель исследования: Разработка и реализация природно-логического вывода в формализованных теориях; исследование проблемы реконструкции графа по его подграфами. Методы исследования и аппаратура: Современная теория дискретной математики: теория формасних языков, теория доказательства теорем, теория алоритмов, теория градов, теория свободных групп. Теоретические результаты и новизна: Разработано и реализовано алгоритм логического вывода теорем теории свободных групп; разработано и реализовано алгоритм решения уравнений в свободных группах; решена проблема реконструкции графа. Практические результаты и новизна: Реализовано алгоритм поиска логического вывода теорем теории свободных групп; реализовано алгоритм реконструирования р-вершинного графа. Предмет и степень внедрения: Пакет программ "Сетевой монитор процессов". Эффективность внедрения: Подтвержденный годовой экономический эффект составляет 0,5 млн.крб. Сфера (область) использования: Средства для создания дедективных баз знаний и специализированных экспертных систем для решения актуальных заданий ИАСУ. Registration Date 1993-03-20 popup.nrat_date 2021-03-18 Close