Введение
Глава 1. МЕТОДОЛОГИЧЕСКИЕ ОСНОВЫ ИССЛЕДОВАНИЯ 13
1. Фундаментальный подход к обучению информатике и роль формальных языков в реализации этого подхода 13
2. Семиотический подход к изучению и построению некоторого объекта 20
3. Применение семиотического подхода к построению методической теории обучения формальным языкам 29
Выводы к главе 1 56
Глава 2. СЕМИОТИЧЕСКИЙ ПОДХОД К ПОСТРОЕНИЮ МЕТОДИЧЕСКОЙ СИСТЕМЫ ОБУЧЕНИЯ ФОРМАЛЬНЫМ ЯЗЫКАМ 58
1. Цели обучения формальным языкам 58
2. Содержание обучения формальным языкам 64
3. Методы, формы и средства обучения формальным языкам 80
4. Интерпретация методической системы обучения 95
5. Теория категорий как второй метаязык. Обучение второму метаязыку как один из аспектов семиотического подхода к обучению 98
Выводы к главе 2 111
Глава 3. ОРГАНИЗАЦИЯ И ПРОВЕДЕНИЕ ПЕДАГОГИЧЕСКОГО ЭКСПЕРИМЕНТА
1. Общая характеристика исследования 116
2. Анализ состояния подготовки будущих учителей информатики по формальным языкам
3. Использование факторного анализа для выделения составляющих семиотического подхода
4. Оптимизация содержания обучения формальным языкам методами теории графов 128
5. Исследование возможности изучения второго метаязыка 131
6. Логико-семиотический анализ как способ работы с содержанием обучения формальным языкам 135
Выводы к главе 3 144
Заключение 146
Библиография 150
Приложения 165
