Formal science
01
形式科学, 形式学科
a branch of scientific knowledge that deals with formal systems, such as mathematics, logic, and theoretical computer science
例子
Theoretical computer science is a formal science that studies the principles of computation and algorithms, independent of specific computing technologies.
理论计算机科学是一门形式科学,它独立于特定的计算技术,研究计算和算法的原理。



























