Using an algebraic point of view we present an introduction to the groupoid theory; that is, we give fundamental properties of groupoids as uniqueness of inverses and properties of the identities and study subgroupoids, wide subgroupoids, and normal subgroupoids. We also present the isomorphism theorems for groupoids and their applications and obtain the corresponding version of the Zassenhaus Lemma and the Jordan-Hölder theorem for groupoids. Finally, inspired by the Ehresmann-Schein-Nambooripad theorem we improve a result of R. Exel concerning a one-to-one correspondence between partial actions of groups and actions of inverse semigroups.