The use of Maple in teaching elements of boolean algebra: Solving school tasks
https://doi.org/10.32517/2221-1993-2026-25-2-65-73
Abstract
The article examines the use of the Maple computer algebra system in school informatics course for solving specific mathematical logic problems and improving students' understanding of the specifics of solving logical problems, such as the order of logical operations and constructing truth tables. The possibility of using the Maple computer algebra system in teaching elements of Boolean algebra is shown. Three informative examples are used to achieve this goal: determining the correspondence of a logical function to a truth table and reconstructing the order of variables in a truth table based on known sets and a fragment of the table with gaps. Various problem-solving methods are demonstrated. The solution is demonstrated using the basic functions of the Logic library of the Maple computer algebra system. The basic logical operations and functions of the Logic library, as well as the order of their use in solving problems, are given.
About the Authors
A. A. Zaporozhtseva
Stavropol State Pedagogical Institute
Russian Federation
Russian Federation
Anastasia A. Zaporozhtseva, Assistant Professor at the Department of Mathematics, Informatics, and Digital Educational Technologies
Stavropol
K. A. Kirichek
Stavropol State Pedagogical Institute
Russian Federation
Russian Federation
Ksenia A. Kirichek, Candidate of Sciences (Education), Docent, Head of the Department of Mathematics, Informatics, and Digital Educational Technologies
Stavropol
A. A. Olenev
Stavropol State Pedagogical Institute
Russian Federation
Russian Federation
Aleksander A. Olenev, Candidate of Sciences (Engineering), Docent, Associate Professor at the Department of Mathematics, Informatics, and Digital Educational Technologies
Stavropol
References
1. Босова Л. Л. О новых подходах к изучению школьной ин-форматики в условиях цифровой трансформации общества // Информатика в школе. 2022. № 4. С. 5–14. DOI: 10.32517/2221-1993-2022-21-4-5-14. EDN: DKRLZV.
2. Босова Л. Л., Босова А. Ю. Информатика. 10 класс: базовый уровень: учебник. М.: Просвещение, 2024. 291 с.
3. Гаркавенко Г. В., Кубряков Е. А. Олимпиада по информатике в ВГПУ как средство популяризации предмета среди обучающихся // Актуальные проблемы прикладной математики, информатики и механики. Сборник трудов Международной научной конференции (Воронеж, 17–19 декабря 2018 года). Воронеж: Научно-исследовательские публикации, 2019. С. 1393–1398. EDN: YYJWVF.
4. Гаркавенко Г. В., Морозова В. В. Пример исследовательской деятельности на уроках информатики // Актуальные проблемы методики обучения информатике и математике в современной школе. Материалы международной научно-практической интернет-конференции (Москва, 19–25 апреля 2021 года). М.: Московский педагогический государственный университет, 2021. С. 92–98. EDN: AJXOJE.
5. Зубрилин А. А. Единый подход к подготовке будущих учителей информатики в ракурсе формирования цифровых компетенций // Информатика и образование. 2022. Т. 37. № 2. С. 42–49. DOI: 10.32517/0234-0453-2022-37-2-42-49. EDN: VXCJRN.
6. Игошин В. И. Математическая логика: учебное пособие. М.: ИНФРА-М, 2023. 399 с.
7. Крылов С. С., Чуркина Т. Е. ЕГЭ-2026. Информатика. 20 типовых экзаменационных вариантов. М.: Национальное образование, 2026. 256 с.
8. Методические рекомендации для учителей, подготовленные на основе анализа типичных ошибок участников ЕГЭ 2022 года // ФБГНУ «ФИПИ». https://fipi.ru/ege/analiticheskie-i-metodicheskie-materialy#!/tab/173737686-5
9. Оленев А. А., Калмыков И. А., Киричек К. А. Построение совершенных нормальных форм булевых функций для схемотехнических реализаций протоколов аутентификации с использованием Maple // Программные продукты и системы. 2023. № 3. С. 349–360. DOI: 10.15827/0236-235X.143.349-360. EDN: DUQMTP.
10. Поляков К. Ю. Множества и логика в задачах ЕГЭ // Информатика (Первое сентября). 2015. № 10. С. 38–42. https://www.kpolyakov.spb.ru/download/inf-2015-10.pdf
11. Поляков К. Ю., Еремин Е. А. Информатика. 9 класс: учебник. М.: Просвещение, 2022. 288 с.
12. Федеральная рабочая программа основного общего образования. Информатика (базовый уровень) (для 7–9 классов общеобразовательных организаций). https://edsoo.ru/wp-content/uploads/2023/08/15_ФРП-Информатика-7-9-классы_база.pdf
13. Федеральная рабочая программа основного общего образования. Информатика (углубленный уровень) (для 7–9 классов общеобразовательных организаций). https://edsoo.ru/wp-content/uploads/2023/08/16_ФРП_Информатика_7-9-классы_угл.pdf
14. Федеральная рабочая программа среднего общего образования. Информатика (базовый уровень) (для 10–11 классов образовательных организаций). https://edsoo.ru/wp-content/uploads/2023/08/21_ФРП-Информатика_10-11-классы_база.pdf
15. Федеральная рабочая программа среднего общего образования. Информатика (углубленный уровень) (для 10–11 классов образовательных организаций). https://edsoo.ru/wp-content/uploads/2023/08/22_ФРП_Информатика-10-11-классы_угл.pdf
16. Rosen K. H. Discrete mathematics and its applications. NY: McGraw-Hill Publ., 2019. 1118 p.
Review
For citations:
Zaporozhtseva A.A., Kirichek K.A., Olenev A.A. The use of Maple in teaching elements of boolean algebra: Solving school tasks. Informatics in school. 2026;(2):65-73. (In Russ.) https://doi.org/10.32517/2221-1993-2026-25-2-65-73
Views:
9
JATS XML
Email this article 