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