formalizacija [latinsko], 1. logika, matematika:povsem formalni postopek pri gradnji aksiomatskih sistemov in računov, ne glede na vsebino. Formalizacija predpostavlja seznam izhodiščnih simbolov, pravil za oblikovanje pravilnih izrazov, aksiome ter pravila izhajanja in izpeljevanja enih izrazov iz drugih.
Sorodna gesla: formalizem | simbol2. jezikoslovje:uporaba grafičnih simbolov in formul za prikaz slovničnih razmerij; npr. S → NF + VF (beri: stavek vsebuje nominalno in verbalno frazo).
Dostopnost