formalizãcija (lot. formalis – susijęs su forma), turiningų samprotavimų ir įrodymų pateikimas formaliosios sistemos (loginio skaičiavimo) pavidalu. Visiškai formalizuoti galima tik paprastõs loginės struktūros teorijas (pavyzdžiui, matematikoje – elementariąją geometriją). Formalizacija leidžia sisteminti, logiškai sugriežtinti ir metodologiškai paaiškinti teorijos turinį, išryškina jos teiginių ryšį, padeda formuluoti naujas problemas. Ta pati teorija gali būti ir formalizacijos priemonė, ir objektas. Formalizacijos elementai buvo žinomi jau antikos mokslininkams (pradininku laikomas Aristotelis), bet tik naujaisiais amžiais matematikoje ėmus vartoti raidinį žymėjimą formalizacija tapo mokslinio pažinimo metodu.
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.