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.
이론 컴퓨터 과학은 특정 컴퓨팅 기술과 무관하게 계산과 알고리즘의 원리를 연구하는 형식 과학입니다.
