These notes start with an introduction to differential invariants. They continue with an algebraic treatment of the theory. The algebraic, differential algebraic and differential geometric tools that are necessary to the development of the theory are explained in detail. We expose the recent results on the topic of rational and algebraic differential invariants. Finally we give a new algebraic version of the finiteness theorem of Lie–Tresse for the case of finite dimensional algebraic groups.