Формирование логико-информационных и речевых коммуникативных умений студента в процессе изучения математики (стр. 2 из 3)

Рассмотрим логико-информационные умения. Умению вычленить в информации самое главное можно учить студентов с начала первого курса. В роли главного в разных ситуациях могут выступать различные объекты: части текста; набор нескольких теорем или одна какая-то ведущая теорема раздела; основные понятия и идеи той или иной теории и даже отдельные слова. Например, при изучении основных теорем о счётных множествах необходимо обратить внимание на то, почему в отдельных теоремах за исходные берутся бесконечные множества, а в других - несчётные. Так, присоединяя к бесконечному множеству конечное или счётное, получим множество, эквивалентное исходному; а в теореме об удалении конечного или счётного множества в качестве исходного надо брать уже несчётное множество. Студенты сами должны привести пример, показывающий роль слова "несчётное" во второй теореме. Их рассуждение в простейшем случае может выглядеть следующим образом: удалим из множества чисел натурального ряда все числа, начиная с некоторого

-го, т.е. из бесконечного множества удалим счётное вида , где . Останется конечное множество из элементов. Таким образом, при некоторых удалениях из бесконечного счётного множества получаем множество, не эквивалентное исходному. Здесь попутно студенты сами обнаруживают, что при удалении конечного множества из любого бесконечного получается множество, эквивалентное исходному.

Другой пример. Пусть решается следующая задача:

- выпуклый четырёхугольник, и - середины сторон и , соответственно. Доказать, что .

Рисунок 1.

При её решении выясняется, что выпуклость является лишним требованием и четырёхугольник может не быть выпуклым, а например таким, как на рисунках 2 или 3:

Рисунок 2

Рисунок 3

Построив на рисунках 2 и 3 отрезки

и , получим новые выпуклые четырёхугольники и , и, переобозначив вершины четырёхугольников в естественном порядке, будем иметь две новые задачи а) и б):

а) Доказать, что вектор

отрезка, соединяющего соответственно середины диагоналей и четырёхугольника , равен полусумме пар векторов сторон:

б) Вектор

средней линии четырёхугольника , где , , равен полусумме векторов и , определяющих его диагонали.

Далее можно заметить, что точки

, вообще, могут не принадлежать одной плоскости. Следовательно, имеем новую задачу: - вершины тетраэдра, и - середины противоположных рёбер и , соответственно. Доказать, что . как отрезок, соединяющий середины противоположных рёбер, вызывает естественные ассоциации со средней линией треугольника и, действительно, устремив точку по ребру к точке , получим, что превратится в среднюю линию треугольника и как частный случай предлагаемой задачи получаем теорему о средней линии треугольника. Так, обратив внимание на роль одного слова "выпуклость", приходим к нескольким новым задачам. Вычленение главного в теме можно проводить на заключительном занятии по ней в рамках подведения итогов, которое может осуществляться в форме коллективной мыследеятельности и, частично, проблемно-научного диалога преподавателя с аудиторией.

При изучении теорем и решении задач можно говорить о трёх аспектах представления их доказательства или решения:

логико-символическом - запись теоремы (или задачи) и хода её доказательства (или решения) с использованием символики математической логики;

вербальном (речевом) - инструментом выражения является язык повседневного общения - естественный язык;

графическом - иллюстрация хода доказательства с помощью графов, блок-схем, различных рисунков.

Системы графических построений позволяют легче и точнее установить логические отношения между отдельными частями теоремы. Заметим, что вербально-логическое представление доказательства теорем является необходимым выражением представления доказательства любой теоремы. Вербальное представление в комбинации с искусственными языками обеспечивают аналитико-синтетическую работу мозга. Они помогают вычленить главную часть в теореме, определить последовательность, записав ход доказательства в виде блок-схемы, установить все логические связи и т.д., определить единообразную конструкцию, форму доказательства. Однако логическая и графическая символики в процессе обучения играют вспомогательную инструментальную роль по отношению к мыслительной деятельности студента.

Рассмотрим в качестве конкретного примера теорему Кантора:

Пусть

и - два непустых множества и множество содержит по крайней мере, два элемента. Тогда мощность множества всевозможных отображений множества во множество больше мощности множества .

Вербальное представление её доказательства можно сопроводить краткой записью этапов с использованием математической символики ( своего рода опорными сигналами), условной геометрической иллюстрацией, и наконец, блок-схемой доказательства. Три указанные вспомогательные сопровождения могут иметь следующий вид:

I.

1.

2. Предположим:

II.