Формализация: Понятие формализации, основные формы формализации информации: формула, текст, таблица, граф, алгоритм. СРС

План:
Введение.
Понятие формализация.
Основные формы формализации информации (а так же их примеры):
формула;
текст;
таблица;
граф;
алгоритм.
Заключение.
Список литературы.

ВВЕДЕНИЕ:
Информация всегда играла чрезвычайно важную роль в жизни человека.
Общеизвестно высказывание о том, что тот, кто владеет информацией, тот владеет и миром.
С течением времени роль информации в жизни человека становилась все существеннее.
Сейчас, в первой половине 21-ого века роль информации в жизни человека является определяющей – чем больше навыков и знаний он имеет, тем выше ценится как специалист и сотрудник, тем больше имеет уважения в обществе.
Тем не менее, чтобы правильно анализировать информацию и в дальнейшем ее воспринять используют несколько способов выражения содержания совокупности знаний – одна из них формализация.

ФОРМАЛИЗАЦИЯ
- способ выражения содержания совокупности знаний через определенную форму - знаки искусственного языка.
Формализация(от лат. forma — вид, образ) — отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям ставятся в соот­ветствие некоторые устойчивые, хорошо обозримые и отождествимте материальные конструкции, дающие возможность выявить и зафиксировать существенные стороны объектов.
Ф. уточняет содер­жание путем выявления его формы и может осуществляться с раз­ной степенью полноты. Выражение мышления в естественном языке можно считать пер­вым шагом Ф. Дальнейшее ее углубление достигается введением в обычный язык разного рода специальных знаков и созданием час­тично искусственных и искусственных языков.

Ф. доказательства даёт возможность освободиться от обращения к интуитивным представлениям, что имеет решающее значение для строгости вывода. Представление доказательства в виде последовательности формул, каждая из которых является либо аксиомой, либо получается из аксиом по правила вывода, превращает сам процесс проверки доказательства в чисто механик. процедуру и может быть передан вычислит. машине. Доказательство глубоко связано с вычислением, вместе с крым его можно представить как непосредственное (хотя и абстрактное) материальное созерцание
Ф. играет существ. роль в анализе, уточнении и экспликации науч. понятий. Интуитивные понятия, хотя кажутся более ясными с т. зр. обыденного сознания, однако в силу их неопределённости и неоднозначности они мало пригодны для науки. В науч. познании нередко нельзя не только разрешить,
но_даже сформулировать и поставить проблемы до тех пор, пока не будут разъяснены и уточнены относящиеся к ним понятия. Так, понятие алгоритма издавна применялось в математике, но только после того, как оно получило точное и строгое определение в 1930-х гг., стало возможным доказательство существования алгоритмически неразрешимых проблем.

Язык и аксиомы. Это — логико-математическое исчисление (или прикладное исчисление первого порядка), формализующее элементарную теорию чисел. Наиболее популярная формализация основана на подходе Пеано, предложенном им в 1889 г. Язык этого исчисления кроме логических связок и равенства содержит нелогическую константу 0, двухместные функциональные символы +,⋅+,⋅, одноместный функциональный символ ′I′
Термы строятся из константы 0 и переменных с помощью функциональных символов; в частности, натуральные числа изображаются термами вида 0''^{\ldots}'0''^{\ldots}'
Атомарные формулы — это равенство термов; остальные формулы строятся из атомарных с помощью логических связок. В качестве аксиом выбираются логические аксиомы, это аксиомы формализованного исчисления предикатов и следующие нелогические (арифметические) формулы:
x=y→(x=z→y=z), ¬(x′=0);x=y→x′=y′,x′=y′→x=y;x+0=x,x+y′=(x+y)′;x⋅0=0,x⋅y′=(x⋅y)+x;(F(0)∧(∀x)(F(x)→F(x′)))→(∀x)(F(x)),x=y→(x=z→y=z), ¬(x′=0);x=y→x′=y′,x′=y′→x=y;x+0=x,x+y′=(x+y)′;x⋅0=0,x⋅y′=(x⋅y)+x;(F(0)∧(∀x)(F(x)→F(x′)))→(∀x)(F(x)),
где F(x)F(x) — произвольная формула теории с одной свободной предметной переменной xx
. Последняя формула есть схема аксиом, называемаясхемой аксиом индукции.
Формулы:
Терм — выражение формального языка (системы) специального вида. Понятие терма определяется индуктивно:
1, всякая индивидная константа есть терм;
2, всякая свободная переменная есть терм;

Текстовоя информация.
Формализация текстовой информации:
облегчает и ускоряет процесс её обработки
позволяет получить количественные оценки
обеспечивает однозначность понимания текста
способствует лучшему восприятию сведений, содержащихся в тексте
помогает сравнить по формальным критериям ситуацию, описанную в тексте, с реальной и принять правильное решение.
Формализовать можно как оформление текста, так и его содержание.
Формализация оформления сводится к использованию бланков, формуляров, шаблонов заранее определённой и часто законодательно утверждённой формы.
Шаблон документа - стандартная форма документа, встречающаяся в сфере делопроихзводства.
Реквизитами документа называются обязательны данные, которые необходимо отразить в документе.
Целью формализации содержания текста является его однозначное понимание. Это очень важно в юридической практике, в научной и управленческой деятельности, например,при формулировании определений,составлении законов, договоров, прикахов, распоряжений и т.п.
Классическое определение понятия строится по следующей формуле:
определяемое понятие = родовое понятие+видовые отличия

Таблица:
(из лат. tabula — доска) — способ структурирования данных. Представляет собой распределение данных по однотипным строкам и столбцам.

Граф является удобным способом наглядного представления структуры информационных моделей. Вершины графа (овалы) отображают элементы системы.
Элементы верхнего уровня находятся в отношении «со­стоять из» к элементам более низкого уровня. Такая связь между элементами отображается в форме дуги графа (на­правленной линии в форме стрелки). Графы, в которых свя­зи между объектами несимметричны (как в данном случае), называются ориентированными.
Построим теперь компьютерную модель Компьютеры , которое позволяет создавать иерархические модели.
Изобразим иерархическую модель, классифицирующую компьютеры, в виде графа .
Полученный граф напоминает дерево, которое растет сверху вниз, поэтому иерархические графы иногда называют деревьями.

Алгоритм:
- это система правил, чётко описывающая последовательность действий, которые необходимо выполнить для решения задачи.
. Под алгоритмом в математике понимают точное предписание, задающее вычислительный процесс, ведущий от начальных данных, которые могут варьироваться, к искомому результату. Синоним алгоритма – вычислительная (эффективная) процедура, которая после какого-либо числа шагов (вычислений) приводит к решению поставленной задачи. При этом в интуитивном определении алгоритма слова “вычисления”, “вычислительный процесс” понимаются в широком смысле как любой процесс обработки информации: вычисление некоторой величины, поиск решения некоторой (математической) задачи, четкое и ясное предписание по обработке информации.

Например:

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

Список литературы:
http://narfu.ru/university/library/books/0690.pdf
https://ru.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%B8%D0%B7%D0%B0%D1%86%D0%B8%D1%8F
http://dic.academic.ru/dic.nsf/dic_new_philosophy/1306/%D0%A4%D0%9E%D0%A0%D0%9C%D0%90%D0%9B%D0%98%D0%97%D0%90%D0%A6%D0%98%D0%AF