Лариса Малинина - Основы информатики - Учебник для вузов

Язык алгебры позволяет формализовать функциональные зависимости между величинами. Так, Ньютон формализовал гелиоцентрическую систему мира Коперника, открыв законы механики и закон всемирного тяготения и записав их в виде алгебраических функциональных зависимостей. В школьном курсе физики рассматривается много разнообразных функциональных зависимостей, выраженных на языке алгебры, которые представляют собой математические модели изучаемых явлений или процессов.

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

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

Формализация – это сведение некоторого содержания (содержания текста, смысла научной теории, воспринимаемых сигналов и пр.) к выбранной форме.

Например, оглавление книги – это формализация ее содержательных частей, а сам текст можно рассматривать как формализацию посредством языковых конструкций мыслей, идей, размышлений автора.

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

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

Из основного тезиса формализации следует сама идея моделирования.

Для обозначения объекта вводится некоторый набор знаков.

Знак – это элемент конечного множества отличных друг от друга элементов.

Основные черты знака:

1. Способность выступать в качестве заместителя объекта;

2. Неотождественность знака и объекта – знак никогда не может полностью заменить обозначаемое;

3. Многозначность соответствия «знак – объект».

Язык – это знаковая система, используемая для целей коммуникации и познания.

Языки можно разделить на естественные и искусственные. Естественные (обычные, разговорные) языки складываются стихийно и в течение долгого времени. Искусственные языки создаются людьми для специальных целей или для определенных групп людей (язык математики, морской язык, языки программирования и т. д.). Характерной их особенностью является однозначная определенность их словаря, правил образования выражений и конструкций (строго формализованы). В естественных языках они – частично формализованы.

Каждый язык характеризуется:

• набором используемых знаков;

• правилом образования из этих знаков языковых конструкций;

• набором синтаксических, семантических и прагматических правил использования языковых конструкций.

Алфавит – это упорядоченный набор знаков, используемых в языке.

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

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