Формаліза́ція (англ.
Полягає в заміні всіх змістових тверджень відповідними їм послідовностями символів або формулами.
Формалізація — це метод відображення певної області у вигляді формальної системи, коли форма виділяється як особливий предмет дослідження незалежно від змісту. Такий метод полегшує вивчення предмета.
Формалізація дає змогу виявити загальні структури думок, сформулювати на цій основі загальні закони і правила міркування, завдяки чому можна змінити будь-яке змістовне міркування, фрагмент тексту чи й цілий текст відповідною системою формул.
Будь-яка формалізація за визначенням ігнорує деяку частину доступної інформації, тому формалізація — це тільки правильний спосіб з'єднання думок, сам же висновок може зовсім не відповідати дійсності.
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |
This article uses material from the Wikipedia Українська article Формалізація, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Вміст доступний на умовах CC BY-SA 4.0, якщо не вказано інше. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Українська (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.