previous up next
Go backward to Properties of Quotient and Remainder
Go up to Top
Go forward to More Notions
RISC-Linz logo

Exponentiation

..: N x N -> N,
xn := if n = 0N then 1 else x * xn-.

Termination function: r(x, n) := n

Example:

53 = 5*(52) = 5*(5*(51)) = 5*(5*(5*(50))) = 5*(5*(5*(1))) = 5*5*5.

Author: Wolfgang Schreiner
Last Modification: November 16, 1999

previous up next