Shkencat formale janë një grup shkencash të cilat merren me studimin dhe hulumtimin e sistemeve formale, siç janë logjika, matematika, statistika, shkenca teorike kompjuterike, inteligjenca artificiale, teoria e informacionit, teoria e lojërave, teoria e sistemeve, teoria e vendimeve dhe gjuhësia teorike .
Ndërsa shkencat natyrore dhe shkencat shoqërore kërkojnë të karakterizojnë sistemet fizike dhe sistemet shoqërore, përkatësisht, duke përdorur metoda empirike, shkencat formale janë mjete gjuhësore të cilat merren me karakterizimin e strukturave abstrakte të përshkruara nga sistemet simbolike. Shkencat formale ndihmojnë shkencat natyrore dhe shoqërore duke siguruar informacione rreth strukturave të cilat këto të fundit i përdorin për të përshkruar botën si dhe përfundimet përkatëse për to.
This article uses material from the Wikipedia Shqip article Shkencat formale, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Përmbajtja është në disponim nëpërmjet licencës CC BY-SA 4.0 nëse nuk shënohet ndryshe. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Shqip (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.