Formal science
01
形式科学, 形式学科
a branch of scientific knowledge that deals with formal systems, such as mathematics, logic, and theoretical computer science
语法信息
有生性状态
抽象
形态构成
复杂复合词
可数
复数形式
formal sciences
例子
Theoretical computer science is a formal science that studies the principles of computation and algorithms, independent of specific computing technologies.
理论计算机科学是一门形式科学,它独立于特定的计算技术,研究计算和算法的原理。



























