Электронный научный журнал
Современные проблемы науки и образования
ISSN 2070-7428
"Перечень" ВАК
ИФ РИНЦ = 0,791

ИСПОЛЬЗОВАНИЕ АППАРАТА АЛГЕБРЫ ЛОГИКИ В КОМПЬЮТЕРНЫХ УЧЕБНЫХ ТЕХНОЛОГИЯХ ДЛЯ РЕАЛИЗАЦИИ МЕЖПРЕДМЕТНЫХ СВЯЗЕЙ ИНФОРМАТИКИ И МАТЕМАТИКИ

Шевляк А.Г. 1
1 Кубанский государственный университет
Причина неуспеваемости студентов первых курсов вузов в слабой дидактической адаптации. Наличие пробелов в знаниях студентов не позволяет им изучать курс высшей математики на достаточном уровне. Разработаны способы дидактической адаптации посредством инновационных компьютерных технологий. Их содержание интегрирует материал из курсов высшей математики и информатики (алгебры логики). При этом дефиниции научных понятий математики структурируются из элементарных высказываний. Это даёт возможность формулировать определения и правила с помощью логических операций и формул. Данный подход дал возможность построить модели когерентности (согласованности) предметных информационных потоков, посредством которых происходит взаимное обогащение содержания двух учебных курсов математического образования. Приводятся описания интерактивных версий учебных технологий. В настоящее время данная интерактивная форма обучения является актуальной.
интерактивные технологии
информатика
математика
дидактическая адаптация
1. Архипова А.И., Шевляк А.Г., Овчаренко Е.Н. Реализация принципа преемственности обучения математике и физике на основе межпредметных связей и компьютерных технологий // Школьные годы. - 2008. - № 19.
2. Шевляк А.Г., Маркевич Р.А. Фасетные тесты - система заданий для обобщающего повторения математики с применением компьютера // Школьные годы. - 2009. - № 23. - С. 41-43.
3. Шевляк А.Г., Шернина Н.С. Проблема реализации принципа когерентности на разных ступенях математического образования // Школьные годы. - 2010. - № 29. - С. 19-27.
4. Шевляк А.Г. Включение элементов алгебры логики в обучение математики в школе и в вузе// Школьные годы. - 2011. - № 36.
5. Золотарёв Р.И., Архипова А.И., Шевляк А.Г. Формула знаний - дидактическая Интернет технология с применением понятий алгебры логики // Школьные годы. - 2011. - № 37.
Преподаватели математики и информатики в технических вузах констатируют, что студенты первого курса слабо владеют необходимым учебным материалом, которым  должны были бы владеть в связи с изучением его ещё в школьном курсе математики. Наличие пробелов в знаниях студентов не позволяет изучать курс высшей математики на достаточном уровне. В связи с этим возникла идея разработки новой методики, которая была бы рассчитана не только на доступное изучение нового материала, но и на устранение пробелов  школьного обучения предмету.

Для решения этой задачи были выбраны темы, которые изучаются, разумеется, на разных уровнях как в школе, так и в вузе. Это темы: «Производная и ее применение» в математике и «Алгебра логики» в информатике. Почему были выбраны темы из двух смежных учебных курсов? Укажем несколько причин. Во-первых, изучение вопросов алгебры логики для студентов младших курсов вызывает значительные трудности, поскольку в школе на уроках информатики эту теорию практически не рассматривают, хотя в вопросах ЕГЭ по информатике тема отражена. Во-вторых, включая в теоретический курс информатики многочисленные иллюстрации из курса математики, мы тем самым решаем задачу повторения и закрепления математических понятий и как бы увеличиваем число учебных часов на изучение этой дисциплины, которых явно недостаточно. В-третьих, такой подход обогащает содержательно курс информатики, делает его более научным, поскольку многие иллюстрации логических понятий и законов в учебниках информатики носят очень тривиальный характер. (Используются бытовые ситуации для иллюстрации понятий, типа: «Если завтра пойдёт дождь, то наша прогулка отменяется».)

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

1.Словарь

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

Рис.1. Технология «Словарь»

Примеры вопросов технологии «Словарь»:

1) Какой тип высказывания: «Производная - это предел отношения приращения функции к приращению аргумента».

2) Какой тип высказывания: «Производная - это предел отношения приращения функции к приращению аргумента, когда последнее стремится к нулю» и т.д.

2. Эстафета логических переменных

В интерактивной версии технологии «Эстафета логических переменных» перед учащимся появляется экран, на котором ему предлагается ответить на 10 вопросов. В качестве логических переменных используются символы, принятые в теме «Производная». После первого вопроса есть пустое окно, в которое учащийся должен записать логическое значение высказывания (0 или 1). После ввода ответа учащийся нажимает кнопку «Проверить», если ответ верный, то это значение переходит на другой вопрос, если нет, то появляется рамка, в которой написано, что это неправильный ответ. Далее учащийся должен вести другой вариант ответа, пока не ответит верно, и так по цепочке до последнего вопроса, пока не будет пройдена вся эстафета (рис.3).

Примеры заданий технологии «Эстафета логических переменных»:

1. Запишите логическое значение логической переменной: «функция обозначается как f(x)»_____.

2. Конкретное значение переменной обозначается x0 ____,  а любое значение переменной обозначается y0____.

.3. Приращение аргумента обозначается Δy____, а значение функции в точке x0 обозначается f(x) _____.

Рис.3. Тест «Эстафета логических перемееных»

3. Фасетный тест

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

Ниже приведены элементы вопросов.

Если

1. - функция в точке x0 (высказывание a),

2. - функция в точке  (высказывание b),

3. - приращение функция (высказывание c),

4. - отношение приращения функции к приращению аргумента (высказывание d),

5. Существует предел отношения функции к приращению аргумента (высказывание e).

То

21. это называется...

22. высказывание  будет...

23. высказывание  будет...

24. высказывание  будет...

Рис.4. Фасетный тест

Приведем пример задания 1,2,3,4,5,21:

Если - функция в точке x(высказывание a), - функция в точке  (высказывание b), - приращение функция (высказывание c), - отношение приращения функции к приращению аргумента (высказывание d), существует предел отношения функции к приращению аргумента (высказывание e), то это называется...

4. Формула знаний

Данная технология создаётся в сети Интернет на сайте «Соревнования знаний». При этом компьютерная программа создаёт две версии: локальную и сетевую. На первом кадре технологии изложены правила работы с технологией тестом, а также пояснения по теме «Алгебра логики». На втором кадре перед студентом появляется зона, разделённая на несколько фреймов: слева находятся высказывания, которые будут использоваться для формул, в центре - 10 формул, которые студентам необходимо сначала правильно составить в рабочей зоне, а затем дать ответ на вопрос «Истинна(1) или ложна(0)» данная формула (рис.5). Справа в нижней зоне экрана располагается рабочий фрейм, над ней пояснения логических операций и логические связки, используемые для составления формул. Если студент случайным образом составляет высказывание неверно, то он может очистить рабочую область путем нажатия кнопки «очистить».  С помощью кнопки «Проверить результат» можно  узнать  процент выполнения заданий технологии, а также получить оценку.

Рис.5. Технология «Формула знаний»

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

Рецензенты:

  • Архипова А.И., д.п.н., профессор кафедры физики Кубанского государственного университета, профессор кафедры информационных систем и технологий в образовании Кубанского государственного университета, г. Краснодар.
  • Шапошникова Т.Л., д.п.н., к.ф.-м.н., профессор кафедры физики Кубанского государственного технологического университета,  г. Краснодар.

Библиографическая ссылка

Шевляк А.Г. ИСПОЛЬЗОВАНИЕ АППАРАТА АЛГЕБРЫ ЛОГИКИ В КОМПЬЮТЕРНЫХ УЧЕБНЫХ ТЕХНОЛОГИЯХ ДЛЯ РЕАЛИЗАЦИИ МЕЖПРЕДМЕТНЫХ СВЯЗЕЙ ИНФОРМАТИКИ И МАТЕМАТИКИ // Современные проблемы науки и образования. – 2011. – № 6.;
URL: http://science-education.ru/ru/article/view?id=5225 (дата обращения: 17.11.2019).

Предлагаем вашему вниманию журналы, издающиеся в издательстве «Академия Естествознания»
(Высокий импакт-фактор РИНЦ, тематика журналов охватывает все научные направления)

«Фундаментальные исследования» список ВАК ИФ РИНЦ = 1.074