Formala cienci esas la faki qui traktas formala sistemi, exemple logiko, matematiko, teoriala cienco komputerala*, informo-teorio, ludo-teorio, teorio pri sistemi, decido-teorio e parti di la linguistiko.
Formala cienci traktas la interna traiti di la formala sistemi, nome la defini terminala e reguli, qui guvernas inferado. Kontree la naturala cienci ed altra cienci, exemple sociala cienci, kondutala cienci e konociva cienci, serchas krediveso di la ciencala teorio respektante la observaji pro ke sucesante predicar e forsan exakte explikar fenomeni di la extera mondo. Formala cienci ulatempe helpas konstruktar, valorizar e probar ciencala teorii e ciencala modeli, ma altralatere revelar kontredici o nevalida formi en la infero.
This article uses material from the Wikipedia Ido article Formala cienci, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). La kontenajo esas disponebla sub CC BY-SA 4.0, ecepte kande kontree mencionata. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Ido (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.