Читать реферат по всему другому: "2 Постановка задачи: о связном предъявлении теории информатики и практики программирования в теме исполнения для теоретического мышления. 13" Страница 1

(Назад) (Cкачать работу)

Содержание1 Введение. 4 1.1. Позиция в отношении к предмету. 4 1.2. Составляющие обучения. 72 Постановка задачи: о связном предъявлении теории информатики и практики программирования в теме ИСПОЛНЕНИЯ для теоретического мышления. 143 Аппликативный стиль. Денотационная семантика. (класс Прагматика). 173 Аппликативный стиль. Денотационная семантика. (класс Прагматика). 17 3.1 Проблемная ориентированность (программистский аспект). 173.1.1 Сравнение языков программирования стиля. 173.1.2 Неподвижная точка как подходящее обобщение проблемной ориентированности. 21 3.2 Редукционные реализации (математический аспект). 27 3.3 Модели теорий и типовые языки (системологический аспект). 373.3.1 Î ìîäåëÿõ -àëãåáðû èëè -òåîðèè. 373.3.2 Îáùèå àñïåêòû, ñâÿçàííûå ñ íåïîäâèæíîé òî÷êîé. 46 3.4 Базовое обучение на основе аппликативной среды информационного моделирования в учебнике М. Броя “Информатика. Основополагающее введение.” Часть I. 493.4.1 Пример базового обучения на основе аппликативного стиля. 493.4.2 Некоторые замечания. 514 Класс обучаемых Универсал: предъявление понятия Выразимость. 58 4.1 Программистский аспект. 58 4.2 Математический аспект. 594.2.1 Èíèöèàëüíàÿ àëãåáðà. 594.2.2 Óïîðÿäî÷åííî-ñîðòíûå òåîðèè. 59 4.3 Системологический аспект. 614.3.1 Теория моделей 624.3.2 Теория моделей логики высказываний 634.3.3 Теорема компактности в логике высказываний 654.3.4 Что и как можно выразить в логике I порядка. 66 4.4 Элементы среды саморазвития. 695 Реализация задания практикума для аппликативного стиля. 70 5.1 Макеты задания. 70 5.2 Понятия. 726 Заключение. 787 Результаты работы. 808 Литература. 819 Приложения. 84 А. Ранние требования к предметной области системы (до введения уровня спецификаций). 84 B. Несколько слов об энергичных и ленивых интерпретаторах. 84 C. SECD-машина. 84 D. Среда саморазвития для идеи интерпретации. 84 E. Бестиповое лямбда-исчисление. Определения. 84 F. Задание практикума. 84

Дипломная работа выполнена в рамках проекта “Компьютерный комплекс обучения основам информатики” (грант 93 -01-01-047 РФФИ, научный руководитель проф. Трифонов Н. П., ответственный исполнитель н.с. Громыко В. И.) и соглашения о совместной научной работе между факультетами математики и информатики FSU-Jena (Prof. G. Wechsung), Германия и факультетом ВМК по теме “Учебные пособия и обучающие системы в области информатики” с консультационным участием Prof. M. Broy, Prof. A. Blaser и н.с. А. Г. Симакина (Институт психологии).

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

Уже прошло много лет после того, когда “мы и в

Похожие работы