Применение графических средств выразительности при доказательстве теоретико-множественных утверждений

Традиционно математические утверждения доказывают, используя словесные рассуждения. Предлагается дополнение к традиционному способу изложения доказательств, в котором почти отсутствуют словесные пояснения, а ход доказательства представляется графически. Обучающийся может наглядно проследить развитие доказательства во времени (последовательные шаги до получения нужного результата) и в пространстве (разветвления, которые возникают в ходе доказательства и которые требуют отдельного исследования). Такой способ изложения доказательств был разработан нами и применяется в течение многих лет в преподавании курса «Дискретная математика» студентам компьютерных специальностей СибАДИ.