Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://al.cs.msu.ru/static/seminars/catfl/reports/022_rekurs_ind/abstract.html
Дата изменения: Tue Nov 6 22:53:16 2007 Дата индексирования: Mon Oct 1 20:09:48 2012 Кодировка: koi8-r |
Юдочев Дмитрий, 17 октября 2007
В докладе рассказывается о рекурсии и индукции в целом, корректности кода и использовании рекурсии для облегчения проверки корректности циклов, сложности функций и использовании индукции для вычисления сложности рекурсивных функций.