Formalizácia výrazu

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

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ť kód]

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