конечная совокупность точных предписаний, правил для решения однотипных задач, в т.ч. математических;
программа расчётов, научных работ в любой сфере деятельности;
производные понятия для формулирования различного рода утверждений.
утверждения посредством логической дедукции;