В англо-русском словаре по программированию и информатике этому понятию дается следующее определение: "Часть информатики, занимающаяся разработкой методов решения задач, для которых отсутствуют формальные алгоритмы". Что это за понятие?