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.
علم الحاسوب النظري هو علم شكلي يدرس مبادئ الحوسبة والخوارزميات، بمعزل عن تقنيات الحوسبة المحددة.
