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

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

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

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