Hledat
Vyberte jazyk slovníku
Formal science
01
formální věda, formální disciplína
a branch of scientific knowledge that deals with formal systems, such as mathematics, logic, and theoretical computer science
Příklady
Mathematics is considered a formal science because it deals with abstract structures and logical reasoning, such as algebra, calculus, and geometry.
Matematika je považována za formální vědu, protože se zabývá abstraktními strukturami a logickým uvažováním, jako je algebra, kalkulus a geometrie.
Theoretical computer science is a formal science that studies the principles of computation and algorithms, independent of specific computing technologies.
Teoretická informatika je formální věda, která studuje principy výpočtu a algoritmů, nezávisle na konkrétních výpočetních technologiích.
