Точные науки

Работа с числами, формулами и строгими моделями: математика, логика, статистика, информатика.