книги из ГПНТБ / Шапиро С.И. От алгоритмов - к суждениям. Эксперименты по обучению элементам математического мышления
.pdfМая функция ориентирования не ограничивается ее проявлением в сфере сознательного (см. {63, стр. 141]). Американский психолог Роберт Линер установил, что, чем более обобщен результат, тем меньше он осознается человеком (см. (122]). А. Н. Леонтьев считает одним из этапов формирования и развития психических свойств пе реход от внешнего действия к внутреннему с обязательной интегра цией и свертыванием действия [62].
Все исследователи сходятся на том, что процесс «свертывания» в мыслительной деятельности человека носит универсальный харак тер. Однако большинство авторов считает многократность повторе ний однотипных упражнений (т. е. достаточно большое значение N) необходимым условием для образования «сверток». Таков действи тельно наиболее распространенный путь. Но не единственный. Как показали исследования В. А. Крутецкого [53] учащихся среднего школьного возраста, а также наши исследования учащихся старших классов, у способных к математике школьников есть еще и свой особый путь к сверткам, и для них указанное условие не обяза тельно. В отличие, например, от зрения способность сводить к ми нимуму избыточную информацию для мыслительных процессов не всеобща и парциальна.
Многие явления указывают па связь способности кон трольного механизма к дифференцировке при переработ ке математической информации с математическими спо собностями учащихся. Эксперименты свидетельствуют о том, что у способных учащихся процесс автоматическо го решения примеров (при актуализации а-ассоциаций [137]) значительно реже сопровождается ошибками при замене В на В. Это особенно заметно при актуализации сложных ß-ассоциаций, играющих основную роль в реше нии математических задач. Обобщенное мышление спо собных к математике учащихся в большой степени явля ется свернутым за счет опускания (неосознавания) ряда особенностей, и свернутость математического мышления отмечается как один из компонентов математических спо собностей (53].
Выводы. 1. Свертывание и опускание постоянных сигналов при переработке и проведении информации — закон действия управляющих систем. Он позволяет экономить информацию. В психологических процессах свертывание постоянных особенностей в восприятии и мышлении часто сопровождается выпадением этих осо бенностей из процессов осознавания. Это ведет к эконо мии психических усилий. В математических науках боль шое количество закономерностей носит алгоритмический характер, и их применение во всех родственных случаях происходит одинаково. Создаются объективные предпо сылки к «свертыванию информации» в математическом мышлении.
2. При актуализации a-ассоциаций (решении приме ров) наличие сверток свидетельствует о прочности навы ка. Способность к свертыванию ß-ассоциаций, играющих основную роль при решении задач, является одним из компонентов математических способностей. Важнейшим показателем эффективности свертывания является готов ность сверток к развертке (когда постоянство особенно сти нарушается) благодаря действию контрольного ме ханизма, «подстораживающего» отклонения от постоян
ства. |
* |
* * |
|
В какой-то мере нам удалось в этой главе отразить |
|
математическими средствами |
преемственность, единство |
процесса и его продукта, мышления и знания, психологи ческого и логического. Если первые разделы посвящены построению алгоритмической модели обучения, то в по следних— алгоритм, в основном, выполняет функцию исследовательской модели [88], т. е. служит для открытия некоторых особенностей мышления, проявляющихся
вобучении.
Ипусть результаты получены при весьма ограничен ных условиях — главное пока не в этом. Если читатель
убедился в принципиальной возможности описания про цесса обучения математическими средствами, то автор, на данном этапе, будет считать свою задачу выполнен ной. Постановка задач «над моделью» будет продолжена в следующих главах.
Теперь мы переходим к описанию широкой экспери ментальной проверки полученных результатов и к про блемам обучения, возникающим в ходе такой проверки.
Г л а в а I I
ПСИХОЛОГО-ПЕДАГОГИЧЕСКИЙ ЭКСПЕРИМЕНТ
Изложенная в первой главе операторно-логическая схема обучения школьников математическим понятиям *' требует убедительного подтверждения. На вопрос, на сколько формальный алгоритм обучения соответствует истинному мышлению учащихся (т. е- их «психологиче ской логике»), должен ответить констатирующий и фор мирующий психолого-педагогический эксперимент.
Далее, развитие модели, изучение частных, специаль ных случаев также возможно только в условиях ее про верки в школьном обучении математике. Мы попытаемся показать, как за продуктами мышления учащихся откры ваются определяющие их процессы; как в условиях обу чения операционально-логические структуры математиче ских понятий выступают в качестве моделей возможных систем действий; какими ориентирами руководствуются учащиеся в соответствии с их индивидуально-психологи ческими особенностями при выборе той или иной модели и какие ориентиры необходимы для выбора верной модели. Будет затронут ряд важных вопросов: о логике и интуи ции, о «стилях» математического мышления и др. Конеч но, не имелось в виду их решить. Для нас было важно подойти к ним под углом зрения гипотезы об операторно логической структуре мышления.
Наряду с материалом, накопленным нами на протя жении 30-летней работы преподавателем математики и методистом в школе, техникуме, педагогическом и техни ческом вузах, здесь использованы результаты специаль ного обучающего эксперимента, поставленного в 9—10 классах с физико-математическим уклоном средней шко лы № 6 г. Курска в 1962—63 и 1963—64 учебных годах.
Основной метод исследования — психологический ана лиз индивидуальных особенностей процесса решения учащимися математических задач разной степени труд ности по материалу школьной программы. Кроме задач, решавшихся в связи с изучением программного материа ла, подробно проанализированы решения свыше 300 спе-
*> Напомним, что речь |
шла об общем способе обучения некото |
рым разделам и понятиям |
математики, т. е. об алгоритме обучения. |
циально подобранных задач, на основании которых с каждым из 30 испытуемых проведено, в среднем, около 100 экспериментов. Для изучения механизма мыслитель ных процессов применялся так называемый метод «мыш ления вслух»: испытуемый решал задачу, рассуждая при этом вслух [52], [127]. При психологическом анализе мы, в основном, исходили из особенностей решения задачи, стараясь реже прибегать к опосредованным показаниям учащихся.
1. Операторы и логические условия в решении математических задач
1. В § 3 гл. I мы говорили, в основном, о роли алго ритмов в формировании понятий. Процесс описывался как некоторое стандартное преобразование операторной формы в логико-импликативные связи. В реальном мыш лении за ним стоит переход от психологической модели к знаковой (логической) модели. Здесь предпринята по пытка проанализировать другую сторону вопроса — как сложившиеся знания актуализируются при их примене нии. Иначе, как возникшие логические связи обнаружи вают себя в виде ассоциативного механизма решения не стандартных математических задач.
Задача 1. В треугольнике АВС высота BD и медиана
BE |
делят угол на 3 равные части. Найти угол В |
(рис. |
6) . |
Пусть учащийся решил на основе равенства углов сравнить между собой образовавшиеся отрезки основа ния. Как он пришел к догадке, — этого мы пока сказать не можем. Будем считать, что она уже возникла, и попы таемся проследить дальнейшее решение задачи- С этой целью рассмотрим упрощенную ситуацию. В треугольни ке АВС требуется высказать суждение об отношении отрезков AD и DC (рис. 7).
Алгоритм для нахождения отношения отрезков *)
1. |
Алгоритм в словесной форме. |
|
а) |
Проверь, |
справедливо ли утверждение, что BD — |
медиана. Если |
окажется — да, заключи: AD = DC. Если |
нет или неизвестно, — переходи к следующему указанию.
б) Проверь утверждение: |
BD — биссектриса угла |
|
АВС. |
было |
«нет», то заключи: |
Если оно верно и в (а) |
||
AD/DC = AB/BC. Если оно верно и |
в (а) было «неизве |
стно»— переходи к следующему указанию. Если оно не верно или вопрос остается открытым — заключи: отноше ние найти не умею.
в) Проверь, можно ли утверждать, что BD — высота треугольника.
Если да, то AD = DC. Если нет или неизвестно, то
AD/DC=AB/BC-
2. Формализация алгоритма (табл. 15). Алгоритм в форме Ляпунова — Шестопал
аР î J T. I р<7 î Q. I fa î уг I Q. I R. |
(1.1) |
Первым срабатывает оператор и. Затем проверяется логическое условие р. После каждого логического усло вия поднимается стрелка с одной (вверху) или двумя (вверху и внизу) цифрами. Если р —1, то, не обращая внимания на стрелки, переходят к следующему операто ру или логическому условию (у нас — оператор Т). Если р = 0, то, согласно верхнему номеру стрелки, обращаются к оператору или логическому условию, перед которым опускается стрелка с таким же верхним номером (у нас— к оператору ß). Если р —2, то переход аналогичный, толь ко в соответствии с нижним номером стрелки (здесь — также ß). Точка после оператора означает, что процесс закончен.
Несколько нагляднее связь между операторами отра жена горизонтальной схемой
I" т - f |
1 |
|
ос Т ß Q ß S' |
R |
( 1. 2 ) |
IJ
ОРечь идет не о единичной, а о типовой задаче. Поэтому алго ритмический подход здесь правомерен. Алгоритм применим к любой
задаче данного типа и, в соответствии с ее конкретным условием, приводит к различным последовательностям умственных действий.
или вертикальной схемой:
Q**-
^ fi —
1 —
т
(Г. 3)
Если итогом срабатывания оператора является ответ «да», то переходят к следующему (справа, снизу) опера тору. Если — «нет», то переход происходит согласно верх ней (правой) стрелке, исходящей из данного оператора. Если — «неизвестно», то обращаются в соответствии с нижней (левой) стрелкойОператор, из которого не исходит ни одна стрелка, считается конечным (Г, Q, R).
|
|
|
|
|
|
Таблица 15 |
|
Опера |
Логические |
|
Содержание операторов, логических условий |
|
|||
торы |
условия |
|
|
||||
а |
|
Проверка |
утверждения: BD — медиана треуголь |
||||
|
|
ника |
) |
0, |
если BD — не медиана |
|
|
|
|
|
|
||||
|
р |
р = |
1 |
1, |
если BD — медиана |
|
|
|
|
|
( |
2, |
если вопрос остается открытым (неиз |
||
|
|
|
|
вестно). |
BD — биссектриса АВС. |
||
р |
|
Проверка утверждения: |
|||||
|
|
q = |
I |
0, |
если BD —-не |
биссектриса или вопрос |
|
|
я |
< |
1, |
остается открытым. |
|
||
|
|
|
1 |
если BD— биссектриса. |
|
||
Y |
|
Проверка утверждения: BD — высота треуголь |
|||||
|
|
ника. |
Г 0, |
если BD — высота треугольника |
|||
|
Г |
_ |
|||||
|
“ " \ |
1, |
если BD не высота или вопрос остает |
||||
Т |
|
|
|
|
ся открытым. |
|
|
|
Утверждение AD = DC. |
|
|
||||
Q |
|
Утверждение AD/DC = АВ/ВС |
(невоз |
||||
R |
|
Утверждение: отношение найти не умею |
|||||
|
|
можно). |
0, |
если AD ф DC или неизвестно, |
спра- |
||
|
и |
V = |
1 |
||||
|
< |
1, |
ведливо ли: AD^DC. |
|
|||
|
|
|
( |
если AD = DC. |
|
||
|
|
|
Г |
0, |
если AD/DC ф АВ/ВС или неизвестно, |
Ww = 1 справедливо ли: AD/DC ф АВ/ВС
{1, если AD/DC = АВ/ВС
Операторы распознавания а, ß, Y — не элементарны. Это алгоритмы, приведенные предварительно к свернутой логической форме и воспринимаемые вследствие этого как одноэлементные. По отношению к (1.1) их можно
назвать опорными подалгоритмами низшего.— первого порядка: а = Яц; ß= # 12; у = П із. Тогда наш алгоритм является иерархической структурой более высокого — второго порядка. Обозначим его П2.
П л: П ир \ |
f Т .П і2<7f |
Q. } ГІ^д \ /713г f |
Q. \ R. |
(1.4) |
||||||
Соответствующий граф |
(рис. 8). |
|
|
табл. |
16. |
|||||
На основании |
(1.1) |
и графа составлена |
||||||||
|
|
|
|
|
|
|
|
Таблица 16 |
||
Значение логических |
|
Утверждение |
Соответствующая операторная |
|||||||
условий |
|
|
|
последовательность |
|
|||||
Р = 1 |
|
|
т |
|
оТ. |
|
|
|||
р = я |
— 0 |
|
R |
|
а{!/?. |
|
|
|||
р = 0 ; |
< 7 = 1 |
|
Q |
|
aßQ. |
|
|
|||
р = 2; |
<7 = |
0 |
|
R |
|
aß/?. |
|
|
||
р = 2; q = |
1 ; |
г — 0 |
Т |
|
aßYT. |
|
|
|||
р = 2 ; <7 = |
1; г = 1 |
Q |
|
“ PY Q . |
|
|
||||
Пользуясь |
несложными |
преобразованиями |
булевой |
|||||||
алгебры, приходим к логической форме: |
|
|
|
|||||||
_________ |
|
|
|
v — p \J pqr*K |
|
|
|
(1.5) |
||
*) Справедливы соотношения: 2 V 0 = 0; |
2 V 1 = |
1; ~ = |
0; |
T — 1; |
||||||
0 = 0; 1 = 0 |
-р читается: „р с крышечкой“. |
|
|
|
|
106
AD = DC, если: доказано, что BD — медиана |
(/7=1) |
|
или — хотя это прямо |
и не доказано (р = 2 ) — выяснено, |
|
что BD — биссектриса |
(</=1) и высота (г=0)- |
|
|
w = q(p\/pr). |
(1.6) |
Словесно: AD/DC—AB/BC, если <7=1 и /7 = 0 или <7=1; /7 = 2; г=\. Наконец, логическая формула, хаірактеризующая нерезультативное решение R:
|
|
|
q ( P V p ) . |
|
(1.7) |
|
Окончательно логическая форма словесно выглядит |
||||||
так. |
|
|
|
1) |
медиана |
или 2) она |
Если установлено, что BD: |
||||||
же — биссектриса и высота, то AD — DC. 3) |
Если B D —■ |
|||||
биссектриса, то AD/DC=AB/BC *\ В других случаях оп- |
||||||
|
|
|
|
|
|
Таблица 17 |
|
|
|
Признаки |
|
|
|
Отрезки |
1 |
2 |
|
3 |
Результаты |
|
BD — биссек |
|
|||||
|
|
BD — ме |
триса и высота BD — биссек |
|
||
|
|
диана (B E ) |
{BE) |
триса {BE) |
|
|
|
|
|
|
|
|
|
AD и |
DE |
+ |
+ |
+ |
AD = |
DE\ А В= ВЕ |
AD и |
DC |
— |
|
|
|
— |
А Е и ЕС |
+ |
— |
— |
|
А Е = Е С |
|
DE и |
ЕС |
|
— |
+ |
DE/EC=BD/BC |
ределенного заключения об отрезках сделать нельзя. При менение алгоритма сводится к выбору из трех признаков.
Теперь вернемся к задаче 1. Задача может быть ре шена путем нескольких применений алгоритма П2. Дого воримся наличие признака в логической форме обозна чать + , отсутствие —, неизвестно ± (табл. 17).
При совместном рассмотрении результатов получаем: BD/BC—1/2. Дальнейшее очевидно. В —90°.
Обратимся к эксперименту. Двум группам девяти классников по 15 человек, примерно одинакового уровня математического развития, было предложено решить за дачу 1 в течение 20 мин. При равных прочих условиях во второй группе дано указание: «Попытайтесь сравнить между собой отрезки основания треугольника». В пер-
*> Имеется в виду только биссектриса — медиана исключается или про нее, по крайней мере, ничего не известно.
вой группе задачу решили трое учащихся, наиболее спо собных к математике. Во второй — 11 человек. Как пока зали выполнение работы и последующий анализ, из не решивших задачу испытуемых первой группы по крайней мере 7 человек начали с рассмотрения отрезков осно
вания. |
|
|
|
Среди решивших задачу был Д. Приводим выдержку |
|||
из протокола его «мышления |
вслух» |
«. .. BD — биссек |
|
триса и высота |
(логический синтез q f. |
Свернулся опера |
|
торный «блок» |
a ß y — С. Ш.) |
AD = DE\ АВ = ВЕ. BE — |
|
биссектриса («свертка» — С. Ш .). |
|
||
. .. Пропорциональность сторонам. Отношение извест |
|||
но ... Все понятно». |
|
|
|
Экспериментатор: — Чему равен угол В ? |
|||
Д.: — Сейчас |
найдемЕще |
проверим рассуждение. |
BD — медиана ААВЕ. Конечно, — биссектриса и высота.
DE = -^-AE. Но АЕ = ЕС. Значит, |
DE = -^-EC и т. д.». |
|||
|
Экспериментатор: — Вы с самого начала |
так рассуж |
||
дали? |
|
|
|
|
|
Д.: — Нет, я как-то вдруг увидел . . . Объяснение при |
|||
думано потом- |
|
|
||
|
Учащаяся К- (1 гр., средние математические способ |
|||
ности) |
не решила задачу. Вот начало ее решения. «Раз |
|||
Z |
1 = A |
2 , то BD — биссектриса |
Z.ABE. |
Рассмотрим |
Л |
A ABD и DBE. Они равны. Их стороны AD и DE — |
тоже равны. Теперь возьмем АЕ и ЕС. АЕ = ЕС. Что из этого? ...» Учащаяся так и не добралась до угла В.
Итак, задача 1 решается путем нескольких последова тельных «включений» алгоритма Я2. Как показывает экс перимент, применение учащимися алгоритма Я2 имеет более или менее выраженный регулярный характер (осо бенно заметный в решении К.). Рассмотрим такую-то пару отрезков. Применим алгоритм Я2. Рассмотрим сле дующие отрезки и т. д. По-видимому, здесь вне сферы действия Я2 работает новый алгоритм Я3, «объемлющий» Я2, и периодически включающий его. Назовем Я3 условно алгоритмом упорядоченного перебора. Так в процессе обучения используются иерархические системы «вложен ных» алгоритмов Яі, Я2, Я3 и т. д., в которых каждый следующий алгоритм содержит предыдущий в качестве подалгоритма.
Однако одно дело производить выбор, когда известно, что хотя бы некоторые варианты ведут к цели, и совсем
108
другое, — когда не ясно, что из этого получится. Вспом ним, что исходное допущение о сравнении отрезков осно вания треугольника имеет лишь пробный характер. Мож но было с самого начала предположить, что, испытав не сколько отрезков и не обнаружив решения, учащиеся не станут рассматривать остальные зависимости и откажут ся от гипотезы. Так это действительно и оказалось: многие испытуемые остались на полпути, прекратили ре шение, не разглядев заключительной ситуации.
Обратим внимание, что в решениях большинства испытуемых, справившихся с заданием, проявился дру гой, более гибкий вариант алгоритма Я3: «Рассмотрим отрезки. Если получится такой-то результат, то перейдем к одним отрезкам, в противном случае — к другим и т. д.». Здесь характер обращения к Я2 предусмотрен определенными логическими условиями. На этом пути многие исключили из рассмотрения отрезки AD и DC (так это, во всяком случае, проявилось внешне), «с ме ста» устранили избыточные равенства типа АВ = ВЕ, не имеющие применения в дальнейшем.
Возникает вопрос, на чем основана прозорливость испытуемых, решивших задачу. Психологический анализ показывает, что Д. и другие учащиеся действительно использовали алгоритм Я2 *7 Однако на первом этапе решения операторная процедура сокращена. В мышле нии решение, по-видимому, «нащупывается» на уровне частично свернутых действий, где-то на границе между психологической и логической моделями. Учащийся слозно обладает «дальнодействием» — способностью произво дить следующие действия, минуя предыдущие (137], [134]. Создается возможность одноактно удержать вместе все пары отрезков. Задача просматривается не до конца, но на такую глубину, когда уже удается оценить целесооб разность подхода-
При необходимости, в процессе решения задач, соот ветствующие операторные структуры (в «переводе»— стоящие за ними структуры умственных действий) вызы ваются и срабатывают автоматически. Этим можно бы объяснить быстроту, легкость заключений. Так как дей ствия имеют свернутый характер, они, как правило, не сознаются, и результат часто воспринимается решающим, как неожиданный [135],
*) Лучшие результаты испытуемых 2-й группы, по-видимому, обѣ» ясняются ртимулированием извне их обращения к этому алгоритму.
109