x
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.
© Tarptautinių žodžių žodynas, 1985
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.