Методика обучения логическому (хорновскому) программированию будущих учителей информатики

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

Содержание
Введение.
I лава 1. Теоретические основы построения методики обучения логическому хорновскому программированию
будущих учителей информатики
1.1. Информатика как научная дисциплина.
1.2. Предмет информатики в вузе и школе.
1.3. Логическое программирование на языке Пролог
1.3.1. Парадигмы программирования.
1.3.2. Реализации языка программирования Пролог.
1.3.3. Математические основания логического
программирования
1.3.4. Сравнительный анализ языков программирования.
Выводы по Главе 1..
Глава 2. Построение методической системы обучения
логическому программированию
2.1. Цели обучения
2.2. Отбор содержания обучения
2.2.1. Аналитический обзор существующих подходов
к обучению логическому программированию.
2.2.2. Отбор содержания раздела Математические основания логического программирования
2.2.3. Отбор содержания раздела Теоретические основы логического программирования
2.2.4. Отбор содержания раздела Программирование
на языке Пролог
2.3. Методы обучения
2.4. Организационные формы обучения.
2.5. Средства обучения
2.6. Задачи и упражнения в курсе логического прог раммирования
2.7. Построение курса программирования на базе языка логического программирования.
2.8. Логическое программирование в школьном
курсе информатики
Выводы по Главе 2
Глава 3. Организация и проведение педагогического эксперимента
3.1. Организация педагогического эксперимента
3.2. Использование факторного анализа при отборе
содержания обучения
3.3. Оптимизация учебной программы по содержанию и
по времени методами теории графов
3.4. Методика проведения и результаты формирующего этапа педагогического эксперимента.
Выводы по Главе 3
Заключение.
Библиография


Мы будем придерживаться следующего определения []: информатика - это фундаментальная естественная наука: объектом которой являются информационные процессы в реальном мире, предметом - формальные системы, моделирующие информационные процессы и отображение формальных систем на архитектуру вычислительных (компьютерных) систем с помощью построения информационных моделей (алгоритмов и структур данных), методологией является вычислительный эксперимент. Формальная система - математическая модель, задающая множество дискретных объектов путем описания исходных объектов и правил построения новых объектов из исходных и уже построенных. Под архитектурой компьютерных систем понимают: а) общую схему информационных связей и связей по управлению, способы организации вычислительного процесса в компьютерных системах; б) совокупность свойств и основных характеристик компьютерных систем, наиболее существенных для пользователя. Таким образом, опишем систему базовых понятий информатики как научной дисциплины: информация, информационные процессы, формальные системы, информационная модель (алгоритм, структуры данных), архитектура компьютерных систем, вычислительный эксперимент. Предметом информатики как науки являются формальные системы, которые можно понимать как систему неких аксиоматических положений и правил вывода. А это есть ни что иное как формальный язык. Другими словами [], формальная система, взятая вместе со своей семантической моделью, образует конкретный формальный язык. Математические языки отличаются от естественных более простым строением, позволяющим достигать в их описании предельной четкости и однозначности; зато они столь же сильно уступают естественным языкам в широте сферы применимости. Оставаясь средством общения между людьми, эти языки используются вместе с естественными и играют по отношению к ним подчиненную роль. Качественно новым этапом в разработке искусственных языков стало появление языков программирования. В противоположность естественным языкам, развивающимся в значительной степени стихийно, языки программирования разрабатываются сознательно и для строго определенных целей. Создатели языка программирования могут придать ему те свойства, которые кажутся им желательными для облегчения изучения его человеком и для лучшего восприятия машиной. Язык как средство передачи информации можно рассматривать с одной стороны как систему правил построения фраз языка, т. Данная работа посвящена преподаванию языка программирования Пролог, при этом формальный язык выступает не только средством, но и предметом исследования. Причем формальный язык исчисления предикатов даег основу для построения другого формального языка - языка программирования. В данном параграфе будет произведен обзор существующих на данный момент направлений развития высшего и среднего образования как в широком смысле, так и в области преподавания информатики. Приводимые материалы будут использоваться при построении методической системы обучения во второй главе. На сегодняшнем этапе развития цивилизации актуальным является вопрос пересмотра существующей системы образования. Такой подход основан на постановке принципиально новых целей высшего образования, состоящих в достижении более высокого уровня образованности отдельной личности и общества в целом. Анализ литературы, посвященной проблематике современного образования, позволил выделить следующие принципы развития образования высшей школы. Соответствие высшею образования требованиям современности рассматривается, в первую очередь, с точки зрения роли и места высшею образования в обществе, его функций, касающихся преподавания, научных исследований и предоставляемых услуг, а также, в более широком смысле, с точки зрения ею связей с рынком труда, с государственными и общественными источниками финансирования и его взаимодействия с другими ступенями и формами образования. Понятие гуманизации образования трактуется как процесс, направленный на развитие личности как субъекта творческого труда, познания и общения. Результатом осуществления гуманизации образования будет являться его ориентация на развитие человеческой личности. Осуществление процесса гуманизации требует качественного изменения всей системы образования, прежде всего, ее целей, содержания, организационной структуры. В условиях углубляющейся интеграции научного знания все менее значимым становится существующее жесткое разделение высшего образования на гуманитарное, естественнонаучное и техническое.