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

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

Автор: Демидов, Михаил Владимирович

Шифр специальности: 13.00.02

Научная степень: Кандидатская

Год защиты: 2001

Место защиты: Санкт-Петербург

Количество страниц: 213 с. ил

Артикул: 2289593

Автор: Демидов, Михаил Владимирович

Стоимость: 250 руб.

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ .
Глава 1. ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПОСТРОЕНИЯ МЕТОДИЧЕСКОЙ СИСТЕМЫ ОБУЧЕНИЯ БУДУЩИХ УЧИТЕЛЕЙ ИНФОРМАТИКИ
РАЗДЕЛУ ПРОЕКТИРОВАНИЕ КОМПИЛЯТОРОВ.
1.1. Пошш1кш аппарат исследования.
1.2. Общие принципы построения методической системы
обучения информатике .
1.3. Место раздела Проектирование компиляторов в курсе
информатики педагогического вуза .
1.4. Требования к уровню математической подготовки
студентов.
1.5. Базовые разделы информатики для обучения
проектированию компиляторов.
Выводы по главе 1
Глава 2. МЕТОДИЧЕСКАЯ СИСТЕМА ОБУЧЕНИЯ РАЗДЕЛУ ПРОЕКТИРОВАНИЕ
КОМПИЛЯТОРОВ.
2.1. Цели обучения проектированию компиляторов в
педагогическом вузе .
2.2. Логическая структура содержания раздела
Проектирование компиляторов .
2.3. Отбор содержания обуч.ения будущих учителей информатики проектированию компиляторов как элемента методической
системы обучения
2.4. Методы и формы организации обучения разделу Ф Проектирование компиляторов в педагогическом
3
2.5. Средства обучения разделу Проектирование
компиляторов в педагогическом вузе.
2.6. Реализация методической системы обучения построение
учебного предмета .
Выводы по главе 2
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА


Через понятие «знак» можно определить теперь понятие «знаковая система»: знаковая система [5,с. Конструктивное определение знаковой системы даётся в [,с. Совокупность соглашений (правил), устанавливающих закономерную связь между структурой знака и его денотатом, называется соглашениями, образующими знаковую систему (или. При этом правила использования денотатов для целей, выходящих за рамки семантики (т. Формальное определение термина «знаковая система» с использованием канторовской теории множеств можно найти также в [0; 1]. Частным случаем знаковой системы является язык — знаковая система, которая является результатом отражения в виде системы знаков системы некоторых (реально существующих или абстрактных) объектов. Языки по происхождению делятся на естественные и искусственные. Естественные языки возникают и развиваются в человеческом обществе стихийным образом и предназначены главным образом для общения между людьми. Их основные свойства [,с. Искусственные языки создаются намеренно для различных целей. Из множества всех искусственных языков выделяются формальные языки. Фоумальный язык [. Формальные языки характеризуются следующими свойствами [. Частным случаем формальных языков являются языки программирования. Как и любая знаковая система, язык характеризуется синтаксисом и семантикой. Они описываются на некотором языке, который называется метаязыком (сам язык, синтаксис и семантику которого подлежит описанию, называется в этом случае языком-объектом). Обычно отдельно рассматривается синтаксический метаязык (или метасинтак-сический язык), который предназначен для описания синтаксиса языка-объекта, и семантческий метаязык (метсетншческий язык) для описания семантики. Примером синтаксического метаязыка для языков программирования является форма Бэкуса—Наура, а в роли семантического метаязыка может рассматриваться, например, другой язык программирования, на который можно осуществить перевод с данного. Отметим, что в целях научного исследования желательно, чтобы оба метаязыка были формальными, но на практике выбрать формальный синтаксический метаязык обычно гораздо проще, чем семантический. В случае языка программирования определения основных терминов будут выглядеть следующим образом. К прагматике программирования [. Операционную сетнтику составляют правила, сопоставляющие программе последовательность действий исполнителя, дедуктивная семантика фиксирует правила поведения исполнителя при доказательстве свойств программы, денотационная семантика состоит в построении функции перевода любого правильного выражения рассматриваемого языка (т. Для императивных языков можно построить денотационную семантику (см. Отметим, что денотационная семантика удобна и для языков объектно-ориентированной парадигмы. Компилятор. Компилятор — это центральное понятие интересующей нас темы, поэтому остановимся на определении этого понятия. Определения компилятора и интерпретатора давались неоднократно. Характерный пример: «интерпретатор — программа, обрабатывающая один за одним операторы программы на языке высокого уровня и исполняющая каждый оператор по мере его обработки. В отличие от компилятора, не создает программу на языке низкого уровня. Компилятор — программа. А. Ахо и Дж. Ульман [4. Пример иных. М. Брой [. Далее. При этом требуется, чтобы эта порожденная программа давала те же результаты, что и заданная программа». Итак, стандартное определение компилятора сводятся к следующему: это компьютерная программа, которая переводит текст некоторой другой программы с одного языка программирования на другой (или даже на тот же самый) язык без изменения ее операционной семантики (то есть в результате перевода получается объектная программа, которая должна принимать те же входные данные и выдавать те же выходные данные, что и исходная программа), иначе говоря, входная и объектная программа должны быть семаштчески эквиваленты. Рассмотрим в общих чертах процесс компиляции программы. Этот процесс распадается на два (как правило, последовательных) этапа: анализ и синтез.

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.267, запросов: 108