Category:Formal sciences

A

• Actuarial science‎ (150 P)
• Artificial intelligence‎ (25 C, 466 P)

B

• Bioinformatics‎ (18 C, 337 P)

C

• Computer science‎ (16 C, 50 P)
• Control theory‎ (10 C, 202 P)

D

• Decision theory‎ (2 C, 73 P)

F

• Formal languages‎ (7 C, 210 P)
• Formalism (deductive)‎ (1 C, 9 P)

I

• Information theory‎ (14 C, 210 P)

L

• Linguistics‎ (6 C, 189 P)
• Logic‎ (16 C, 191 P)

M

• Mathematics‎ (14 C, 30 P)

S

• Statistics‎ (7 C, 175 P)
• Systems science‎ (9 C, 25 P)

T

• Theoretical computer science‎ (15 C, 136 P)

• Formal science

A

• Actuarial science
• Analytics
• Social:Artificial empathy
• Engineering:Artificial intelligence
• Engineering:Artificial wisdom

B

• Birkhoff's theorem (equational logic)

C

• Computational linguistics
• Confrontation analysis
• Cryptography

D

• Data mining
• Decision theory

E

• Exact sciences

F

• Social:Formal linguistics
• Formal ontology

G

• Game theory
• Grammar systems theory
• Gross National Well-being

H

• Homeokinetics

I

• Image analysis
• Information theory

L

• Logic

M

• Matched molecular pair analysis
• Mathematics
• Micro-X-ray fluorescence

O

• Outline of formal science
• Oxford model

P

• Pattern recognition
• Perceptual control theory
• Prescriptive analytics

Q

• Queueing theory

R

• Finance:Risk analysis (business)

S

• Social:Social media mining
• Engineering:SpiNNaker
• Physics:Statistical physics
• Statistics
• Earth:Systems ecology
• Systems science

T

• Theoretical computer science
• Social:Theoretical linguistics