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

• Автор: Егорова, Наталья Вячеславовна
• Шифр специальности: 13.00.02
• Научная степень: Кандидатская
• Год защиты: 2003
• Место защиты: Санкт-Петербург
• Количество страниц: 222 с. : ил.

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПОСТРОЕНИЯ МЕТОДИКИ ОБУЧЕНИЯ ДОКАЗАТЕЛЬСТВУ ПРАВИЛЬНОСТИ ИМПЕРАТИВНЫХ ПРОГРАММ
1.1. Методическая теория как методология исследования и модель методики обучения доказательству правильности

императивных программ.

1.2. Эмпирический базис методической теории обучения г доказательству правильности императивных программ
1.2.1. Направления и содержание обучения императивному программированию в рамках фундаментальной подготовки

учителя информатики

1.2.2. Содержание обучения понятию доказательство правильности императивных программ в школе.
1.2.3. Подходы в обучении понятию доказательство правильности императивных программ в педагогическом вузе.

1.3. Элементы концептуального базиса методической теории обучения

доказательству правильности императивных программ.
1.3.1. Информатика как научная дисциплина и
учебный предмет
1.3.2. Императивное программирование классификация
языков программирования и понятие императивная программа
1.3.3. Доказательство правильности программ как предметная область и деятельность, понятие правильная программа и
методы доказательства правильности программ
1.3.4. Подходы к обучению понятию доказательство.
1.3.5. Понятие задача и упражнение по информатике
1.3.6. Понятие образовательного уеЬсайта.
1.4. Концептуальный каркас методической теории обучения
доказательству правильности императивных программ.
1.5. Логика методической теории обучения доказательству
правильности императивных программ
Выводы по главе I
ГЛАВА 2. ПОСТРОЕНИЕ УЧЕБНОГО ПРЕДМЕТА И ИНТЕРПРЕТАЦИЯ МЕТОДИЧЕСКОЙ ТЕОРИИ ОБУЧЕНИЯ ДОКАЗАТЕЛЬСТВУ ПРАВИЛЬНОСТИ
ИМПЕРАТИВНЫХ ПРОГРАММ
2.1. Цели обучения доказательству правильности
императивных программ.
2.2. Содержание обучения доказательству правильности
императивных программ.
2.2.1. Структура содержания обучения.
2.2.2. Обзор содержания и концептуальные линии обучения
2.2.3. Логикосемиотический анализ содержания обучения
в рамках темы Аксиоматическая система Хоара
2.2.3.1. Анализ теоретического материала.
2.2.3.2. Анализ задачного материала
2.2.4. Структура содержания, теоретический и задачный материал курса Доказательство правильности императивных программ
2.2.5. Межпредметные связи содержания обучения доказательству правильности императивных программ.
2.3. Методы, формы и средства обучения доказательству правильности императивных программ
2.3.1. Методы обучения.
2.3.2. Формы обучения.
2.3.3. Традиционные и специальные средства обучения
2.3.3.1. Программа как вспомогательное средство для выдвижения гипотезы о правильности программы.
2.3.3.2. Компьютерная программа I как вспомогательное средство поиска доказательства правильности программ
2.3.3.3. Образовательный сайт как электронное средство обучения доказательству правильности императивных программ.
2.4. Варианты учебного предмета Доказательство правильности императивных программ как интерпретации построенной
методической теории обучения.
Выводы по главе 2
ГЛАВА 3. ОРГАНИЗАЦИЯ И ПРОВЕДЕНИЕ
ПЕДАГОГИЧЕСКОГО ЭКСПЕРИМЕНТА
3.1. Общая характеристика опытноэкспериментального
исследования.
3.2. Анализ состояния и проблемы подготовки учителей информатики
по вопросам доказательства правильности программ
3.3. Использование факторного анализа для структуризации содержания
обучения доказательству правильности программ
3.4. Оптимизация программы учебной дисциплины
методами теории графов
3.5. Использование анализа контрольных работ для корректировки содержания обучения доказательству правильности
императивных программ.
3.6. Проверка эффективности разработанной методики обучения
Выводы по главе 3.
ЗАКЛЮЧЕНИЕ
БИБЛИОГРАФИЯ


Концептуальный базис методической теории должен содержать зри понятийных блока дидактический содержит основные понятия, принципы, законы из области дидактики методический содержит основные понятия, принципы, законы из методики обучения конкретному учебному предмету предметный из предметной области, для которой строится методическая теория. Концептуальный базис методической теории обучения доказательству правильности императивных программ рассмотрен нами в 1. Концептуальный каркас идеализированный объект теории это абстрактная модель существенных свойств и связей объектов, выделенных в концептуальном базисе. Основоположения теории описывают важнейшие свойства и связи ее идеализированного объекта, который служит теоретической интерпретацией всех утверждений теории. Так, например, концептуальный каркас методической теории данного исследования содержит множество моделей методической системы обучения и описан в 1. Логика методической теории это множество допустимых в данной методической теории способов убеждения доказательства. В логике методической теории выделяются два основных компонента 1 дедуктивные средства, которыми могут быть традиционная логика построенная на силлогистике АристотеляХ индуктивная логика, а также в отдельных случаях могут применяться особые логические системы 2 принципы построения методической теории, которые необходимы а для отбора элементов концептуального базиса, б для построения концептуального каркаса отбора его элементов и установления связей между ними, а также в для образования содержательной надстройки методической теории. Эти вопросы рассмотрены нами в 1. Содержательная надстройка это совокупность предложений или действий, сформулированных и обоснованных автором методической теории, которые обычно и являются предметом конкретного методического исследования. Под интерпретацией методической теории мы будем понимать конкретную реализацию построенной методической теории на практике. Содержательная надстройка и интерпретация методической теории обучения доказательству правильности императивных программ описана в главе 2. Существует множество трактовок понятия методика обучения. С одной стороны, методика обучения понимается как совокупность методов, используемых для достижения конкретной учебной цели Сибирская, , с. Вороненко, Маркова, Пышкало, Теория, Чернобыльская, и др. Кукушин, и др. А.П. Рис. В нашем исследовании мы будем придерживаться точки зрения, которая отражена на схеме, представленной на рис. Комментируя ее, можно сказать, что любой исследователь, занимаясь построением методики обучения, явно или опосредованно приводит содержание каждого описанного выше компонента методической теории, поэтому методическая теория это понятие, с одной стороны, представляющее описание модели педагогического исследования, а с другой стороны, моделирующее методику обучения. В частности, элементы, указанные на этой схеме, например, методическая система обучения описывается нами в концептуальном каркасе методической теории, а учебный предмет и образовательный сайт как конкретные реализации методической системы обучения описываются в качестве интерпретации методической теории обучения. В данном параграфе построим эмпирический базис методической теории обучения, для этого опишем направления и содержание обучения императивному программированию в рамках фундаментальной подготовки учителя информатики, содержание обучения понятию доказательство правильности императивных программ в школе и педагогическом вузе. Прежде чем раскрыть суть фундаментального обучения в области императивного программирования, определим направления и содержание фундаментализации образования учителя информатики в рамках предметной области. Существует множество трактовок понятий фундаментализация образования и фундаментальное обучение, которые очень часто используются как синонимы. Приведем схему рис. Лаптев, Рыжова, Швецкий, , с. Отметим, что эта схема является результатом анализа основных подходов к определению указанных понятий, их содержания и основных направлений реализации на практике положений фундаметализации образования, представленных в работах Бордовский, Кондратьев, Суханов, Голубева, Суханов, Кузнецова, , с. Саморуков, Тихомиров, Стефанова, и др. Рис.