Discrete analogues of the Liouville equation

The notion of Laplace invariants is transferred to the lattices and discrete equations which are difference analogs of hyperbolic PDE's with two independent variables. The sequence of Laplace invariants satisfy the discrete analog of twodimensional Toda lattice. The terminating of this sequence by zeroes is proved to be the necessary condition for existence of the integrals of the equation under consideration. The formulae are presented for the higher symmetries of the equations possessing integrals. The general theory is illustrated by examples of difference analogs of Liouville equation.