Шукати
Виберіть мову словника
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.
Теоретична інформатика — це формальна наука, яка вивчає принципи обчислень і алгоритмів, незалежно від конкретних обчислювальних технологій.
