An overview of combinatorial design theory, main constructions and theorems. Relations with finite affine and projective spaces, as well as error correcting codes.