Без заголовка

Не бывает ведь "на самом деле" ;) Теория типов и логика, а также теория категорий -- но это уже далеко не "начальная алгоритмика".