Автоматизированная обучающая система «Доказательство утверждений для множеств»

  • Вадим Сергеевич Рублев Ярославский государственный университет им. П.Г. Демидова
  • Даниил Растиславович Вахмянин Ярославский государственный университет им. П.Г. Демидова

Аннотация

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

Литература

1. Büchner A. Moodle 3 Administration. — Third Edition. — Packt Publishing, 2016. — 492 p. — ISBN 978-1783289714
2. Udaya Sri K., Vamsi Krishna T. V. E-Learning :Technological Development in Teaching for school kids // International Journal of Computer Science and Information Technologies. — 2014. — P. 6124—6126.
3. Kerres M., Annabell Preußler: Mediendidaktik. In: Dorothee Meister, Friederike von Gross und Uwe Sander (Hrsg.): Enzyklopädie Erziehungswissenschaft Online. — 2012..
4. Davenport J.H., Siret Y., Tournier E. Computer algebra:systems and algorithms for algebraic computation / — Academic Press, 1988. ISBN 978-0-12-204230-0
5. Ермилова А. В., Рублев В. С. Проблемы развития математического мышления учащихся на примере обучающей системы по курсу "Алгоритмы и анализ сложности" // Современные информационные технологии и ИТ-образование // Сборник избранных трудов IX Международной научно-практической конференции. Под ред. проф. В.А. Сухомлина. — М.: ИНТУИТ.РУ, 2014. – С.297-304
6. Рублев В.С., Юсуфов М.Т., Автоматизированная система для обучения анализу вычислительной сложности алгоритмов // Международный научный журнал Современные информационные технологии и ИТ-образование. / Т.12 (№ 1) — 2016. Фонд «Лига интернет-медиа»: 2016 — С.135-145 (ISBN 2411-1473)
7. Рублев В.С., Юсуфов М.Т., Автоматизированная обучающая система «Анализ вычислительной сложности алгоритмов» (исследование организации 1-ой части проекта) // Международный научный журнал Современные информационные технологии и ИТ-образование. / Т.13 (№ 2), 2017. — Фонд «Лига интернет-медиа»: 2017. — С.170-178 (ISBN 2411-1473)
Опубликована
2019-12-23
Как цитировать
РУБЛЕВ, Вадим Сергеевич; ВАХМЯНИН, Даниил Растиславович. Автоматизированная обучающая система «Доказательство утверждений для множеств». Международный научный журнал «Современные информационные технологии и ИТ-образование», [S.l.], v. 15, n. 4, p. 1014-1027, dec. 2019. ISSN 2411-1473. Доступно на: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/549>. Дата доступа: 27 feb. 2020 doi: https://doi.org/10.25559/SITITO.15.201904.1014-1027.
Раздел
E-learning, информационные технологии в образовании