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