Дисциплина, занимающаяся изучением свойств и методов построения алгоритмов, для решения задач, по которым известны начальные условия и методы решения, называется: