![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/a/ae/PrirodneNauke.svg/langbg-640px-PrirodneNauke.svg.png&w=640&q=50)
Формални науки
From Wikipedia, the free encyclopedia
Формалните науки е клон на науката, изучаващ дисциплини от формалните езици, свързани с формалните системи, като логика, математика, статистика, теоретична информатика, изкуствен интелект, теория на информацията, теория на игрите, системна теория, теория на решенията и теоретична лингвистика.[1] Докато природните и социалните науки се стремят да характеризират съответно физическите системи и социалните системи, използвайки емпирични методи, формалните науки са езикови инструменти, занимаващи се с характеризиране на абстрактни структури, описани от символни системи. Официалните науки подпомагат естествените науки, социалните науки и актюерската наука, като предоставят информация за структурите, използвани за описване на физическия и съвременния свят, и какви изводи могат да се направят за тях. Математиката, известна като наука за числата, е класифицирана като официална наука.
Част от серията статии за наука | |
![]() | |
Природни науки | |
---|---|
Социални науки | |
Приложни науки | |
Формални науки | |
Хуманитаристика |