ИСТИНА

Диссертационная работа, выполненная в 1975-1992 годах, посвящена логическим подходам к описанию органических реакций, математическим моделям пространственного строения органических соединений и комбинаторным алгоритмам решения соответствующих задач. Предложены общий формально-логический подход для целей классификации и машинного поиска новых реакций, алгебраико-комбинаторный аппарат для решения ряда задач, связанных с понятиями "стереохимическая конфигурация" и "хиральность", а также методы перечисления и алгоритмы генерации некоторых типов органических структур, реакций и конфигураций. Созданные алгоритмы составили основу программы неэмпирического компьютерного синтеза и двух программ машинной генерации новых типов органических реакций.