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

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

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

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

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

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

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


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