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

• Дудина, Ирина Павловна
• кандидат педагогических наук
• 1997

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

Введение.

Глава 1. Теоретические предпосылки построения методической системы обучения основам логического программирования в курсе информатики педвуза.

1.1. Реализация компоненты "Программирование" в учебных планах подготовки учителя информатики в педагогическом вузе.

1.2. Характеристика наиболее распространенных современных парадигм программирования.

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

1.4. Последовательность преподавания языков программирования в курсе информатики педвуза.

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

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

Глава 2. Построение методической системы обучения основам логического программирования в курсе информатики педвуза.

2.1. Методологические предпосылки построения методической системы учебной дисциплины "Основы логического программирования"."

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

2.3. Содержание обучения по дисциплине "Основы логического программирования".

2.4. Структура учебного материала и методика преподавания дисциплины "Основы логического программирования"

2.5. Методы, формы и средства обучения.

2.6. Методы и формы контроля знаний и умений студентов.

Глава 3. Педагогический эксперимент.

3.1. Общая характеристика исследования.

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

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

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

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

Согласно концепции известного философа А.И.Ракитова [1991,с.27] общество является информационным, если:

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

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

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

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

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

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

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

Одним из приоритетных направлений проекта "Информатизация России" является информатизация образования - ". процесс обеспечения сферы образования методологией и практикой разработки и оптимального использования современных или, как их принято называть, новых информационных технологий (НИТ), ориентированных на реализацию психолого-педагогических целей обучения, воспитания" [Роберт, 1994, с. 8].

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

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

Курс информатики должен обеспечивать основные навыки и умения, которые необходимы в современном мире каждому человеку [Ершов, Звенигородский, Первин, 1979, с.51]:

1) умение планировать последовательность действий для достижения заданной цели при помощи ограниченного набора средств;

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

3) умение строить информационно-логические модели для описания объектов и систем;

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

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

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

Также одной из наиболее важных задач курса информатики в современных условиях становится усиление межпредметных связей, формирование восприятия целостной, системной картины информационных процессов в обществе, природе и познании. В контексте вышеизложенного приведем определение информатики, данное В.М.Казиевым [1996,с.97]: "Информатику можно определить как науку, изучающую и применяющую общие (системные, алгебраические, технологические) методы, принципы получения, обработки, переработки, хранения, использования (актуализации) информации, знаний. Информатика - наука об инвариантах информационных процессов, их выявлении, описании и использовании ".

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

Но при определении целей и задач курса информатики нельзя забывать о том, что узкое понимание информационной культуры, как культуры работы с информацией с использованием ЭВМ, может привести к самым негативным последствиям. Ученые, методисты и педагоги должны учитывать, что информационная культура самым тесным образом связана с внутренней культурой людей, их умением выражать свои мысли, общаться друг с другом, выполнять свои профессиональные обязанности. "Информатизация общества, интегрируя, синтезируя и аккумулируя в себе ряд технических и технологических подпроцессов, перерастает рамки технологической проблемы. Она выступает как процесс, реализующий происходящую на наших глазах социально-технологическую революцию. По сути дела, речь идет об изменении структуры и сущности человеческого бытия, системы личностных и безличностных отношений, уровня человеческого постижения и возможности проникновения в таинственные глубины человеческого мышления, в тайны творчества." [Ракитов,1991,с.45].

Такая постановка проблемы ставит перед курсом информатики еще одну не менее важную задачу: формирование высокого уровня логической культуры мышления, которая заключается в умении использовать логические принципы в действии при решении содержательно интересных проблем, способность обосновывать имеющиеся убеждения. Логическая культура составляет общечеловеческую ценность, концентрирующую опыт многих поколений. Именно логическая культура пробуждает в людях потребность к интеллектуальному росту, самосовершенствованию - качествам, необходимым каждому члену современного информационного общества. В подтверждение этого тезиса приведем цитату Г.Л.Бузука [1995,с.165], специалиста по логико-методологическим проблемам компьютерных технологий обучения: ". от уровня логической культуры во многом зависит эффективность работы над мыслью, способность достижения высочайшего результата - истины! .Высокий уровень логической культуры - это будущее человечества. Овладение логической культурой должно стать насущной потребностью каждого человека".

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

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

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

В этом смысле одним из перспективных подходов к использованию новых информационных технологий, позволяющим, по возможности, уйти от прагматической стороны информатики к её глубинным теоретическим основам, является обучение логическому программированию на языке Пролог. Исследования по проблемам использования логического программирования в курсе информатики ведутся в настоящее время довольно интенсивно. Вопросам обучения логическому программированию в общеобразовательной школе посвящены многочисленные работы В.А.Каймина, С.Г.Григорьева, Ю.С.Завальского, А.Г.Щеголева, Д.П.Федюшина, Е.А.Ерохиной и др. Проблемы вузовской подготовки по этому разделу курса информатики обсуждаются в работах С.А.Бешенкова, М.В.Швецкого, В.И.Пугача, Т.В.Добудько и др.

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

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

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

Теоретические и практические исследования по разработке методической системы проводились в течение 1991-1997г.г.

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

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

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

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

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

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

2) классифицировать наиболее распространенные современные парадигмы программирования;

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

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

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

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

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

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

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

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

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

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

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

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

4) педагогический эксперимент, развертывающий гипотезу, сформулированную в соответствии с основными методологическими установками;

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

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

7) практическая апробация разработанной учебно-методической документации.

Определяя методологию исследования, мы исходили из специфики поставленных задач. При этом мы опирались на работы Б.С.Гершунского, Ю.К.Бабанского, М.В.Швецкого и др.

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

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

• выявлены условия эффективного преподавания дисциплины "Основы логического программирования" в курсе информатики педвуза;

• в соответствии с ними предложена учебно-методическая документация, включающая в себя методические пособия для проведения лабораторного практикума по названной дисциплине.

Практическая значимость.

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

Работа по внедрению выдвигаемых в диссертации положений выполнялась в ходе экспериментальных исследований, проводимых на базе кафедр информатики и вычислительной техники Тольяттинского филиала Самарского государственного педагогического университета и СГПУ.

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

• опорой на результаты психолого-педагогических и методических исследований;

• согласованностью с идеями и результатами ведущих методистов и дидактов;

• совместимостью сформулированных положений с дидактикой высшей школы;

• широким набором методов исследования;

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

Апробация результатов исследования.

Результаты исследования обсуждались на заседаниях кафедры информатики и ВТ Тольяттинского филиала Самарского государственного педагогического университета; представлены докладами на внутривузовской научно-методической конференции преподавателей и студентов ТфСГПУ (1992г.); научно-методической конференции "Интенсивные технологии обучения в подготовке специалистов" Самарского государственного аэрокосмического университета (1996г.), II Всероссийской научно-практической конференции "Информатика и информационная культура в современной школе" (1996г.), VI Международной конференции "Информационные технологии в образовании" Международной академии информатизации, Международной академии наук педагогического образования, Министерства общего и профессионального образования, Ассоциации учителей и преподавателей информатики, МИФИ (г.Москва, 1997 г.).

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

Заключение диссертации по теме «Теория и методика профессионального образования», Дудина, Ирина Павловна

ЗАКЛЮЧЕНИЕ

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

Перечислим основные результаты, полученные в ходе исследования.

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

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

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

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

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

1) определены структура и содержание целей и задач обучения;

2) обоснована технология отбора содержания обучения;

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

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

5) построена методика обучения основам логического программирования, разработано учебно-методическое пособие по проведению лабораторного практикума на ЭВМ;

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

7) указаны перспективные направления развития содержания дисциплины "Основы логического программирования".

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

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

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

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

1. Абдукадыров А.А. Теория и практика интенсификации подготовки учителей физико-математических дисциплин: Аспект использования компьютерных средств в учебно-воспитательном процессе. Автореф.дисс.д-ра пед.наук. Ташкент, 1990.- 29 с.

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

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

4. Асеев В.Г. Единство содержательной и динамической сторон личности в воспитательном процессе // Психология формирования личности, М., 1981.-с.198-223.

5. Бабанский Ю.К. Педагогика. М.: Просвещение, 1988. - 479 с.

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

7. Бакман Е. Дремова И. Введение в микро-Пролог // Информатика и образование, 6, 1991. с.36-39; 1, 1992.- с.37-41; 2,1992.- с.35-42.

8. Баяковский Ю.М., Мансуров Н.Н. Методика преподавания компьютерной обработки в США // Программирование, М.:РАН,1993, 4. с.75-90.

9. Беспалько В.П. Программированное обучение (дидактические основы). -М., 1970. 300 с.

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

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

12. Беспалько В.П., Татур Ю.Г. Системно методическое обеспечение учебно-воспитательного процесса подготовки специалистов. - М.: Высшая школа, 1989. -144 с.

13. Бешенков С.А. Развитие содержания обучения информатике в школе на основе понятий и методов формализации. Автореф. дисс.д-ра пед.наук. М., 1994. - 26с.

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

15. Боголюбов Д. Использование Пролога в гуманитарных целях // Информатика и образование, 2, 1992. с.21-25

16. Бордовский Г.А., Извозчиков В.А., Румянцев И.А., Слуцкий A.M. Проблемы педагогики информационного общества и основы педагогической информатики // Дидактические основы компьютерного обучения. Межвуз.сб.научных трудов. Л.: ЛГПИ, 1989, с.3-33.

17. Брайт Л. Развиваем интеллект. СПб.: Питер Пресс, 1997. - 160 с.

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

19. Бузук Г.Л. Логика и компьютер. М.: Финансы и статистика, 1995. - 208с.

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

21. Вейценбаум Дж. Возможности вычислительных машин и человеческий разум. М., 1982. - 368 с.

22. Венда В.Ф., Ломов Б.Ф. Взаимодействие человека с ЭВМ и проблемы познавательного прогресса // Философские вопросы технического знания / Под ред. Н.Т.Абрамовой. М., 1984. с. 186-211.

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

24. Вильяме Р., Маклин К. Компьютеры в школе.- М.: Прогресс, 1994. 336с.

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

26. Власова Е.З. Разработка баз знаний экспертных систем при методической подготовке студентов физиков. Автореф.дисс.канд. пед.наук. М., 1993. - 21с.

27. Гаврилов Б.М., Лиманова Н.И. Некоторые вопросы компьютеризации при подготовке специалистов педагогического профиля// Сб.тез.научно-методич. конференции. Самара: СГТУ, 1994. - с.34-37.

28. Гарднер М. Математические головоломки и развлечения.- М.: Мир, 1971.

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

30. Гершунский Б.С. Педагогическое науковедение: проблемы и перспективы (прогностический аспект). М., 1985. - 240 с.

31. Гершунский Б.С., Пруха Я. Дидактическая прогностика. Киев, 1979.- 240 с.

32. Гетманова А.Д. Учебник по логике. М.: "Владос", 1994. -303 с.

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

34. Глушков В.М. Кибернетика. Вопросы теории и практики. М.: Наука, 1986.488 с.

35. Грабарь М.И., Краснянская К.А. Применение математической статистики в педагогических исследованиях. М.: Педагогика, 1977. - 136 с.

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

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

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

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

40. Григорьев С.Г. Реализация систем логического программирования для персональных компьютеров с ограниченными ресурсами и ее применение.- Авто-реф. дисс.д-ратехн.наук. М., 1992.- 21с.

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

42. Громыко В.И., Трифонов Н.П. Компьютерный задачник-учебник по программированию на базе развивающегося обучения (информатике). // Педагогическая информатика, 1993, 2. с.60-67.

43. Давыдов В.В. Виды обобщения в обучении: логико-психологические проблемы построения учебных предметов. М., 1972.- 424 с.

44. Дедков А.Ф. Логическое программирование // Вычислительная техника и ее применение / М.: изд-во "Знание", 1988. с.3-24.

45. Джонасен Д. Компьютеры как инструмент познания // Информатика и образование, 4, 1996.-с. 117-131.

46. Дидактика средней школы. Некоторые проблемы современной дидактики / Под ред. М.Н.Скаткина. М.: Просвещение, 1982. - 304 с.

47. Долматов В.П. Методические проблемы разработки базового курса информатики для средней школы. Автореф.дисс.канд. пед.наук. М., 1992. - 22с.

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

49. Дринь Б.М. Подготовка будущих учителей информатики к преподаванию профильного курса информатики в средней школе. Автореф. дисс. канд. пед. наук. М., 1993.- 130 с.

50. Ерохина Е.А. От логики к программированию (Пролог в курсе информатики) //Информатика и образование,2,1993.-с.57-67; 5,1993.-с.25-36; 3,1994.-с.21-34.

51. Ершов А.П. Как учить программированию // Микропроцессорные средства и системы, 1,1986. с.91-93.

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

53. Ершов А.П. Компьютеризация школы и математическое образование // Информатика и образование, 5-6, 1992. с.3-12.

54. Ершов А.П. О человеческом и эстетическом факторах в программировании // Информатика и образование, 6, 1993.- с. 5-7.

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

56. Есаян А.Р., Ефимов В.И., Лапицкая Л.П. и др. Информатика: Учебное пособие для пед. спец. высш. учебн. заведений. М.: Просвещение, 1991. - 288с.

57. Жалдак М.И. Система подготовки учителя к использованию информационной технологии в учебном процессе. Автореф.дисс.д-ра пед.наук. М., 1989.

58. Заварыкин В.М., Житомирский В.Г., Лапчик М.П. Техника вычислений и алгоритмизация: Учеб.пособие для ст-тов пед.инст-тов. М.: Просвещение, 1987.

59. Заварыкин В.М., Житомирский В.Г., Лапчик М.П. Основы информа-тики и вычислительной техники: Учеб. пособие для ст-тов пед. инст-тов. М.: Просвещение, 1989. - 304 с.

60. Заварыкин В.М., Житомирский В.Г., Лапчик М.П. Численные методы: Учеб. пособие для ст-тов пед. инст-тов. М.: Просвещение, 1990.

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

62. Звегинцев В.А. Проблема отношений человека и машины в компьютерной революции // Вопросы философии, 3, 1986. с.44-52.

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

64. Иванников В.П., Королев Л.Н., Юфа В.М. Обзор публикаций АСМ // Программирование, 1993,3,4.

65. Иванова Г.С., Тихонов Ю.В. Введение в МПролог. М.: изд-во МГТУ,1990.-152 с.

66. Ивин А.А. Искусство правильно мыслить.- М.:Просвещение, 1990. 240с.

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

68. Извозчиков В.А., Ревунов А.Д. Электронно-вычислительная техника на уроках физики в средней школе. М.: Просвещение, 1988. -239 с.

69. Изучение основ информатики и вычислительной техники: пособие для учителя / А.В.Авербух, В.Б.Гисин, Я.Н.Зайдельман, Г.В.Лебедев. М.: Просвещение, 1992. - 302 с.

70. Ильина Т.А. Педагогика. Учеб.пособие для студентов пед.ин-тов. М.: Просвещение, 1984. - 496 с.

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

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

73. Йенсен К., Вирт Н. Паскаль: Руководство для пользователя. М.: Компьютер, 1993. - 256 с.

74. Казиев В.М. Системно-алгебраический подход к основам информатики // Информатика и образование, 4, 1996. с.97-104.

75. Каймин В.А. Курс информатики: состояние, методика и перспективы // Информатика и образование, 6, 1990. с.26-31.

76. Каймин В.А., Григорьев С.Г. Пролог в школьной информатике // Информатика и образование, 2,1990. с.25-31.

77. Каймин В., Григорьев С., Угринович Н., Щеголев А. Элементы логики и начала языка Пролог // Информатика и образование, 4,1989. с. 15-22.

78. Каймин В.А. Питеркин В.М. Уртминцев А.Г. Информатика. Учебное пособие и сборник задач с решениями. М.:Бридж, 1994.- 208 с.

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

80. Каймин В.А., Щеголев А.Г., Ерохина Е.А., Федюшин Д.П. Основы информатики и вычислительной техники. Пробное учебное пособие для 10-11 классов средн.школы. М.: Просвещение, 1989. - 272 с.

81. Каранчук В.П., Сваровский И.Н., Суздальницкий И.Д. Основы применения ЭВМ. М.: Радио и связь, 1988.- 287 с.

82. Карнеги Д. Как завоевывать друзей и оказывать влияние на людей. М.: Прогресс, 1989. - 720 с.

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

84. Керов JL, Кучуков А. Система логического программирования PDC-Prolog // Soft Review, декабрь, 1993.

85. Клинберг JL Проблемы теории обучения (перев.с нем.). М., 1984. - 256с.

86. Корнев Г.П. Моделирование на ЭВМ фундаментальных констант. Самара: СГПУ, 1994. - 138 с.

87. Корнев Г.П. Использование ЭВМ в дипломном проектировании. Самара: СГПУ, 1991.-89 с.

88. Корнев Г.П., Гаврилов Б.М., Дудина И.П. Проблемы изучения основ логического программирования в профессиональной подготовке учителя информатики // Информатика и информационная культура в современной школе. Самара: СИПКРО, 1996. с.94-96.

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

90. Кузнецов А.А. Развитие методической системы обучения информатике в средней школе. Автореф. дисс. д-ра пед.наук. М., 1988. - 32 с.

91. Кузнецов А., Долматов В. Методическая система обучения ОИВТ: структура и функции, состояние и перспективы // Информатика и образование, 1, 1989. -с.3-8.

92. Кузнецов В.Е. Представление в ЭВМ неформальных процедур: продукционные системы. М.: Наука, 1989. - 160 с.

93. Кузнецов В.Е. Язык программирования "К" в изучении основ информатики // Информатика и образование, 3, 1993, с.78-82.

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

95. Лапчик М.П. Информатика и технология: компоненты педагогического образования // Информатика и образование, 1, 1992. с.3-6.

96. Лапчик М.П. Реализация компонентов информатики и НИТО в учебных планах педагогических вузов // Информатика и образование, 6, 1996. с. 1-5.

97. Лапчик М.П., Ефимов В. Проблемы информатизации: взгляд из педвуза // Информатика и образование, 1990, 4, с.95-99.

98. Лапчик М.П. Методика преподавания информатики: Учебное пособие для студентов физико-математических факультетов пединститутов / Свердл. пед. инст-т, Свердловск, 1987. 152с.

99. Леднев B.C. Содержание общего среднего образования: проблемы структуры. М., 1980.- 264 с.

100. Леонтьев А.Н. Автоматизация и человек // Психологические исследования / Под ред. А.Н.Леонтьева, М., 2, 1970. с.3-13.

101. Лернер И .Я. Процесс обучения и его закономерности. М., 1980. - 96 с.

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

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

104. Лесневский А.С. Будем знакомы: Смолток // Информатика /прилож. к газете "Первое сентября", 47, 1996.-С.З.

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

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

107. Макаллистер Д. Искусственный интеллект и Пролог на микроЭВМ. М.: Машиностроение, 1990. - 240 с.

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

109. Марселлус Д. Программирование экспертных систем на Турбо-Прологе. -М.: Финансы и статистика, 1994. 256 с.

110. Матвеева А.А. Основы методики проведения лабораторного практикума на ЭВМ для формирования профессиональных умений студента. Автореф. дисс.канд. пед.наук. М., 1990. - 19с.

111. Машбиц Е.И. Компьютеризация обучения: проблемы и перспективы. -М.:3нание, 1986. 80 с.

112. Машбиц Е.И. Психолого-педагогические проблемы компьютеризации образования. М.: Педагогика, 1988, 192 с.

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

114. Монахов В.М. Вопросы методики преподавания программирования в средней школе// Обучение в математических школах. М.:Просвещение, 1965.

115. Монахов В.М., Лапчик М.П., Демидович Н.Б. и др. Формирование алгоритмической культуры школьника при обучении математике: Пособие для учителей. М.: Просвещение, 1978.

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

117. Назаров С.В., Першиков В.И., Тафинцев В.А. и др. Компьютерные технологии обработки информации: Учебн. пособие.-М.:Финансы и статистика, 1995. -248 с.

118. Одинцов Б.Е. Проектирование экономических экспертных систем: Учебное пособие для вузов. М.: Компьютер, ЮНИТИ, 1996. - 166 с.

119. Основы информатики и вычислительной техники: Проб. учеб. пособие для 10-11 кл.ср.шк. / А.Г.Гейн, В.Г .Житомирский, Е.ВЛинецкий и др. М.: Просвещение, 1992. - 254 с.

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

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

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

123. Попов Э.В., Фоминых И.Б., Кисель Е.Б., Шапот М.Д. Статические и динамические экспертные системы. М.: Финансы и статистика, 1996. -320 с.

124. Пугач В.И. Технологии обучения будущих учителей информатики в педагогических институтах. Самара, 1994. - 160 с.

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

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

127. Ракитов А.И. Философия компьютерной революции. М.: Политиздат, 1991.

128. Роберт И.В. Современные информационные технологии в образовании: дидактические проблемы; перспективы использования. М.: Школа-Пресс, 1994. -205 с.

129. Румянцев И.А. Многоуровневое образование по информатике новый этап подготовки педагогических кадров // Педагогическая информатика, 1993, 1. -с.29-36.

130. Скаткин М.Н. Проблемы современной дидактики. М., 1984. - 96 с.

131. Советский энциклопедический словарь. М.: Советская энциклопедия, 1990.- 1632 с.

132. Сохор A.M. Логическая структура учебного материала: вопросы дидактического анализа. М., 1974. 192 с.

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

134. Тимашов В.Дарасева Т., Гомзякова В. Программа курса "Основы информатики и вычислительной техники"// Информатика и образование, 1, 1993. с.9-13; 2,1993.- с.20-23.

135. Травинский В.И. Уровни знаний и критерии их усвоения. Автореф. дисс.канд. пед.наук. М., 1971.- 19 с.

136. Фролова Г.В. Педагогические возможности ЭВМ. Новосибирск: Наука, Сиб.отдел., 1988. - 173 с.

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

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

139. Хазанкин Р.Г., Зильбергер Н.И. Ключевые задачи в обучении математике // Учитель Башкирии, 1984, 9, с.58-61.

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

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

142. Щеголев А. Информатика и диалектика // Информатика и образование,!,1993.- с.14-20; 2,1993.- с.11-19.

143. Щеголев А. Школьная информатика и язык Пролог // Информатика и образование, 2, 1993. с.52-57.

144. Щукина Г.И. Особенности и закономерности воспитательного процесса. -М., 1974.

145. ACM Curriculum Committee on Computer science. Curriculum 68: Recommendations for the undergraduate program in computer science // Communications of the ACM. V.l 1, N.3, March 1978.- p. 151-197.

146. ACM Curriculum Committee on Computer Science. Curriculum 78: Recommendations for the undergraduate program in computer science // Communications of the ACM. V.22, N.3, March 1979.- p. 147-166.

147. ACM Curriculum Committee on Computer science. Recommendations for the Master's Level Programs in computer science // Communications of the ACM. V.24, N.3, March 1981.-p.l 15-123.

148. Denning P.J., Comer D.E., Gris D., Mulder M.C., Tucker A.B., Turner A.J., Young P.R. Computing as a Discipline // Communications of the ACM. V.32, N.l, March 1991.-p.9-23.

149. Henry G. Using micro-Prolog to teach logic // Collegiate microcomputer / Microcomputers in higher education curricula.V.5, N.4, November, 1996. p.354 - 358.

150. Merrit S., et al. ACM Model High School Computer science Curriculum // Communications of the ACM. V.36, N.5, March 1995. p.87-90.

151. Parnas D.L. Education for Computing Professionals // Computer. V.23, N.l, March 1993.-p. 17-22.

152. Tucker A., et al. Computer Curricula 1991, Report of the ACM/IEEE-CS Joint Curriculum Task Force, ACM Press, N.5,1991.

153. Tucker A., et al. A Summary of the ACM/IEEE-CS Joint Curriculum Task Force Report Computing Curricula 1991 // Communications of the ACM. V.34, N.6, June 1991. p.70-84.