Поиск

МЕТОДИКА ОБУЧЕНИЯ АЛГОРИТМАМ И СТРУКТУРАМ ДАННЫХ // Вестник Томского государственного педагогического университета (Tomsk State Pedagogical University Bulletin). 2015. Вып. 8 (161). С. 131-134

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

Ключевые слова: методика обучения, алгоритмическое мышление, алгоритмы и структуры данных, сортировка и поиск, рекурсивные алгоритмы, алгоритмы на графах

ОБУЧЕНИЕ ПРОГРАММИРОВАНИЮ С ИСПОЛЬЗОВАНИЕМ СИСТЕМЫ EJUDGE // Вестник Томского государственного педагогического университета (Tomsk State Pedagogical University Bulletin). 2017. Вып. 9 (186). С. 109-112

Рассматривается актуальная проблема обучения программированию студентов. Одним из условий успешного обучения является формирование алгоритмического мышления. Одним из необходимых условий его формирования является самостоятельное решение задач разной степени сложности, поэтому при обучении программированию важно особое внимание уделить организации самостоятельной работы. Предлагается подход, основанный на использовании специализированной системы Ejudge, позволяющей в автоматическом режиме осуществлять проверку правильности работы учебных программ. Навыки работы с такой системой также необходимы для участия в олимпиадах по программированию.

Ключевые слова: обучение программированию, алгоритмическое мышление, тестирующие системы, оценочные средства, олимпиадные задачи

ПОСТРОЕНИЕ ОБУЧАЮЩЕГО СРЕДСТВА (НА ОСНОВЕ АЛГОРИТМА ПРОВЕРКИ ПРОТИВОРЕЧИВОСТИ МНОЖЕСТВА ДИЗЪЮНКТОВ) // Вестник Томского государственного педагогического университета (Tomsk State Pedagogical University Bulletin). 2017. Вып. 12 (189). С. 184-187

Рассмотрена реализация алгоритма проверки множества дизъюнктов. Используется автоматная грамматика для описания языка представления дизъюнктов, метод резолюции для проверки их противоречивости и поиск в глубину для автоматизации стратегии OL-опровержения. Данный алгоритм может применяться при автоматической проверке доказуемости или недоказуемости теоремы на основе множества некоторых аксиом. Пошаговая детализация данного алгоритма может быть использована в качестве дополнительного средства при обучении методу резолюции и поиску в пространстве состояний, а также основам формальных языков.

Ключевые слова: дизъюнкт, метод резолюции, OL-опровержение, автоматная грамматика, поиск в глубину, обучение логическим моделям представления знаний