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

• Демидов, Михаил Владимирович
• кандидат педагогических наук
• 2001

Оглавление диссертации кандидат педагогических наук Демидов, Михаил Владимирович

ВВЕДЕНИЕ

Глава 1. ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПОСТРОЕНИЯ МЕТОДИЧЕСКОЙ ♦ СИСТЕМЫ ОБУЧЕНИЯ БУДУЩИХ УЧИТЕЛЕЙ ИНФОРМАТИКИ

РАЗДЕЛУ «ПРОЕКТИРОВАНИЕ КОМПИЛЯТОРОВ».

§1.1. Понятийный аппарат исследования.

§1.2. Общие принципы построения методической системы обучения информатике

§1.3. Место раздела «Проектирование компиляторов» в курсе информатики педагогического вуза

§1.4. Требования к уровню математической подготовки студентов

§1.5. Базовые разделы информатики для обучения проектированию компиляторов ; Выводы по главе 1.

Глава 2. МЕТОДИЧЕСКАЯ СИСТЕМА ОБУЧЕНИЯ РАЗДЕЛУ «ПРОЕКТИРОВАНИЕ

КОМПИЛЯТОРОВ».

§2.1. Цели обучения проектированию компиляторов в педагогическом вузе .:.

§2.2. Логическая структура содержания раздела

Проектирование компиляторов>

§2.3. Отбор содержания обучения будущих учителей информатики проектированию компиляторов как элемента методической системы обучения

§2.4. Методы и форт организации обучения разделу

Проектирование компиляторов> в педагогическом

§2.5. Средства обучения разделу <гПроектирование компиляторов> в педагогическом вузе.

§2.6. Реализация методической системы обучения (построение учебного предмета)

Выводы по главе

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

Актуальность исследования.

Раздел «Проектирование компиляторов) в настоящее время отсутствует в курсе информатики педагогического вуза. В государственном стандарте высшего профессионального образования (специальности 030100 — информатика — и 03010000 — информатика с дополнительной специальностью,— оба утверждены 14.04.2000 [39; 40]) имеется раздел «Программное обеспечение ЭВМ», в котором отдельный вопрос посвящен трансляции: «Интерпретаторы и компиляторы. Трансляция программ и сопутствующие процессы». Стандарт явно не указывает ни содержания этой темы, ни её объёма, что зачастую порождает несколько пренебрежительное отношение со стороны преподавателей информатики педагогических вузов. В качестве основного аргумента против систематического изучения данной темы обычно выдвигается следующий: это нужно только программистам, а педагогический вуз готовит специалистов иного профиля.

Вследствие сложившейся ситуации у будущего учителя информатики отсутствует целостное представление о том. как. образно говоря, «обучить автомат формальному языку». Это «обучение» подразумевает [46] совокупность трёх пунктов: (1) выделение математического аппарата, относящегося к формальным языкам (конкретно, языкам в алфавите), формальным грамматикам, абстрактным автоматам, теории перевода и синтаксическому анализу, (2) выделение алгоритмов, основанных на указанном математическом аппарате и (3) реализацию этих алгоритмов при помощи программного обеспечения.

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

Отметим помимо этого, что Т. А. Бороненко [17,с.35] приводит список направлений внутришкольной дифференциации. Из этого списка следует, что одним из курсов, обучение которым возможно в старших классах, является так называемый <soft-Kypc>, предназначенный для школьников, будущая профессия которых может быть связана с системным программированием, в задачи системного программирования входит разработка специального системного программного обеспечения, автоматизирующего процесс написания и отладки прикладных программ, к которому, в частности, относятся компиляторы. Для того, чтобы эффективно обучать таких школьников, учителю также необходимо представление о способах обучения» автоматов формальным языкам.

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

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

Сформулируем определение понятия «методика обучения разделу информатики»: это совокупность (1) методической системы обучения данному разделу и (2) способов отображения (реализации) этой методической системы обучения в учебный процесс (т. е. учебный предмет). Здесь методическая система обучения [62,с.57-58] — это целостная модель педагогической деятельности, которая затем конкретизируется в проекте этой деятельности, а под реализацией методической системы понимается построение учебного предмета, т. е. [18.с.53] системы, целью которой является развитие мыслительных способностей ученика и структура которой изоморфна (или гомоморфна) структуре методической системы обучения.

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

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

Теперь можно сформулировать тему исследования: «Методика обучения будущих учителей информатики разделу .Проектирование компиляторов" >.

Проблема и цель исследования определили необходимость решения следующих задач:

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

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

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

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

2. Концепцией фундаментальной подготовки будущего учителя информатики. Эта концепция основывается на понятии «фундаментальность образованиям которое раскрывается в [71,с.64] следующим образом: (1) выделение определённого достаточного круга вопросов по основополагающим областям знаний данного направления науки и общеобразовательных дисциплин, без которых немыслим интеллигентный человек; (2) изучение данного круга вопросов с полным обоснованием, необходимыми ссылками, без логических пробелов. Требование выполнения этих двух условий и определяет данную концепцию.

3. Технологией проектирования методических систем обучения, включающей в себя технологии отбора основных элементов методической системы (содержания, методов, форм и средств обучения) и технологию установления взаимосвязей между ними. Технологии отбора отдельных компонентов методической системы обучения представляют собой набор требований и предписаний, следуя которым можно получить соответствующие её компоненты. Эти требования не являются жёсткими и незыблемыми (в противном случае методика обучения информатике как наука являлась бы точной наукой!) и формулируются исследователем исходя из его личного опыта и каких-то субъективных соображений. Нам наиболее интересной представляется технология отбора содержания обучения, которое является наиболее существенным компонентом методической системы обучения (однако это не означает, что мы игнорировали прочие её компоненты).

4. Принципами профессионально-педагогической направленности обучения будущих учителей информатики, которые были сформулированы А. Г. Мордковичем (принципы 1-4, [86]) и М.В. Швещим (принципы 5 и 6). Подробно эти принципы раскрываются в § 1.2:

1) принцип фундаментальности,

2) принцип бинарности,

3) принцип ведущей идеи,

4) принцип непрерывности.

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

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

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

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

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

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

2) выбрать теоретическую модель, которой должна соответствовать проектируемая методическая система (описать структуру и желательные свойства этой системы);

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

4) определить базовые разделы математики и информатики для обучения проектированию компиляторов.

Вторая группа носит теоретический характер — это собственно построение методической системы обучения будущих учителей информатики разделу «Проектирование компиляторов»:

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

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

3) описать технологию установления взаимосвязей между элементами системы.

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

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

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

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

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

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

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

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

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

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

2) выделены базовые разделы информатики и математики для обучения этому разделу.

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

- 158

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

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

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

Перспёктивы, которые, на наш взгляд, открывает данная работа перед другими исследователями, таковы: разработка различных реализаций построенной методической системы обучения в виде учебного предмета с учетом особенностей конкретных педагогических вузов например, это может выражаться в создании системы лабораторных работ по обучению студентов проектированию компиляторов — возможные направления разработки указаны в §2.6), отдельные фрагменты теории можно также использовать при проектировании школьной программы по информатике. Отметим также, что данное исследование проводилось в рамках фундаментального подхода [71], но возможны и другие (нефундаментальные) модели, разработка методических систем для них также является интересной методической проблемой.

- 157 -ЗАКЛЮЧЕНИЕ

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

1. Абрамов В.Г., Трифонов Н.П., Трифонова Г.Н. Введение в язык Паскаль. — М.: Наука. 1988.— 320 с.

2. Агафонов В.Н. Синтаксический анализ языков программирования.— Новосибирск: НГУ. 1981.— 91 с.

3. Алгоритмы и программы решения задач на графах и сетях / Нечи-пуренко М.И., Попков В.К. Майнагашев С.М. и др.— Новосибирск: Наука. Сиб.отделение. 1990.— 515 с.

4. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. В двух томах. Т.1. Синтаксический анализ.— М.: Мир, 1978.— 614 с.

5. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. В двух томах. Т. 2. Компиляция.— М.: Мир, 1978.— 488 с.

6. Бабанский Ю.К. Школа в условиях информационного взрыва // Перспективы: вопросы образования.— 1983.— №2.— С. 5-21.

7. Базисный рефал. Описание языка и основные приемы программирования.— М.: ЦНИПИАСС, 1974.

8. Бауэр Ф.Л., Гооз Г. Информатика. Вводный курс: В 2-х ч. 4.1.— М.: Мир, 1990,— 336 е.; Ч. 2.— М.: Мир, 1990.— 423 с.

9. Бек Л. Введение в системное программирование.— М.: Мир, 1988.— 448 с.

10. Берзтисс А. Т. Структуры данных.— М.: Статистика, 1974.—408 с.

11. Беспалько В.П. Теория учебника.— М.: Педагогика, 1988.— 160 с.

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

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

14. Болье Л. Методы построения, компиляторов / В кн.: Языки программирования.— М.: Мир, 1972.— С. 87-277.

15. Большая Советская Энциклопедия: В 30 т. — М.: Советская энциклопедия. 1969-78.

16. Большой энциклопедический словарь.— М.: Большая Российская энциклопедия; СПб.: Норинт, 2001.— 1456 с.

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

18. Бороненко Т.А. Система методической подготовки будущего учителя информатики: теоретическая модель // Вопросы теории и практики обучения информатике: Сборник научных трудов.— СПб.: ВАШ, РГПУ, 1996.™ С. 29-36.

19. Бороненко Т.А. Методика обучения информатике (теоретические основы). Учебное пособие для студентов педвузов. — СПб., 1997.— 99 с.

20. Бороненко Т.А. Цели системы методической подготовки // Вопросы теории и практики обучения информатике: Сборник научных трудов,— СПб.: ВАШ. РГПУ, 1997,— С. 6-12.

21. Бороненко Т.А., Рыжова Н.И. Методика преподавания информатики. Специальная методика. Учебное пособие для студентов.— СПб.: РГПУ им. А.И.Герцена. 1997.— 110 с.

22. Бороненко Т.А. Швецкий М.В. К вопросу о технологии методического исследования // Вопросы теории и практики обучения информатике: Сборник научных трудов.— СПб.: ВАШ. РГПУ, 1998.— С.6-8.

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

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

25. Брой М. Информатика. Вычислительные структуры и машинно-ориентированное программирование: В 4-х ч. 4.2.— М.: Диалог-МИФИ, 1996.— 224 с.

26. Брой М. Информатика. Структуры систем и системное программирование: В 4-х ч. Ч. 3.— М.: Диалог-МИФИ. 1996.— 226 с.

27. Брой М. Информатика. Теоретическая информатика, алгоритмы и структуры данных, логическое программирование, объектная ориентация: В 4 ч. Ч. 4.— М.: Диалог-МИФИ, 1998.— 224 с.

28. Бурбаки Н. Очерки по истории математики. — М.: ИЛ, 1963.— 292 с.

29. Буч Г. Объектно-ориентированное проектирование с примерами применения.— М.: Конкорд, 1992.— 519 с.

30. Ветров А. А. Семиотика и её основные проблемы.— М.: Политиздат, 1968.— 264 с.

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

32. Вирт Н. Алгоритмы и структуры данных.-— М.: Мир. 1989.— 360 с.

33. Волкова И.А., Руденко Т.В. Формальные грамматики и языки. Элементы теории трансМции.— М.: МГУ. 1996.— 62 с.

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

35. Гладкий А. В. Лекции по математической лингвистике для студентов НГУ.— Новосибирск: НГУ, 1966.— 190 с.

36. Гладкий А. В. Математическая логика.— М.: Российск. гос. гу-манит. ун-т, 1998.— 479 с.

37. Гладкий А.В., Мельчук И.А. Элементы математической лингвистики.— М.: Наука, 1969,— 192 с.- 162

38. Глуипсов В.М., Цейтлин Г.Е. КХценко Е. Л. Алгебра. Языки. Программирование.— К.: Наукова думка, 1978.— 320 с.

39. Готская И.Б. Методическая система обучения информатике студентов педвузов в условиях рыночной экономики (теоретические основы, практика проектирования): Автореф. дис. докт. пед. наук.— СПб, 1999.— 41 с.

40. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. — М.: Мир, 1975.— 544 с.- 163

41. Грис Д. Наука программирования.— М.: Мир, 1984.— 416 с.

42. Гросс М., Лантен А. Теория формальных грамматик. — М.: Мир, 1971.

43. Демидов М.В. Методика введения понятия тип данных> с помощью учебного программного средства <гКросс-Ассемблер* // Вопросы теории и практики обучения информатике. Сборник научных трудов.— СПб.: ВАШ РГПУ, 1998.— С. 80-87.

44. Демидов М.В. Актуальность обучения будущих учителей информатики разделу 4Проектирование компиляторов* // Информатика — исследования и инновации: Межвузовский сборник научных трудов.— СПб.: РГПУ, ЛГОУ, 1999.— С. 78-79.

45. Дидактика средней школы. Некоторые проблемы современной дидактики: Учеб. пособие для студ. пед. ин-тов / Под ред. М.А.Данилова и М.Н.Скаткина.— М.: Просвещение, 1975.— 304 с.

46. Дитрих Я. Проектирование и конструирование. Системный подход.— М.: Мир, 1981.— 456 с.

47. Донован Дж. Системное программирование.— М.: Мир, 1975.— 542 с.

48. Ершов А.П. Введение в теоретическое программирование (беседы о методе). — М.: Наука, 1977,— 288 с.

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

50. Ивин А.А. Никифоров А.Л. Словарь по логике.— М.: Гуманит. изд. центр ВЛАДОС, 1997.— 384 с.

51. Извозчиков В.А. Инфоноосферная эдукология. Новые информационные технологии обучения.— СПб.: РГПУ, 1991.— 120 с.

52. Информатика в понятиях и терминах: Кн. для учащихся ст. классов сред.шк./ Г. А. Бордовский, В. А. Извозчиков, Ю.В.Исаев. В.В.Морозов.— М.: Просвещение, 1991.— 208 с.

53. Как Паскаль и Оберон попадают на <Самсон> или Искусство создания трансляторов / Кожокарь С.К., Евстюнин М.В., Терехов А.Н., Уфнаровский В.А.— Кишинев: Штиинца, 1992.— 304 с.

54. Карлсон М. Пролог средствами функционального программирования / Язык Пролог в пятом поколении ЭВМ.— М.: Мир, 1988.— С. 159-172.

55. Касьянов В.Н. Поттосин И.В. Методы построения трансляторов.— Новосибирск: Наука, 1986.— 344 с.

56. Кауфман В.Ш. Языки программирования. Концепции и принципы.— М.: Радио и связь, 1993.— 432 с.

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

58. Компанией Р.И. Манысов Е.В., Филатов Н.Е. Системное программирование. Основы построения трансляторов: Учебное пособие для высших и средних учебных заведений.— СПб.: КОРОНА принт, 2000.— 256 с.

59. Котов В.Е., Сабельфельд В.К. Теория схем программ.— М.: Наука, 1991.— 248 с.

60. Краевский В. В. Методология педагогического исследования.— Самара: Изд-во СамГПИ, 1994.— 165 с.

61. Кузин Л.Т. Основы кибернетики. Т.2. Основы кибернетических моделей. М.: Энергия. 1979.— 584 с.

62. Кузнецов Э.И. Общеобразовательные и профессионально-прикладные аспекты изучения информатики и вычислительной техники в педагогическом институте: Автореф. дис. д-ра пед. наук: 13.00.02.— М., 1990.—18 с.

63. Кун Т. Структуры научных революций.— М.: Прогресс. 1977.— 300 с.

64. Кушниренко А.Г., Лебедев Г.В., Сворень Р.А. Основы информатики и вычислительной техники.— М.: Просвещение, 1991.— 224 с.- 165

65. Лавров С.С. Лекции по теории программирования: Учебное пособие.— СПб.: НЕСТОР, 1999.— 108 с.

66. Лавров С.С. Программирование. Математические основы, средства, теория. — СПб.: БХВ-Петербург, 2001.— 320 с.

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

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

69. Лаптев В.В., Швецкий М.В. Методическая система фундаментальной подготовки в области информатики: теория и практика многоуровневого педагогического университетского образования.— СПб.: Издательство Санкт-Петербургского университета. 2000.— 508 с.

70. Лебедев В.Н. Введение в системы программирования.— М.: Статистика, 1975.— 312 с.

71. Лебедева И.А. Методика отбора содержания обучения будущих учителей информатики конструированию компиляторов: Авто-реф. дис. к-та пед. наук: 13.00.02 / СПб РГПУ,— СПб. 1996.— 19 с.

72. Лебедева И.А. Швецкий М.В. Отбор содержания курс «Теория построения компиляторов> в педагогическом вузе // Актуальные проблемы информатизации в образовании: Тезисы докл. межвуз. научно-практ. конф.— СПб.: С.-Пб лесотехн. акад. 1995. С.90-91.

73. Леонтьева Т.В. Рыжова Н.И. Построение системы лабораторных работ для обучения программированию на языке низкого уровня Turbo Assembler // Вопросы теории и практики обучения информа- 166 тике: Сборник научных трудов.— СПб.: ВАШ, РГПУ, 1998.— С.60-67.

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

75. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных / Тейз А. Грибомон П., Юлен Г. и др. — М.: Мир, 1998.— 494 с.

76. Льюис Ф., Розенкранц Д. Стирнз Р. Теоретические основы проектирования компиляторов.— М.: Мир, 1980.— 654 с.

77. Лэнгсам Й., Огенстейн М., Тененбаум А. Структуры данных для персональных ЭВМ. — М.: Мир, 1989.— 568 с.

78. Маккиман У. Хорнинг Дж., Уортман Д. Генератор компиляторов.— М.: Статистика, 1980.— 528 с.

79. Марков А.А., Нагорный Н.М. Теория алгорифмов.— М.: ФАЗИС, 1996.— 448 + 48 с.

80. Математический энциклопедический словарь.— М.: Сов. энциклопедия, 1995.— 847 с.

81. Матросов В.Л. Стеценко В.А. Лекции по дискретной математике.— М.: МПГУ, 1997,— 220 с.

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

83. Методические рекомендации к профессиограмме современного учителя (методология и общая методика разработки). — Д.: ЛГПИ, 1987.— 64 с.

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

85. Нагао М., Катаяма Т., Уэмура С. Структуры и базы данных.— М. Мир, 1986.— 197 с.

86. Непейвода Н.Н. Прикладная логика.— Ижевск: Изд-во Удмуртского ун-та, 1997.— 385 с.

87. Основы педагогики и психологии высшей школы.— М.: МГУ, 1986.— 304 с.

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

89. Першиков В.И., Савинков В.М. Толковый словарь по информатике.— М.: Финансы и статистика, 1995.— 544 с.

90. Плоткин Б.И., Гринглаз Л.Я., Гварамия А.А. Элементы алгебраической теории автоматов.— М.: Высш.шк., 1994.— 191 с.

91. Практикум по курсу «Программно-аппаратная организация ПЭВМ». Метод, указания к лаб. раб. Вып. 1 / Сост. А.Н. Шляго.— СПб.: Образование, 1992.— 72 с.

92. Практикум по курсу «Программно-аппаратная организация ПЭВМ*. Метод, указания к лаб. раб. Вып. 2 / Сост. А.Н. Шляго. — СПб.: Образование, 1994.— 74 с.

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

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

95. Программное обеспечение персональных ЭВМ / Стогний А.А., Ана-ниевский С. А., Барсук Я. И. и др. / Под ред. Стогния А. А.— К.: Наукова думка. 1989.— 368 с.

96. Программы вводных и базовых курсов по математике.— СПб.: Образование, 1994.— 36 с.

97. Проценко B.C., Чаленко П.И. Элементы компиляции.— К.: КГУ, УМК ВО, 1988.— 54 с.- 168

98. Проценко B.C., Чаленко П.И., Сорока Р.А. Техника программирования.— К.: Выща школа, 1990.— 183 с.

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

100. Рейнгард И. А., Ткачук В.И. Основы педагогики высшей школы.— Днепропетровск: ДГУ, 1980.— 95 с.

101. Рейуорд-Смит В.Дж. Теория формальных языков. Вводный курс.— М.: Радио и связь, 1988.— 128 с.

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

103. Рыжова Н.И. Методика преподавания раздела <Архитектура ЭВМ> с использованием программирования на языках низкого уровня. Автореф. дис. к-та пед. наук: 13.00.02 / СПб РГПУ.— СПб., 1994,— 18 с.

104. Рыжова Н.И. Методика обучения информатике: Программирование как метод обучения // Вопросы теории и практики обучения информатике: Сборник научных трудов. — СПб.: ВАШ, РГПУ, 1996.— С.5-11.

105. Рыжова Н.И. Определение понятия <гучебный вычислительный эксперимент» // Вопросы теории и практики обучения информатике: Сборник научных трудов.— СПб.: ВАШ, РГПУ, 1997.— С. 44-48.

106. Рыжова Н.И. К вопросу о математических основаниях информатики / Информатика — исследования и инновации: межвузовский сборник научных трудов. Вып. 3.— СПб.: РГПУ, ЛГОУ, 1999.— С. 156-162.

107. Рыжова Н.И. Развитие методической системы фундаментальной подготовки будущих учителей информатики в предметной области:- 169

108. Автореф. дис. д-ра пед. наук: 13.00.02 / СПб РГПУ.— СПб., 2000.— 43 с.

109. Рыжова Н.И. Элементы теоретической информатики. Упражнения по математическим основаниям информатики: Формальные языки. Часть I. Учебное пособие для студентов математического факультета.— СПб.: Изд-во РГПУ им. А.И.Герцена, 2000.— 262 с.

110. Свердлов С. 3. Введение в методы трансляции: Учебное пособие.— Вологда: Русь, 1994.— 80 с.

111. Серебряков В. А. Лекции по конструированию компиляторов.— М.: ВЦ РАН, 1994.— 176 с.

112. Сибуя М., Ямамото Т. Алгоритмы обработки данных.— М.: Мир. 1986.— 218 с.

113. Соломоник А. Семиотика и лингвистика.— М.: Молодая гвардия, 1995.— 352 с.

114. Ставровский А.Б. Турбо Паскаль 7.0. Учебник.— К.: BHV, 2000.— 400 с.

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

116. Столяр А. А. Педагогика математики.— Мн.: Выш. школа. 1986.— 414 с.

117. Тихомиров В.П., Давидов М.И. Операционная система ДЕМОС: инструментальные средства программирования.— М.: Финансы и статистика. 1988.— 206 с.- 170

118. Толковый словарь по вычислительным системам.— М.: Машиностроение. 1989.— 568 с.

119. Томас С.С. Классификация структур данных, используемых при компиляции // Вопросы теории и практики обучения информатике: Сборник научных трудов.— СПб.: РГПУ. ВАШ. 1997.— С.89-92.

120. Трамбле Ж., Соренсон П. Введение в структуры данных.— М.: Машиностроение. 1982.— 784 с.

121. Уолш Б. Программирование на Бейсике.— М.: Радио и связь. 1988.— 336 с.

122. Урнов В.А., Климов Д.Ю. Преподавание информатики в компьютерном классе: Кн. для учителя: Из опыта работы.— М.: Просвещение. 1990.— 206 с.

123. Фёдоров В.В. Основы построения трансляторов: Учеб. пособие.— Обнинск: ИАТЭ. 1995.— 104 с.

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

125. Фути К. Судзуки Н. Языки программирования и схемотехника СБИС. — М.: Мир. 1988. — 224 с.

126. Хантер Р. Проектирование и конструирование компиляторов.— М.: Финансы и статистика, 1984.— 232 с.

127. Хендрикс Д. Компилятор языка Си для микроэвм.— М.: Радио и связь, 1989.— 240 с.

128. Хоар Ч. Взаимодействующие последовательные процессы.— М.: Мир. 1989,— 264 с.

129. Холстед М.Х. Начала науки о программах.— М.: Финансы и статистика, 1981.— 128 с.

130. Хопгуд Ф. Методы компиляции.— М.: Мир. 1972.

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

132. Черкашин М. Компилятор пишется так. // Монитор.— 1992.— №4.— С.37-43.

133. Швецкий М.В. Язык профессионала-программиста и пользователя ЭВМ.— Самара: Изд-во СамГПИ, 1993.— 405 с.

134. Швецкий М.В. Система лабораторных работ по программированию на диалекте Turbo Pascal: Алгоритмы на графах. Учебное пособие для студентов вузов. — СПб.: РГПУ, 1997.— 180 с.

135. Шень А. Программирование: теоремы и задачи.— М.: МЦНМО, 1995,— 264 с.

136. Шрайберг Я.Л., Гончаров М.В. Справочное руководство по ОИВТ.— М.: Финансы и статистика, 1990.

137. Шрейдер Ю.А. Равенство, сходство, порядок.— М.: Наука, 1971.— 256 с.

138. Шрейдер Ю.А. Логика знаковых систем.— М.: Знание, 1974.— 64 с.

139. Языки программирования Ада, Си, Паскаль. Сравнение и оценка / Под ред. А.Р.Фьюера, Н.Джехани.— М.: Радио и связь, 1989.— 368 с.

140. ACM Curriculum Committee on Computer Science. Curriculum'68, Recommendations for Academic Programs in Computer Science // Comm. ACM, v. 11, 3 (Mar. 1968), pp. 151-197.

141. ACM Curriculum Committee on Computer Science. Curriculum'78, Recommendations for the Undergraduate Program in Computer Science // Comm. ACM, v. 22, 3 (Mar. 1979), pp. 147-166.

142. ACM/IEEE-CS Joint Curriculum Task Force // Computing Curricula 1991.— Feb. 1991.

143. Aho A.V., Sethi R., Ullman J.D. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1988.— 806 p.- 172

144. Computing as a Discipline / Denning P.J., Comer D.E., Grls D. et al.— Comm. ACM. v.32, 1 (Jun. 1989). pp.9-23.

145. Glbbs N.E., Tucker A.B. Model Curriculum for a Liberal Arts Degree in Computer Science.— Comm.ACM, v.29. 3 (Mar. 1986). pp. 202-210.

146. Goldberg A., Robson D. SmallTalk-80: The Language and its Implementation.— Addison-Wesley, Reading, Mass. 1983.— 215 p.

147. Horowitz E., Sahni S. Fundamentals of Data Structures.— Print. 13th — Rockville:■ Computer Science Press, 1982.— 564 p.

148. Sedgewick B. Algorithms.— Addlson-Wesley, Reading, Mass., 1983.

149. Tucker A. B. Computing Curricula 1991 // Comm.ACM. 1991, V. 34, 6, pp. 69-84.- 173