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.