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

Баумане, Кристина Иматовна

Темы диссертаций по педагогике » Теория и методика обучения и воспитания (по областям и уровням образования)

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

Автореферат

Автор научной работы: Баумане, Кристина Иматовна
Ученая степень: кандидата педагогических наук
Место защиты: Санкт-Петербург
Год защиты: 2004
Специальность ВАК РФ: 13.00.02

Диссертация

Автореферат диссертации по теме "Методика обучения семиотике языков программирования будущих учителей информатики"

На правах рукописи УДК 681.3(07)

Баумане Кристина Имантовна

МЕТОДИКА ОБУЧЕНИЯ СЕМИОТИКЕ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ БУДУЩИХ УЧИТЕЛЕЙ ИНФОРМАТИКИ

Специальность: 13.00.02 - теория и методика обучения и воспитания (информатика, уровень профессионального образования)

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата педагогических наук

Санкт-Петербург 2004

Работа выполнена на кафедре информатики Российского государственного педагогического университета им.А.И.Герцена

Научный руководитель: доктор педагогических наук, профессор

Наталья Ивановна Рыжова

Официальные оппоненты: доктор физико-математических наук, профессор

Игорь Леонидович Братчиков

Ведущая организация: Красноярский государственный университет

Защита состоится 21 октября 2004 г. в Ц часов на заседании Диссертационного Совета Д 212.199.03 Российского государственного педагогического университета им. А.И.Герцена по адресу: 191186, Санкт-Петербург, наб. р. Мойки, д. 48, корп. 1, аудитория 237.

С диссертацией можно ознакомиться в фундаментальной библиотеке РГПУим. А. И.Герцена

кандидат педагогических наук, доцент Елена Андреевна Тумалева

Автореферат разослан сентября 2004 г.

Ученый секрет Диссертационного Совета

м о н о в а

<£¿47 ¿/Г^

2005-4 12827

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

Научная основа этих направлений информатизации и модернизации образования и развития педагогической науки заложена в работах

A.П.Ершова, С.А.Жданова, В.П.Шари, М.П.Лапчика, В.Г.Кинелева,

B.А.Извозчикова, Г.А.Бордовского, В.А.Болотова, А.А.Кузнецова, В.С.Леднева, В.В.Лаптева, В.В.Краевского, Б.С.Гершунского, В.В.Давыдова.

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

Так, например, в концепции предметной подготовки учителя информатики, сформулированной С.А.Ждановым, В/Л.Матросовым, М.П.Лапчиком, В.П.Шари и др. и реализованной в государственном образовательном стандарте второго поколения для учителя информатики (ГОС ВПО, 2000) было указано, что преобладающей тенденцией в формировании содержания теоретико-методологической линии является повышение уровня фундаментальных знаний в области научных дисциплин, изучаемых в соответсвующих курсах. К дисциплинам, теоретический уровень которых был существенно усилен по сравнению с предыдущим стандартом (стандартом первого поколения ГОС ВПО, 1995) были отнесены следующие: «Теоретическая информатика»,

«Дискретная математика», «Абстракт 1гров. №МЦЮИ«рм>АШЛгебра», «Теория

БИБЛИОТЕКА ]

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

Такой подход к содержанию обучения, позволяет, на наш взгляд, решать проблемы фундаментализации образования учителя информатики - одного из актуальных направлений действующей государственной политики. Наиболее известными работами в рамках фундаментальной подготовки по информатике в педагогических вузах являются исследования Э.И.Кузнецова (1990), С.А.Бешенкова (1994), М.В.Швецкого (1994), М.П.Лапчика (1999), Н.И.Рыжовой (2000), Е.Н.Бобоновой (2002) и др.

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

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

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

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

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

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

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

Перечислим факты, которые конкретизируют актуальность данного исследования:

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

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

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

мальных языках, «ранее ему не известные, им не производившиеся и им не слышанные» (по Ю.Н.Караулову).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Концепция исследования заключается в том, что:

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

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

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

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

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

Научная новизна исследования заключается:

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

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

Положения, выносимые на защиту:

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

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

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

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

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

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

курсов «Теоретические основы информатики», «Математическая логика», «Дискретная математика», а также в рамках различных спецкурсов как самостоятельные.

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

Апробация результатов исследования осуществлялась в форме научных докладов на научно-методических семинарах и конференциях по проблемам преподавания информатики в вузе: VIII Санкт-Петербургской Международной конференции «Региональная информатика-2002» (г.Санкт-Петербург, ноябрь 2002 г.), Международной научно-практической конференции «Информатизация школьного образования» (г.Барнаул, сентябрь 2002 г.), Региональной научно-практической конференции (г.Коряжма, декабрь 2002 г.), Герценовских чтениях (г.С-Петербург, РГПУ им.А.И.Герцена, апрель 2003 г.). Кроме этого, основные положения исследования отражены в 7 публикациях. Внедрение результатов исследования осуществлялось в рамках курса «Математическая логика» для студентов третьего курса специальности «Информатика» и спецкурса «Семиотика языков программирования» для студентов пятого курса специальности «Математика» РГПУ им.А. И. Герцена и студентов третьего курса специальности «Математика» РГПУ им.А.И.Герцена филиала в г.Волхове.

Последовательность решения основных задач исследования определили структуру построения диссертации. Диссертация состоит из введения, трех глав, заключения, библиографии и приложений. Основной текст занимает 208 с, в том числе 24 рисунка, 14 таблиц, библиография (229 наименований) - 17 с, приложения - 88 с.

ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ

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

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

понента методической теории, мы представили структуру нашего диссертационного исследования в виде совокупности указанных выше компонентов методической теории — с одной стороны, а с другой стороны, представили метамодель методики обучения (рис. 1), предложенную В.В.Лаптевым, Н.И.Рыжовой, М.В.Швецким (2003). Построили учебный предмет «Семиотика языков программирования» (конкретную реализацию методической системы обучения) как интерпретацию методической теории.

Методическая теория

( Методическая система обучения | ! (Учебный предмет Г] . . • \ Учебный предмет ]Т|!

Рис. 1. Модель методики обучения

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

В §1.3 в рамках концептуального каркаса была выбрана модель методической системы обучения (рис. 2), полученная в результате обобщения моделей А.М.Пышкало, М.В.Швецкого, Т.А.Бороненко, Н.Л.Стефановой, А.П.Тряпицыной, И.Б.Готской, В.М.Жучкова. Определена структура содержания обучения семиотике языков программирования на основании классификации моделей синтаксиса и семантики языков программирования, построенной на этапе формирования концептуального базиса методической теории. Опираясь на семиотический подход к образованию и на то, что предмет нашего исследования - обучение семиотике языков программирования, мы обратились к трактовке таких базовых понятий как «образование» и «культура» с точки зрения семиотики (п. 1.3.1). В связи с этим мы понимаем образование как целенаправленный процесс формирования функционирующих семиотических систем у обучаемых, а также обучение человека «производству текстов». В рамках указанного подхода к образованию мы рассматриваем три его аспекта: синтактика, семантика, прагматика. Кроме этого, мы рассматриваем и феномен культуры с точки зрения семиотики. Так, под термином «культура» мы понимаем средство распредмечивания объектов окружающего мира, наделения их смыслами, потребными человеку, а также выражения этих смыслов на системных языках символов и условных знаков (задающих имена этим объектам, из манипуляции которыми собственно и составляются «культурные тексты»), и одновременно средство опредмечивания интеллектуально-образного мира человека в процессе реализации теоретических принципов (смыслов), заложенных в многообразии писанных и не-писанных «культурных текстов», нравов, обычаях, традициях в социальной практике жизнедеятельности людей.

Рис. 2. Модель методической системы обучения

В п. 1.3.2. мы рассматриваем понятия «язык программирования» и «программа» (с точки зрения семиотики), используемые в дальнейшем нами как базовые содержания обучения методической системы обучения семиотике языков программирования. Мы детализируем понятия «синтаксис», «семантика», «прагматика» для языка программирования, т.к. любой язык программирования является знаковой системой, описываем модели представления синтаксиса и семантики языков программирования. В нашем исследовании мы трактуем понятие «язык программирования» в рамках двух следующих определений: (1) язык программирования - это знаковая система для планирования поведения исполнителя (в частности, компьютера); (2) язык программирования — это формальный язык, используемый для составления, хранения и модификации программ, а также для обмена информацией об алгоритмах как между человеком и машиной (в частности, компьютером), так и между людьми. С понятием «язык программирования» тесно связано понятие «программа», определяемое нами (согласно теории языков программирования) как объект, выраженный на формальном языке, обладающий определённой информационной и логической структурой и подлежащий исполнению на автоматическом устройстве. Термины «синтаксис» и «семантика» по отношению к языкам программирования употребляются соответственно как набор правил построения правильных текстов на этих языках и набор спосо-

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

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

Учитывая эти положения и классификации парадигм, моделей синтаксиса и семантики языков программирования мы определили структуру содержания обучения. Ее составили разделы: формальный синтаксис языков профаммирования; содержательная операционная семантика языков программирования; формальная операционная семантика языков программирования; формальная дедуктивная семантика языков программирования; денотационная семантика языков программирования (п.1.3.4).

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

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

Во второй главе, в рамках содержательной надстройки методической теории (§2.1—§2.5), опираясь на теоретические и методологические положения, которые составили эмпирический и концептуальный базисы, концептуальный каркас методической теории, была построена методическая система обучения семиотике языков программирования. Предъявлена интерпретация методической теории в виде конкретной реализации методической системы обучения - учебного предмета «Семиотика языков программирования»(§2.6).

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

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

Далее, в соответствии с указанными основными концептуальными линиями обучения семиотике языков программирования, произведен отбор содержания обучения и подробно охарактеризована логическая структура содержания обучения разделам и темам курса «Семиотика языков программирования» (п.2.2.2 — п.2.2.4). Приведем логические структуры некоторых базовых разделов (рис. 3-5). На основе анализа подходов к обучению мы выделили и обосновали возможность использования грамматических моделей при обучении формальному синтаксису языков программирования (п.2.2.3). Далее, в п.2.2.5 нами описаны различные модели прагматического аспекта формального языка, на основании которых выделены линии прагматики, которые необходимо учитывать в содержании обучения формальным языкам и, как следствие из этого, сформулированы и охарактеризованы линии прагматики для содержания обучения языкам программирования.

Кроме этого, в п.2.2.6 выполнен логико-семиотический анализ содержания обучения семиотике языков программирования на примере базового раздела «Аксиоматическая система Хоара для модельных языков D и Н». Приведем ниже в таблице содержание базовых компонент - семиотической и формально-логической для этой темы с конкретным их наполнением.

Семиотическая и формальнологическая компоненты содержания темы Конкретноенаполнение темы «Аксиоматическая система Хоара для модельных языков И и D»

Предметный язык Расширенный язык первого порядка, пополненный специальными словами (тройками Хоара) вида где ОД -формулы расширенного языка первого порядка, S - программа на используемом языке программирования Н или D

Метаязык Язык канторовской (наивной) теории множеств; язык первого порядка; язык императивного программирования

Формальная система Аксиоматическая система Хоара

Формальный язык Формальный язык для описания дедуктивной семантики языков Н и D

Формальные аксиоматические теории В данной теме отсутствует

Содержательные аксиоматические теории Язык императивного программирования как содержательная аксиоматическая теория

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

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

ной спецификации; задачи на построение доказательства частичной правильности программы, записанной на языке Н; задачи на построение доказательства полной правильности программы, записанной на языке Н; 3) задачи, иллюстрирующие применение аксиоматической системыХоара к доказательству правильности императивных программ: задачи на применение аксиоматической системы Хоара для доказательства правильности программ, записанных на языке Pascal. Умение решать эти основные типы задач позволяет нам оценить у обучаемых сформированность умений и навыков владения понятиями и теоремами данной темы.

В §2.3 описаны традиционные методы обучения, которые возможно использовать при обучении семиотике языков программирования, и выделен специальный метод — метод демонстрационных примеров, предложенный В.В.Лапгевым и М.В.Швецким (1994). Этот метод предлагаем использовать при обучении таким разделам как "Содержательная операционная семантика языков программирования" и "Формальная операционная семантика языков программирования".

На основе анализа существующих организационных форм обучения (§2.4) предложены традиционные формы из следующих групп: системы обучения; способы обучения; виды учебной деятельности обучающихся; формы организации учебной работы. При обучении семиотике языков программирования мы предлагаем использовать лекционно-семинарскую систему обучения, групповой способ обучения и применять следующие виды учебной деятельности студентов: 1) индивидуально-обособленная (подготовка к занятиям), 2) парная (консультации, различные виды контроля), 3) групповая (лекция, семинар, упражнение), 4) коллективная - динамические пары (лабораторная работа). Мы считаем возможным применять следующие из функционирующих в ВУЗе форм обучения: лекции; практические занятия (лабораторные работы, упражнения); комбинированные формы обучения (сочетающие в себе элементы лекции и практического занятия); самостоятельная работа студентов. Предлагаемые способы контроля в данном случае — письменные работы и тесты практического или теоретического характера.

В §2.5, исходя из понимания термина «средства обучения» в узком смысле и, ограничиваясь анализом знаково-символических средств, мы указали следующие средства обучения семиотике языков программирования: (1) нелогические и логические исчисления; (2) представительные вычислительные модели (машина Тьюринга, машина Поста-Успенского, МНР, РАМ, РАСП); (3) языки теории комбинаторов; (4) язык императивного программирования; (5) язык функционального программирования.

В §2.6 описаны возможные конкретные реализации построенной методической системы обучения семиотике языков программирования в виде учебных курсов: «Формальная семантика языков программирования», «Аксиоматическая семантика языков программирования», «Семиотика языков программирования», которые представляют собой интерпретации построенной методической теории.

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

■>Синтез команд модельных языков программирования Н и Б

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

Рис. 5. Логическая структура содержания обучения дедуктивной семантике языков программирования

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

Приведем сформулированные в §3.1 выводы, полученные в ходе поискового эксперимента:

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

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

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

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

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

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

ОСНОВНЫЕ РЕЗУЛЬТАТЫ И ВЫВОДЫ ИССЛЕДОВАНИЯ

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

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

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

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

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

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

5) Выбраны соответствующие содержанию обучения традиционные методы, формы и средства обучения.

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

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

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

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

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

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

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

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

5) также можно рассмотреть возможность использования для обучения основам ' программирования языка с недетерминированными командами (имеющего синтаксис, подобный синтаксису языка Б, но более богатый).

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

Публикации. Список научных и учебно-методических трудов автора составляет 7 работ, в которых отражены результаты диссертационного исследования:

1. Баумане К.И., Егорова Н.В., Михайлов А.Б., Рыжова Н.К, Швец-кий М.В., Основы математической логики. Упражнения по формальным язы-

кам и теории доказательства. - СПб.: Изд-во «Интерлайн», 2002. - 20,5 п.л./ авторских 1,56 п.л.

2. Баумане К.И, Голанова А.В. Межпарадигмальная рефлексия как метод обучения парадигмам теории алгоритмов и языков программирования // 8 Сиб. Международная конференция «Региональная информатика-2002». 4.2. -СПб., 2002. - 0,04 п.л./ авторских 0,02 п.л.

3. Баумане К.И. Об актуальности обучения семиотике языков программирования будущих учителей информатики // 8 Спб. Международная конференция «Региональная информатика-2002». 4.2. - Спб., 2002. - 0,04 п.л.

4. Баумане К.И. Семиотика как средство метода межпарадигмальной рефлексии при обучении языкам программировангия // Региональная научно-практическая конференция 3-4 декабря 2000 г, Коряжма. - Архангельск: Изд-во ПТУ им.М.В.Ломоносова, 2003. - 0,22 п.л.

5. Баумане К.И К вопросу о прагматическом аспекте содержания обучения языкам программирования // Телекоммуникации, математика и информатика - исследования и инновации. Выпуск 7. Межвузовский сб. науч. трудов. - Спб.: ЛГОУ им.А.С.Пушкина, 2003. - 0,15 п.л.

6. Баумане К.И., Егорова Н.В. О содержании обучения доказательству правильности программ будущих учителей информатики // Международная научно-практическая конференция 17-18 сентября 2002 г. «Информатизация школьного образования». - Барнаул: Изд-во БГПУ, 2003. - 0,21 п.л./ авторских 0,11 п.л.

7. Баумане К.И., Рыжова Н.И. Об использовании метода межпарадиг-мальной рефлексии в обучении языкам программирования // Международная научно-практическая конференция 17-18 сентября 2002 г. «Информатизация школьного образования» - Барнаул: Изд-во БГПУ, 2003. - 0,3 п.лУавторских 0,15 п.л.

Отпечатано з ООО «АкадемПринт». С-Пб. ул. Миллионная:, 29 Тел.: 315-11-41. Псдолсако в печать 16.09.С4. Тиран 100 экз.

$ 17 4 2 1

РНБ Русский фонд

2005-4 12827

Содержание диссертации автор научной статьи: кандидата педагогических наук, Баумане, Кристина Иматовна, 2004 год

ВВЕДЕНИЕ

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

СЕМИОТИКЕ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ

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

§1.2. Эмпирический базис

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

• 1.3.1. Культура как совокупность знаковых систем и образование как часть культуры

1.3.2. Уточнение базовых понятий семиотики языков программирования

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

1.3.4. Классификация семантик языка программирования

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

1.4.1. Философские принципы исследования

1.4.2. Метод межпарадигмальной рефлексии как принцип отбора содержания обучения

1.4.3. Семиотический подход к структуре

Ф содержания обучения формальному языку

1.4.4. Принцип учета стратегии освоения содержания обучения

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

ГЛАВА 2. СОДЕРЖАТЕЛЬНАЯ НАДСТРОЙКА И ИНТЕРПРЕТАЦИЯ

МЕТОДИЧЕСКОЙ ТЕОРИИ ОБУЧЕНИЯ

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

2.1.1. Требования к уровню начальных знаний обучаемых

2.1.2. Требования к уровню освоения обучаемыми содержания учебной дисциплины

§2.2. Содержание обучения семиотике языков программирования.'.

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

2.2.2. Содержание обучения основам теоретической семиотики

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

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

4 2.2.5. Прагматический аспект формального языка и линия прагматики в содержании обучения 2. 6. Логико-семиотический анализ содержания обучения семиотике языков программирования

§2.3. Методы обучения семиотике языков программирования

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

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

§2.6. Учебный предмет «Семиотика языков программирования» как интерпретация методической теории обучения

2.6.1. Концепции включения семиотики языков

Ф программирования в учебный процесс

2.6.2. Варианты реализации методической теории

ВЫВОДЫ ПО ГЛАВЕ 2.

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

СЕМИОТИКЕ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ В РАМКАХ

ПЕДАГОГИЧЕСКОГО ЭКСПЕРИМЕНТА

§3.1. Общая характеристика педагогического эксперимента

• - 4

§3.2. Анализ состояния и проблемы подготовки будущих учителей информатики по вопросам семиотики языков программирования

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

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

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

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

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

A.П.Ершова, С.А.Жданова, В.П.Шари, М.П.Лапчика, В. Г. Кинелева,

B. А. Извозчикова, Г.А.Бордовского, В.А.Болотова, А.А.Кузнецова, В.С.Леднева, В.В.Лаптева, В.В.Краевского, Б. С. Гершунского, В. В. Давыдова.

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

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

Так, например, в концепции предметной подготовки учителя информатики, сформулированной С.А.Ждановым, В. Л. Матросовым, М.П.Лапчиком, В.П. Шари и др. и реализованной в государственном образовательном стандарте второго поколения для учителя информатики (ГОС ВПО, 2000) было указано, что преобладающей тенденцией в формировании содержания теоретико-методологической линии является повышение уровня фундаментальных знаний в области научных дисциплин, изучаемых в соответсвующих курсах. К дисциплинам, теоретический уровень которых был существенно усилен по сравнению с предыдущим стандартом (стандартом первого поколения ГОС ВПО, 1995) были отнесены следующие: «Теоретическая информатика», «Дискретная математика», «Абстрактная и компьютерная алгебра», «Теория алгоритмов», «Основы искусственного интеллекта». Изучение этих учебных дисциплин и дисциплин программно-технологического и предметно-методического циклов, по мнению авторов концепции, обеспечивает формирование у будущего специалиста соответствующего информационного мировоззрения и необходимого профессионального инструментария, расчитанного на длительную перспективу и достаточно инвариантного по отношению к возможным локальным изменениям в области информационных технологий и компьютерной техники.

В настоящее время в обучении научным дисциплинам начинает широко использоваться компетентностный подход к образованию будущего специалиста (см. работы М.Стобарт, В.Чинапаха, Я.И.Лестеда, Г.В.Вайлера, М. В. Рыжакова, В.А.Кальней, А. В. Хуторского, В. А. Сластенина, В.В.Бранникова, А.Ю.Уварова, А.Л.Семенова, 0.Г.Смолянино-вой и др.), в связи с этим цели обучения начинают формулироваться в виде совокупности компетенций, понимаемых чаще всего как определенные виды деятельности. При этом триада «знания-уменя-навыки» для формулирования целей уходит на второй план, хотя является очевидным фактом, что без усвоения знаний (изучение законов и положений науки) и формирования умений (изучение и использование основного метода науки) нельзя обучить деятельности - применять знания и умения в «незнакомых» ситуациях, т.е. при решении уже неучебных, а профессиональных задач и задач, имеющих межпредметный характер.

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

Здесь уместно указать, что основные мировоззренческие положения науки семиотики, положенные в основу семиотического подхода к изучению различных предметных областей, были сформулированы и развиты в работах таких известных ученых как Г.Фреге, Ч.С.Пирс, Ч.У.Моррис (семиотика знака), Ф. де Соссюр (семиотика естественного языка), Л.Витгенштейн (семиотика знака и философия языка), М.Ю.Лотман (семиотика культуры, семиотика естественного языка),

Р.Барт (семиотика культуры, семиотика языка'моды), Ю.С.Степанов, Б.А.Успенский (абстрактная семиотика), В.М.Розин (использование идей семиотики в образовательной сфере).

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

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

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

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

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

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

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

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

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

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

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

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

Кониепиия исследования заключается в том, что:

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

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

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

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

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

Научная новизна исследования заключается:

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

- 14 тальной подготовки учителя информатики;

Положения, выносимые на защити:

Теоретическая значимость состоит в том, что:

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

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

Апробация уезшьтатов исследования осуществлялась в форме научных докладов на научно-методических семинарах и конференциях по проблемам преподавания информатики в вузе: VIII Санкт-Петербургской Международной конференции «Региональная информатика-2002» (г. Санкт-Петербург, ноябрь 2002 г.), Международной научно-практической конференции «Информатизация школьного образования» (г.Барнаул, сентябрь 2002 г.), Региональной научно-практической конференции (г.Коряжма, декабрь 2002 г.), Герценовских чтениях (г. С-Петербург, РГПУ им.А.И.Герцена, апрель 2003 г.).

Кроме этого, основные положения исследования отражены в 7 публикациях.

Внедрение результатов исследования осуществлялось в рамках курса «Математическая логика» для студентов третьего курса специальности «Информатика» и спецкурса «Семиотика языков программирования» для студентов пятого курса специальности «Математика» РГПУ им.А. И. Герцена и студентов третьего курса специальности «Математика» РГПУ им. А.И.Герцена филиала в г.Волхове.

Последовательность решения основных задач исследования определили структуру построения диссертации. Диссертация состоит из введения, трех глав, заключения, библиографии и приложений. Основной текст занимает 208 с., в том числе 24 рисунка, 14 таблиц, библиография (229 наименований) - 17 с. , приложения - 81 с.

Заключение диссертации научная статья по теме "Теория и методика обучения и воспитания (по областям и уровням образования)"

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

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

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

5) Выбраны соответствующие содержанию обучения традиционные методы, формы и средства обучения.

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

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

Список литературы диссертации автор научной работы: кандидата педагогических наук, Баумане, Кристина Иматовна, Санкт-Петербург

1. Абрамов С.А. Элементы анализа программ. Частичные функции на множестве состояний. М.: Наука, 1986. - 128 с.

2. Агафонов В.Н. Спецификация программ: понятийные средства и их организация. Новосибирск: Наука, 1987. - 240 с.

3. Алагич С., Арбиб М. Проектирование корректных структурированных программ. М.: Радио и связь, 1984. - 264 с.

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

5. Андреев А. , Васильев A. VBA в Office 2000. Спб.: Питер бук, 2001. - 423 с.

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

7. Апинян Т.А. Игра в пространстве серьёзного. Игра, миф, ритуал, сон, искусство и другие. СПб.: Изд-во СПбГУ, 2003. - 400 с.

8. Аржанов И.Н. Методика обучения объектно-ориентированному программированию студентов педвуза: Авт. к. п. н. СПб., 2000. - 17 с.

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

10. Ахметова М.Н. Педагогические теории и системы: аспекты технологий. Учебное пособие. Часть II. Чита: Издательство ЗабГТУ им. Н.Г. Чернышевского, 1998. - 254 с.

11. Бабанский Ю.К. Методы обучения в современной общеобразовательной школе. М.: Просвещение, 1985. - 208 с.

12. Баранова, Е. В. Теория и практика объектно-ориентированного проектирования содержания обучения средствам информационных технологий: Автореф. . д. пед. наук. СПб, 2000. - 36 с.

13. Баумане К.И, Голанова А.В. Межпарадигмальная рефлексия как метод обучения парадигмам теории алгоритмов и языков программирования. // 8 Спб. Международная конференция «Региональная информатика» 2002. Часть 2. - СПб. , 2002. С. 54-55.

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

15. Бахтин М.М. Эстетика словесного творчества. М.: Искусство, 1979.

16. Бейбер Р.Л. Программное обеспечение без ошибок. М.: Радио и связь, 1996. - 176 с.

17. Бслоусое А.И., Ткачев С.Б. Дискретная математика. М.: Изд-BO МГТУ, 2001. - 743 с.

18. Белошапка в.К., Лесневский Ф.С. Требования к знаниям и умениям школьников по информатике // ИНФО. 1993. №6. С. 25-29.- 194

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

20. Бентли Д. Жемчужины программирования. -.СПб.: Питер, 2002. -272 с.

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

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

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

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

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

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

27. Бешенков С.А., Ракитина Е.А. Информатика: Систематический курс. М.: Лаборатория Базовых Знаний, 2001.

28. Библер В. С. Диалог культур и школа 21 века//В кн. школа диалога культур. Идеи. Опыт. Проблемы. Кемерово: «Алеф». Гуманитарный центр, 1993. С.9-106.

29. Бобонова Е.Н. Методические основы фундаментальной подготовки по информатике в педагогическом вузе: Авт. .к. п. н. -Ярославль, 2002. 25 с.

30. Бобровский, С. Технологии Пентагона на службе российских программистов: программная инженерия. СПб.: Питер, 2003. - 222 с.

31. Болтянский В.Г. Как устроена теорема? // Математика в школе. 1973. №1. С.41-50.

32. Большой Толковый словарь русского языка Спб. : Норинт, 2000. - 1536 с.

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

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

35. Брой М. Информатика. Структуры систем и системное программирование. Ч.3. М.: Диалог-МИФИ, 1996. - 224 с.

36. Брукшир Дж. Введение в компьютерные науки. Общий обзор. М.: Издательский дом «Вильяме», 2001. - 688 с.

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

38. Верещагин Е.Ш., Костомаров В. Г. Язык и культура: лингвострано-ведение в преподавании русского языка как иностранного. -М.:Рус. яз, 1990. 246 с.

39. Веряев А. А. Семиотический подход к образованию в информационном обществе: Автореф. . д. п.н. Барнаул, 2000. - 39 с.

40. Виленкин Н. Я., Мордковия А. Г. Подготовку учителей математики на уровень современных требований // Матем. в шк., 1986, №6, с.6-10.

41. Вирт Е. Систематическое программирование. Введение. М.: Мир, 1977. - 183 с.

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

43. Витгенштейн Л. Философские работы. Часть I. М. : Издательство «Гнозис», 1994. - 612 с.

44. Володарская И.А., Митина A.M. Цели обучения в педагогике высшей школы. М, 1986. - 48 с.

45. Вопросы теории и практики обучения информатике. Сборник научных трудов. / Под редакцией В.В.Лаптева. -.СПб., РГПУ, 1998. 146 с.(с. 6-8).

46. Воробьев Г. Г. Твоя информационная культура. М.: Молодая гвардия, 1988. - 303 с.

47. Выготский Л. С. Мышление и речь. М.: Лабиринт, 1996. - 415 с.

48. Гамезо М.В., Ломов Б. Ф. , Рубахин В. Ф. Психологические аспекты методологии и общей теории знаковых систем.// В кн.: Психологи- 196 ческие проблемы переработки знаковой информации. М.: Наука, 1977, с. 5-48.

49. Гейн А.Г. Информатика: Учеб. для 10-11 классов общеобразовательных учреждений. /А.Г. Гейн, А.И. Сенокосов, Н.А. Юнерман. -М.: Просвещение, 2002. 255 с.

50. Гейн А. Г., Сенокосов A.M., Шолохович В.Ф. Информатика: Учеб. для 7-9 классов общеобразовательной школы. М.: Дрофа, 1999. -240 с.

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

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

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

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

55. Голанова А.В. Методика обучения теории алгоритмов будущих учителей информатики: Авт.к.п.н. СПб, 2003. - 18 с.

56. Голицын Г.А. Информация и творчество: на пути к интегральной культуре. М.: Информационно-издательское агенство «Русский мир*,1997. - 304 с.

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

58. Голуб В. А. Основы общей дидактики. Учебное пособие для студентов педагогических вузов. М.: Гуманитарный издательский центр ВЛАДОС, 1999. - 96 с.

59. Горский Д.В. Определение. М.: Мысль, 1974. - 312 с.

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

61. Гращенко П.Л. Содержание и методика углубленного изучения информатики в средней школе (на примере раздела «Методы решения задач на ЭВМ»): Авт.к.п.н. СПб., 1993. - 20 с.

62. Грис Л- Наука программирования. М. : Мир, 1984. - 416 с. Груденов Я.И. Психолого-дидактические основы методики обучения математике. - М. : Педагогика, 1987,- 160 с.

63. Давыдов В. В. Виды обобщения в обучении, М, 1972,- 423 с. Дейкстра Э. Дисциплина программирования.' - М. : Мир,- 1978.- 276 с.

64. Дидактика современной школы: Пособие для учителей / Под ред. В.А.Онищука. Киев: Радянська школа, 1987. - 351 с.

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

66. Дридзе Т.М. Язык и социальная психология. М.:Высшая школа, 1980,- 224 с.- 198

67. Дридзе Т.М. Текстовая деятельность в структуре социальной коммуникации. Проблемы семиосоциопсихологии М. :Наука,1984. - 268 с

68. Егорова К. В. Методика обучения доказательству правильности императивных программ в рамках фундаментальной подготовки учителей информатики в предметной степени: Авт. к. п.н. СПб, 2004. - 20 с

69. Ежеленко В.Б. Средства, методы, приемы в педагогическом процессе. Лекция к курсу «Теория и методика педагогического процесса». СПб.: «Образование», 1997. - 22 с.

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

71. Есаян А.Р. Теория и методика обучения алгоритмизации на основе рекурсии в курсе информатики педагогического вуза. Авт. к. п.н. М, 2001.

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

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

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

75. Заморин А. П., Марков А. С. Толковый словарь по вычислительной технике и программированию. М.: Русс, яз., 1987. - 221 с.

76. Запесоцкий А.С. Образование: философия, культурология, политика. М.: Наука, 2002. - 456 с.

77. Зверев Г.Н. Основания теоретической информатики. Ч. 4. Математическая семантика: Учебное пособие / Г.Н. Зверев; Уфимский гос. авиац. техн. ун-т. Уфа, 1997. - 113 с.

78. Иванов О.А. Теоретические основы построения системы специальной математической и методической подготовки преподавателей профильных школ. СПб.: Изд-во С.-Петерб. ун-та, 1997. - 80 с.

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

80. Избранные труды / А.П.Ершов. Новосибирск: ВО «Наука». Сибирская издательская фирма, 1994. - 416 с.

81. Икрамов Д.И. Математическая культура школьника: Методические аспекты проблем развития мышления и языка школьников при обучении математике. Ташкент: Укитувчи, 1981. - 278 с.

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

83. Каган М.С. Философия культуры.- Спб.: Петрополис, 1996.- 414 с. Кашин В. А. Информатика: Учебник. М.: ИНФРА-М, 2000. - 232 Калинин А. Г., Мацкевич И. В. Универсальные языки программирования. Семантический подход. - М.: Радио и связь, 1991. - 400 с.

84. Канке В.А. Этика ответственности. Теория морали будущего. -М.: Логос, 2003. 352 с.

85. Караулов Ю.Н. Словарь Пушкина и эволюция русской языковой способности. М.: Наука, 1992. - 168 с.

86. Каримов К.М. Методика обучения основам вычислительной техники и программирования: Авт.к.п.н. Ташкент, 1993. - 19 с.

87. Карпенко А.С. Логика на рубеже тысячелетий // Логические исследования. Вып. 7. М. : Наука, 2000. - с 7-60.

88. Кассирер Э. Избранное. Опыт о человеке. М.: Гардарика, 1998. С.440-722.

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

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

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

92. Коджаспирова Г.М., Коджаспиров А.Ю. Педагогический словарь.- М. : Издательский центр «Академия», 2000. 176 с. Колесникова И.А. Педагогическая реальность: опыт межпарадигмальной рефлексии. СПб.: «ДЕТСТВО-ПРЕСС», 2001. - 288 с.- 200

93. Колесникова И.А. Основы технологической культуры педагога. — СПб.: Дрофа, 2003. 285 с.

94. Корнетов Г.Б. Цивилизационный подход к изучению всемирного ис-торико-педагогического процесса. М.: ИТП и МЙО РАО, 1994.- 265 с.

95. Корнилов О.А. Языковые картины мира как производные национальных менталитетов. М.: МАЛП, 2000. - 341 с.

96. Королев JI.H., Миков А. И. Информатика. Введение в компьютерные науки. М: Высшая школа, 2003. - 341 с.

97. Косова И.С. Использование языка LISP при обучении функциональному программированию будущих учителей информатики. Авт.к.п.н.- СПб, 2001. 18 с.

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

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

100. Краткий философский словарь. М.: Проспект, 2000. - 400 с.

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

102. Кузнецова В. А. Теория и практика многоуровневого университетского педагогического образования.- Ярославль: ЯГУ,1995. 268 с.

103. Куликова И. С., Салмина, Д. В. Введение в металингвистику (системный, лексикографический и коммуникативно-прагматический аспекты лингвистической терминологии). СПб.: САГА, 2002. - 352 с.

104. Кулюткин Ю.Н., Сухобская Г. С. Моделирование педагогических ситуаций. М.: Педагогика, 1981. - 120 с.

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

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

107. Кушниренко А.Г., Лебедев Г.В., Зайдельман Я.Н. Информатика. 7-9 кл. : Учебник. М. : Дрофа, 2000. - 336 с.

108. Лавров С. С. Методы задания семантики языков программирования. //Программирование, 1978, 6, с.3-10.

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

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

111. Ладыжец И. С. Философия и практика университетского образования. Ижевск: Изд-во Удмурт, ун-та, 1995. - 256 с.

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

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

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

115. Лаптев В. В., Рыжова Н. И., Швецкий М. В. Методическая теория обучения информатике. Аспекты фундаментальной подготовки. СПб.: Изд-во СПбГУ, 2003 - 352 с.

116. Лапник М.П. Структура и методическая система подготовки кадров информатизации школы в педагогических вузах: Авт.к.п.н. М., 1999. - 82 с.

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

118. Леднев B.C. Содержание образования: сущность, структура, перспективы. М.: Высшая школа, 1991. - 224 с.

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

120. Леонтьев А. А. Основы психолингвистики М. :Смысл, 1997. - 287 с.- 202

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

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

123. Мартин Дж. Вычислительные сети и распределенная обработка данных: программное обеспечение, методы и архитектура. М.: Финансы и статистика, 1985. - 256 с.

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

125. Математическая энциклопедия. В 5-ти т. Т 4. М. : Советская энциклопедия, 1984.

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

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

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

129. Михайлов А. Б., Рыжова Н.И., Швецкий М.В., Баумане К. И., Егорова Н. В. Основы математической логики. Упражнения по формальным языкам и теории доказательства. СПб.: Изд-во «Интерлайн», 2002.

130. Мордкович А.Г. О профессионально-педагогической направленности математической подготовки будущих учителей // Математика в школе. 1984. №6. С.42-45.

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

132. Мусинова Е.В. Методика обучения будущих учителей информатики дискретной математике. Авт.к.п.н. СПб, 2001.

133. Непейвода Я. Я. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000. - 521 с.

134. Непейвода Н.Н., Скопин И.Н. Основания программирования.- Москва-Ижевск, 2003. 868 с.

135. Непомнящий В.А., Рякин О.М. Прикладные методы верификации программ. М.: Радио и связь, 1988. - 256 е.

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

137. Одинцов И. Профессиональное программирование. Спб.: БХВ-Пе-тербург, 2002. - 512 с.

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

139. Онищук В.А. Дидактика современной школы. Киев: Рад. шк., 1987. - 350 с.

140. Переверзев В.Н. Логистика. М. : Мысль, 1995. - 224 с.

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

142. Петров М.К. Язык, знак, культура. М, 1991. - 328 с.

143. Петров М.К. Социально-культурные основания развития современной науки. М.: Наука, 1992 - 232 с.

144. Петров Ю.А. Математическая логика и материалистическая диалектика. М.: Изд-во МГУ, 1974. - 192 с.

145. Петрова Ю.А. Дифференцированных подход при обучении объектноо-риентированному программированию в старшей школе: Авт.к.п.н. СПб., 2002. - 18 с.

146. Пидкасистый П.И. Педагогика.- М. : Пед. общ-во, 1998. 638 с.

147. Пирс Ч.С. Избранные философские произведения. М.: Логос, 2000. - 411 с.

148. Почепцов Г. Г. Русская семиотика: Идеи и .методы, персоналии, история. М.: Рефл-бук: Ваклер, 2001. - 763 с.

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

150. Пратт Т., Зелковиц М. Языки программирования: разработка и реализация. СПб.: Питер, 2002. - 688 с.

151. Программно-методические материалы: Информатика. 1-11 кл. / Сост. Л.Е.Самовольнова. М.: Дрофа, 1998. - 96 с.

152. Психологическая диагностика детей и подростков. Учебное пособие для студентов: М.К.Акимова , Г.А.Берулаева, Е.М.Борисова и др. М. : Междунар. Пед. академия, 1995. - 360 с.

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

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

155. Рождественский Ю.В. Общая филология. М.: Фонд «Новое тысячелетие», 1996. - 326 с.

156. Розин В. М. Типы и дискурсы научного мышления. М: Эдиториал УРСС, 2000. - 248 с.

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

158. Самойлова И.П. Методика обучения логическому (хорновскому) программированию будущих учителей информатики: Авт.к.п.н.- СПб., 2001. 18 с.

159. Саморуков Б.Е., Тихомиров С.А. Многоуровневое образование: проблемы, сущность, перспективы // Актуальные проблемы развития- 206 высшей школы. Переход к многоуровневому образованию: Межвуз.сб. науч.тр. СПб.: Изд-во Лесотехн. академии, 1993. С.15-19.

160. Себеста Р. У. Основные концепции языков программирования.- М.: Издательский дом «Вильяме», 2001. 672 с.

161. Семакин И. Г., Залогова Л.А., Русаков С.В., Шестакова Л.В. Информатика: Базовый курс для 7-9 кл. М.: Лаборатория Базовых Знаний, 1998.

162. Семенюк Э.П. Информационная культура общества и прогресс информатики // ИНТИ, Серия 1'. 1999, N1, С. 1-7.

163. Сенокосов А.И., Гейн А. Г. Информатика: Учеб. для 8-9 кл. шк. с углуб. изуч. информатики. М.: Просвещение, 1995. - 255 с.

164. Сидоренко Е.В. Методы математической обработки в психологии.- СПб.: ООО «Речь», 2002. 350 с.

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

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

167. Соссюр Ф. де Труды по языкознанию М.: Прогресс, 1977.- 695 с. Сотникова О.А. Методологический подход к изучению теоретического материала курса алгебра и теории чисел в педвузе. Авт. .к. п. н. - Спб., 1996 - 18 с.

168. Степанов Ю.С. Семиотика. М. : Наука, 1971. - 146 с. Стефанова Н.Л. Теоретические основы развития системы методической подготовки учителя математики в педагогическом вузе: Авт. д. п. н. - СПб, 1996.

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

170. Теоретические основы содержания общего среднего образования.- М.: Педагогика, 1983. 352 с.

171. Толкачев Ф.В. Система упражнений по императивному программированию в фундаментальной подготовке будущих учителей информатики: Авт. к. п. н. СПб, 2000. - 19 с.- 207

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

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

174. Успенский Б. А. История и семиотика (Восприятие времени как семиотическая проблема) // Ученые записки Тартуск.ГУ, вып. 831, 1988. С.71-72.

175. Успенский Б.А. Избранные труды. Т.1: Семиотика истории. Семиотика культуры. М. : шк. «Языки руской культуры», 1996.- 605 С.

176. Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. М.: Наука, 1987. - 288 с.

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

178. Философский энциклопедический словарь / Сост.: Е.Ф. Губский, Г. В. Кораблева, В. А. Лутченко. М. : ИНФРА-М, 2000. - 576 с.

179. Флиер А.Я. Культурология для культурологов. М.: Академический проект; Екатеринбург: Деловая книга, 2002. - 492 с.

180. Фомина А.А. Методика обучения будущих учителей информатики формальным языкам. Авт. .к. п. н. СПб, 2003. - 15 с.

181. Френкель А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966. - 555 с.

182. Фридман Л.М. Сюжетные задачи по математике. История, теория, методика. М.: Школьная Пресса, 2002. - 208 с.

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

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

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

186. Чередов И.М. Конструирование и педагогический анализ учебного процесса в школе. Омск, 1987. - 45 с.

187. Чёрч А. Введение в математическую логику М.: ИЛ, 1960. - 486 с.

188. Шауцукова Л.З. Информатика: Учеб. пособие для 10-11 кл. обще-образоват. учреждений. М.: Просвещение, 2002. - 416 с.

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

190. Шрейдер Ю.А. О понятии «математическая модель языка». М.: Знание, 1971. - 152 с.

191. Шрейдер Ю.А., Шаров А. А. Системы и модели, М.: Радио и связь, 1982. - 152 с.

192. Шуман А.Н. Философская логика: Истоки и эволюция.- Минск: Эконом-пресс, 2001. 368 с.

193. Щедровищий Г. П. О методе семиотического исследования знаковых систем // Семиотика и восточные языки. М., 1967.

194. Щербов Н.П., Лында А. С. Педагогика. 1973. 392 с.

195. Эко У. Отсутствующая структура. Введение в семиологию. СПб.: Симпозиум, 2004. - 544 с.

196. Элиенс А. Принципы объектно-ориентированной разработки программ,- М; Спб; Киев: Вильяме, 2002,- 495 с.

197. Языкознание. Большой Энциклопедический словарь. М.: Большая российская энциклопедия, 1998. - 685 с.

198. Aiken R., Balasubrahmanian А., Brauer W., Buckingham D., He-benstreit J., Khviion E., Levrat В., Lovis F., Murray-Lasso M., Turner J., Weert van T. A Modular Curriculum in Computer Science, UNESCO-IFIP, 1994. ED/94/WS/13.

199. Computing Curricula 2001 // Comm. IEEE-CS and ACM, 2001. Gag-ne, Briggs,1992 Gronlund,1976.

200. Deely J. Basics of semiotics. Bloomington, IN:Indiana University Press, 1990.