1. Понятие и сущность (по учебнику Чубуковой и Элькина).
Формализация – это представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации информации) в виде формальной системе.
Формальная система – это знаковая модель, задающая множество объектов путем описания исходных объектов и правил построения новых в рамках определенного языка.
Язык – это знаковая система, которая позволяет унифицировать информационный обмен в любой социальной системе. Например, язык программирования.
Таким образом, в рамках правовой кибернетики и информатики формализация используется при обработке правовой информации с помощью компьютерной техники.
* Формализация непосредственно связана с таким научным приемом как абстрагирование.
Абстрагирование - логический прием выделения главных, наиболее существенных при решении данной задачи признаков объекта познания, который, как правило, сопровождается другим приемом - формализацией описания этих признаков.