Формализация - приведение информации, связанной с выделенными свойствами, к выбранной форме



 В естественных языках одно и то же слово часто используется для обозначения различных предметов, величин, действий, отношений. Например, словом "чай" можно обозначить не только, как напиток, но и как растение, а также его высушенные и измельчённые листья; слово "горячий" может означать разную температуру, например, 40°С или 70°С, а слово "немного" - разное количество, например, 1 или 5 граммов.

В то же время нельзя сказать, что каждое слово естественного языка можно понимать в любом смысле. Например, словом "чай" не обозначаем молоко или кофе, а словом "горячий" - свойство ледяной воды. При создании компьютерных моделей сначала составляют предварительные модели. В них ещё используют слова естественного языка, но стремятся обеспечить как можно более высокий уровень формализации, чтобы каждое слово или любое другое обозначение в модели имело единственный смысл. Этот процесс называют формализация модели. После перевода предварительных моделей на язык программирования получаются окончательные компьютерные модели.

Под формализацией понимается сведение некоторого содержания к выбранной форме.

В процессе познания и общения мы сталкиваемся с формализацией почти на каждом шагу: формулируем мысли, оформляем отчеты, заполняем всевозможные формуляры и формы, преобразуем формулы.

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

Суть объекта не меняется от того, как мы его назовем. Это значит, что мы можем называть его как угодно, придать его имени любую форму, которая, на наш взгляд, лучше соответствует данному объекту.

 


Дата добавления: 2018-04-04; просмотров: 362; Мы поможем в написании вашей работы!

Поделиться с друзьями:






Мы поможем в написании ваших работ!