Cari
Formal science
01
ilmu formal, disiplin formal
a branch of scientific knowledge that deals with formal systems, such as mathematics, logic, and theoretical computer science
Contoh-contoh
Mathematics is considered a formal science because it deals with abstract structures and logical reasoning, such as algebra, calculus, and geometry.
Matematika dianggap sebagai ilmu formal karena berkaitan dengan struktur abstrak dan penalaran logis, seperti aljabar, kalkulus, dan geometri.
Theoretical computer science is a formal science that studies the principles of computation and algorithms, independent of specific computing technologies.
Ilmu komputer teoretis adalah ilmu formal yang mempelajari prinsip-prinsip komputasi dan algoritma, terlepas dari teknologi komputasi tertentu.
