Использование Maple в обучении элементам алгебры логики: решение школьных задач

Аннотация

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