Формалізація

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Формаліза́ція (англ. formalization) — метод у математичній логіці, процес подання інформації про об'єкт, процес, явище в формалізованому вигляді.

Формалізація — це метод відображення певної області у вигляді формальної системи, коли форма виділяється у якості особливого предмета дослідження незалежно від змісту. Такий метод полегшує вивчення предмета.

Формалізація дає змогу виявити загальні структури думок, сформулювати на цій основі загальні закони і правила міркування, завдяки чому можна змінити будь-яке змістовне міркування, фрагмент тексту чи й цілий текст відповідною системою формул.

Будь-яка формалізація за визначенням ігнорує деяку частину доступної інформації, тому формалізація — це тільки вірний спосіб з'єднання думок, сам же висновок може зовсім не відповідати дійсності.

Інтернет ресурси[ред.ред. код]


Сигма Це незавершена стаття з математики.
Ви можете допомогти проекту, виправивши або дописавши її.