Tìm kiếm
Chọn ngôn ngữ của từ điển
Formal science
01
khoa học hình thức, ngành khoa học hình thức
a branch of scientific knowledge that deals with formal systems, such as mathematics, logic, and theoretical computer science
Các ví dụ
Mathematics is considered a formal science because it deals with abstract structures and logical reasoning, such as algebra, calculus, and geometry.
Toán học được coi là một khoa học hình thức vì nó liên quan đến các cấu trúc trừu tượng và lý luận logic, chẳng hạn như đại số, giải tích và hình học.
Theoretical computer science is a formal science that studies the principles of computation and algorithms, independent of specific computing technologies.
Khoa học máy tính lý thuyết là một khoa học hình thức nghiên cứu các nguyên tắc tính toán và thuật toán, độc lập với các công nghệ máy tính cụ thể.
