Formal science
01
形式科学, 形式学科
a branch of scientific knowledge that deals with formal systems, such as mathematics, logic, and theoretical computer science
例子
Mathematics is considered a formal science because it deals with abstract structures and logical reasoning, such as algebra, calculus, and geometry.
数学被认为是形式科学，因为它处理抽象结构和逻辑推理，如代数、微积分和几何学。
Theoretical computer science is a formal science that studies the principles of computation and algorithms, independent of specific computing technologies.
理论计算机科学是一门形式科学，它独立于特定的计算技术，研究计算和算法的原理。
