Formalizácia výrazu

Z Wikipédie

Formalizácia výrazu

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.

[úprava] Externé odkazy

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

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.


[úprava] Pozri aj

formalizácia

formalizácia jazyka