Preview

Информатика в школе

Расширенный поиск

Учебная программная среда для изучения абстрактных вычислительных машин Тьюринга и Поста

https://doi.org/10.32517/2221-1993-2023-22-6-31-40

Аннотация

Федеральная рабочая программа среднего общего образования по информатике на углубленном уровне предполагает знакомство школьников с машинами Тьюринга и Поста как универсальными моделями вычислений. Использование в учебном процессе интерпретаторов машин Тьюринга и Поста позволяет преодолеть затруднения, связанные с обучением, опирающимся на абстрактно-логическое мышление. В статье описаны возможности разработанной авторами учебной программной среды, в которой для каждой вычислительной машины содержатся три раздела. В разделе «Теория» учащиеся могут познакомиться с особенностями работы машин Поста и Тьюринга. Раздел «Тренажер» позволяет пользователю составить собственные примеры программ или проанализировать готовые, в данном разделе есть возможность выполнить программу по шагам, при этом каждый шаг будет сопровождаться комментариями. Кроме того, в этом разделе можно выполнить лабораторную работу, задания которой генерируются случайным образом согласно шаблону. С помощью раздела «Контроль» учитель может проверить знания школьников по данной теме с помощью серии задач — каждое задание выбирается случайным образом из заготовленной базы задач. Описанная в статье учебная программная среда позволяет организовать как фронтальную, так и индивидуальную работу учащихся.

Об авторах

А. М. Кочигина
Ярославский государственный педагогический университет им. К. Д. Ушинского
Россия

Кочигина Анна Михайловна, студентка 5-го курса кафедры теории и методики обучения информатике физико-математического факультета

150000, г. Ярославль, ул. Республиканская, д. 108



П. А. Корнилов
Ярославский государственный педагогический университет им. К. Д. Ушинского
Россия

Корнилов Петр Анатольевич, канд. физ.-мат. наук, доцент, зав. кафедрой теории и методики обучения информатике

150000, г. Ярославль, ул. Республиканская, д. 108



Список литературы

1. Ефремов Е. Л. Алгоритмы вычисления частичных функций: учебно-методическое пособие. Владивосток: Изд‑во Дальневосточного федерального университета, 2021. 48 с.

2. Колдунова И. Д. Визуализация процесса обучения теории алгоритмов // Решетневские чтения. 2014. Т. 3. С. 90–93. EDN: TRPBSJ.

3. Машина Поста // Преподавание, наука и жизнь: сайт Константина Полякова. https://kpolyakov.spb.ru/prog/post.htm

4. Машина Поста // Лаборатория Паскаля. http://pyabc.ru/post.php

5. Машина Тьюринга // Преподавание, наука и жизнь: сайт Константина Полякова. https://kpolyakov.spb.ru/prog/turing.htm

6. Пильщиков В. Н., Абрамов В. Г., Вылиток А. А., Горячая И. В. Машина Тьюринга и алгоритмы Маркова. Решение задач. М.: МГУ, 2016. 72 с.

7. Поляков К. Ю., Еремин Е. А. Информатика. Углубленный уровень: учебник для 11 класса: в 2 ч. Ч. 2. М.: БИНОМ. Лаборатория знаний, 2013. 304 с.

8. Успенский В. А., Семенов А. Л. Теория алгоритмов: основные открытия и приложения. М.: Наука, 1987. 288 с.

9. Фалина И. Н., Радченко Е. Л. Изучение машины Поста в школьном курсе информатики // Информатика. 2007. № 1. С. 31–36.

10. Федеральная рабочая программа среднего общего образования. Информатика (углублённый уровень) (для 10–11 классов образовательных организаций) // Единое содержание общего образования. https://edsoo.ru/wp-content/uploads/2023/08/22_ФРП_Информатика-10-11-классы_угл.pdf

11. Чухнов А. С., Поздняков С. Н. Конструктивные задачи по дискретной математике: сравнительный анализ экзамена с компьютером и без компьютера // Компьютерные инструменты в образовании. 2022. № 1. С. 57–84. EDN: YEKZVK. DOI: 10.32603/2071-2340-2022-1-57-84

12. Эмулятор машины Тьюринга // Сообщество Programforyou. https://programforyou.ru/calculators/turingmachineemulator


Рецензия

Для цитирования:


Кочигина А.М., Корнилов П.А. Учебная программная среда для изучения абстрактных вычислительных машин Тьюринга и Поста. Информатика в школе. 2023;(6):31-40. https://doi.org/10.32517/2221-1993-2023-22-6-31-40

For citation:


Kochigina A.M., Kornilov P.A. Educational software environment for the study of abstract Turing and Post computing machines. Informatics in school. 2023;(6):31-40. (In Russ.) https://doi.org/10.32517/2221-1993-2023-22-6-31-40

Просмотров: 246


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2221-1993 (Print)