Abstract
These notes are based on a series of lectures given by the first author at the school of "Poisson 2010", held at IMPA, Rio de Janeiro. They contain an exposition of the theory of super- and graded manifolds, cohomological vector fields, graded symplectic structures, reduction and the AKSZ-formalism.