Формални науки
From Wikipedia, the free encyclopedia
Формалните науки е клон на науката, изучаващ дисциплини от формалните езици, свързани с формалните системи, като логика, математика, статистика, теоретична информатика, изкуствен интелект, теория на информацията, теория на игрите, системна теория, теория на решенията и теоретична лингвистика.[1] Докато природните и социалните науки се стремят да характеризират съответно физическите системи и социалните системи, използвайки емпирични методи, формалните науки са езикови инструменти, занимаващи се с характеризиране на абстрактни структури, описани от символни системи. Официалните науки подпомагат естествените науки, социалните науки и актюерската наука, като предоставят информация за структурите, използвани за описване на физическия и съвременния свят, и какви изводи могат да се направят за тях. Математиката, известна като наука за числата, е класифицирана като официална наука.
Част от серията статии за наука | |
Природни науки | |
---|---|
Социални науки | |
Приложни науки | |
Формални науки | |
Хуманитаристика |