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

• Баумане, Кристина Иматовна
• кандидат педагогических наук
• 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) были отнесены следующие: «Теоретическая информатика», «Дискретная математика», «Абстрактная и компьютерная алгебра», «Теория алгоритмов», «Основы искусственного интеллекта». Изучение этих учебных дисциплин и дисциплин программно-технологического и предметно-методического циклов, по мнению авторов концепции, обеспечивает формирование у будущего специалиста соответствующего информационного мировоззрения и необходимого профессионального инструментария, расчитанного на длительную перспективу и достаточно инвариантного по отношению к возможным локальным изменениям в области информационных технологий и компьютерной техники.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

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

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.