В настоящее время в свете введения повсеместной цифровизации одной из основных педагогических проблем является кризис в области современных учебно-методических идей. Необходимость использования информационно-коммуникационных технологий в процессе обучения давно обоснована, однако очевидно, что образовательные возможности современных цифровых ресурсов и программ используются не в полной мере. Математика, как формальная наука, требующая от человека абсолютно уникального мышления, особенно нуждается в средствах повышения эффективности обучения. Одним из таких средств являются системы компьютерной алгебры– прикладные программы для выполнения преобразований и работы с математическими выражениями в аналитической (символьной) форме. В данной статье на конкретно разобранном примере метода математической индукции рассмотрена интеграция в образовательный процесс системы компьютерной алгебры Maxima в качестве инструмента, обеспечивающего наглядность изучения. Даны подробные методические указания для использования системы компьютерной алгебры Maxima. Обосновано предпочтение системы компьютерной алгебры Maxima в сравнении с другими системами компьютерной алгебры. Представлена практическая реализация доказательства методом математической индукции в системе компьютерной алгебры Maxima. Рассмотрены перспективы полноценной интеграции систем компьютерной алгебры в образовательный процесс.

Currently, in the light of the introduction of widespread digitalization, one of the main pedagogical problems is the crisis in the field of modern educational and methodological ideas. The need to use information and communication technologies in the learning process has long been justified, but it is obvious that the educational opportunities of modern digital resources and programs are not fully used. Mathematics, as a formal science that requires absolutely unique thinking from a person, especially needs means to increase the effectiveness of teaching. One of these tools is computer algebra systems-application programs for performing transformations and working with mathematical expressions in analytical (symbolic) form. In this article, the integration of the Maxima computer algebra system into the educational process as a tool that provides visual learning is considered using a specifically analyzed example of the mathematical induction method. Detailed guidelines for using the Maxima computer algebra system are given. The preference of the Maxima computer algebra system in comparison with other computer algebra systems is justified. The practical implementation of the proof by the method of mathematical induction in the computer algebra system Maxima is presented. The prospects of full integration of computer algebra systems in the educational process are considered.