Метамодель обучения информатике в высшей школе

• Автор: Фокин, Роман Романович
• Шифр специальности: 13.00.02
• Научная степень: Докторская
• Год защиты: 2000
• Место защиты: Санкт-Петербург
• Количество страниц: 408 с. : ил.

1.1. Общенаучные основания метамоделирования в структуре современного научного знания
1.2. Особенности методологии современной информатики ф в условиях информатизации общества и
образования
1.3. Современные проблемы обучения информатике в высшей школе и пути их решения .
Выводы по главе 1 .
Глава 2. Разработка стратифицированной метамодели обучения информатике в высшей школе и
содержания ее верхних уровней
2.1. Структура четырех уровней разрабатываемой
метамодели и ее метауровень уровень 1 .
2.2. Целевой уровень уровень 2 разрабатываемой
метамодели и структура его главных профилей
2.2.1. Теоретические основы разработки открытой спецификации 2.1.1 Общее описание системы фундаментальных целей обучения информатике в высшей школе
2.2.2. Теоретические основы разработки открытой спецификации 2.1.2 Общее описание системы целей обучения фундаментальным теориям информатики в высшей школе .
2.2.3. Теоретические основы разработки открытой спецификации 2.2.1 Общее описание системы целей обучения ПО ЭВМ в высшей школе
2.2.4. Теоретические основы разработки открытой спецификации 2.3.1 Общее описание системы целей обучения ТС ЭВМ в высшей школе
Выводы по главе 2 .
Глава 3. Разработка содержания нижних уровней метамодели обучения информатике в
высшей школе
3.1. Содержательный уровень уровень
разрабатываемой метамодели и структура его главных профилей
3.1.1. Теоретические основы разработки открытой спецификации 3.1.1 Общее описание фундаментальных принципов отбора содержания обучения информатике в высшей школе
3.1.2. Теоретические основы разработки открытой спецификации 3.1.2 Общее описание содержания обучения фундаментальным теориям информатики в высшей школе .
3.1.3. Теоретические основы разработки открытой спецификации 3.2.1 Общее описание содержания обучения ПО ЭВМ в высшей
школе.
3.1.4. Теоретические основы разработки открытой спецификации 3.3.1 Общее описание содержания обучения ТС ЭВМ в высшей
школе.
Процессуальный уровень уровень 4 разрабатываемой метамодели и структура его главных профилей.
3.2.1. Теоретические основы разработки открытой спецификации 4.1.1 Общее описание фундаментальных принципов процессуальной стороны обучения информатике в высшей школе.
3.2.2. Теоретические основы разработки открытой спецификации 4.1.2 Общее процессуальное описание обучения фундаментальным
теориям информатики в высшей школе
3.2.3. Теоретические основы разработки открытой спецификации 4.2.1 Общее процессуальное описание обучения ПО ЭВМ в высшей
школе.
3.2.4. Теоретические основы разработки открытой спецификации 4.3.1 Общее процессуальное описание обучения ТС ЭВМ в высшей
школе.
Ф Выводы по главе 3
Глава 4. Совершенствование обучения информатике в высшей школе посредством применения метамодели.
4.1. Разработка учебных курсов по информатике для различных специальностей.
4.2. Педагогический эксперимент по оценке эффективности метамодели и его результаты
Выводы по главе 4
ф 3 а к л ю ч е н и е
Список использованной литературы


Метамодели близки или совпадают, мировоззрение читателя есть подмножество мировоззрения текста. В этом случае книга будет воспринята читателем и названа умной он думает так же как я, но лучше. Метамодели близки или совпадают, мировоззрение текста есть подмножество мировоззрения читателя. Книга будет воспринята и названа глупой он думает так же как я, ко хуже. Метамодели значительно различаются. Области мировоззрений текста и читателя не пересекаются вообще или пересекаются слабо и далеко от зоны аксиоматики зоны уверенности. В этом случае книга не будет воспринята. МЕТАЗНАНИЕ это знание о знании способность не только продемонстрировать навык, но и объяснить, как вы это делаете. МЕТАМОДЕЛЬ это модель, которая определяет категории неполных или двусмысленных языковых выражений. Метамодель используется для того, чтобы распознавать обычные искажения, опущения и обобщения, делающие неясной глубинную структуру действительный смысл высказывания. Модель содержит вопросы для ее выяснения, с помощью которых можно восстановить этот действительный смысл. Метамодель восстанавливает связи между языком и опытом и может быть использована для сбора информации, выяснения смысла, обнаружения ограничений и увеличения числа выборов. МЕТАПРОГРАММЫ это внутренние программы, определяющие, как мы сортируем свой опыт, ориентируемся в нем и организуем его. Наши метапрограммы более абстрактны, чем конкретные стратегии мышления, и определяют скорее общий подход к некоторой теме, чем детали процесса мышления. МЕТАС5ЩЕНИЕ это сообщение о сообщении. Ваше невербальное поведение постоянно передает другим людям метасообщения о вас и предоставляемой вами информации. Поставив проблему обоснования истинности математики
Д. Гильберт и его школа пришли к открытию нового научного направления МЕТАМАТЕМАТИКИ, став одними из пионеров использования метапонятий в математике. Ранее Дж. Булем, Г. Фреге, Б. Расселом А. Уайтхедом и другими учеными была построена стройная система математической логики, аппарат которой был положен в основу метаматематики. В трактуемых как единая научная дисциплина метаматематике и математической логике 0, 9, 2, 0 широко используются понятия МЕТАТЕОРИИ, МЕТАТЕОРЕМЫ, МЕТАЯЗЫКА и т. Кроме указанных выше ученых исследования в этом направлении также вели Бернайс П. Гедель К. Клини С. Тарский А. Конкретные математические теории геометрические, алгебраические, вероятностные и другие являются аксиоматическими, а их понятия несут конкретный смысл. Метаматематика, обобщая эти теории, строит МЕТАТЕОРИИ, абстрагируюясь от конкретного смысла понятий обобщаемых теорий, эти понятия считаются символами некоторого алфавита. Изучается построение по формальным правилам цепочек из этих символов, называемых ФОРМУЛАМИ. Смыслом в метатеориях обладают лишь их собственные понятия МЕТАПОНЯТИЯ. Основными в метаматематике являются понятия точнее, метапонятия ФОРМАЛЬНОЙ АКСИОМАТИЧЕСКОЙ ТЕОРИИ и ВЫВОДА. Вывод это последовательность формул А. А2, . А1 либо является аксиомой, либо получается из формулы А применением одного из правил вывода. Приведенный ниже простой пример формальной аксиоматической теориишутки и вывода формул в ней взят нами из работ 2 9, с. Этот пример позволяет с высокой степенью наглядности демонстрировать обучаемым сущность методологии метаматематики. Алфавит М,Я,У. Одна аксиома МЯ. Я можно получить хЯУ. Мх можно получить Мхх. ЯЯЯ можно заменить на У. УУ можно заменить пустой. Символом х в правилах обозначается произвольный набор символов алфавита. МЯЯЯЯУ правило 1, МЯУУ правило 3. Математическая лингвистика используется для исследования как естественных разговорных языков, так и формальных языков, используемых в различных . В частности исследуются языки программирования, служащие для разработки компьютерных программ. Таким образом, математическая лингвистика и теория формальных языков, как ее часть, также являются метамоделирующими науками, где находят применение методы математической логики. В этом направлении отметим работы Н. Хомского, Дж. Катса, Дж. Оодора, И.