Главная страница Спецсеминары . ... Тематика спецсеминара связана с исследованиями методов решения сложных задач на ЭВМ и современными технологиями автоматизированной инженерии программ и знаний (CASE & CAKE). Сложные задачи характерны тем, что поиск их решения традиционным способом часто оказывается неэффективным или вовсе не дает результата. ... Эти средства помогают в работе по формальному описанию знаний, по проверке их целостности, по поиску ошибок в базе знаний. ...