Искать
Выберите язык словаря
formal science
/fˈɔːɹməl sˈaɪəns/
/fˈɔːməl sˈaɪəns/
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.
Теоретическая информатика — это формальная наука, изучающая принципы вычислений и алгоритмов, независимо от конкретных вычислительных технологий.
