Formalizácia výrazu

z Wikipédie, slobodnej encyklopédie

Formalizácia výrazu je redukcia teorém a teórií na čisté logické vzťahy, vyjadrené symbolmi a grafmi, čím sa dosahuje maximálna koherencia a transparentnosť výsledkov poznania.

Externé odkazy[upraviť | upraviť zdroj]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.