Category:Formal sciences
![]() | computing portal |
Here is a list of articles in the Formal sciences category of the computing portal that unifies foundations of mathematics and computations using computers.
![]() |
Wikimedia Commons has media related to Formal sciences. |
Subcategories
This category has the following 11 subcategories, out of 11 total.
A
B
C
D
E
I
L
M
S
T
Pages in category "Formal sciences"
The following 40 pages are in this category, out of 40 total.
- Computer science (computing)
- Formal science (computing)
A
- Actuarial science (computing)
- Analytics (computing)
- Artificial empathy (engineering)
- Artificial intelligence (engineering)
- Artificial wisdom (engineering)
B
- Birkhoff's theorem (equational logic) (computing)
C
- Computational linguistics (computing)
- Confrontation analysis (computing)
- Cryptography (computing)
D
- Data mining (computing)
- Decision theory (computing)
E
- Econometrics (computing)
- Exact sciences (computing)
F
- Formal ontology (computing)
G
- Game theory (computing)
- Grammar systems theory (computing)
- Gross National Well-being (computing)
H
- Homeokinetics (computing)
I
- Image analysis (computing)
- Information theory (computing)
L
- Logic (computing)
M
- Matched molecular pair analysis (computing)
- Mathematics (computing)
- Micro-X-ray fluorescence (computing)
O
- Outline of formal science (computing)
- Oxford model (computing)
P
- Pattern recognition (computing)
- Perceptual control theory (computing)
- Prescriptive analytics (computing)
Q
- Queueing theory (computing)
R
- Risk analysis (finance)
S
- Social media mining (computing)
- SpiNNaker (engineering)
- Statistical physics (physics)
- Statistics (computing)
- Systems ecology (computing)
- Systems science (computing)
T
- Theoretical computer science (computing)