Αναζήτηση
Επιλέξτε τη γλώσσα του λεξικού
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.
Η θεωρητική πληροφορική είναι μια τυπική επιστήμη που μελετά τις αρχές του υπολογισμού και των αλγορίθμων, ανεξάρτητα από συγκεκριμένες τεχνολογίες υπολογιστών.
