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