A-Z Encyklopédia > K > Kalkul (logika)
Kalkul (logika)
Kalkul alebo počet je v logike formalizovaná sústava - sústava pravidiel operácií so znakmi. Je tvorený súborom primitívnych symbolov, súborom axiómov, formačnými pravidlami (tvorenie výrazov) a transformačnými pravidlami (pravidlá odvodzovania).
Zobraziť kompletné informácie o slove Kalkul (logika) na wikipedii.
Informácie sú prevzaté z Wikipédie, otvorenej encyklopédie, do ktorej prispievajú dobrovoľníci z celého sveta.
Texty sú dostupné za podmienok GNU Free Documentation License.Encyklopedie (cz) Encyclopedia (en) Enzyklopädie (de)