Dirichlet forms, Beurling-Deny formula, Transition functions, generators and resolvents, Dirichlet operators, symmetric integro-differential operator, pseudo-differential operator, contraction semigroup, Lévy type operator, positive maximum principle, negative definite symbol, Pseudodifferential operators, Jump processes, Integro-differential operators, Markov semigroups and applications to diffusion processes