Terms for subject Programming containing induction

English	Russian
examples of induction on typing derivations	примеры индукции на деревьях вывода типов (ssn)
induction and recursion	индукция и рекурсия (ssn)
induction hypothesis	предположение индукции (ssn)
induction hypothesis	индуктивная гипотеза (ssn)
induction on derivation trees	индукция на деревьях вывода типов (ssn)
induction on derivation trees	индукция на деревьях вывода (типов ssn)
induction on evaluation derivations	индукция на деревьях вычисления (ssn)
induction on typing derivations	индукция на деревьях вывода типов (ssn)
induction technique	метод индукции (ssn)
relationship between recursion and mathematical induction	связь между рекурсией и математической индукцией (ssn)
straightforward structural induction	прямолинейная структурная индукция (ssn)