Calculus of finite differences