Показано, що гіпотеза про клас нелінійних аналогів примітивних сигнатурних аналізаторів (СА), що збігається з класом ізоморфізму примітивних СА, є вірною для СА з чотирма станами.

Доведено, що автомат, ізоморфний за станами та входами лінійному примітивному автомату, буде ізоморфним йому тільки за станами. Знайдено критерій ізоморфності за станами ненадлишкового сигнатурного аналізатора (СА) деякому лінійному СА з нульовим початковим станом.

Введено поняття узагальненої статистичної еквівалентності автоматів і показано, що вона є слабкішою за звичайну еквівалентність, але сильніша статистичної еквівалентності автоматів.

Досліджено властивості функції, яка характеризує здатність нелінійного сигнатурного аналізатора виявляти кратні спотворення аналізованих послідовностей.

Рассмотрена методика построения модели обучаемого, состоящей из множества объективных и субъективных параметров. Предложен алгоритм вычисления значений субъективных параметров модели на основе рейтинга преподавателей с помощью метода групповых экспертных оценок. Предложен метод расчета объективных параметров модели на основе графа дисциплин как интегральных характеристик множества взаимосвязанных дисциплин учебного плана. Эффективность предложенной методики подтверждена на примере решения задачи формирования проектных групп.

Предложены аксиомы программирования, знание которых в значительной степени способствует быстрой и качественной разработке программного продукта. Рассмотрены некоторые общие методологические принципы и правила ведения программных разработок, в том числе и систем Дистанционного Обучения. Рассмотрены предпосылки интенсивной разработки программ.