Formales

  • Matemática

  • Lógica

  • Estadística

  • Ciencias de la computación (o informática teórica)