The course is supposed to give a gentle introduction to group theory from a computational point of view. That is not only the mathematical theory will be presented, but also the computational aspects considered and it is actually the latter that will determine the course of the lecture. We will do a broad overview of finite permutation groups (i.e., groups generated by a set of permutations), describing specific algorithms for computations inside them.