Моделирование как метод познания
Моделирование. Человечество в своей деятельности (научной, образовательной, технологической, художественной) постоянно создает и использует модели окружающего мира.
Модели позволяют представить в наглядной форме объекты и процессы, недоступные для непосредственного восприятия (очень большие или очень маленькие объекты, очень быстрые или очень медленные процессы и др.). Наглядные модели часто используются в процессе обучения. В курсе географии первые представления о нашей планете Земля мы получаем, изучая ее модель — глобус, в курсе физики изучаем работу двигателя внутреннего сгорания по его модели, в химии при изучении строения вещества используем модели молекул и кристаллических решеток, в биологии изучаем строение человека по анатомическим муляжам и др.
Модели играют чрезвычайно важную роль в проектировании и создании различных технических устройств, машин и механизмов, зданий, электрических цепей и т. д. Без предварительного создания чертежа невозможно изготовить даже простую деталь, не говоря уже о сложном механизме.
В процессе проектирования зданий и сооружений кроме чертежей часто изготавливают макеты. В процессе разработки летательных аппаратов поведение их моделей в воздушных потоках исследуют в аэродинамической трубе.
Разработка электрической схемы обязательно предшествует созданию электрических цепей и так далее.
Развитие науки невозможно без создания теоретических моделей (теорий, законов, гипотез и пр.), отражающих строение, свойства и поведение реальных объектов. Создание новых теоретических моделей иногда коренным образом меняет представление человечества об окружающем мире (гелиоцентрическая система мира Коперника, модель атома Резерфорда-Бора, модель расширяющейся Вселенной, модель генома человека и пр.). Адекватность теоретических моделей законам реального мира проверяется с помощью опытов и экспериментов.
Все художественное творчество фактически является процессом создания моделей. Например, такой литературный жанр, как басня, переносит реальные отношения между людьми на отношения между животными и фактически создает модели человеческих отношений. Более того, практически любое литературное произведение может рассматриваться как модель реальной человеческой жизни. Моделями, в художественной форме отражающими реальную действительность, являются также живописные полотна, скульптуры, театральные постановки и пр.
Моделирование — это метод познания, состоящий в создании и исследовании моделей.
Модель. Каждый объект имеет большое количество различных свойств. В процессе построения модели выделяются главные, наиболее существенные для проводимого исследования свойства. В процессе исследования аэродинамических качеств модели самолета в аэродинамической трубе важно, чтобы модель имела геометрическое подобие оригинала, но не важен, например, ее цвет. При построении электрических схем — моделей электрических цепей — необходимо учитывать порядок подключения элементов цепи друг к другу, но не важно их геометрическое расположение друг относительно друга и так далее.
Разные науки исследуют объекты и процессы под разными углами зрения и строят различные типы моделей. В физике изучаются процессы взаимодействия и изменения объектов, в химии — их химический состав, в биологии — строение и поведение живых организмов и так далее.
Возьмем в качестве примера человека: в разных науках он исследуется в рамках различных моделей. В рамках механики его можно рассматривать как материальную точку, в химии — как объект, состоящий из различных химических веществ, в биологии — как систему, стремящуюся к самосохранению, и так далее.
Модель — это некий новый объект, который отражает существенные особенности изучаемого объекта, явления или процесса.
География, военное дело, судоходство и пр. невозможны без информационных моделей поверхности Земли в виде карт. Различные типы географических карт (политические, физические и пр.) представляют информационные модели, отражающие различные особенности земной поверхности, то есть один и тот же объект отражают несколько моделей.
С другой стороны, разные объекты могут описываться одной моделью. Так, в механике различные материальные тела (от планеты до песчинки) могут рассматриваться как материальные точки.
Один и тот же объект может иметь множество моделей, а разные объекты могут описываться одной моделью.
Никакая модель не может заменить сам объект. Но при решении конкретной задачи, когда нас интересуют определенные свойства изучаемого объекта, модель оказывается полезным, а подчас и единственным инструментом исследования.
Вопросы для размышления
1. Может ли объект иметь несколько моделей? Приведите пример.
2. Могут ли разные объекты описываться одной и той же моделью? Если да, приведите пример.
^ Формы представления моделей.
Формализация
Модели материальные и модели информационные. Все модели можно разбить на два больших класса: модели предметные (материальные) и модели информационные. Предметные модели воспроизводят геометрические, физические и другие свойства объектов в материальной форме (глобус, анатомические муляжи, модели кристаллических решеток, макеты зданий и сооружений и др.).
Информационные модели представляют объекты и процессы в образной или знаковой форме.
Образные модели (рисунки, фотографии и др.) представляют собой зрительные образы объектов, зафиксированные на каком-либо носителе информации (бумаге, фото- и кинопленке и др.). Широко используются образные информационные модели в образовании (вспомните учебные плакаты по различным предметам) и науках, где требуется классификация объектов по их внешним признакам (в ботанике, биологии, палеонтологии и др.).
Знаковые информационные модели строятся с использованием различных языков (знаковых систем). Знаковая информационная модель может быть представлена в форме текста (например, программы на языке программирования), формулы (например, второго закона Ньютона F = mа), таблицы (например, периодической таблицы элементов Д. И. Менделеева) и так далее.
Иногда при построении знаковых информационных моделей используются одновременно несколько различных языков. Примерами таких моделей могут служить географические карты, графики, диаграммы и пр. Во всех этих моделях используются одновременно как язык графических элементов, так и символьный язык.
На протяжении своей истории человечество использовало различные способы и инструменты для создания информационных моделей. Эти способы постоянно совершенствовались. Так, первые информационные модели создавались в форме наскальных рисунков, в настоящее же время информационные модели обычно строятся и исследуются с использованием современных компьютерных технологий.
Формализация. Естественные языки используются для создания описательных информационных моделей. В истории науки известны многочисленные описательные информационные модели; например, гелиоцентрическая модель мира, которую предложил Коперник, формулировалась следующим образом:
• Земля вращается вокруг своей оси и вокруг Солнца;
• орбиты всех планет проходят вокруг Солнца.
С помощью формальных языков строятся формальные информационные модели (математические, логические и др.). Одним из наиболее широко используемых формальных языков является математика. Модели, построенные с использованием математических понятий и формул, называются математическими моделями. Язык математики является совокупностью формальных языков. С некоторыми из них (алгебра, геометрия, тригонометрия) вы знакомитесь в школе, с другими (теория множеств, теория вероятностей и др.) сможете ознакомиться в процессе дальнейшего обучения.
Язык алгебры позволяет формализовать функциональные зависимости между величинами. Так, Ньютон формализовал гелиоцентрическую систему мира, открыв законы механики и закон всемирного тяготения и записав их в виде алгебраических функциональных зависимостей. В школьном курсе физики рассматривается много разнообразных функциональных зависимостей, выраженных на языке алгебры, которые представляют собой математические модели изучаемых явлений или процессов.
Язык алгебры логики (алгебры высказываний) позволяет строить формальные логические модели. С помощью алгебры высказываний можно формализовать (записать в виде логических выражений) простые и сложные высказывания, выраженные на естественном языке. Построение логических моделей позволяет решать логические задачи, строить логические модели устройств компьютера (сумматора, триггера) и так далее.
^ Процесс построения информационных моделей с помощью формальных языков называется формализацией.
В процессе познания окружающего мира человечество постоянно использует моделирование и формализацию. При изучении нового объекта сначала обычно строится его описательная информационная модель на естественном языке, затем она формализуется, то есть выражается с использованием формальных языков (математики, логики и др.).
Визуализация формальных моделей. В процессе исследования формальных моделей часто производится их визуализация. Для визуализации алгоритмов используются блок-схемы: пространственных соотношений между объектами — чертежи, моделей электрических цепей — электрические схемы, логических моделей устройств — логические схемы и так далее.
Так при визуализации формальных физических моделей с помощью анимации может отображаться динамика процесса, производиться построение графиков изменения физических величин и так далее. Визуальные модели обычно являются интерактивными, то есть исследователь может менять начальные условия и параметры протекания процессов и наблюдать изменения в поведении модели.
В качестве примера можно рассмотреть модель, которая демонстрирует свободные колебания математического маятника. С помощью анимации показываются движение тела и действующие силы, строятся графики зависимости от времени угловой координаты или скорости, диаграммы потенциальной и кинетической энергий. Исследователь может изменять длину нити, угол начального отклонения маятника и коэффициент вязкого трения.
Вопросы для размышления
1. Какие бывают модели? Приведите примеры материальных и информационных моделей.
2. Что такое формализация? Приведите примеры формальных моделей.
^ Системный подход в моделировании
Понятие о системе. Окружающий нас мир состоит из множества различных объектов, каждый из которых имеет разнообразные свойства, и при этом объекты взаимодействуют между собой. Например, такие объекты, как планеты нашей Солнечной системы, имеют различные свойства (массу, геометрические размеры и пр.) и по закону всемирного тяготения взаимодействуют с Солнцем и друг с другом.
Планеты входят в состав более крупного объекта — Солнечной системы, а Солнечная система — в состав нашей галактики «Млечный путь». С другой стороны, планеты состоят из атомов различных химических элементов, а атомы — из элементарных частиц. Можно сделать вывод, что практически каждый объект состоит из других объектов, то есть представляет собой систему.
Важным признаком системы является ее целостное функционирование. Система является не набором отдельных элементов, а совокупностью взаимосвязанных элементов. Например, компьютер является системой, состоящей из различных устройств, при этом устройства связаны между собой и аппаратно (физически подключены друг к другу) и функционально (между устройствами происходит обмен информацией).
^ Система является совокупностью взаимосвязанных объектов, которые называются элементами системы.
Состояние системы характеризуется ее структурой, то есть составом и свойствами элементов, их отношениями и связями между собой. Система сохраняет свою целостность под воздействием различных внешних воздействий и внутренних изменений до тех пор, пока она сохраняет неизменной свою структуру. Если структура системы меняется (например, удаляется один из элементов), то система может перестать функционировать как целое. Так, если удалить одно из устройств компьютера (например, процессор), компьютер выйдет из строя, то есть прекратит свое существование как система.
^ Статические информационные модели. Любая система существует в пространстве и во времени. В каждый момент времени система находится в определенном состоянии, которое характеризуется составом элементов, значениями их свойств, величиной и характером взаимодействия между элементами и так далее.
Так, состояние Солнечной системы в любой момент времени характеризуется составом входящих в нее объектов (Солнце, планеты и др.), их свойствами (размерами, положением в пространстве и др.), величиной и характером взаимодействия между собой (силами тяготения, с помощью электромагнитных волн и др.).
Модели, описывающие состояние системы в определенный момент времени, называются статическими информационными моделями.
В физике примером статических информационных моделей являются модели, описывающие простые механизмы, в биологии — модели строения растений и животных, в химии — модели строения молекул и кристаллических решеток и так далее.
^ Динамические информационные модели. Состояние систем изменяется во времени, то есть происходят процессы изменения и развития систем. Так, планеты движутся, изменяется их положение относительно Солнца и друг друга; Солнце, как и любая другая звезда, развивается, меняются ее химический состав, излучение и так далее.
Модели, описывающие процессы изменения и развития систем, называются динамическими информационными моделями.
В физике динамические информационные модели описывают движение тел, в биологии — развитие организмов или популяций животных, в химии — процессы прохождения химических реакций и так далее.
Вопросы для размышления
1. Образуют ли систему комплектующие компьютера: До сборки? После сборки? После включения компьютера?
2. В чем разница между статическими и динамическими информационными моделями? Приведите примеры статических и динамических информационных моделей.
^ Типы информационных моделей
Информационные модели отражают различные типы систем объектов, в которых реализуются различные структуры взаимодействия и взаимосвязи между элементами системы. Для отражения систем с различными структурами используются различные типы информационных моделей: табличные, иерархические и сетевые.
^ Табличные информационные модели
Одним из наиболее часто используемых типов информационных моделей является прямоугольная таблица, которая состоит из столбцов и строк. Такой тип моделей применяется для описания ряда объектов, обладающих одинаковыми наборами свойств. С помощью таблиц могут быть построены как статические, так и динамические информационные модели в различных предметных областях. Широко известно табличное представление математических функций, статистических данных, расписаний поездов и самолетов, уроков и так далее.
В табличной информационной модели обычно перечень объектов размещен в ячейках первого столбца таблицы, а значения их свойств — в других столбцах. Иногда используется другой вариант размещения данных в табличной модели, когда перечень объектов размещается в первой строке таблицы, а значения их свойств — в последующих строках. Подобным образом организованы таблицы истинности логических функций. Перечень логических переменных и функций размещен в первой строке таблицы, а их значения — в последующих строках.
В табличной информационной модели перечень однотипных объектов или свойств размещен в первом столбце (или строке) таблицы, а значения их свойств размещаются в следующих столбцах (или строках) таблицы.
Представление объектов и их свойств в форме таблицы часто используется в научных исследованиях. Так, на развитие химии и физики решающее влияние оказало создание Д. И. Менделеевым в конце XIX века периодической системы элементов, которая представляет собой табличную информационную модель. В этой модели химические элементы располагаются в ячейках таблицы по возрастанию атомных весов, а в столбцах — по количеству валентных электронов, причем по положению в таблице можно определить некоторые физические и химические свойства элементов.
На уроках химии часто используется печатный вариант периодической системы элементов. Компьютерная модель системы более удобна, так как в интерактивном режиме позволяет знакомиться с различными физическими и химическими свойствами химических элементов (атомная масса, электропроводность, плотность и так далее), уравнивать химические реакции, решать стандартные химические задачи на нахождение массы веществ, участвующих в реакции, и др.
Вопросы для размышления
1. Какие системы объектов целесообразно и возможно представлять с помощью табличных моделей?
^ Иерархические информационные модели
Нас окружает множество различных объектов, каждый из которых обладает определенными свойствами. Однако некоторые группы объектов имеют одинаковые общие свойства, которые отличают их от объектов других групп.
Группа объектов, обладающих одинаковыми общими свойствами, называется классом объектов. Внутри класса объектов могут быть выделены подклассы, объекты которых обладают некоторыми особенными свойствами, в свою очередь подклассы могут делиться на еще более мелкие группы и так далее. Такой процесс систематизации объектов называется процессом классификации.
В процессе классификации объектов часто строятся информационные модели, которые имеют иерархическую структуру. В биологии весь животный мир рассматривается как иерархическая система (тип, класс, отряд, семейство, род, вид), в информатике используется иерархическая файловая система и так далее.
^ Статическая иерархическая модель. Рассмотрим процесс построения информационной модели, которая позволяет классифицировать современные компьютеры. Класс Компьютеры можно разделить на три подкласса: Суперкомпьютеры, Серверы и Персональные компьютеры.
Компьютеры, входящие в подкласс Суперкомпьютеры, отличаются сверхвысокой производительностью и надежностью и используются в крупных научно-технических центрах для управления процессами в реальном масштабе времени.
Компьютеры, входящие в подкласс Серверы, обладают высокой производительностью и надежностью и используются в качестве серверов в локальных и глобальных сетях.
Компьютеры, входящие в подкласс Персональные компьютеры, обладают средней производительностью и надежностью и используются в офисах и дома для работы с различными приложениями.
Подкласс Персональные компьютеры делится, в свою очередь, на Настольные, Портативные и Карманные компьютеры.
В иерархической структуре элементы распределяются по уровням, от первого (верхнего) уровня до нижнего (последнего) уровня. На первом уровне может располагаться только один элемент, который является «вершиной» иерархической структуры. Основное отношение между уровнями состоит в том, что элемент более высокого уровня может состоять из нескольких элементов нижнего уровня, при этом каждый элемент нижнего уровня может входить в состав только одного элемента верхнего уровня.
В иерархической информационной модели объекты распределены по уровням. Каждый элемент более высокого уровня может состоять из элементов нижнего уровня, а элемент нижнего уровня может входить в состав только одного элемента более высокого уровня.
В рассмотренной иерархической модели, классифицирующей компьютеры, имеются три уровня. На первом, верхнем, уровне располагается элемент Компьютеры, в него входят три элемента второго уровня Суперкомпьютеры, Серверы и Персональные компьютеры. В состав последнего входят три элемента третьего, нижнего, уровня Настольные, Портативные и Карманные компьютеры.
Изображение информационной модели в форме графа. Граф является удобным способом наглядного представления структуры информационных моделей. Вершины графа (овалы) отображают элементы системы.
Элементы верхнего уровня находятся в отношении «состоять из» к элементам более низкого уровня. Такая связь между элементами отображается в форме дуги графа (направленной линии в форме стрелки). Графы, в которых связи между объектами несимметричны (как в данном случае), называются ориентированными.
^ Динамическая иерархическая модель. Для описания исторического процесса смены поколений семьи используются динамические информационные модели в форме генеалогического дерева. В качестве примера можно рассмотреть фрагмент (X-XI века) генеалогического дерева династии Рюриковичей.
^ Сетевые информационные модели
Сетевые информационные модели применяются для отражения систем со сложной структурой, в которых связи между элементами имеют произвольный характер.
Например, различные региональные части глобальной компьютерной сети Интернет (американская, европейская, российская, австралийская и так далее) связаны между собой высокоскоростными линиями связи. При этом одни части (например, американская) имеют прямые связи со всеми региональными частями Интернета, а другие могут обмениваться информацией между собой только через американскую часть (например, российская и австралийская).
Построим граф, который отражает структуру глобальной сети Интернет. Вершинами графа являются региональные сети. Связи между вершинами носят двусторонний характер и поэтому изображаются ненаправленными линиями (ребрами), а сам граф поэтому называется неориентированным.
Представленная сетевая информационная модель является статической моделью. С помощью сетевой динамической модели можно, например, описать процесс передачи мяча между игроками в коллективной игре (футболе, баскетболе и так далее).
Вопросы для размышления
1. Какие системы объектов целесообразно и возможно представлять с помощью сетевых моделей?
www.ronl.ru
На протяжении своей истории человечество использовало различные способы и инструменты для создания информационных моделей. Эти способы постоянно совершенствовались. Так, первые информационные модели создавались в форме наскальных рисунков, в настоящее же время информационные модели обычно строятся и исследуются с использованием современных компьютерных технологий.
Формализация.Естественные языки используются для создания описательных информационных моделей. В истории науки известны многочисленные описательные информационные модели; например, гелиоцентрическая модель мира, которую предложил Коперник, формулировалась следующим образом:
• Земля вращается вокруг своей оси и вокруг Солнца;
• орбиты всех планет проходят вокруг Солнца.
С помощью формальных языков строятся формальные информационные модели (математические, логические и др.). Одним из наиболее широко используемых формальных языков является математика. Модели, построенные с использованием математических понятий и формул, называются математическими моделями. Язык математики является совокупностью формальных языков. С некоторыми из них (алгебра, геометрия, тригонометрия) вы знакомитесь в школе, с другими (теория множеств, теория вероятностей и др.) сможете ознакомиться в процессе дальнейшего обучения.
Язык алгебры позволяет формализовать функциональные зависимости между величинами. Так, Ньютон формализовал гелиоцентрическую систему мира, открыв законы механики и закон всемирного тяготения и записав их в виде алгебраических функциональных зависимостей. В школьном курсе физики рассматривается много разнообразных функциональных зависимостей, выраженных на языке алгебры, которые представляют собой математические модели изучаемых явлений или процессов.
Язык алгебры логики (алгебры высказываний) позволяет строить формальные логические модели. С помощью алгебры высказываний можно формализовать (записать в виде логических выражений) простые и сложные высказывания, выраженные на естественном языке. Построение логических моделей позволяет решать логические задачи, строить логические модели устройств компьютера (сумматора, триггера) и так далее.
Глава 5
Процесс построения информационных моделей спомощью формальных языков называется формализацией.
В процессе познания окружающего мира человечество постоянно использует моделирование и формализацию. При изучении нового объекта сначала обычно строится его описательная информационная модель на естественном языке, затем она формализуется, то есть выражается с использованием формальных языков (математики, логики и др.).
Визуализация формальных моделей. Впроцессе исследования формальных моделей часто производится их визуализация. Для визуализации алгоритмов используются блок-схемы: пространственных соотношений между объектами — чертежи, моделей электрических цепей — электрические схемы, логических моделей устройств — логические схемы и так далее.
Так при визуализации формальных физических моделей с помощью анимации может отображаться динамика процесса, производиться построение графиков изменения физических величин и так далее. Визуальные модели обычно являются интерактивными, то есть исследователь может менять начальные условия и параметры протекания процессов и наблюдать изменения в поведении модели.
http //www college ru/physics/applets/11a htm Интернетirgp
| Рис. 5.4.Модель математического маятника |
В качестве примера можно рассмотреть модель, которая демонстрирует свободные колебания математического маятника. С помощью анимации показываются движение тела и действующие силы, строятся графики зависимости от времени угловой координаты или скорости, диаграммы потенциальной и кинетической энергий (рис. 5.4). Исследователь может изменять длину нити /, угол начального отклонения маятника ф0и коэффициент вязкого трения Ъ.
www.ronl.ru
Цели:
дать учащимся общее представление о формализации объекта;
сформировать понятие формализации;
развить исследовательскую компетентность учащихся при формализации модели, логическое мышление, расширить кругозор;
развить познавательный интерес, воспитать информационную культуру.
Программно-дидактическое обеспечение
ЭВМ типа IBM, операционная система Windows, ППП MS Office XP и выше,
Презентация Формализация.pps.
Теоретический материал
Формализация как важнейший этап моделирования
Слайд №1
В своей деятельности - художественной, научной, практической - человек очень часто создает некоторый образ того объекта (процесса или явления), с которым ему приходится или придется иметь дело, - модель этого объекта. Создание этого образа всегда преследует некую цель. Модель важна не сама по себе, а как инструмент, облегчающий познание или наглядное представление.
В процессе познания окружающего мира и общения мы сталкиваемся с формализацией почти на каждом шагу: формулируем мысли, оформляем отчеты, заполняем всевозможные формуляры и формы, преобразуем формулы. При изучении нового объекта сначала обычно строится его описательная информационная модель на естественном языке, затем она формализуется, то есть, выражается с использованием формальных языков (математики, логики и др.).
Таким образом, прежде чем построить модель объекта (явления, процесса), необходимо выделить составляющие его элементы и связи между ними (провести системный анализ) и «перевести» (отобразить) полученную структуру в какую-либо заранее определенную форму - формализовать информацию.
Слайд №2
Формализация - это процесс выделения и перевода внутренней структуры предмета, явления или процесса в определенную информационную структуру — форму. Моделирование любой системы невозможно без предварительной формализации. По сути, формализация - это первый и очень важный этап процесса моделирования.
Формализация - это замена реального объекта или процесса его формальным описанием, т. е. его информационной моделью.
Слайд №3
Построив информационную модель, человек использует ее вместо объекта-оригинала для изучения свойств этого объекта, прогнозирования его поведения и пр. Прежде чем строить какое-то сложное сооружение, например мост, конструкторы делают его чертежи, проводят расчеты прочности, допустимых нагрузок. Таким образом, вместо реального моста они имеют дело с его модельным описанием в виде чертежей, математических формул. Если же конструкторы пожелают воспроизвести мост в уменьшенном размере, то это уже будет натурная модель — макет моста.
Слайд №4
Естественные языки используются для создания описательных информационных моделей. В истории науки известны многочисленные описательные информационные модели; например, гелиоцентрическая модель мира, которую предложил Коперник, формулировалась следующим образом:
Слайд №5
С помощью формальных языков строятся формальные информационные модели (математические, логические и др.). Одним из наиболее широко используемых формальных языков является математика. Модели, построенные с использованием математических понятий и формул, называются математическими моделями. Язык математики является совокупностью формальных языков.
Слайды №6-8
Язык алгебры (алгебры высказываний) позволяет формализовать функциональные зависимости между величинами. Так, Ньютон формализовал гелиоцентрическую систему мира, открыв законы механики и закон всемирного тяготения и записав их в виде алгебраических функциональных зависимостей. В школьном курсе физики рассматривается много разнообразных функциональных зависимостей, выраженных на языке алгебры, которые представляют собой математические модели изучаемых явлений или процессов.
Язык алгебры логики позволяет строить формальные логические модели. С помощью алгебры высказываний можно формализовать (записать в виде логических выражений) простые и сложные высказывания, выраженные на естественном языке. Построение логических моделей позволяет решать логические задачи, строить логические модели устройств компьютера (сумматора, триггера) и так далее.
В энциклопедическом словаре приведена следующая трактовка этого понятия: «Формализация — это представление и изучение какой-либо содержательной области знаний (научной теории, рассуждения, процедур поиска и т. п.) в виде формальной системы или исчисления.
Слайд №9
В контексте моделирования под формализацией будем понимать процесс перевода описания задачи в общем виде (общей формулировки задачи) на язык формального представления, с тем чтобы создать компьютерную модель и исследовать ее. С точки зрения обработки информации следует определить исходные данные (что необходимо обрабатывать) и описать правила обработки (как обрабатывать).
Слайд №10
Формализация - один из главных инструментов математики. Т.к. математика оперирует реально несуществующими сущностями, абстрактными понятиями, описывает законы, теоремы, правила, гипотезы и прочее, то без соглашений о представлении всего этого здесь невозможно обойтись.
www.metod-kopilka.ru
