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