This monograph treats the theory of Dirichlet forms from a comprehensive point of view, using 'nonstandard analysis.' Thus, it is close in spirit to the discrete classical formulation of Dirichlet space theory by Beurling and Deny (1958). The discrete infinitesimal setup makes it possible to study the diffusion and the jump part using essentially the same methods. This setting has the advantage of being independent of special topological properties of the state space and in this sense is a natural one, valid for both finite- and infinite-dimensional spaces. The present monograph provides a thorough treatment of the symmetric as well as the non-symmetric case, surveys the theory of hyperfinite Lévy processes, and summarizes in an epilogue the model-theoretic genericity of hyperfinite stochastic processes theory.