18.03.2002 | Собственно говоря, вопрос можно поставить иначе: "Какие математические знания помогают придумывать алгоритмы?" А можно и так: "Какие математические факты используются при доказательстве корректности алгоритмов?" Статья не претендует на то, чтобы дать окончательный вариант ответа на поставленные вопросы, - будут приведены лишь некоторые характерные примеры.
