By analogue with the methods and processes in continuous mechanics, a Lagrangian formulation and a Hamiltonian formulation of discrete mechanics are obtained. The dynamical equations including Euler-Lagrange equations and Hamilton's canonical equations of the discrete nonconservative holonomic systems are derived on a discrete variational principle. Some illustrative examples are also given.