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

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

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

ВВЕДЕНИЕ

ГЛАВА 1. ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПОСТРОЕНИЯ МЕТОДИЧЕСКОЙ

СИСТЕМЫ ОБУЧЕНИЯ ФУНКЦИОНАЛЬНОМУ ПРОГРАММИРОВАНИЮ

1.1. Определение информатики как науки

1.2. Определение понятий "методическая система обучения", "методика обучения конкретному учебному предмету", "учебный предмет"

1.3. Классификация парадигм программирования

1.4. Классификация языков функционального программирования

1.5. Математические основания функционального программирования

ГЛАВА 2. ПОСТРОЕНИЕ МЕТОДИЧЕСКОЙ СИСТЕМЫ ОБУЧЕНИЯ

ФУНКЦИОНАЛЬНОМУ ПРОГРАММИРОВАНИЮ.

2. 1. Цели обучения

2.2. Средства обучения

2.3. Содержание обучения

2.3.1. Принципы отбора содержания обучения

2.3.2. Основы функционального программирования

2.3.3. Дополнительные разделы содержания обучения функциональному программированию

2.3.4. Отражение содержания обучения функциональному программированию будущих учителей математики и информатики в курсе "ОИиВТ" средней школы

2.4. Методы обучения

2.4.1. Общедидактические и частно-дидактические методы обучения

2.4.1. Специальные методы обучения

2.5. Организационные формы обучения

2.6. Взаимосвязи между элементами методической системы обучения

ГЛАВА 3. ИСПОЛЬЗОВАНИЕ МАТЕМАТИЧЕСКИХ МОДЕЛЕЙ ПРИ ПЛАНИРОВАНИИ УЧЕБНОГО ПРОЦЕССА.

3.1. Организация педагогического эксперимента.

3.2. Использование факторного анализа при отборе содержания обучения

3.3. Оптимизация учебной программы по содержанию и по времени методами теории графов.

3.4. Методика проведения,и результаты формирующего этапа педагогического эксперимента.

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

Актуальность исследования. Функциональное программирование представляет собой одну из сформировавшихся в процессе исторического развития парадигм. Каждая из них реализует модель, описывающую какое-либо понятие, которое определяет вычислительный процесс и связано с понятием алгоритма. Отличительной чертой функционального программирования является то, что оно основывается на математическом аппарате (^-исчислении, исчислении комбинаторов и теории рекурсивных функций), основные понятия которого моделируют понятие вычислимой функции.

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

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

Функциональному программированию на языке LISP посвящены работы отечественных и зарубежных специалистов - К. Н. Бенерта и М.Л.Герасина, Р.Брукс, С. С. Лаврова и Г. С. Силагадзе, Дж.Маккарта, У. Маурера, Д. Турецки, Э. Хювенена и Й.Сеппянена и других, вопросы подготовки будущих учителей математики и информатики рассматриваются в трудах Т.А. Бороненко, А. П.Ершова, В.А.Извозчиков а, А. А. Кузнецова, Э. И. Кузнецова, И. А. Румянцева, М.В.Швец-кого и других. Во многих работах отмечается необходимость включения в содержание обучения разделов, представляющих все пара-4» дигмы программирования, в том числе и функциональную.

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

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

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

Анализ возникшей проблемной ситуации и поиски выхода из нее составляют содержание настоящей работы.

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

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

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

Гипотеза исследования заключается в предположении, что

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

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

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

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

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

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

4. Осуществить отбор содержания обучения функциональному программированию, когда в качестве основного средства обучения используется язык LISP.

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

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

7. Разработать методические рекомендации по использованию языка функционального программирования LISP при обучении инфор

Ф матике в педагогическом вузе.

Для решения задач исследования использовались следующие методы:

- анализ специальной литературы по математике, информатике, методике обучения математике и информатике;

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

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

- анализ трудов по теории и методологии проектирования и конструирования содержания обучения, исследований в области учебных и педагогических технологий;

- анализ школьных и вузовских программ, учебников и учебных пособий;

- сравнение и обобщение отечественного и зарубежного опыта обучения функциональному программированию;

- собеседование и метод экспертных оценок;

- педагогический эксперимент по проверке отдельных положений работы;

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

- статистические методы обработки экспериментальных данных.

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

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

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

Практическая значимость полученных результатов заключается в том, что на основе построенной теоретической модели методической системы обучения будущих учителей математики и информатики функциональному программированию (на базе языка LISP) могут быть созданы различные варианты учебных предметов "Функциональное программирование" для педагогических вузов с учетом их осор бенностей, которые могут быть трансформированы в раздел "Элементы функционального программирования" для средней школы; разработанные методические рекомендации уже применялись при проведении спецсеминара "Языки функционального программирования".

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

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

В первой главе содержатся основные положения, концепции и определения педагогических понятий, используемые при построении методической системы обучения функциональному программированию на базе языка LISP. В частности, рассматриваются классификация # парадигм программирования и языков функционального программирования; разделы математической логики (^-исчисление, исчисление комбинаторов, теория рекурсивных функций), являющиеся основаниями функционального программирования.

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

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

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

На завершающем этапе построения теоретической модели методической системы обучения определяется ее структура - взаимосвязи между элементами.

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

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

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

3) структура содержания обучения функциональному программированию на базе языка LISP, характеризуемая включением разделов математической логики (Х-исчисления, исчисления комбинаторов, теории рекурсивных функций), которые выступают в качестве оснований функционального программирования.

Апробация и внедрение результатов исследования осуществлялась на научно-методических семинарах и конференциях по проблемам преподавания информатики - регулярном научно-методическом семинаре кафедры информатики и вычислительной техники # (Санкт-Петербург, РГПУ им.А.И.Герцена, 1997-1999), V-ой Международной конференции по проблемам преподавания математики и информатики в средней и высшей школе (Петрозаводск, КГПУ, 2000), Всероссийской научно-практической конференции "Информатика и информационные технологии в образовании" (Санкт-Петербург, РГПУ им.А.И.Герцена, 2000); в рамках проведения спецсеминара "Языки функционального программирования" на 5 курсе факультета математики РГПУ им. А.И.Герцена (1998/1999 учебный год).

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

ВЫВОДЫ ПО ГЛАВЕ 3

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

П.3.1 посвящен организации педагогического эксперимента. В нем дано понятие о педагогическом эксперименте, перечислены его этапы (по Ю.К. Бабанскому и В.В.Лаптеву), установлено соответствие между ними. Кроме того, приведены основные задачи, методы, результаты всех этапов и модели, используемые в педагогическом эксперименте. Далее указаны основные способы организации экспериментального обучения.

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

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

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

ЗАКЛЮЧЕНИЕ

Сформулируем основные результаты работы.

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

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

1) сформулированы внешние и внутренние цели обучения для различных групп специалистов (учителей информатики, учителей математики) с указанием их источников и технологии формирования;

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

3) показаны примеры возможных путей включения элементов содержания обучения функциональному программированию будущих учителей информатики в вузе в содержание курса "ОИиВТ" в Школе;

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

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

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

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

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

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

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

1. Андерсон Лж. Р., Рейзер Б.Дж. Учитель Лиспа // Реальность и прогнозы искусственного интеллекта: Сб. статей. М.: Мир, 1987. - С. 27-47.

2. Андерсон Р. Доказательство правильности программ. М.: Мир, 1982. - 163 с.

3. Анисимов А. В. Информатика. Творчество. Рекурсия. Киев: Наук, думка, 1988. - 224 с.

4. Анохин П. К. Избранные труды: Философские аспекты теории функциональной системы. М.: Наука, 1978. - 400 с.

5. Антимиров В. М., Воронков А. А., Дегтярев А. И., 'Захарящев Ш.В., Проценко B.C. Математическая логика в программировании. Обзор // Математическая логика в программировании: Сб. статей 1980-1988 гг. М. : Мир, 1991. - С. 331-407.

6. Архангельский С. И. Лекции по теории обучения в высшей школе. М.: Высшая школа, 1974. - 384 с.

7. Архангельский С. И. Учебный процесс в высшей школе, его закономерные основы и методы. М.: Высшая школа, 1980. - 368 с.

8. Бабанский Ю.К. Оптимизация процесса обучения. М.: Педагогика, 1977. - 256 с.

9. Базлов И.Ф., Шляго А.Н. Экзаменационные материалы по информатике (К разработке образовательных стандартов Санкт-Петербургской школы) // Информатика и образование, 1995, 2. С. 18-28.

10. Баландин Ф.И., Толстой Ф.В. Функциональное программирование. Язык muLISP. Николаев: НКИ, 1992. - 37 с.

11. Барендрегт X.Р. Бестиповое Х-исчисление // Справочная книга по математической логике. Т. 4. М.: Наука, 1983. - С. 278-318. Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика.- М.: Мир, 1985. 606 с.

12. Баррон Д. Рекурсивные методы в программировании. М.: Мир, 1974. - 80 с.

13. Батурина Г.И., Байер У. Цели и критерии эффективности обучения // Советская педагогика. 1975, 4. С. 41-49.

14. Бауэр Ф.Л., Гооз Г. Информатика. Вводный курс: В 2-х ч. 4.2.- М. : Мир, 1990. 423 с.

15. Белкин Е.Л., Карпов В.В., Харнаш П. И. Дидактические проблемы управления познавательной деятельностью. Ярославль, 1974. -176 с.

16. Белоцерковский О.М. К читателям журнала // Информатика и образование, 1994, 1. С. 3-4.

17. Белошапка В. О языках, моделях и информатике // Информатика и образование, 1987, 6. С. 12-16.

18. Белошапка В., Лесневский А. Основы информационного моделирования // Информатика и образование, 1989, 3. С. 17-24.

19. Бенерт К.Н., Герасин М.Л. Введение в язык Лисп. Сыктывкар: Изд-во СГУ, 1994. - 131 с.

20. Бердж В. Методы рекурсивного программирования. М.: Машиностроение, 1983. - 248 с.

21. Берталанфи Л. Общая теория систем обзор проблем и результатов // Системные исследования. Ежегодник, 1969. - М.: Наука, 1969. - С. 30-54.

22. Беспалько В. П. Основы теории педагогических систем. Воронеж: Изд-во университета,1977. - 304 с.

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

24. Бетев В. А. Некоторые особенности методики проведения педагогических исследований // Теория и практика педагогического экс-пермента. Куйбышев: КГПИ, 1974. - С. 3-16.

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

26. Биркгоф Г. Теория структур. М.: ИЛ, 1952. - 408 с.

27. Боброва К.А. К определению содержания основных понятий системного исследования объектов. Донецк: Изд-во ин-та экономики пром-сти АН УССР, 1972. - 20 с.

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

29. Бороненко Т.А. Методика обучения информатике. Теоретические основы. СПб.: РГПУ им.А.И.Герцена, 1997. - 99 с.

30. Бороненко Т.А., Рыжова Н.И., Швецкий М.В. К вопросу об онтологическом определении понятия "информатика" // Вопросы теории и практики обучения информатике: Сб. науч. тр. СПб: Высшая административная школа правительства Санкт-Петербурга, 1996. -С. 11-18.

31. Брой М. Информатика: Основополагающее введение. В 4-х ч. 4.1. М.: Диалог-МИФИ, 1996. - 299 с.

32. Брой М. Информатика: Основополагающее введение. В 4-х ч. Ч.З. М.: Диалог-МИФИ, 1996. - 224 с.

33. Брунер Дж. Процесс обучения. М.: Изд-во АПН РСФСР, 1962. -84 с.

34. Бударный А. А. Индивидуальный подход в обучении // Советская педагогика, 1965, 7. С. 70-83.

35. ВалиевМ.К., Кругляков С. В., Юрченко В.В. Функциональное программирование. М.: Знание, 1989. - 48 с.

36. Вербицкий А. А. Активное обучение в высшей школе: контекстный подход. М.: Высшая школа, 1991. - 207 с.

37. Виноградова М.Д., Первин И.Б. Коллективная познавательная деятельность и воспитание школьников. М.: Просвещение, 1977. - 159 с.

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

39. Волков Д. Школа, программирование, познание // Информатика и образование, 1989, 6. С. 104-107.

40. Володарская И.А., Митина A.M. Проблема целей обучения в современной педагогике. М.: МГУ, 1989. - 72 с.

41. Вольфенгаген В.Э. Комбинаторная логика в программировании. -М. : МИФИ, 1993. 204. с.

42. Выбор методов обучения в средней школе / Под ред. Ю. К.Ба-банского. М.: Педагогика, 1981. - 176 с.

43. Гаврилец Ю.Н. Социально-экономическое планирование. Системы и модели. М.: Экономика, 1974. - 175 с.

44. Гастев Ю.А. От редактора перевода // В кн. Карри Х.Б. Основания математической логики. М.: Мир, 1969. - С. 5-8.

45. Головлёва С. В. Методика обучения функциональному программированию будущих учителей информатики (на базе языка LOGO). Ав-тореф. дис. . канд. пед. наук. СПб, 2000. - 19 с.

46. Головлёва С.В., Швецкий М.В. К вопросу о классификации языков функционального программирования // Вопросы теории и практики обучения информатике: Сб. науч. тр. СПб: РГПУ им. А.И.Герцена, 1998. - С. 8-12.

47. Горохов В.Г. Множественность представлений системы и постановка проблемы системного эталона // Системные исследования. Ежегодник, 1971. М.: Наука, 1972. - С. 72-78.

48. Горский Л.П., Ивин А. А., Никифоров А. Л. Краткий словарь по логике. М.: Просвещение, 1991. - 208 с.

49. Горунов М. Г., Пидкасистый П.И. Самостоятельная работа студентов. М.: Знание, 1978. - 36 с.

50. Громов Г. Р. Очерки информационной технологии. М.: Наука, 1992. - 336 с.

51. Данилов М.А. Процесс обучения в советской школе. М.: Учпедгиз, 1960. - 299 с.

52. Дедков А.Ф. Абстрактные типы данных в языке АТ-Паскаль. М.: Наука, 1989. 200 с.

53. Денек К. Изучение и оценка уровня знаний студентов // Современная высшая школа, 1987, 3/59. С. 91-101.

54. Дидактика средней школы / Под ред. М. Н. Скаткина. М.: Просвещение, 1982. - 319 с.

55. Дистервег А. Избранные педагогические сочинения. М. : Учпедгиз, 1956. - 374 с.

56. Дородницын А. А. Информатика: предмет и задачи // Вестник АН СССР, 1983, 2. С. 86-89.

57. Дорот В.Л., Новиков Ф.А. Толковый словарь современной компьютерной лексики. СПб.: БХВ-Санкт-Петербург, 1999. - 384 с.

58. Дружинин В. В., Которое Д. С. Системотехника. м.: Радио и связь, 1985. - 200 с.

59. Дьяченко В. К. Организационная структура учебного процесса и ее развитие. М.: Педагогика, 1989. - 160 с.

60. Дыляк С. Формирование целей обучения в вузе // Современная высшая школа, 1987, 1/57. С. 65-76.

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

62. Есипов Б.П. Самостоятельная работа учащихся на уроках. М.: Государственное учебно-педагогическое издательство министерства просвещения РСФСР, 1961. - 240 с.

63. Загвязинский В. И. Дидактика высшей школы: Текст лекций. Челябинск: ЧПИ, 1990. 98 с.

64. Загвязинский В.И. Методология и методика дидактического исследования. м!: Педагогика, 1982. - 160 с.

65. Загвязинский В. И. Педагогика и творчество учителя. М.: Педагогика, 1987. - 160 с.

66. Загвязинский В. И., Гриценко Л.И. Основы дидактики высшей школы. Тюмень: ТГУ, 1978. - 92 с.

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

68. Зенкин А. А. Когнитивная компьютерная графика. М.: Наука, 1991. - 192 с.

69. Искусственный интеллект: В 3-х кн. Кн. 3. Программные и аппаратные средства: Справочник / Под ред В.Н.Захарова, В.Ф.Хорошевского. М. : Радио и связь, 1990. - 368 с.

70. История языков программирования. Хронологическая таблица. // Монитор, 1991, 2. С. 29-29.

71. Карри Х.Б. Основания математической логики. М.: Мир, 1969.- 568 с.

72. Квиттнер П. Задачи. Программы. Вычисления. Результаты. М.: Мир, 1980. - 422 с.

73. Кларин М.В. Педагогическая технология в учебном процессе. Анализ зарубежного опыта. М.: Знание, 1989. - 80 с.

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

75. Когаловский С. Р. и др. Путь к понятию: от интуитивных представлений к строгому понятию. Шуя: Изд-во ШГПУ, 1997. - 176 с.

76. Козлова М.С. Проблемы оснований науки // Природа научного познания: логико-методологический аспект. Мн.: Изд-во БГУ, 1979. - С. 13-56.

77. Кондаков Н.И. Логика. М.: АН СССР, 1954. - 512 с. Косова И.С. Понятие о ^-исчислении // Михайлов А.Б., Рыжова Н.И., Швецкий М.В. Лекции по основам математической логики. Элементы теории алгорифмов. - СПб.: РГПУ, 1997. - С. 54-66.

78. Косоеа И.С. Понятие о комбинаторном исчислении // Михайлов А.Б., Рыжова Н.И., Швецкий М.В. Лекции по основам математической логики. Элементы теории алгорифмов. СПб.: РГПУ, 1997. -С. 66-79.

79. Косова И. С. Технология формирования целей обучения функциональному программированию в педагогическом вузе // Информатика- исследования и инновации. Вып.4. Межвузовский сб. науч. тр. -СПб. : ЛГОУ, 2000. С. 26.

80. Косова И. С., Швецкий М.В. Отбор средств и содержания обучения функциональному программированию будущих учителей информатики // Вопросы теории и практики обучения информатике: Сб. науч. тр. СПб.: РГПУ, 1998. - С. 89-94.

81. Красновский Э.А., Курдюмова И.М. О соотношении целей обучения и требований к знаниям, умениям и навыкам учащихся // Новые исследования в педагогических науках, 1983, 1(41). С. 30-33.

82. Крылова Е.С., Горячев А.В. Проект программы по информатике // Информатика и образование, 1996, 1. С. 3-12.

83. Крюков А. П., Родионов А. Я., Таранов А.Ю., Шаблыгин Е.М. Программирование на языке R-Лисп. М.: Радио и связь, 1991. -192 с.

84. Кузин Я. Т. Основы кибернетики. Т. 2. М. : Энергия, 1979. -584 с.

85. Кузичев А.С. О предмете и методах комбинаторной логики // История и методология естественных наук. М.: МГУ, вып.14, 1973. С. 131-141.

86. Кузичев А.С. Принцип комбинаторной полноты в математической логике // История и методология естественных наук. М.: МГУ, вып.16, 1974. С. 106-127.

87. Кулюшин Ю. Я. Психология обучения взрослых. М.: Просвещение, 1985. - 128 с.

88. Лавров С.С. Основные понятия языков программирования. М.: Финансы и статистика, 1982. - 80 с.

89. Лавров С.С., Сияагадзе Г. С. Автоматическая обработка данных: язык лисп и его реализация. М.: Наука, 1978. - 176 с.

90. Ланге 0. Целое и развитие в свете кибернетики // Исследования по общей теории систем. М.: Прогресс, 1969. - С. 181-251.

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

92. Лаптев В. В., Рыжова Н. И., Швецкий М. В. Специальные методы обучения информатике // Вопросы теории и практики обучения информатике: Сборник научных трудов. СПб: РГПУ, 1998. С. 95-113.

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

94. Лебедев О.Е. Реализация целей общего образования в вечерней школе: Взаимосвязь целей обучения и мотивов учения. М.: Педагогика, 1980. - 168 с.

95. Лебедев О.Е. Теоретические основы педагогического целепола-гания в системе образования. Дисс. . док.пед.наук. СПб., 1992. - 338 с.

96. Лебедева И. А., Пальчикова И.Н., Рыжова Н.И., Швецкий М.В. Система лабораторных работ по программированию на диалекте TURBO Pascal (версия 7.0). СПб.: РГПУ, 1998. - 192 с.

97. Лекции лауреатов премии Тьюринга. М.: Мир, 1993. - 560 с.

98. Лернер И.Я. Дидактические основы методов обучения. М.: Педагогика, 1981. - 185 с.

99. Лернер И.Я. Качество знаний учащихся. Какими они должны быть? М.: Знание, 1978. - 47 с.

100. Лесневский А. С. Информатика и диалектика // Информатика и образование, 1996, 6. с. 6-9.

101. Лихачев Б.Т. Педагогика. Курс лекций. М.: Юрайт, 1998. -464 с.

102. Лосев И. С. Размышления об обучении программированию // Микропроцессорные средства и системы, 1985, 3. С. 24-27.

103. Лында А. С., Жильцов II. А., Щербов Н.П. Педагогика. М.: Высшая школа, 1973. - 392 с.

104. Марков Ю.Г. Функциональный подход в современном научном познании. Новосибирск: Наука, 1982. - 256 с.

105. Математическая логика в программировании: Сб.статей 1980-1988 гг. М. : Мир, 1991. - 408 с.

106. Матюшкин A.M. Проблемные ситуации в мышлении и обучении. -М.: Педагогика, 1972. 208 с.

107. Маурер У. Введение в программирование на языке ЛИСП. М.: Мир, 1976. - 102 с.

108. Месарович М., Мако Л., Тахакара И. Теория иерархических многоуровневых систем. М.: Мир, 1973. - 344 с.

109. Методика преподавания математики в средней школе: Общая методика / В.А.Оганесян, Ю. М.Колягин, Г. Л. Луканкин, В. Я. Саннинс-кий. М.: Просвещение, 1980. - 368 с.

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

111. Методы системного педагогического исследования. Л.: Изд-во Ленинградского Ун-та, 1980. - 172 с.

112. Михайлов А. Б., Рыжова Н.И., Швёцкий М.В. Упражнения по основам математической логики. Введение в теорию алгорифмов. СПб.: РГПУ, 1997. 148 с.

113. Моделирование деятельности специалиста на основе комплексного исследования / Под ред. В.Э.Смирновой. Л.: ЛГУ, 1984.177 с.

114. Моделирование педагогических ситуаций: Проблемы повышения качества и эффективности общепедагогической подготовки учителя / Под ред. Ю.Н.Кулюткина, Г.С.Сухобской. М.: Педагогика, 1981. - 120 с.

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

116. Муравьев В.М. FAQ: Лисп, 1999. WWW-документ. URL http: //www. ctc. tsu. ru/aigroup/aicollection/ docs/faqs/lisp/

117. Народное образование в СССР: Сборник нормативных актов. М.: Юридическая литература, 1987. 334 с.

118. Никандров Н.Д., Петрова Е.Д. Система организационных форм обучения в педагогическом институте // Содержание методы и формы обучения в педагогическом институте: Сборник научных трудов. Л.: ЛГПИ, 1977. - С. 3-14.

119. Нильсон О.А. Теория и практика самостоятельной работы учащихся. Таллин: Валгус, 1976. - 280 с.

120. Образовательные стандарты Петербургской школы. СПб.: ЦПИ, 1997. - 100 с.

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

122. Овчинников Н. Ф. Структура и симметрия // Системные исследования. Ежегодник, 1969. М.: Наука, 1969. - С. 111-121.

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

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

125. Оконь В. Введение в общую дидактику. М.: Высшая школа, 1990. - 382 с.

126. Основы дидактики / Под ред. Б.П.Есипова. М.: Просвещение, 1967. - 472 с.

127. Островский С. Л. О преподавании основ функционального программирования // Информатика: Приложение к газете "1 сентября",1995, 8.

128. Панчешникова Л.М. О системном подходе в методических исследованиях // Советская педагогика, 1973, 4. С. 71-80.

129. Педагогика / Под ред. П.И.Пидкасистого. М.: Педагогическое общество России, 1998. - 640 с.

130. Педагогика высшей школы / Отв. ред. Н.Д.Никандров.- Л.: ЛГПИ, 1974. 116 с.

131. Педагогика. Курс лекций / Под общ. ред. Г.И.Щукиной, Е.Я.Го-ланта, К.Д.Радиной. М.: Просвещение, 1966. - 648 с.

132. Педагогика: педагогические теории, системы, технологии / Под ред. С.А.Смирнова. М.: Издательский центр "Академия", 1999. -512 с.

133. Пейперт С. Переворот в сознании: дети, компьютеры и плодотворные идеи. М.: Педагогика, 1989. - 222 с.

134. Петров П.М. Система программирования ЛИСП. М.: ФИАН, 1986. - 51 с.

135. Пидкасистый П. И. Самостоятельная познавательная деятельность школьников в обучении. М.: Педагогика, 1980. - 240 с.

136. Пильщиков В.П. Сборник упражнений по языку Паскаль. М.: Наука, 1989. - 160 с.

137. Половникова Н. А. Система воспитания познавательных сил школьников. Казань: КГПИ, 1975. - 102 с.

138. Пратш Т. Языки программирования: разработка и реализация. М.: Мир, 1979. - 576 с.

139. Программирование: вводный курс / Под ред. Д. Школьника. М.: МЦНМО, 1995. - 165 с. mail to: [e-mail]

140. Пышкало A.M. Методическая система обучения геометрии в начальной школе. Авторский доклад по монографии "Методика обучения геометрии в начальных классах", представленной на соискание уч. степ. докт. пед. наук. М., 1975. - 60 с.

141. Рабунский Е. С. Индивидуальный подход в процессе обучения школьников. М.: Педагогика, 1975. - 182 с.

142. Раушенбах Б. В. Поиск решения в задачах математического характера // Психологический журнал, 1996, т. 17, 2.- С. 80-87.

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

144. Ривиным А.Г. Содиалог как орудие ликбеза // Революция и культура, 1930, 15-16. С. 64-66.

145. Рыбников К. А. Введение в методологию математики. М.: Изд-во Московского университета, 1979. - 128 с.

146. Салмана И. Г. Знак и символ в обучении. М.: Изд-во Моск. Ун-та, 1988. - 288 с.

147. Самарин Ю.А. Очерки психологии ума. Особенности умственной деятельности школьников. М.: Изд-во АПН РСФСР, 1962. - 504 с.

148. Советов Б. Я. Информационная технология. М.: Высшая школа, 1994. - 368 с.

149. Стёпин В. С. К проблеме структуры и генезиса научной теории // Философия. Методология. Наука. М.: Наука, 1972. -С. 159-185.

150. Талызина Н.Ф. Теоретические проблемы программированного обучения. М.: МГУ, 1969. - 133 с.

151. Тода М., Шуфорд Э.Х. Логика систем: введение в формальную теорию структуры // Исследования по общей теории систем. М.: Прогресс, 1969. - С. 320-383.

152. Уинстон П. Искусственный интеллект. М.: Мир, 1980. С. 303-512.

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

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

155. Филд А., Харрисон П. Функциональное программирование. М.: Мир, 1993. - 637 с.

156. Философская энциклопедия / Глав. ред. Ф.В. Константинов. Т.4. М.: Сов. энциклопедия, 1967. - 591 с.

157. Фролов Г.Д., Кузнецов Э.И. Элементы информатики. М.: Высш.шк., 1989. - 304 с.

158. Фостер Дж. Обработка списков. М.: Мир, 1974. - 72 с.

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

160. Хелмс Г. Языки программирования: Краткое руководство. М.: Радио и связь, 1985. - 174 с.

161. Хендерсон П. Функциональное программирование. Применение и реализация. М.: Мир, 1983. - 349 с.

162. Хигман Б. Сравнительное изучение языков программирования. -М.: Мир, 1974. 204 с.

163. Хиндли Дж.Р. Комбинаторы и лямбда-исчисление. Краткий обзор // Математическая логика в программировании: Сб.статей 1980-1988 гг. М.: Мир, 1991. - С. 119-140.

164. Хювенен Э., Сеппянен Й. Мир Лиспа. В 2-х т. Т.1: Введение в язык Лисп и функциональное программирование. М.: Мир, 1990. -447 с.

165. Хювенен Э., Сеппянен Й. Мир Лиспа. В 2-х т. Т.2: Методы и системы программирования. М. : Мир, 1990. - 319 с.

166. Цирульников A.M. Проблемы педагогической конкретизации целей общеобразовательной школы // Педагогика и народное образование в СССР: экспресс-информация, 1978: Вып.1. С. 3-18.

167. Чередов И.М. Методика планирования школьных форм организации обучения. Омск: Омский ГПИ, 1983. - 105 с.

168. Чередов И.М. Система форм организации обучения в советской общеобразовательной школе. М.: Педагогика, 1987. - 152 с.

169. Шабанова М.В., Патронова Я. Я. Педагогический эксперимент и обработка его результатов. Архангельск: Изд-во Поморского го-ударственного ун-та, 1999. - 76 с.

170. Шабунин Л. В. Комбинаторные исчисления. Чебоксары: ЧГУ, 1984. - 87 с.

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

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

173. Шляпентох В.Э. Как сегодня изучают завтра (Современные методы социального прогнозирования). М.: Сов. Россия. - 264 с.

174. Щеголее А. Информатика и диалектика // Информатика и образование, 1993, 2. С. 11-15.

175. Щукина Г. И. Активизация познавательной деятельности учащихся в учебном процессе. М.: Просвещение, 1979. - 160 с.

176. Эльконин Д. Б. Послесловие / Выготский Л.С. Собрание сочинений. В 6 т. Т. 4: Детская психология. М.: Педагогика, 1984. -С. 386-403.

177. Энгелер Э. Метаматематика элементарной математики. М.: Мир, 1987. - 128 с.

178. Berk A.A. LISP, The Language of Artificial Intelligence. -Van Nostrand Reinhold, 1985. 160 p.

179. Brooks R.A. Programming in Common Lisp. New York etc.: Wi-ley&Sons, cop., 1985. - 303 p.

180. Church A. The calculi of lambda-conversion, Ann.Math.Studies, №6, Princeton, N.J., 1941; 2nd ed., 1951.

181. Curry H. В., Feys R. Combinatory logic, vol.1. Amsterdam, 1958; 2-nd pr., 1968.

182. Curry H.B., " Hindley J.R., Seldin J. P. Combinatory logic, vol.11. Amsterdam, 1972.

183. Deborah G.Tatar A programmer's guide to Common Lisp. Digital Press, 1987. - 327 p.

184. Foderaro J.К., Skowler K.L., Layer K. The FRANZLISP Manual.- Berkeley: University California, 1983. 194 p.

185. Gagne R.M., Briggs L.J., Wager W.W. Principles of Instructional Design. Forth Worth etc.: Harcourt Brace Jovanovich college, 1992. - 365 p.

186. Groniund N.E. Measurement and Evalution in Teaching. New York: Macmillan: London: Collier Macmillan, 1976. - 590 p.

187. Guy L. , Steele R. Common Lisp: The Language. Digital Press, 1984. - 241 p.

188. McCarthy J. Recursive Functions of Symbolic expressions and their Computation by Machine, Part 1, CACM, vol.3, April, 1960.- pp. 184-195.muLisp-85. Reference Manual. - Soft ware house, Inc., 1985. - 137 p.

189. Pitman K.M. "Common Lisp HyperSpec". (TM) Harlequin, Inc., 1996.

190. WWW-документ. URL http://www.harlequin.com/books/HyperSpec/

191. Touretzky D.S. "Common Lisp: A Gentle Introduction to Symbolic Computation". Benjamin/Cummings Publishers, Redwood City, CA, 1990.- 592 p.

192. Urmi J. INTERLISP/370. Reference Manual. - Linkoeping: Linkoeping University, 1976. - 192 p.

193. Weissman С. LISP 1.5 Primer. Belmont: Dickenson Publishing Company, Belmont, Calif, 1967. - 378 p.

194. Winkler R. Differenzierung. Funktionen, Formen und Probleme. Regensburg, 1978. - 52 s.

195. Winston P. H., Horn B.K.P. Lisp. Addison-Wesley, Reading, Massachusetts, 1984. 418 p.