Формальные науки — науки занимающиеся изучением формальных систем. Эта категория должна содержать различные курсы по математике, информатике и не только.