Применение графических средств выразительности при доказательстве теоретико-множественных утверждений
Автор: Палий Ирина Абрамовна
Журнал: Бюллетень науки и практики @bulletennauki
Рубрика: Физико-математические науки
Статья в выпуске: 12 т.8, 2022 года.
Бесплатный доступ
Традиционно математические утверждения доказывают, используя словесные рассуждения. Предлагается дополнение к традиционному способу изложения доказательств, в котором почти отсутствуют словесные пояснения, а ход доказательства представляется графически. Обучающийся может наглядно проследить развитие доказательства во времени (последовательные шаги до получения нужного результата) и в пространстве (разветвления, которые возникают в ходе доказательства и которые требуют отдельного исследования). Такой способ изложения доказательств был разработан нами и применяется в течение многих лет в преподавании курса «Дискретная математика» студентам компьютерных специальностей СибАДИ.
Теоретико-множественные утверждения, доказательство, графические средства выразительности
Короткий адрес: https://sciup.org/14126006
IDR: 14126006 | УДК: 510.54 | DOI: 10.33619/2414-2948/85/01
Application of graphic expression in the proof of set theoretical statements
Mathematical statements are proved using verbal reasoning. An addition to the traditional way of presenting evidence is proposed. The progress of the proof is presented graphically. There are almost no verbal explanations. The student can visually trace the development of the proof in time (consecutive steps to obtain the desired result) and in space (branching that arise in the course of the proof, and which require a separate study). This way of presenting evidence has been developed and used for many years in teaching the Discrete Mathematics course to students of computer specialties of the Siberian State Automobile and Highway University.
Список литературы Применение графических средств выразительности при доказательстве теоретико-множественных утверждений
- Курош А. Г. Лекции по общей алгебре. М.: Наука, 1973. 400 с.
- Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. М.: Физматлит, 2002. 256 с.
- Палий И. А. Дискретная математика. М.: Эксмо, 2008. 206 с.
- Палий И. А. Дискретная математика и математическая логика. М.: Юрайт, 2022. 370 с.
