Formal science
01
formell vetenskap, formell disciplin
a branch of scientific knowledge that deals with formal systems, such as mathematics, logic, and theoretical computer science
Exempel
Mathematics is considered a formal science because it deals with abstract structures and logical reasoning, such as algebra, calculus, and geometry.
Matematik anses vara en formell vetenskap eftersom den handlar om abstrakta strukturer och logiskt resonemang, såsom algebra, kalkyl och geometri.
Theoretical computer science is a formal science that studies the principles of computation and algorithms, independent of specific computing technologies.
Teoretisk datavetenskap är en formell vetenskap som studerar principerna för beräkning och algoritmer, oberoende av specifika datorteknologier.
