Юдочев Дмитрий, 17 октября 2007
В докладе рассказывается о рекурсии и индукции в целом, корректности кода и использовании рекурсии для облегчения проверки корректности циклов, сложности функций и использовании индукции для вычисления сложности рекурсивных функций.