Числення

заснований на чітких правилах формальний апарат оперування зі знаками (символами), який дозволяє дати точний опис певного класу завдань, а для окремих підкласів – алгоритми розв’язування