Метод математической индукции
Разработчики очень часто имеют дело с рекурсивными функциями. В моем случае чаще на курсах, на работе реже, но и там они тоже попадаются. Раньше, создавая очередную рекурсивную функцию, я не задумывался о доказательстве того, что она будет корректно работать для всех валидных для нее входящих данных, достаточно и тестов на пограничные и средние значения. Но недавно, на курсе Introduction to Computer Science and Programming Using Python, я познакомился с методом математической индукции, с помощью которого, в некоторых случаях, можно именно доказать, что функция будет корректно работать для всего множество входящих данных, если это - натуральные числа...