Formalizacija reikšmė

formalizãcija:
1. turiningų samprotavimų ir įrodymų pateikimas formaliąja sistema (log. skaičiavimu);
2. pažinimo turinio tikslinimas, pažinimo objektą aprašant dirbtinės kalbos priemonėmis.