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.
理論計算機科学は、特定の計算技術から独立して、計算とアルゴリズムの原理を研究する形式的科学です。
