English-Chinese/Formal science

Formal sciences are formal language disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, information theory, game theory, systems theory, decision theory, and theoretical linguistics.

形式科学是与形式系统有关的形式语言学科，如逻辑学，数学，统计学，理论计算机科学，信息理论，博弈论，系统理论，决策理论和理论语言学.