Categoria:Ciências formais

C

• Ciência da computação‎ (56 C, 526 P)

E

• Estatística‎ (25 C, 320 P)

M

• Matemática‎ (33 C, 242 P, 1 F)
• Metodologia‎ (3 C, 15 P)

S

• Ciência de sistemas‎ (4 C, 2 P)
• Sistemas de classificação‎ (12 C, 18 P)

• Ciências formais

I

• Inteligência artificial

P

• Propriedades de normalização forte e fraca

T

• Teoria da decisão
• Teoria da informação
• Ciência da computação teórica