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

Программно-дидактическое обеспечение
ЭВМ типа IBM, операционная система Windows, ППП MS Office XP и выше,
Презентация Формализация.pps.

Теоретический материал

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

Формализация - это процесс выделения и перевода внутренней структуры предмета, явле-ния или процесса в определенную информационную структуру — форму. Моделирование любой системы невозможно без предварительной формализации. По сути, формализация - это первый и очень важный этап процесса моделирования.
Формализация - это замена реального объекта или процесса его формальным описанием, т. е. его информационной моделью.
Слайд №3

Построив информационную модель, человек использует ее вместо объекта-оригинала для изучения свойств этого объекта, прогнозирования его поведения и пр. Прежде чем строить какое-то сложное сооружение, например мост, конструкторы делают его чертежи, проводят расчеты прочности, допустимых нагрузок. Таким образом, вместо реального моста они имеют дело с его модельным описанием в виде чертежей, математических формул. Если же конструкторы пожелают воспроизвести мост в уменьшенном размере, то это уже будет натурная модель — макет моста.
Слайд №4

Естественные языки используются для создания описательных информационных моделей. В истории науки известны многочисленные описательные информационные модели; например, гелиоцентрическая модель мира, которую предложил Коперник, формулировалась следующим образом:
• Земля вращается вокруг своей оси и вокруг Солнца;
• орбиты всех планет проходят вокруг Солнца.
Слайд №5

С помощью формальных языков строятся формальные информационные модели (математические, логические и др.). Одним из наиболее широко используемых формальных языков явля-ется математика. Модели, построенные с использованием математических понятий и формул, называются математическими моделями. Язык математики является совокупностью формальных языков.
Слайды №6-8

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

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