Методика обучения логическому (хорновскому) программированию будущих учителей информатики тема диссертации и автореферата по ВАК РФ 13.00.02, кандидат педагогических наук Самойлова, Ирина Петровна

• Самойлова, Ирина Петровна
• кандидат педагогических наук
• 2001

Оглавление диссертации кандидат педагогических наук Самойлова, Ирина Петровна

Введение.

Глава 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.

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

Одним из наиболее важных направлений развития общества является совершенствование системы образования, с уровнем которой тесно связаны перспективы как конкретного человека, так и общества в целом. Это и определяет требование опережающего развития системы образования, которое заключается в необходимости планирования процесса обучения таким образом, чтобы подготовка специалистов удовлетворяла потребностям общества будущего. Вопросы совершенствования системы образования обсуждались на Всемирной конференции по высшему образованию ЮНЕСКО, проходившей в 1998 году. Высшее образование дает обществу специалистов разной квалификации, кроме того, эта структура в значительной степени обусловливает формирование личности. Основной задачей педагогического вуза является подготовка учителя. Из стен педагогического института выходит человек, от которого зависит каким будет следующее поколение. Он должен быть широко образован, профессионально грамотен, способен к самообразованию, - и, вместе с тем, учитель должен быть всесторонне развитой личностью.

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

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

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

Пролог основан на формальной логике предикатов, обеспечивающей удобные средства для представления знаний в виде фактов и правил вывода. Программа на Прологе описывает не процедуру решения задачи, а логическую модель предметной области. Пролог является практической и эффективной реализацией многих принципов, относящихся к "интеллектуальному" выполнению программы, таких, как недетерминизм, унификация с образцом. Различным аспектам теории логического программирования и языку Пролог посвящены исследования Р. Ковальского, А. Колмероэ, Д. Уоррена, Дж. Робинсона. Интерес к языку программирования Пролог вызвал появление литературы, описывающей этот язык и его применения. Это книги У Клоксина и К. Меллиша, Л. Стерлинга и Э. Шапиро, К. Хог-гера, И. Братко, Ч. Ченя и Р. Ли, Ц. Ина и Д. Соломона, Дж. Стобо и др.

Вопросам преподавания языка программирования Пролог в вузе и школе посвящены работы И.Л. Братчикова, С.Г. Григорьева, В.А. Каймина, М.Н. Морозова, И.П. Соловьева, Д. Федюшина. Однако, несмотря на значимость языков логической парадигмы, мы можем отметить недостаточное освещение вопросов методики преподавания данного класса языков в педагогическом вузе.

Сказанное выше определяет актуальность данной работы.

Объектом исследования выступает процесс обучения будущих учителей информатики логическому программированию в системе высшего педагогического образования.

Цель исследования состоит в построении методики обучения студентов педагогического вуза логическому программированию на основе языка программирования Пролог.

Данная цель определила предмет исследования, которым является методическая система обучения будущих учителей информатики логическому программированию.

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

Гипотеза исследования заключается в том, что методическая система обучения логическому программированию будущих учителей информатики, в основу которой положен фундаментальный подход к обучению, может быть построена, если: в содержании обучения логическому программированию выделено и обосновано подмножество математических понятий, лежащих в основании логического программирования, отвечающих дидактическим целям учебного курса и соответствующих определенному этапу обучения;

• выбраны и обоснованы частно-дидактические методы, формы и средства обучения хорновскому программированию студентов педагогического вуза.

В соответствии с поставленной целью и выдвинутой гипотезой были определены задачи исследования:

1) провести теоретическое исследование вопросов, связанных с логическим программированием, таких как определение места языка Пролог в системе парадигм программирования, математические основания логического программирования, теоретические основы логического программирования;

2) построить теоретическую модель методической системы обучения логическому программированию: сформулировать цели обучения; отобрать содержание обучения; разработать методы, формы и средства обучения;

3) провести экспериментальную проверку теоретической модели методики обучения логическому программированию.

Для решения задач исследования использовались следующие методы: анализ специальной литературы по математике, информатике, вычислительной технике и методике обучения математике и информатике; анализ научной литературы по философским, социальным, психолого-педагогическим проблемам современной системы образования, анализ школьных и вузовских программ, учебников и учебных пособий; изучение и обобщение педагогического опыта; анкетирование учителей, студентов, преподавателей педвузов; метод экспертных оценок и обработка результатов методом факторного анализа; констапгирующие и формирующие эксперименты по проверке отдельных методических положений работы.

Содержание применяемых методов исследования, конкретные задачи, решаемые с помощью каждого из них, а также экспериментальные материалы отражены в соответствующих разделах диссертации.

Научная новизна и теоретическая значимость проведенного исследования состоит в том, что

1) в содержании обучения логическому программированию выделены взаимосвязанные разделы: "Математические основания хорнов-сюго программирования", "Теоретические основы языка программирования Пролог", "Программирование на языке Пролог", первый из которых и составляет новизну данной работы;

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

Практическая значимость исследования заключается в том, что на основе построенной теоретической модели методики обучения будущих учителей информатики логическому программированию могут быть созданы варианты курса "Логическое программирование" для педагогических вузов с учетом их особенностей. Методика была использована при построении и проведении спецкурса "Основы логического программирования" в РГПУ им. А.И. Герцена.

Структура построения диссертации и логика ее изложения отражает последовательность решения основных задач исследования. Диссертация состоит из введения, трех глав, заключения, библиографии и приложений.

Заключение диссертации по теме «Теория и методика обучения и воспитания (по областям и уровням образования)», Самойлова, Ирина Петровна

Основные результаты работы можно сформулировать следующим образом.

В первой главе, на основе современной концепции высшего и среднего образования, концепции фундаментальной подготовки в области информатики в педагогическом вузе разработаны следующие теоретические положения:

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

2) выделены базовые разделы информатики и математики для обучения логическому программированию;

3) выделены математические основания логического программирования. Приведено описание существующих реализаций языка программирования Пролог.

Данные положения используются при построении методики обучения будущих учителей информатики логическому программированию во второй главе, в которой:

1) сформулированы цели обучения;

2) осуществлен анализ содержания обучения логическому программированию, произведен отбор содержания каждого из разделов, выделенных в результате анализа, и описан результат синтеза содержания обучения логическому программированию;

3) предложены методы, формы и средства обучения логическому программированию;

4) приведено описание типов задач, используемых при обучении логическому программированию и конкретные рекомендации по обучению различным типам задач;

5) приведены требования к системе программирования, на основании чего и были выделены системы программирования, которые могут быть предложены для преподавания логического программирования в курсе информатики педагогического вуза.

В третьей главе описана организация и проведение педагогического эксперимента. Показано применение методов математической статистики и теории графов для построения учебной программы курса "Логическое программирование", а также ее оптимизации по содержанию и по времени. Продемонстрировано использование факгорного анализа при отборе содержания обучения логическому программированию. Приведены результаты формирующего этапа эксперимента, подтверждающие возможность пракгической реализации построенной методики обучения.

В рамках поставленных задач выполненное диссертационное исследование можно считать законченным.

Заключение

Список литературы диссертационного исследования кандидат педагогических наук Самойлова, Ирина Петровна, 2001 год

1. Амамия М., Танака Ю. Архитектура ЭВМ и искусственный интеллект. - М.: Мир, 1993.-400 с.

2. Антипов И.Н. Основы информатики и вычислительной техники: методическое пособие для преподавателей техникумов. М.: Высш. шк., 1991.-246 с.

3. Бен-Ари М. Языки программирования. Практический сравнительный анализ. М.: Мир, 2000. 366 с.

4. Беспалько В.II. Слагаемые педагогической технологии. М.: Педагогика, 1989. - 192 с.

5. Бешенков С.А., Гейн А.Г., Григорьев С.Г. Информатика и информационные технологии: Учеб. пособие для гуманитарных факультетов, университетов и педагогических вузов. Екатеринбург: Урал. гос. пед. ун-т., 1995. - 144 с.

6. Бешенков С.А. Новые составляющие нашего мировоззрения //Информатика и образование, 1999, № 10. С. 10-11.

7. Бешенков С.А. Школьная информатика: новый взгляд, новый курс //Педагогическая информатика, 1993, №2. С. 5-10.

8. Бобровский С. (1996). Лебединая песня Пролога. PC Week. WWW document. URL http://kis.pcweek.ru/kis/win/techno/prolog.html

9. Бобровский С. (1996). Пролог в России. PC Week. WWW document. URL http://kis.pcweek.ru/kis/'win/techno/prorus.html

10. Богданова Д.А., Федосеев A.A. Проблемы дистанционного обучения в России //Информатика и образование, 1996, № 3. С. 94-97.

11. Боголюбов Д. Использование Пролога в гуманитарных предметах //Информатика и образование, 1992, № 2. С. 21-24.

12. Бороненко Т.А. Концепция школьного курса информатики. Санкт-Петербург, 1995. 67 с.

13. Бороненко Т.А. Методика обучения информатике. Теоретические основы: Учебное пособие для студентов педвузов. Санкт-Петербург; 1997. - 99 с.

14. Бороненко Т.А. Теоретическая модель системы методической подготовки учителя информатики. Автореф. дисс. . докт. пед. наук. -Санкт-Петербург, 1998. 34 с.

15. Боргцев В.Б. Семантика языков логического программирования и абстрактная машина для их реализации. Автореф. дисс. . д-ра ф-м. паук. Москва, 1992. 47 с.

16. Борщев В.Б., Хомяков М.В. Схемы для функций и отношений //В кн.: Исследования по формализованным языкам и неклассическим логикам. М.: Наука, 1974. - С. 23-49.

17. Братко И. Программирование на языке Пролог для искусственного интеллекта. М.: Мир, 1990. - 560 с.

18. Братчиков И.Л. Синтаксис языков программирования. М.: Наука, 1975.-232 с.

19. Братчиков И.Л., Марусева И.В., Казаков А.Ю. Теория и практика автоматизации учебного процесса. Часть I. Искусственный интеллект в обучении: Учебное пособие. СПб.: Образование, 1993. - 52 с.

20. ВиртН. Алгоритмы + структуры данных = программы. М.: Мир, 1985.-406 с.

21. Всемирная декларация о высшем образовании для XXI века: подходы и практические меры. Всемирная конференция по высшему образованию ЮНЕСКО, Париж, 5-9 октября 1998 г. WWW document. URL http://dod.miem.edu.ru/NPT/NPT00/index.htm

22. Вульфсон Б.Л. Высшее образование на Западе на пороге XXI века: успехи и нерешенные проблемы //Педагогика, 1999, № 2. С. 84-85.

23. Гегечкори А. Проблемы обучения информатике //Информатика и образование, 1988, №4.

24. Гейн А., Линецкий Е., Сапир М., Шолохович В. Информатика: как решать задачи с использованием ЭВМ //Информатика и образование,1989, №2. С. 10-16.

25. Гершунский Б.С. Прогнозирование содержания обучения в техникумах. М.: Педагогика, 1980. - 144 с.

26. Гершунский Б.С. Компьютеризация в сфере образования: Проблемы и перспективы. М.: Педагогика, 1987. 264 с.

27. Гинецинский В.И. Основы теоретической педагогики: Учеб. пособие. СПб.: Изд-во СПбУ, 1992. 154 с.

28. Гладкий A.B. Формальные грамматики и языки. М.: Наука, 1973. 368 с.

29. Гладкий A.B. Математическая логика. М.: Российский гос. гуманитарный ун-т, 1998. - 479 с.

30. Григорьев С. Работа системы Пролог-Д //Информатика и образование,1990, №4. С. 41-44.

31. Григорьев С. Программирование на Прологе-Д //Информатика и образование, 1990, № 5. С. 50-56.

32. Григорьев С. Графические средства системы Пролог-Д //Информатика и образование, 1990, № 6. С. 47-49.

33. Григорьев С. Обработка списков на Прологе-Д //Информатика и образование, 1991, № 1. С. 41-42.

34. Григорьев С. Пролог-Д в ПЗУ БК-0010 //Информатика и образование, 1992, №3-4.-С. 38-39.

35. Григорьев С., Морозов М. Давайте попробуем Пролог //Информатика и образование, 1987, №4. С. 14-16.

36. Грэй П. Логика, алгебра и базы данных. М.: Машиностроение, 1989.368 с.

37. Дацун H.H. Компьютерные технологии в изучении функционального и логического программирования. (1997). WWW document.

38. URL http://www.cs.dgtu.donetsk.ua/events/issuel/DATSUNl .html

39. Доорс Дж., Рейблейн А.Р., Вадера С. Пролог язык программирования будущего. М.: Финансы и статистика, 1990. - 144 с.

40. Ерохина Е. От логики к программированию //Информатика и образо

41. Щ вание, 1993, №2. С. 57-67; 1993, № 5. С. 25-36; 1994, №3. С. 21-34.

42. Ершов А.П. Школьная информатика в СССР: от грамотности к культуре //Информатика и образование, 1987, № 6. С. 3-11.

43. Ершов А.Г1., Звенигородский Г.А., Первин Ю.А. Школьная информатика (концепции, состояние, перспекгавы). Новосибирск: ВЦ СО АН СССР, 1979, препринт 152.

44. Зайдельман Я.Н., Самовольнова Л.Е., Лебедев Г.В. Три кита школьной информатики //Информатика и образование, 1993, № 4. С. 13-17.

45. Залогова Л.А., Семакин И.Г. Базовый курс ОИВТ: "Пермская версия"

46. Информатика и образование, 1995, № 6.

47. Звенигородский Г. А. Некоторые особенности учебных языков и систем программирования //Экспериментальная информатика. Новосибирск, 1981. С. 81-91.

48. Звенигородский Г.А. Анализ требований к программным средствам //Проблемы школьной информатики. Новосибирск, 1986. - С. 16-23.

49. Зеленин В.М., Титова Н.Г., Юсупова М.Н., Челак E.H. Системы искусственного интеллекта и язык Пролог //Информатика и образование,1995, №6. -С. 107-111.

50. Иванова Г.С., Тихонов Ю.В. Введение в язык Пролог. М.: Изд-во МГТУ 1990.- 151 с.

51. Изучение основ информатики и вычислительной техники: Метод, пособие для учителей и преподавателей сред. учеб. заведений. В 2 ч. Ч. 1

52. АЛ. Ершов, В.М. Монахов, М.В. Витиньиш и др. М.: Просвещение,1985. 191 с.

53. Изучение основ информатики и вычислительной техники: Метод, пособие для учителей и преподавателей сред. учеб. заведений. В 2 ч. Ч. 2 /А.П. Ершов, В.М. Монахов, М.В. Витиньиш и др. М.: Просвещение,1986. -207 с.

54. Ин Ц., Соломон Д. Использование Турбо-Пролога. М.: Мир, 1993. 608 с.

55. Интеллектуальное программирование. Турбо-Пролог и Рефал-5 на персональных компьютерах /Бабаев И.О., Герасимов М.А., Косовский Н. К., Соловьев И.П. СПб.: Издательство С. Петербургского университета, 1992. - 167 с.

56. Информатика в младших классах. Машина Поста. 1 год обучения. Кн. для учит. /Сост. B.JI. Духнякова, И.Б. Мылова. С-Петербург: Эпиграф, 1994. - 68 с.

57. Информатика. Задачник-практикум в 2 т. /Под ред. И.Г. Семакина, Е.К. Хеннера: Т. 2. М.: Лаборатория базовых знаний, 1999. - 280 с.

58. Исаков В.Н. Исполнение алгоритмов //Информатика и образование,1987. №2. С. 30-43.

59. Исаков В.Н., Исакова В.В. Алгоритмизация и программирование: методические аспекты //Информатика и образование, 1995, № 2. С. 4448.

60. Каймин В.А. и др. Основы информатики и вычислительной техники. М.: Просвещение, 1989.

61. Каймин В.А. О логике, "лжецах" и доказательном программировании //Информатика и образование, 1991, № 2. С. 107-110.

62. Каймин В., Завальский Ю. Экспериментальная программа по курсу "Основы информатики и вычислительной техники" //Информатика и образование, 1991, № 6. С. 21-26.

63. Каймин М., Григорьев С. Пролог в школьной информатике //Информатика и образование, 1990, № 2.

64. Каймин М., Григорьев С., Угринович Н., Щеголев А. Элементы логики и начала языка Пролог //Информатика и образование, 19В9, № 4.

65. Кинелев В.Г. Образование и цивилизация: Доклад на пленарном заседании II Международного конгресса "Образование и информатика" 1 июля 1996 года, Москва.

66. Кларк К., Маккейб Ф. Введение в логическое программирование на Микро-Прологе. М.: Радио и связь, 1987. - 312 с.

67. КлоксинУ, Меллиш К. Программирование на языке Пролог. М.: Мир, 1987. - 336 с.

68. Кнут Д. Искусство программирования для ЭВМ. Т.1: Основные алгоритмы. М.: Мир, 1976. - 736 с.

69. Ковальски Р. Логика в решении проблем. М.: Наука, 1990. - 277 с.

70. Колин К.К. Информатика в системе опережающего образования: Доклад на пленарном заседании II Международного конгресса "Образование и информатика" 1-5 июля 1996 года, Москва.

71. Колмероэ А., Кануи А., ван Канегем М. Пролог теоретические основы и современное развитие //В сб.: Логическое программирование. -М.: Мир, 1988.-С. 27-133.

72. Концепция деятельности Всемирного технологического университета. (1999). WWW document! URL http://www.wtu.ru/ru/

73. Кузнецова Н.Е. Формирование систем понятий в обучении химии. М.: Просвещение, 1989. 100 с.

74. Кушниренко А., Эпиктетов М. КуМир новое семейство учебных программ //Информатика и образование, 1993, № 1. - С. 21-25.

75. Лавров С.С., Слисенко А.О., Цейтин Г.С. Проект плана-программы по специальности "Информатика и системное программирование" //Микропроцессорные средства и системы, 1985, № 4. С. 20-28.

76. Панина И.Я. Методика формирования познавательною интереса школьников в процессе обучения физике. Автореф. дисс. . д-ра. пед. наук.-Л., 1986.

77. Лаптев В.В. Теоретические основы методики использования современной электронной техники в обучении физике в школе. Автореф. . дисс. д-ра пед. наук. Л., 1989. - 35 с.

78. Лаптев В.В., Швецкий М.В. Метод демонстрационных примеров в обучении информатике студентов педагогического вуза //Педагогическая информатика, 1994, № 3. С. 9-16.

79. Леднев В.С., Кузнецов А.А., Бешенков С.А. О теоретических основах содержания обучения информатике в общеобразовательной школе //Информатика и образование, 2000, № 2. С. 13-16.

80. Логическое программирование. М.: Мир, 1988. - 368 с.

81. Майор Ф. Наука и образование па пороге третьего тысячелетия //Наука и жизнь, 1999, № 8. С. 5-6.

82. Малитиков Е. Ключ в XXI век (Устойчивое развитие и образование взрослых) //Обозреватель 2000, № 3.

83. Малпас Дж. Реляционный язык пролог и его применение. М.: Наука, 1990.-464 с.

84. Маслов С.Ю. Обратный метод установления выводимости в классическом исчислении. ДАН СССР, 1964, № 1. - С. 17-20.

85. Мегакидес Г., НероудА. Принципы логики и логическое программирование. М.: Изд-во "Факториал", 1998. - 288 с.

86. Методы обучения в современной общеобразовательной школе. Метод, реком. для студ. /Сост. Г.Д. Кириллова. Л.: ЛГПИ, 1986. - 44 с.

87. Мичи Д., Джонстон Р. Комггьютер творец. - М.: Мир, 1987. - 255 с.

88. Мордкович А.Г. Профессионально-педагогическая направленность специальной подготовки учителя математики в педагогическом институте. Автореф. дисс. . д-ра пед. наук. М., 1986.

89. Набебин A.A. Логика и Пролог в дискретной математике. М.: Издательство МЭИ, 1996. - 452 с.

90. О математических основах логических и реляционных языков / Сост.:

91. B.А. Козлова, К.П. Козлов, Ф.Ф. Лысенко, Е.К. Смольникова. Л.: ЛГПИ, 1988.-48 с.

92. Овчинников A.A., Пугинский B.C., Петров Г.Ф. Сетевые методы планирования и организации учебного процесса. М.: Высш. шк., 1972. -160 с.

93. Оганесян В.А. Принципы отбора основною содержания обучения математике в средней школе. Ер.: Луйс, 1984. - 215 с.

94. Одинцова Л.А. Модель специалиста для сферы образования по направлению "540100 Естествознание" (математика, информатика и ВТ). Барнаул: БГПИ, 1993. - 36 с.

95. Основы информатики и вычислительной техники: Проб. учеб. пособие для сред. учеб. заведений. В 2-х ч. Ч. 1 /А.П. Ершов, В.М. Монахов,

96. C.А. Бешенюов и др. М.: Просвещение, 1985. - 96 с.

97. Основы информатики и вычислительной техники: Проб. учеб. пособие для сред. учеб. заведений. В 2-х ч. Ч. 2 / А.П. Ершов, В.М. Монахов, С.А. Бешенков и др. М.: Просвещение, 1986. - 143 с.

98. Пантелеймонов А. Основные языки программирования искусственного интеллекта. // КомпьютерПресс, 1991, № 9. С. 33-38.

99. Педагогика высшей школы. Л.: ЛГПИ, 1974. - 116 с.

100. Первин Ю.А. Обучение программированию и использованию ЭВМ в системе компьютерной грамотности учащихся общеобразовательных школ: (На базе кабинета информатики). Автореф. дисс. . д-ра пед. наук. М., 1987.

101. Переверзев В.Н. Логистика: Справочная книга по логике. М.: Мысль, 1995. 224 с.

102. Першиков В.И., Савинков В.М. Толковый словарь по информатике. -М.: Финансы и статистика, 1991. 543 с.

103. Поливанный И. Исполнение Бейсик-программ //Информатика и образование, 1989, № 3. С. 44-52.

104. Политика в области образования и новые информационные технологии: Национальный доклад России. II Международный конгресс ЮНЕСКО "Образование и информатика". М., 1-5 июля 1996.

105. Программное обеспечение микроЭВМ. В 11 кн. /Под ред. В.Ф. Шань-гина. Кн.2. Системное программное обеспечение. /В.М. Илюшечкин, А.Е. Костин, М.М. Хохлов. М.: Высш. шк„ 1987. - 111 с.

106. Пугач В.И., ДобудькоТ.В. Элементы логики и программирования в системе Турбо-Пролог. Самара: Сам. ГПИ, 1993.

107. Репин C.B., Шеин С.А. Математические методы обработки статистической информации с помощью ЭВМ. Минск: Университетское, 1990. - 128 с.

108. Российская педагогическая энциклопедия: В 2 тт. Т.1 А-М. - М.: Большая Российская энциклопедия, 1993. - 608 с.

109. Рыжова Н.И. К вопросу о типологии и классификации упражнений по информатике: Научная статья в сборнике научных трудов //Вопросы теории и практики обучения информатике. Санкт-Петербург, РГПУ, ВАШ, 1997. - С. 48-51.

110. Самойлова И.П. Основания логического программирования на языке Пролог. //В сб. Образовательные технологии. Межвузовский сборник научно-методических статей. СПб: СПБ ГИТМО (ТУ), 2000. -С. 116-122.

111. Самойлова И.Г1. Пролог и логическое программирование. //Вестник мордовского университета, Саранск, 2000, № 3-4. - С. 153-155.

112. Системные аналитики 90-х годов //КомпьютерПресс, 1989, № 2. -С. 79-80.г

113. Соловьев И.Г1. Логическое программирование (1999).

114. WWW document. URL http://www.math.spbu.ru/220400/2204.html.

115. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. М.: Мир, 1990.-235 с.

116. Стефанова Н.Л. Гуманизация системы методической подготовки педагога-математика в педвузе //Подготовка преподавателя математики и

117. Ш информатики для высшей и средней школы: Тезисы докладов Межд.конф. 4.III. М.: МПГУ, 1994. - С. 21-22.

118. Стобо Дж. Язык программирования Пролог. М.: Радио и связь, 1993.-368 с.

119. Столяр A.A. Педагогика математики. Мн.: Выш. школа, 1986. -414 с.

120. Теоретические основы содержания общего среднего образования /Под ред. В.В. Краевского, И.Я. Лернера. М.: Педагогика, 1983. 352 с.

121. Тихомиров B.II. Доклад на открытии III Всероссийской конференции по дистанционному образованию. Москва, МЭСИ, 8-9 апреля 1997 г. WWW document. URL http://www.fcdo.ido.ru/de/st065.html

122. Тихонов Ю. Язык логического программирования МПРОЛОГф

123. КомпьютерПресс, 1991, № 5.

124. Толковый словарь по вычислительным системам /Под ред. В. Иллингуорта, Э.Л. Глейзера, И.К. Пайла. М.: Машиностроение, 1989.-568 с.

125. Трофимов М. Открытые системы, 1997, 3. С. 46-51.

126. RL http://www.zgr.kts.ru/comp/osp/os/os 3 97/source/46.htm

127. Турбович Л.Т. Информационно-семантическая модель обучения. Л., 1970.- 177 с.

128. Угринович Н. Программа непрерывного курса информатики для средней школы //Информатика и образование, 1993, № 1. С. 3-8.

129. Федюшин Д. Парадигмы программирования //Информатика и образование, 1991, №4. С. 11-15; 1991, №5. С. 13-17.

130. Философский энциклопедический словарь. М.: Советская энциклопедия, 1983. 840 с.

131. Хамов Г.Г. Методическая система обучения алгебре и теории чисел в педвузе с точки зрения профессионально-педагогического подхода. -СПб.: РГПУ, 1993. 142 с.

132. Хоггер К. Введение в логическое программирование. М.: Мир, 1988. - 348 с.

133. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983. - 360 с.

134. Шварцбурд С.И., Фирсов В.В. Факультативные занятия в средней школе. Сб. статей /Под ред. М.П. Кашина, Д.А. Эпштейна. М.: Педагогика, 1973. - 238 с.

135. Швецкий М.В. Методическая система фундаментальной подготовки будущих учителей информатики в педагогическом ВУЗе в условиях двухступенчатого образования. Дисс. . д-ра ггед. наук. Санкт-Петербург, 1994. - 480 с.

136. Швецкий М.В. Отбор содержания курса "Языки программирования: парадигмы и организация" для будущих учителей информатики //Вопросы теории и практики обучения информатике: Сборник научных трудов. СПб.: ВАШ, РГПХ 1996. - С. 54-61.

137. Швецкий М.В., АгошковаТ.А. Методология отладки программ на языке программирования MSX-BASIC: Метод, рекомендации для студентов физ.-мат. фак-тов пед. ин-тов. Куйбышев: КГПИ, 1990. 48 с.

138. Щеголев А. Информатика и диалектика //Информатика и образование, 1993, №1.-С. 16-20.

139. Щеголев А. Школьная информатика и язык Пролог //Информатика и образование, 1993, № 2. С. 11-19.

140. Язык Пролог в пятом поколении ЭВМ. /Под ред. Н.И. Ильинского. -М: Мир, 1988.-501 с.

141. Янсон А. Турбо-Пролог в сжатом изложении. М.: Мир, 1991. 94 с.

142. A Modular Curriculum in Computer Science, UNESCO-1FIP, 1994.

143. Curricula 1991, Report of the ACM/IEEE-CS Joint Curriculum Task Force Computing, ACM Press and IEEE-CS Press, New York, 1991.

144. Curriculum 68, CACM 11,3 (1968).

145. Robinson J.A. A Machine-Oriented Logic Based On the Resolution Principle. J. ACM 12. 1965.

146. Winkler R. Differenzierung. Funktionen, Formen und Probleme. Regensburg, 1978.