Введение
Глава 1. Теоретические основы построения методики обучения логическому (хорновскому) программированию будущих учителей информатики 11
1.1. Информатика как научная дисциплина 11
1.2. Предмет информатики в вузе и школе 14
1.3. Логическое программирование на языке Пролог 29
1.3.1. Парадигмы программирования 31
1.3.2. Реализации языка программирования Пролог 35
1.3.3. Математические основания логического программирования 42
1.3.4. Сравнительный анализ языков программирования 49
Выводы по Главе 1 ;-. 52
Глава 2. Построение методической системы обучения логическому программированию 55
2.1. Цели обучения 56
2.2. Отбор содержания обучения 59
2.2.1. Аналитический обзор существующих подходов
к обучению логическому программированию 62
2.2.2. Отбор содержания раздела "Математические основания логического программирования" 65
2.2.3. Отбор содержания раздела "Теоретические основы логического программирования" 68
2.2.4. Отбор содержания раздела "Программирование
на языке Пролог" 74
2.3. Методы обучения , 75
2.4. Организационные формы обучения 84
2.5. Средства обучения 87
2.6. Задачи и упражнения в курсе логического программирования 97
2.7. Построение курса программирования на базе языка логического программирования 119
2.8. Логическое программирование в школьном курсе информатики 123
Выводы по Главе 2 125
Глава 3. Организация и проведение педагогического эксперимента 126
3.1. Организация педагогического эксперимента 126
3.2. Использование факторного анализа при отборе содержания обучения 128
3.3. Оптимизация учебной программы по содержанию и по времени методами теории графов 131
3.4. Методика проведения и результаты формирующего этапа педагогического эксперимента 137
Выводы по Главе 3 144
Заключение 146
Библиография 148
Приложения 160
