Rechercher
Sélectionnez la langue du dictionnaire
Formal science
01
science formelle, discipline formelle
a branch of scientific knowledge that deals with formal systems, such as mathematics, logic, and theoretical computer science
Exemples
Mathematics is considered a formal science because it deals with abstract structures and logical reasoning, such as algebra, calculus, and geometry.
Les mathématiques sont considérées comme une science formelle car elles traitent de structures abstraites et de raisonnements logiques, comme l'algèbre, le calcul et la géométrie.
Theoretical computer science is a formal science that studies the principles of computation and algorithms, independent of specific computing technologies.
L'informatique théorique est une science formelle qui étudie les principes du calcul et des algorithmes, indépendamment des technologies informatiques spécifiques.
