Титул
Цель
одАНЛДУ
Пример
Заключ-е
Результаты
Конец
Планы на будущее
Разработка и реализация алгоритмов генерации систем содАНЛДУ и одАНЛДУ.
Развитие других методов тестирования, отличных от основанных на сравнении базисов Гильберта.
Развитие методов экспериментального и сравнительного анализа реализаций алгоритмов решения систем одАНЛДУ.
Продолжение развития системы Web-SynDic.
Спасибо за внимание!
Петрозаводск - 2005