The formal sciences are those branches of knowledge that are concerned with formal systems, such as logic, mathematics, systems theory, information theory and the theoretical aspects of computer science.

Categories