-
A study that is concerned with theoretical formal systems, such as logic, mathematics, systems theory and the theoretical branches of computer science, information theory, microeconomics, statistics, and linguistics.
(noun)
Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License