Архив статей журнала
В статье обсуждается методика использования пакета математических символьных вычислений Maple при изучении вузовского курса «Теория графов». Рассматриваются особенности применения подпакета with (GraphTheory). Показана методика компьютерного исследования и нахождения основных параметров графа. Отмечено, что при машинном решении задачи об изоморфизме двух графов можно использовать, кроме команд подпакета with (GraphTheory), команды подпакета with (LinearAlgebra). При проверке, изоморфны два графа или нет, естественным образом возникают вопросы об устройстве графа, его параметров, сохраняющихся при изоморфизме. Окончательная проверка связи матриц сопряженности проверяемых графов проводится лишь после удачно прошедших проверку неполных инвариантов графов.
В статье обсуждаются особенности использования пакета математических символьных вычислений Maple при изучении групп подстановок - важных объектов курсов «Дискретная математика», «Алгебра» и «Алгебра и геометрия». В работе демонстрируется методика применения подпакета «Теория групп» для нахождения фрагмента решетки подгрупп группы подстановок. Одновременно рассматривается вопросы нахождения нормализатора подгруппы и нормального замыкания и их расположение в решётке подгрупп. Подгруппы, участвующие в эксперименте, задаются случайными порождающими элементами, и поэтому изучающий курс может сам многократно проводить такие компьютерно-групповые опыты, просто возвращаясь к началу программы.