Formala cienci

De Wikipedio
Irez ad: pilotado, serchez

Formala cienci esas la feldi, qui traktas formala sistemi, exemple logiko, matematiko, teoriala cienco komputerala*, informo-teorio, ludo-teorio, sistemo-teorio, decido-teorio e parti di la linguistiko. La formala cienci traktas la interna traiti di la formala sistemi, precipue la defini terminala e reguli, qui guvernas inferado. Kontree la naturala cienci ed altra cienci (quale sociala cienci, kondutala cienci e kognitiala* cienci) serchas krediveso di la ciencala teorio respektante la observaji pro ke sucesante predicar e forsan exakte explikar la fenomeni di la extera mondumo. Formala cienci ulatempe helpas konstruktar, valorizar e probar ciencala teorii e ciencala modeli, ma altralatere revelar kontredici o nevalida formi en la inferado.